Calcolo automatico

scienza applicata che studia le modalità di raccolta, di trattamento e di trasmissione delle informazioni mediante elaboratori elettronici

Il calcolo automatico è una disciplina che studia i metodi per la ricerca di soluzioni a problemi complessi evitando il coinvolgimento umano nelle operazioni di calcolo. Nata come branca della matematica applicata, e in particolare del calcolo, si è progressivamente evoluta in quella che oggi conosciamo come informatica.[1]

Un grafo orientato rappresentante un automa in forma astratta. Ovvero una macchina in grado di operare in modo autonomo.
  Lo stesso argomento in dettaglio: Storia dell'informatica.
 
Una macchina differenziale di Babbage: un calcolatore meccanico in grado di trovare automaticamente la soluzione di una funzione polinomiale.

La prima idea sull'utilizzo dell'elettronica digitale per effettuare calcoli si può trovare nel documento del 1931 "L'uso dei tiratroni per il conteggio automatico ad alta velocità di fenomeni fisici" scritto da CE Wynn-Williams.[2] Il documento di Claude Shannon del 1938 " Un'analisi simbolica dei circuiti di relè e di commutazione " introdusse inoltre l'idea di usare l'elettronica per le operazioni algebriche booleane.

Il concetto di transistor ad effetto di campo venne proposto da Julius Edgar Lilienfeld nell'anno 1925. La sua versione perfezionata, il MOSFET, inventato nel 1959, ha permesso di costruire chip per circuiti integrati ad alta densità,[3][4] portando a quella che oggi viene chiamata la rivoluzione del computer[5] o rivoluzione del personal computer.[6]

Relazione con l'informatica moderna

modifica
  Lo stesso argomento in dettaglio: Informatica.
 
Un personal computer in formato laptop, pensato per soddisfare le esigenze di un singolo individuo
 
Un supercomputer dedicato ad applicazioni di calcolo scientifico

L'informatica è l'approccio scientifico e pratico al calcolo ed alle sue applicazioni. Un informatico è specializzato nella teoria del calcolo e nella progettazione di sistemi computazionali.[7]

I suoi sottocampi so possono suddividere in tecniche pratiche per la sua implementazione ed applicazione in sistemi informatici ed aree puramente teoriche. Talune, come la teoria della complessità computazionale, che studia le proprietà fondamentali dei problemi computazionali, sono estremamente astratte, diversamente altre, come la computer grafica, enfatizzano le applicazioni del mondo reale. Altre ancora si concentrano in modo specifico su sfide nell'implementazione dei calcoli. Ad esempio, la teoria dei linguaggi di programmazione studia gli approcci alla descrizione dei calcoli, mentre lo studio della stessa programmazione studia diversi aspetti dell'uso di linguaggi di programmazione e sistemi complessi, l'interfaccia tra uomo e macchina si concentra specialmente sulle sfide nel rendere utili e utilizzabili computer e calcoli e universalmente accessibile agli umani.

Calcolo distribuito

modifica
  Lo stesso argomento in dettaglio: Calcolo distribuito.

Una rete di computer, talvolta definita semplicemente come una "rete", è una raccolta di componenti hardware e di computer collegati tra di loro in rete mediante canali di comunicazione che consentono la condivisione di risorse ed informazioni.[8] Laddove è presente un processo in un dispositivo, il quale è in grado di inviare e/o ricevere dati a/da almeno un processo situato in un dispositivo remoto, si dice che i due dispositivi si trovano in una rete.

Le reti si possono classificare mediante un'ampia varietà di caratteristiche come il mezzo utilizzato per trasportare i dati, il protocollo di comunicazione utilizzato, la dimensione, la topologia e l'ambito organizzativo.

I protocolli di comunicazione definiscono le regole ed i formati dei dati che si utilizzano nello scambio di informazioni in una rete di computer e che forniscono la base per la programmazione di una rete. Tra i protocolli di comunicazione noti troviamo: Ethernet, che è uno standard di tipo hardware, Link Layer, che è onnipresente nelle reti locali, e Internet Protocol Suite, che definisce una serie di protocolli per la comunicazione di dati tra più reti, per il trasferimento di dati host-to-host e per la definizione e l'uso di formati di trasmissione dei dati specifici ad una determinata applicazione.

Le reti informatiche vengono talvolta considerate una sotto-disciplina di ingegneria elettrica, telecomunicazioni, informatica, informatica o ingegneria informatica, siccome esse si basano sulla messa in pratica di queste discipline.

Ricerca e tecnologie emergenti

modifica

La computazione basata sul DNA e l'informatica quantica sono due aree di ricerca sia nel campo dell'hardware che nel software (come lo sviluppo di algoritmi quantici). Le potenziali infrastrutture per le tecnologie future includono origami a DNA sulla fotolitografia[9] e antenne quantiche per il trasferimento di informazioni tra trappole ioniche.[10] Nel 2011, i ricercatori sono riusciti con successo aimpigliare 14 qubit.[11][12] I circuiti digitali veloci (compresi quelli basati su giunzioni Josephson e la tecnologia quantistica a flusso singolo rapido) stanno attualmente diventando pian piano realizzabili con la scoperta di superconduttori situati ad una scala nanometrica.[13]

I dispositivi di tipo fotonico ed a fibre ottiche, i quali vengono attualmente utilizzati per trasportare dati su lunghi tragitti, hanno iniziato ad essere utilizzati nei data center, in parallelo con CPU e componenti di memoria. Ciò consente la separazione della memoria RAM dalla CPU che possono essere unite mediante le connessioni ottiche.[14] IBM ha ideato e prodotto un circuito integrato con lo scopo di elaborare informazioni di tipo elettronico ed ottico in un unico chip. Questo viene attualmente indicato come "nanofotonica integrata con CMOS" o (CINP).[15] Un vantaggio delle interconnessioni ottiche è il fatto che le schede madri che in precedenza richiedevano un certo tipo di sistema su un chip (SoC) ora possono spostare i controller di memoria e di rete precedentemente dedicati dalle schede madri, diffondendo i controller sul rack. Ciò consente la standardizzazione delle interconnessioni backplane e delle schede madri per più tipi di SoC, il che consente aggiornamenti più tempestivi delle CPU.[16]

Un altro campo di ricerca moderno è la spintronica. La spintronica è un particolare campo nel quale si può fornire una sostanziale potenza di calcolo ed archiviazione, senza accumulo di calore.[17] Alcune ricerche vengono condotte su chip ibridi, che combinano fotonica e spintronica.[18][19]

Calcolo quantistico

modifica
  Lo stesso argomento in dettaglio: Calcolo quantistico.
 
Un gruppo di tecnici specializzati nel corso di un intervento su un calcolatore quantistico
 
Rappresentazione geometrica astratta di un qubit: l'unità di informazione fondamentale nei calcolatori quantistici

L'informatica quantistica è un'area di ricerca che riunisce le discipline dell'informatica e della fisica quantistica. L'idea alla base è che l'informazione sia un elemento fondamentale nella fisica è relativamente nuova, ma al momento pare si possa creare un forte legame tra la teoria dell'informazione e la meccanica quantistica.[20] Diversamente dal calcolo tradizionale che opera su un sistema binario di uno e zeri, il calcolo quantistico utilizza i qubit. I Qubit si possono trovare in uno stato di sovrapposizione, il che significa che si trovano contemporaneamente in ambedue gli stati, uno e zero. Ciò significa che il qubit non è compreso tra 1 e 0, ma in realtà il valore del qubit cambia a seconda di quando viene misurato. Questa caratteristica dei qubit viene chiamata in termini tecnici entanglement quantistico ed è l'idea alla base del calcolo quantico ed è ciò che consente ai computer quantistici di eseguire calcoli con equazioni su larga scala.[21] Il calcolo quantistico si utilizza per la ricerca scientifica nella quale un normale computer non avrebbe una potenza di calcolo sufficiente ad eseguire i calcoli necessari. Un buon esempio potrebbe essere la modellistica molecolare. Le molecole di grandi dimensioni sono troppo complesse per i computer moderni per calcolare cosa succede loro durante una reazione, ma la potenza dei computer quantistici può potenzialmente aiutare a spalancare le porte per comprendere ulteriormente queste molecole.

  1. ^ Calcolo automatico, in Enciclopedia della Matematica, Roma, Istituto dell'Enciclopedia Italiana, 2013.
  2. ^ vol. 132, Bibcode:1931RSPSA.132..295W, DOI:10.1098/rspa.1931.0102.
  3. ^ Who Invented the Transistor?, su Computer History Museum, 4 dicembre 2013. URL consultato il 20 luglio 2019.
  4. ^ William C. Hittinger, Metal-Oxide-Semiconductor Technology, in Scientific American, vol. 229, n. 2, 1973, pp. 48–59, Bibcode:1973SciAm.229b..48H, DOI:10.1038/scientificamerican0873-48, ISSN 0036-8733 (WC · ACNP).
  5. ^ Jerry G. Fossum e Vishal P. Trivedi, Fundamentals of Ultra-Thin-Body MOSFETs and FinFETs, Cambridge University Press, 2013, p. vii, ISBN 9781107434493.
  6. ^ Howard V. Malmstadt, Christie G. Enke e Stanley R. Crouch, Making the Right Connections: Microcomputers and Electronic Instrumentation, American Chemical Society, 1994, p. 389, ISBN 9780841228610.
    «The relative simplicity and low power requirements of MOSFETs have fostered today's microcomputer revolution.»
  7. ^ WordNet Search - 3.1, su wordnetweb.princeton.edu. URL consultato il 14 maggio 2012.
  8. ^ Computer network definition, su atis.org. URL consultato il 12 novembre 2011 (archiviato dall'url originale il 21 gennaio 2012).
  9. ^ Ryan J. Kershner, Luisa D. Bozano, Christine M. Micheel, Albert M. Hung, Ann R. Fornof, Jennifer N. Cha, Charles T. Rettner, Marco Bersani, Jane Frommer, Paul W. K. Rothemund & Gregory M. Wallraff (16 August 2009) "Placement and orientation of individual DNA shapes on lithographically patterned surfaces" Nature Nanotechnology publication information, supplementary information: DNA origami on photolithography DOI10.1038/nnano.2009.220
  10. ^ M. Harlander, R. Lechner, M. Brownnutt, R. Blatt, W. Hänsel. Trapped-ion antennae for the transmission of quantum information. Nature, 2011; DOI10.1038/nature09800
  11. ^ Thomas Monz, Philipp Schindler, Julio T. Barreiro, Michael Chwalla, Daniel Nigg, William A. Coish, Maximilian Harlander, Wolfgang Hänse, Markus Hennrich, and Rainer Blatt, (31 March 2011) "14-Qubit Entanglement: Creation and Coherence" Phys. Rev. Lett. 106 13 http://link.aps.org/doi/10.1103/PhysRevLett.106.130506 DOI10.1103/PhysRevLett.106.130506
  12. ^ World record: Calculations with 14 quantum bits, su nanowerk.com.
  13. ^ Saw-Wai Hla et al., Nature Nanotechnology March 31, 2010 "World's smallest superconductor discovered" Archiviato il 28 maggio 2010 in Internet Archive.. Four pairs of certain molecules have been shown to form a nanoscale superconductor, at a dimension of 0.87 nanometers. Access date 2010-03-31
  14. ^ Tom Simonite, "Computing at the speed of light", Technology Review Wed., August 4, 2010 MIT
  15. ^ Sebastian Anthony (Dec 10,2012), "IBM creates first commercially viable silicon nanophotonic chip", accessdate=2012-12-10
  16. ^ Open Compute: Does the data center have an open future? accessdate=2013-08-11
  17. ^ Putting electronics in a spin
  18. ^ Merging spintronics with photonics (PDF), su spice.uni-mainz.de. URL consultato il 19 dicembre 2019 (archiviato dall'url originale il 6 settembre 2019).
  19. ^ Integrating all-optical switching with spintronics
  20. ^ (EN) Andrew Steane, Quantum computing, in Reports on Progress in Physics, vol. 61, n. 2, 1º febbraio 1998, pp. 117–173, DOI:10.1088/0034-4885/61/2/002, ISSN 0034-4885 (WC · ACNP).
  21. ^ Ryszard Horodecki, Paweł Horodecki e Michał Horodecki, Quantum entanglement, in Reviews of Modern Physics, vol. 81, n. 2, 17 giugno 2009, pp. 865–942, DOI:10.1103/RevModPhys.81.865.

Voci correlate

modifica

Altri progetti

modifica