computazionequantistica
Giulio Casati
Un computer quantistico è una macchina che elabora l’informazione e compie operazioni logiche in base alle leggi della meccanica quantistica. Esso opera cioè secondo [...] , profondamente diversa da quella classica in base alla quale funzionano gli attuali calcolatori. L’unità di informazione quantistica è il qubit (bit quantistico). Esso è un sistema che può stare in due stati φ1 e φ2 o in una loro sovrapposizione ...
Leggi Tutto
Crittografia
GGiancarlo Bongiovanni
di Giancarlo Bongiovanni
SOMMARIO: 1. Introduzione e definizioni. ▭ 2. Cenni storici. ▭ 3. Crittografia a chiave segreta: a) l'algoritmo DES; b) l'algoritmo IDEA; [...] proposito è interessante notare che esiste un modello teorico di calcolo detto 'computazionequantistica' (v. Steane, 1998), basato sullo sfruttamento delle proprietà quantistiche della materia, nell'ambito del quale è stato già progettato un metodo ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] mediante modelli di calcolo non deterministici, in cui cioè le computazioni non sono costituite da una sequenza univoca di passi ma qubit. Per analoghi motivi, in un calcolatore quantistico (a differenza di quanto accadrebbe in uno probabilistico ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] branca della teoria dei gruppi che si occupa di computazioni con i gruppi, in particolare con quelli presentati essere in generale il modello adatto per simulare un sistema fisico quantistico. Gli inizi della teoria risalgono agli anni Novanta, in ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] finiti
Un automa finito è il modello più semplice di computazione e, più in generale, di comportamento di un sistema: in generale il modello adatto per simulare un sistema fisico quantistico. Gli inizi della teoria risalgono in generale agli anni ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] e T2. L'esecuzione delle istruzioni di un programma (computazione), corrisponde a una serie di passi di riscrittura che Esempi di tali paradigmi sono il calcolo neuronale, il calcolo quantistico e il calcolo molecolare. L'interesse per tali modelli ‒ ...
Leggi Tutto
La grande scienza: introduzione
Enrico Alleva
Sergio Carrà
Gilberto Corbellini
Giorgio Parisi
La grande scienza
Le attività di ricerca scientifica abbracciano oggi un enorme numero di settori e di [...] esse sono anche responsabili delle forze fra i nuclei.
La meccanica quantistica non spiega perfettamente le proprietà degli atomi e delle molecole; della cristallografia a raggi X e della computazione ad alta velocità hanno enormemente facilitato la ...
Leggi Tutto