Scienza del computer

Domande e risposte per studenti, ricercatori e professionisti dell'informatica

3
Cosa significa "mappa"?
Ho incontrato il termine molte volte, in vari materiali didattici CS: L2 CS162 (UC Berkeley): I / O mappati in memoria L4 CS162 (UC Berkeley): File mappati in memoria L24 CS61 (UC Berkeley): "Memory I / O mappato": controllo dispositivo / registri dati associati allo spazio degli indirizzi della CPU …
2
Perché la riproduzione dell'audio non interrompe altre attività?
Se i processori possono eseguire solo una cosa alla volta, come mai posso riprodurre la musica continuamente ed essere ancora in grado di eseguire altre attività? Capisco il sistema di interruzione, ma non è necessario che la CPU elabori continuamente l'audio affinché non sembri instabile / lento? Sto chiedendo l'implementazione …
2
problema del grafico della rete sociale
Ecco il problema: Sono presenti grafici collegati con nodi che rappresentano un numero di persone. Ogni nodo / persona ha un'opinione su un argomento, ad esempio trump vs clinton, libri di carta vs kindle, ecc L'obiettivo è far sì che ogni nodo in un grafico condivida la stessa opinione, selezionando …
1
Tipi come cittadino di prima classe
Proveniente da un background C ++ Non capisco perché uno ha bisogno di tipi / espressioni di tipo come cittadino di prima classe? L'unica lingua che conosco che supporta questa funzione è Aldor. Qualcuno ha qualche letteratura sui tipi come cittadino di prima classe o conosce alcuni motivi per cui …
2
È stata studiata la seguente estensione di automi a stati finiti?
Considera una macchina a stati finiti come al solito, ma ogni transizione può anche aggiornare un contatore di numeri interi aggiungendo o sottraendo un numero. Ad esempio, una funzione di transizione della forma sposta nel nuovo stato e aggiunge al contatore, dove (quindi può essere positivo , negativo o zero).p …
1
Analisi della complessità degli algoritmi sulle implementazioni del linguaggio di programmazione funzionale
Ho imparato oggi che l'analisi dell'algoritmo differisce in base al modello computazionale. È qualcosa a cui non ho mai pensato o sentito parlare. Un esempio che mi è stato illustrato, che lo ha ulteriormente illustrato, dall'utente @chi è stato: Ad esempio, considerare l'attività: dato restituisce . Nella RAM questo può …
4
Quali sono le tecniche formali comuni per dimostrare il codice funzionale corretto?
Voglio fornire prove per parti di un programma Haskell che sto scrivendo come parte della mia tesi. Finora, tuttavia, non sono riuscito a trovare un buon lavoro di riferimento. Il libro introduttivo di Graham Hutton Programmazione in Haskell ( Google Libri ), che ho letto durante l'apprendimento di Haskell, tocca …
2
Esiste un paradigma per la composizione di funzioni di "aggiornamento incrementale" in uno stile di flusso di dati puro?
Non conosco la terminologia corretta per porre questa domanda, quindi la descriverò con molte parole, abbiate pazienza. Sfondo , solo così siamo sulla stessa pagina: i programmi spesso contengono cache - un compromesso tempo / memoria. L'errore di un programmatore comune è dimenticare di aggiornare un valore memorizzato nella cache …
2
Intuizione dietro la porta di Hadamard
Sto cercando di insegnare me stesso sull'informatica quantistica e ho una comprensione decente dell'algebra lineare. Ho attraversato il cancello NOT, il che non era male, ma poi sono arrivato al cancello Hadamard. E mi sono bloccato. Principalmente perché mentre "capisco" le manipolazioni, non capisco cosa fanno veramente o perché vorresti …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.