precursori sismici
Insieme di tutte le variazioni e anomalie riscontrate nelle proprietà fisico-meccaniche delle rocce, che rappresenta una misura del livello di probabilità del verificarsi di un terremoto [...] sono attese, in prossimità di una singolarità (punto critico o catastrofe), variazioni rilevabili in parametri osservabili. Gli algoritmi CN e M8, che si avvalgono in modo sostanziale dei dati registrati nei cataloghi sismici, consentono di filtrare ...
Leggi Tutto
computabile
computàbile [agg. Der. dell'ingl. computable, che è dal lat. computabilis "che si può calcolare", "di cui si può o si deve tenere conto", già reso con l'it. calcolabile] [ALG] [FAF] [INF] [...] trovare un procedimento per calcolarne, con un numero finito di passi, il valore per ogni n-upla di valori delle variabili. ◆ [INF] Problema c.: ogni problema per il quale esistono algoritmi di risoluzione che terminano in un tempo finito: v ...
Leggi Tutto
FFT (Fast Fourier transform)
Lorenzo Seno
Tecnica che consiste nel trovare i coefficienti per l’espressione di campioni in termini di una serie di Fourier di sinusoidi e cosinusoidi, di frequenze (temporali [...] sia una potenza di due e conduce a una complessità O(N∙log2(N)), che cresce molto meno rapidamente del quadrato. Altri algoritmi FFT si basano sulla fattorizzazione di N in numeri primi (PFA) tra loro, o presuppongono N primo, o si basano su ancora ...
Leggi Tutto
Modello
Silvano Petrarca
Il termine modello è diffusamente utilizzato per indicare un ampio insieme di costruzioni formali ottenute mediante schematizzazioni di processi, comportamenti, situazioni ecc., [...] sistema complesso. La simulazione al computer richiede che si abbia una formalizzazione matematica completa del m. traducibile in algoritmi da elaborare al calcolatore, in modo da ottenere previsioni in funzione dei valori dei parametri adottati (che ...
Leggi Tutto
ricorsivo
ricorsivo [agg. Der. di ricorrere: (→ ricorrente)] [LSF] Sinon. di ricorrente. ◆ [ALG] [INF] Algoritmo, o procedimento o procedura, r.: algoritmo che è formulato con esplicito riferimento a [...] intero positivo n, è r. la procedura: n!=n✄(n-1)!; ...; 5!=5✄4!; ...; 2!=2✄1!; 1!=1; si contrapp. ad algoritmo iterativo (v. fig.). ◆ [ELT] Filtro non r.: v. immagini, elaborazione di: III 167 e. ◆ [ALG] [INF] Funzioni r. primitive: nella teoria ...
Leggi Tutto
Heaviside Oliver
Heaviside 〈hèvisaid〉 Oliver [STF] (Londra 1850 - Torquay, Devonshire, 1925) Membro della Royal Society (1891). ◆ [STF] [ANM] Calcolo operazionale simbolico di H.: ebbe origine come una [...] soluzione di questi si tornava a quella del problema. Il calcolo operazionale di H., tra l'altro, utilizzava algoritmi poco usuali, integrali impropri e serie divergenti, che si giustificano per lo più basandosi sulla teoria delle trasformate di ...
Leggi Tutto
complessità Caratteristica di un sistema (perciò detto complesso), concepito come un aggregato organico e strutturato di parti tra loro interagenti, in base alla quale il comportamento globale del sistema [...] polinomiale. Dati ora due problemi R e Q si dice che «R si riduce a Q» (e si indica con R ∝ Q), se esiste un algoritmo polinomiale che associa a ogni istanza di R un’istanza di Q in modo tale che la soluzione dell’istanza di Q fornisce la soluzione ...
Leggi Tutto
calcolo
càlcolo [Der. del lat. calculus, propr. "pietruzza", qui nel signif. di "gettone per fare conti"] [ALG] [ANM] (a) Insieme di procedimenti atti a dare la soluzione di un dato problema matematico [...] ANM] C. numerico: parte dell'analisi matematica, detta anche analisi numerica, che s'occupa della ricerca di algoritmi per la risoluzione numerica di problemi quali l'approssimazione di funzioni e l'integrazione di equazioni differenziali ordinarie o ...
Leggi Tutto
computazione quantistica
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 [...] di calcolo straordinaria, non confrontabile con quella dei calcolatori classici. Per es., è già stato scoperto un algoritmo quantistico in grado di scomporre un numero in fattori primi con una velocità esponenziale rispetto al calcolatore classico ...
Leggi Tutto
Attributo di disciplina che utilizza nell’indagine teorica l’elaboratore elettronico come sistematico strumento di lavoro, per es. la meccanica c., la linguistica c.; si dice c. anche il procedimento che [...] un−ûn. L’errore del metodo c. (ec=u−ûn) è la somma dell’errore numerico (en=u−un) e di quello algoritmico. L’obiettivo ultimo dell’analisi dell’errore del metodo c. è quello di dimostrare che esso tende a zero per n→∞.
Chimica
Chimica computazionale ...
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...