Lo sai che dal 1994 la NASA ha attivato un progetto per sostituire i grandi e costosissimi supercomputer con reti di PC a basso costo?

Questa possibilità è oggi consentita dall’evoluzione tecnologica e di mercato, che ha reso i PC (Personal Computer) sempre più potenti e sempre meno costosi a parità di prestazioni.
Uno dei principali ostacoli da superare è l’efficienza del software di comunicazione.

Sai perché il razzo europeo Ariane 5 è esploso circa 40 secondi dopo il lancio, il 4 Giugno 1996, causando una perdita immediata di centinaia di miliardi?

La commissione di inchiesta, i cui risultati sono su web, ha individuato con certezza la causa del fallimento in una serie di errori di progettazione del software. All’origine, il riuso di un modulo software progettato per Ariane 4, la cui interfaccia non era sufficientemente strutturata (precisamente era carente il tipaggio) da permetterne un riuso sicuro; inoltre una tecnica inadeguata di error recovery e infine un testing insufficiente.Le tecniche di progettazione di software riusabile e sicuro, dagli aspetti teorici fondamentali fino agli approcci correnti di progettazione industriale avanzata.

Lo sai che le immagini ottenute con il telescopio Hubble (Hubble Space Telescope) progettato negli anni 80, erano in verità … prive di significato?

La turbolenza atmosferica riduce notevolmente la risoluzione delle immagini ottenute con i telescopi. Per eliminare tale effetto, lo Hubble è stato lanciato in orbita; purtroppo, per un errore di costruzione, la risoluzione era fortemente ridotta da una “aberrazione sferica” e le immagini ottenute sembravano prive di significato.Tuttavia esistono modelli matematici che permettono di descrivere la formazione dell’immagine, tenendo anche conto degli errori dovuti all’aberrazione sferica; in tal modo le informazioni che sembrano perse possono essere recuperate, ovvero si può ricostruire l’immagine. Questo è stato appunto fatto per le immagini provenienti dallo Hubble, rendendole finalmente leggibili. ( Nel dicembre 1995, durante la missione COSTAR, il telescopio Hubble è stato riparato e le nuove immagini hanno confermato quelle ricostruite con i calcolatori! )

Operazioni di questo genere vengono effettuate a terra, con l’ausilio di calcolatori, e si cercano ricostruzioni sempre migliori, raggiungibili in tempi sempre più ridotti.

Lo sai che la Logica Matematica, nata per poter trattare in modo formale il ragionamento umano e poi utilizzata per studiare i fondamenti della matematica, può essere vista come un linguaggio di programmazione (ed allora si parla di “Programmazione Logica”) ?

La Programmazione Logica è stata utilizzata in progetti significativi quali:

• Un sistema esperto per individuare anormalità nei cromosomi.
• Applicazioni nel Progetto Genoma, uno dei più importanti progetti mondiali per “mappare” i geni nel DNA umano e capirne il ruolo.
• Il sistema esperto per la Control Room della Metropolitana di Barcellona.
• Il SAP (Système d’Alerte Précoce), sistema per prevedere ed intervenire circa lo stato nutrizionale della popolazione del Mali.
• Il sistema SCORE che gestisce il traffico di aeromobili per la Swissair e per gli aeroporti svizzeri.

Lo sai che le spese di sviluppo e mantenimento del Software sono mediamente di un ordine di grandezza superiore rispetto a quelle dell’Hardware?

Questo problema, noto come “crisi del software”, è anche legato al fatto che il campo di applicazione dei sistemi informatici continua ad allargarsi, le richieste degli utenti sono sempre più sofisticate e, di conseguenza, i sistemi che si progettano sono sempre più complessi.Tra gli strumenti per venire a capo della complessità in campo informatico, un posto di rilievo è occupato dai linguaggi di programmazione ad alto livello, dotati di meccanismi di astrazione e modularità. L’uso di questi linguaggi si sta affermando a livello di specifica, progettazione e costruzione di prototipi per sistemi complessi. Ci sono diverse “famiglie” di linguaggi ad alto livello; ogni famiglia si caratterizza anche per un diverso modo di programmare; si parla quindi di “paradigmi di programmazione”.

Lo sai che all’ospedale S.Martino di Genova si trova una delle poche macchine SPECT esistenti per ottenere immagini tomografiche del cervello?

La SPECT (Single Photon Emission Computerized Tomography) è una macchina con cui si ottengono immagini di organi anatomici nel seguente modo: per inalazione o iniezione, si introduce nel corpo di un paziente un tracciante radioattivo; la SPECT rivela i fotoni che questo emette e trasmette i dati a un calcolatore che costruisce un’immagine dell’organo considerato (la SPECT di Genova è specifica per il cervello). La costruzione dell’immagine vera e propria è dunque affidata a un software.Tuttavia, il programma utilizzato attualmente (fornito insieme alla macchina) è basato su un modello approssimativo della macchina SPECT, cosicché le immagini ottenute non sono sufficientemente ben definite da permettere ai medici di riconoscere certi dettagli significativi.

fonte: DISI dell’università di Genova

13 Febbraio 2008
blogTecnico.com Redazione
Giudizio degli utenti:

Vota 100/100

356 visualizzazioni