filigrana elettronica
filigrana elettrònica locuz. sost. f. – L'effetto e la tecnica di marchiatura elettronica che lo produce, in base a cui è possibile inserire in qualunque immagine in formato digitale [...] realizzare un software di implementazione e di riconoscimento di f. e. si ricorre alla sovrapposizione di due specifici algoritmi; il primo acquisisce l’immagine digitale e vi inserisce l’opportuno marchio, il secondo decodifica il marchio comparando ...
Leggi Tutto
BASIC
BASIC acronimo (Beginner’s All-purpose Symbolic Instruction Code, codice di istruzioni simboliche multiscopo per principianti) con cui si indica uno dei più noti linguaggi di programmazione di [...] in linguaggio macchina per poter essere eseguito. È altresì divenuto un linguaggio strutturato, che si basa, cioè, su strutture di controllo necessarie alla costruzione di algoritmi e, quindi, programmi (→ programmazione; → controllo, schema di). ...
Leggi Tutto
Enunciazione particolareggiata, verbale o scritta, di ciò che si vuole fare, di una linea di condotta da seguire, degli obiettivi a cui si mira e dei mezzi con cui si intende raggiungerli.
Economia
Nella [...] delle specifiche del p. che si vuole realizzare per la risoluzione del problema; l’ideazione e la progettazione (➔) degli algoritmi e delle procedure necessarie alla risoluzione del problema; la scelta del paradigma e del linguaggio di p. che meglio ...
Leggi Tutto
Previsioni meteorologiche
Luca Mercalli
Valentina Acordon
Claudio Castellano
Claudio Cassardo
Le prime formulazioni teoriche della previsione meteorologica numerica, risalenti al 1904 e dovute al [...] di miliardi di operazioni che sono state svolte in circa un’ora. Nonostante questo tentativo abbia mostrato come gli algoritmi del modello siano in grado di funzionare correttamente anche a risoluzioni molto più elevate, al momento attuale i tempi ...
Leggi Tutto
Previsione
Italo Scardovi
di Italo Scardovi
Previsione
La previsione nella scienza
Da sempre l'uomo s'interroga sul futuro. Da sempre cerca nei dati del mondo i segni di ciò che l'aspetta. Tra intuizioni [...] tra i dati della serie storica attraverso metodi assai diffusi nella ricerca econometrica: una varietà concettuale di canoni e di algoritmi cui si può appena accennare in questa sede, e per rilevare l'inevitabile automatismo di molte tecniche, pur ...
Leggi Tutto
problema dell’arresto
Fabrizio Luccio
Primo esempio di problema indecidibile, cioè che non ammette alcun algoritmo di risoluzione. Il problema dell’arresto nacque nel 1936, sulla base di studi sugli [...] (A, A)=true se A(A) termina;
ARR(A, A)=false se A(A) non termina.
L’esistenza di ARR consentirebbe di definire il seguente algoritmo NEW che invoca ARR al suo interno:
NEW(A):
p=true;
while (p=true) do p=ARR (A, A);
la cui computazione termina se e ...
Leggi Tutto
metodo del simplesso
Angelo Guerraggio
Uno dei metodi usati nella programmazione lineare per passare, con un numero finito di passi di calcolo numerico, da una soluzione ammissibile a una ottimale. [...] ottimale ammissibile di base. Su questo teorema si basa il metodo del simplesso che, reso ancora più spedito da opportuni algoritmi e implementato su computer, permette di ricavare in tempo molto rapido la soluzione ottimale. Il metodo inizia con una ...
Leggi Tutto
Forma di condotta comunicativa atta a trasmettere informazioni e a stabilire un rapporto di interazione che utilizza simboli aventi identico valore per gli individui appartenenti a uno stesso ambiente [...] del settore, soprattutto dal punto di vista applicativo. Nel 1953 A. Liapounov propose un primo l. per la costruzione di algoritmi, ma tale risultato ebbe poca diffusione. Negli anni 1954-57 un gruppo guidato da J.W. Backus, dell’IBM, sviluppò ...
Leggi Tutto
computer quantistico
computer quantistico modello teorico di computer in cui l’informazione si presenta in quantità discrete come i livelli energetici di un atomo in meccanica quantistica. Nei calcolatori [...] in fattori primi di numeri molto grandi, di altissimo interesse per la crittografia. Sono inoltre già stati proposti algoritmi quantistici per il problema della ricerca efficiente in database e per il calcolo dei cicli hamiltoniani. Infine, tutta ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Aritmetica
Pascal Crozet
Aritmetica
Se ciò che in questa sede intendiamo per aritmetica si ricollega in generale al calcolo con quantità [...] rientrano quindi più in generale nella teoria dei numeri, compaiono così nei trattati di ḥisāb in relazione alle operazioni: l'algoritmo euclideo per la ricerca del massimo comun divisore viene pertanto ripreso da al-Karaǧī e da molti altri. In molte ...
Leggi Tutto
algoritmista
s. m. [der. di algoritmo] (pl. -i). – Nome con cui sono indicati i seguaci, nell’Europa occidentale dei secoli 12°-13°, delle nuove regole di calcolo contenute nel trattato di al-Khuwārizmī: si distinguevano per l’abbandono dell’abaco...