Tecnica, stile e ideologia nella musica sinfonica in video: la Quinta Sinfonia di Beethoven

Oggetto di questo lavoro è un’analisi dettagliata di un campione ristretto di riprese televisive della Quinta Sinfonia di Beethoven, con l’obiettivo di far emergere il loro meccanismo costruttivo, in senso sia tecnico sia culturale. Premessa dell’indagine è che ciascuna ripresa sia frutto di un’autorialità specifica che si sovrappone alle due già presenti in ogni esecuzione della Quinta Sinfonia, quella del compositore e quella dell’interprete, definita perciò «terza autorialità» riassumendo nella nozione la somma di contributi specifici che portano alla produzione di una ripresa (consulente musicale, regista, operatori di ripresa). La ricerca esamina i rapporti che volta a volta si stabiliscono fra i tre diversi piani autoriali, ma non mira a una ricostruzione filologica: l’obiettivo non è ricostruire le intenzioni dell’autore materiale quanto di far emergere dall’esame della registrazione della ripresa, così com’è data a noi oggi (spesso in una versione già più volte rimediata, in genere sotto forma di dvd commercializzato), scelte tecniche, musicali e culturali che potevano anche essere inconsapevoli. L’analisi dettagliata delle riprese conferma l’ipotesi di partenza che ci sia una sorta di sistema convenzionale, quasi una «solita forma» o approccio standardizzato, che sottende la gran parte delle riprese; gli elementi che si possono definire convenzionali, sia per la presenza sia per la modalità di trattamento, sono diversi, ma sono soprattutto due gli aspetti che sembrano esserne costitutivi: il legame con il rito del concerto, che viene rispettato e reincarnato televisivamente, con la costruzione di una propria, specifica aura; e la presenza di un paradigma implicito e sostanzialmente ineludibile che pone la maggior parte delle riprese televisive entro l’alveo della concezione della musica classica come musica pura, astratta, che deve essere compresa nei suoi propri termini.

Analisi della resistenza a fatica in accoppiamenti albero - mozzo

Le prove di fatica a flessione rotante su componenti in scala reale sono molto dispendiosi. Il metodo più veloce ed economico per ottenere gli stessi risultati è quello di operare su un provino in scala. Dal momento che non esiste nessun campione standardizzato è stato creato un provino ad-hoc e sono state eseguite le prove. Inoltre è stato creato un modello tridimensionale in grado di valutare le sollecitazioni. I due risultati sono stati comparati e i provini utilizzati per le prove sono stati attentamente analizzati.

Analisi clinica ed ex-vivo dei punti isometrici durante tecnica tightrope nella ricostruzione del legamento crociato craniale del cane

La rottura del Legamento Crociato Craniale (LCCr) rappresenta una delle patologie ortopediche di maggiore riscontro clinico nella specie canina. In seguito a rottura del LCCr si presenta un continuo slittamento craniale della tibia il quale esita in un processo osteoartrosico. La risoluzione chirurgica rappresenta la migliore soluzione terapeutica. Le tecniche chirurgiche extra-articolari con sfruttamento dei punti isometrici del ginocchio si presentano come delle procedure molto diffuse e utilizzate. Questa tesi propone di validare l’uso di un nuovo sistema di navigazione computerizzato-assistito per la valutazione cinematica durante la ricostruzione del LCCr nel cane, ma soprattutto di studiare e confrontare il comportamento e l’efficacia dopo ricostruzione TightRope (TR) in due diverse coppie di punti isometrici. Abbiamo effettuato due analisi in parallelo. La prima eseguendo interventi chirurgici con tecnica TR su 18 casi clinici e sfruttando il punto isometrico del femore (F2) e due diversi punti isometrici della tibia (T2 o T3). L’analisi prevedeva dei controlli postoperatori a 1, 3 e 6 mesi. Ad ogni controllo veniva effettuata una visita ortopedica, esami radiografici, un questionario di valutazione clinico e di soddisfazione del proprietario. Mentre nella ricerca Ex-Vivo abbiamo eseguito dei test su 14 preparati anatomici con l’utilizzo di un sistema di navigazione computerizzato per la rilevazione dei dati. L’analisi prevedeva la valutazione dell’articolazione in diversi stadi: LCCr intatto; LCCr rotto; dopo ricostruzione con TR in F2-T2 e tensionato a 22N, 44N e 99N; dopo ricostruzione con TR in F2-T3 e tensionato a 22N, 44N e 99N. Ad ogni stadio si eseguivano cinque test di valutazione, tra cui: Test del Cassetto, Test di compressione tibiale (TCT), Rotazione Interna/Esterna, Flesso/Estensione e Varo/Valgo. Lo scopo di tale studio è quello di confrontare tra loro i punti isometrici del ginocchio e di analizzare l’efficacia della tecnica TR nelle due differenti condizioni di isometria (F2-T2 e F2-T3).

Trattamento radioterapico ipofrazionato ad alte dosi del carcinoma prostatico con tecnica ad intensità modulata (IMRT) guidata dalle immagini (IGRT)

Obiettivo: valutare la tossicità ed il controllo di malattia di un trattamento radioterapico ipofrazionato ad alte dosi con tecnica ad intensità modulata (IMRT) guidata dalle immagini (IGRT) in pazienti affetti da carcinoma prostatico a rischio intermedio, alto ed altissimo di recidiva. Materiali e metodi: tutti i pazienti candidati al trattamento sono stati stadiati e sottoposti al posizionamento di tre “markers” fiduciali intraprostatici necessari per l’IGRT. Mediante tecnica SIB – IMRT sono stati erogati alla prostata 67,50 Gy in 25 frazioni (EQD2 = 81 Gy), alle vescichette 56,25 Gy in 25 frazioni (EQD2 = 60,35 Gy) e ai linfonodi pelvici, qualora irradiati, 50 Gy in 25 frazioni. La tossicità gastrointestinale (GI) e genitourinaria (GU) è stata valutata mediante i CTCAE v. 4.03. Per individuare una possibile correlazione tra i potenziali fattori di rischio e la tossicità registrata è stato utilizzato il test esatto di Fisher e la sopravvivenza libera da malattia è stata calcolata mediante il metodo di Kaplan-Meier. Risultati: sono stati arruolati 71 pazienti. Il follow up medio è di 19 mesi (3-35 mesi). Nessun paziente ha dovuto interrompere il trattamento per la tossicità acuta. Il 14% dei pazienti (10 casi) ha presentato una tossicità acuta GI G ≥ 2 e il 15% (11 pazienti) ha riportato una tossicità acuta GU G2. Per quanto riguarda la tossicità tardiva GI e GU G ≥ 2, essa è stata documentata, rispettivamente, nel 14% dei casi (9 pazienti) e nell’11% (7 pazienti). Non è stata riscontrata nessuna tossicità, acuta o cronica, G4. Nessun fattore di rischio correlava con la tossicità. La sopravvivenza libera da malattia a 2 anni è del 94%. Conclusioni: il trattamento radioterapico ipofrazionato ad alte dosi con IMRT-IGRT appare essere sicuro ed efficace. Sono comunque necessari ulteriori studi per confermare questi dati ed i presupposti radiobiologici dell’ipofrazionamento del carcinoma prostatico.

Test di nuovi rivelatori per misure di cattura neutronica radiativa.

Gli scintillatori organici contenenti C6D6 (benzene deuterato) sono ampiamente utilizzati per misure ad altra precisione di sezioni d'urto di cattura neutronica presso le facility che sfruttano la tecnica del tempo di volo. In particolare il loro uso nell'ambito della facility n_ToF al CERN di Ginevra ha richiesto la costruzione di nuovi rivelatori con una minore sensibilità ai neutroni di quelli presenti in commercio. In questa tesi si è studiato il nuovo prototipo di C6D6 realizzati dal gruppo italiano di n_ToF descrivendone la struttura e confrontandolo con i precedenti rivelatori realizzati nell'ambito del progetto n_ToF e le controparti commerciali evidenziandone i miglioramenti. Inoltre viene presentato lo studio, effettuato alla facility GELINA, della sensibilità ai neutroni del nuovo C6D6 e la ricerca di difetti costruttivi. Infine è mostrato come i nuovi rivelatori hanno una sezione d'urto per la cattura di nutrono molto bassa e una presenza minima di contaminanti dovuti ai materiali che li compongono.

Sviluppo di un'attrezzatura per prove di fatica ultrasonica

Nella prima parte di questo lavoro di tesi è stata effettuata una ricerca sullo stato dell’arte attuale delle macchine per prove a fatica con principio di risonanza. Pertanto viene riportata una descrizione delle necessità che portarono all’interesse verso questa metodologia di prove a fatica oltre che una descrizione delle macchine ad ultrasuoni di concezione moderna, delle loro caratteristiche e dei loro componenti tipici. Successivamente si sono riportati i dibattiti principali riguardanti la validità delle prove ottenute con questa tipologia di macchine. Si è, di seguito, utilizzata la teoria classica delle onde elastiche per illustrare il principio di funzionamento della macchina. Si sono ottenute le soluzioni esatte dei campi di spostamento, deformazione e sforzo nel caso di provini o sonotrodi a sezione costante confrontando successivamente i risultati così ottenuti con soluzione in ambito FEM per dimostrare la validità degli stessi. Lo stesso tipo di analisi è stata effettuata anche per il provino tipico di prove a fatica, ossia il provino circolare, dove la soluzione esatta è stata ottenuta per similitudine nel provino, catenoidale. Sono riportati un breve riassunto dei nuovi fenomeni di fatica che si sono riscontrati grazie alle possibilità di effettuare test in regione VHCF, laddove non era possibile con le macchine convenzionali, e le conclusioni del presente lavoro di tesi.

La diagnostica molecolare nel laboratorio di patologia clinica veterinaria

La prima parte del nostro studio riguarda la tecnica LAMP (Loop-mediated isothermal amplification), una tecnica di amplificazione isotermica recentemente inventata (Notomi et al., 2000). Essa presenta notevoli vantaggi rispetto alle tradizionali PCR: non necessita di strumentazioni sofisticate come i termociclatori, può essere eseguita da personale non specializzato, è una tecnica altamente sensibile e specifica ed è molto tollerante agli inibitori. Tutte queste caratteristiche fanno sì che essa possa essere utilizzata al di fuori dei laboratori diagnostici, come POCT (Point of care testing), con il vantaggio di non dover gestire la spedizione del campione e di avere in tempi molto brevi risultati paragonabili a quelli ottenuti con la tradizionale PCR. Sono state prese in considerazione malattie infettive sostenute da batteri che richiedono tempi molto lunghi per la coltivazione o che non sono addirittura coltivabili. Sono stati disegnati dei saggi per la diagnosi di patologie virali che necessitano di diagnosi tempestiva. Altri test messi a punto riguardano malattie genetiche del cane e due batteri d’interesse agro-alimentare. Tutte le prove sono state condotte con tecnica real-time per diminuire il rischio di cross-contaminazione pur riuscendo a comprendere in maniera approfondita l’andamento delle reazioni. Infine è stato messo a punto un metodo di visualizzazione colorimetrico utilizzabile con tutti i saggi messi a punto, che svincola completamente la reazione LAMP dall’esecuzione in un laboratorio specializzato. Il secondo capitolo riguarda lo studio dal punto di vista molecolare di un soggetto che presenza totale assenza di attività mieloperossidasica all’analisi di citochimica automatica (ADVIA® 2120 Hematology System). Lo studio è stato condotto attraverso amplificazione e confronto dei prodotti di PCR ottenuti sul soggetto patologico e su due soggetti con fenotipo wild-type. Si è poi provveduto al sequenziamento dei prodotti di PCR su sequenziatore automatico al fine di ricercare la mutazione responsabile della carenza di MPO nel soggetto indicato.

Modalità di messa in sicurezza e bonifica di acque sotterranee e analisi di rischio sito-specifica

Nell’ambito del tirocinio svolto è stato affrontato lo studio del Progetto di messa in sicurezza e bonifica della Raffineria ISAB IMP. SUD, attiva nel SIN di Priolo Gargallo. In particolare lo studio ha visto il Monitoraggio Annuale delle acquee sotterranee. Il lavoro è stato articolato nelle seguenti fasi: Lo studio del Progetto di messa in sicurezza e bonifica dell’area Il campionamento delle acque attraverso sopralluoghi in campo Le analisi in laboratorio La validazione dei dati ottenuti La stesura della relazione tecnica relativamente ai dati validati, trasmessa all’azienda e agli enti competenti Il campionamento, che avviene attraverso un piezometro, prevede: Inizialmente la misura del livello statico della falda tramite freatimetro Segue la fase di spurgo, fin quando non si ha la stabilizzazione dei parametri quali pE, pH, temperatura, conducibilità elettrica, ecc… misurati in continuo tramite una sonda multiparametrica accoppiata alla cella di flusso Infine si campiona. In laboratorio sono state applicate le seguenti tecniche per l’analisi degli inquinanti definiti dal D.L.152/06: VOC e IPA; Analisi svolte secondo le metodiche ufficiali EPA 8260B e EPA 8272 Metalli; EPA 6020 a Idrocarburi; UNI EN ISO 9377-2/2002 (fraz. C10-C40). La validazione dei dati ha visto in particolare l’elaborazione dei risultati attraverso il confronto, per ogni parametro, tra i dati forniti dall’Azienda e i risultati delle analisi compiute dall’ARPA. Inerentemente al seguente studio è stata condotta, sulla base dei risultati delle diverse fasi di indagine ambientale svolte dall’azienda, l’analisi di rischio sito-specifica utilizzando il software RiskNet.

Indagine sperimentale sulla risposta dinamica di provini piatti in lega d'alluminio sottoposti a diverse tipologie di eccitazione vibratoria non-gaussiana

Negli ultimi anni va sempre più affermandosi l’idea che nei test a fatica utilizzati in ambito industriale per testare la resistenza di numerosi prodotti, riprodurre profili vibratori con distribuzioni gaussiane non sia sufficientemente realistico. Nell’indagine sperimentale riportata in questo trattato vengono confrontati gli effetti generati da sollecitazioni leptocurtiche ottenute da misurazioni reali, con profili vibratori gaussiani a parità di RMS e forma della PSD (Power Spectral Density) verificando la validità della “Papoulis rule”. A partire da questi profili vibratori si è effettuata una progettazione ad hoc dalla quale sono stati ricavati dei provini piatti in lega di alluminio a cui è collegata una massa ausiliaria. Quest’ultimi montati a sbalzo su uno shaker elettrodinamico, sono caratterizzati da una variazione di sezione che localizza la sezione critica in prossimità dell’incastro. I provini sono stati inoltre caratterizzati attraverso prove a trazione e test accelerati a fatica, ricavandone la caratteristica a trazione del materiale ed il diagramma di Wohler. In seguito alla descrizione di tali prove viene riportata un’analisi dei provini sollecitati da due profili vibratori, uno gaussiano e uno ad elevato valore di kurtosis, monitorando tramite l’impiego di accelerometri i valori dell’eccitazione e la risposta. Vengono inoltre verificati i valori delle deformazioni dovute alle sollecitazioni imposte collocando due estensimetri in corrispondenza della sezione critica di due provini (uno per ogni tipologia di input).

Applicazione di reticoli di Bragg "chirped" per il monitoraggio strutturale di laminati CFRP

L’uso dei materiali compositi è andato aumentando negli ultimi decenni per la loro elevata rigidezza, la resistenza specifica e il possibile risparmio, notevole in termini di peso dell’intera struttura. Tali materiali introducono però nuove problematiche riguardanti le modalità di danneggiamento e il comportamento a fatica. Mentre questi fenomeni sono relativamente ben compresi nei materiali metallici, per una struttura in composito non esistono ancora modelli in grado di predire con sufficiente affidabilità l’evoluzione del danneggiamento. Negli ultimi anni la ricerca si è focalizzata sullo sviluppo di sistemi in grado di rilevare la presenza e l’evoluzione del danno, definiti Structural Health Monitoring Systems, ovvero sistemi di monitoraggio strutturale. Il danneggiamento strutturale può così essere individuato e identificato per mezzo di sensori distribuiti integrati nella struttura stessa, aventi la possibilità di trasmettere queste informazioni a un sistema di analisi esterno permettendo di valutare lo stato di degrado della struttura in tempo reale. In questo contesto si inseriscono le attività di ricerca sulle strutture intelligenti che, inglobando al loro interno opportune tipologie di sensori e attuatori, sono in grado di monitorare l’ambiente fisico operativo, raccoglierne e interpretarne le informazioni per poi rispondere ai cambiamenti della struttura in modo appropriato attraverso gli attuatori. L’impiego di sensori e attuatori inglobati nelle strutture offre molteplici vantaggi rispetto ai sistemi di trasduzione e attuazione convenzionali. L’attività di ricerca condotta in questa tesi è rivolta all’indagine di tecniche di SHM per mezzo di sensori a fibra ottica. Essi presentano molteplici peculiarità che li rendono i candidati ideali per queste applicazioni. Esistono diversi tipi di sensori che utilizzano le fibre ottiche. Nel presente lavoro si sono utilizzati sensori di deformazione basati sui reticoli di Bragg (FBG) chirped. Questi sensori sono costituiti da un reticolo inscritto all’interno della fibra, che ha l’effetto di riflettere solo alcune lunghezze d’onda della luce incidente. Se le proprietà geometriche del reticolo cambiano per effetto di una deformazione, cambia anche la forma dello spettro riflesso. Inoltre, con il tipo di sensore usato, è possibile correlare lo spettro con la posizione di eventuali danneggiamenti interni al materiale. Gli obbiettivi di questa ricerca sono di verificare gli effetti della presenza di una fibra ottica sulle caratteristiche meccaniche di un laminato e di trovare un legame tra la risposta in frequenza del sensore FBG e lo stato tensionale e il grado di danneggiamento di un componente in composito.

Progettazione e realizzazione di prove meccaniche comparative su un fissatore esterno articolato per correzioni angolari

La fissazione esterna ha subito una forte evoluzione nel corso degli anni, passando dall’essere una tecnica utilizzata esclusivamente nella stabilizzazione delle fratture, fino a diventare una risorsa importante in ortopedia ricostruttiva per il trattamento di molte patologie ossee e dei tessuti molli. Il prototipo di fissatore esterno monolaterale articolato Kore (Citieffe S.r.l.), oggetto di questo studio, consente di effettuare correzione di deformità angolari e piccoli allungamenti su ossa lunghe. Il lavoro sperimentale si è concentrato sul testare le prestazioni meccaniche del dispositivo e della sua componentistica, con l'obiettivo di mettere in evidenza eventuali problemi. I risultati sono stati confrontati con quelli ottenuti in prove realizzate precedentemente in azienda, e con quelli ricavati su dispositivi concorrenti da altri autori. Sono state svolte una prova di compressione assiale statica, una prova a fatica di compressione assiale, una prova a flessione a quattro punti ed una prova di regolazione dinamometrica sul meccanismo di attuazione del dispositivo. E’ stata poi progettata una configurazione per studiare le principali caratteristiche dei morsetti. Nel caso del morsetto a compensazione si è verificata l'effettiva capacità di scorrimento del morsetto, mentre nel morsetto a traliccio, dotato di un meccanismo di snodo, ne viene accertata la tenuta. Al termine dei test, in base ai risultati raccolti dalle prove meccaniche e dalle prove svolte su osso artificiale, sono state fatte valutazioni riguardanti alcune modifiche da apportare al prototipo. Per quanto riguarda il dispositivo dovrà essere ridotta la dimensione del corpo centrale, al fine di avere un dispositivo più duttile, leggero e vicino al corpo. Questa modifica inoltre limiterà l'influenza della flessione delle pins sul comportamento meccanico del fissatore, migliorandone le prestazioni. Relativamente al morsetto a traliccio dovrà essere ridotta la lunghezza dello snodo, per limitare lo sforzo sulla vite di serraggio del meccanismo. Nel morsetto a compensazione dovrà essere modificato il profilo, per garantire un migliore scorrimento.

Sperimentazione e messa a punto di macchina automatica per montaggio di ganci per valigeria tecnica: modifiche progettuali e verifiche funzionali

Progetto, sperimentazione, modifica e messa a punto di una macchina automatica basata su attuatori pneumatici comandati elettricamente tramite PLC, in grado di assemblare i ganci di chiusura per valigeria tecnica destinata ad impieghi in condizioni estreme. Discussione del progetto a partire dai disegni di massima, e descrizione delle successive modifiche progettuali e delle relative verifiche funzionali.

Content characterization of 3D Videos

Il principale scopo di questa tesi è focalizzato alla ricerca di una caratterizzazione dei contenuti in video 3D. In una prima analisi, le complessità spaziale e temporale di contenuti 3D sono state studiate seguendo le convenzionali tecniche applicate a video 2D. In particolare, Spatial Information (SI) e Temporal Information (TI) sono i due indicatori utilizzati nella caratterizzazione 3D di contenuti spaziali e temporali. Per presentare una descrizione completa di video 3D, deve essere considerata anche la caratterizzazione in termini di profondità. A questo riguardo, nuovi indicatori di profondità sono stati proposti sulla base di valutazioni statistiche degli istogrammi di mappe di profondità. Il primo depth indicator è basato infatti sullo studio della media e deviazione standard della distribuzione dei dati nella depth map. Un'altra metrica proposta in questo lavoro stima la profondità basandosi sul calcolo dell’entropia della depth map. Infine, il quarto algoritmo implementato applica congiuntamente una tecnica di sogliatura (thresholding technique) e analizza i valori residui dell’istogramma calcolando l’indice di Kurtosis. Gli algoritmi proposti sono stati testati con un confronto tra le metriche proposte in questo lavoro e quelle precedenti, ma anche con risultati di test soggettivi. I risultati sperimentali mostrano l’efficacia delle soluzioni proposte nel valutare la profondità in video 3D. Infine, uno dei nuovi indicatori è stato applicato ad un database di video 3D per completare la caratterizzazione di contenuti 3D.

Studio sperimentale del comportamento a fatica di calcestruzzi rinforzati con fibre sintetiche

La presente tesi di Laurea Magistrale ha lo scopo di studiare sperimentalmente il comportamento a fatica dei calcestruzzi rinforzati con fibre macro-sintetiche (Macro Synthetic Fiber Reinforced Concrete, MSFRC). Sono condotte prove cicliche di flessione su tre punti al fine di caratterizzare il comportamento dei calcestruzzi fibrorinforzati in regime fessurato nel caso di fatica ad alto numero di cicli (High Cycle Fatigue, HCF). Oltre a prove di fatica sono condotte anche prove monotone a flessione al fine di ottenere la caratterizzazione meccanica del materiale determinandone i principali parametri di frattura; i risultati di tali prove sono utili anche a definire la procedura di prova definitiva da adottare durante i test di fatica. Le testimonianze presenti in letteratura sul comportamento a fatica degli FRC rinforzati con fibre sintetiche sono molto limitate, specialmente nel caso di fatica ad alto numero di cicli; inoltre le prove cicliche, a differenza delle prove monotone, non sono prove standardizzate e quindi definite dalla normativa. Nel corso della presente campagna sperimentale si cercherà quindi di definire una procedura per poter eseguire in maniera stabile le prove di flessione, monotone e di fatica, su campioni prismatici di calcestruzzo fibrorinforzato. L’idea alla base della campagna sperimentale oggetto di questa tesi è quella di riprodurre, mediante prove di fatica, le usuali condizioni di esercizio a cui sono sottoposte, durante la loro vita utile, strutture come pavimentazioni stradali o industriali; infatti il traffico stradale o il transito di macchinari possono indurre su strutture del genere dei carichi ripetuti nel tempo tali da provocarne il collasso per fatica. La presente tesi è articolata in otto capitoli nei quali verranno evidenziate le principali proprietà, sia meccaniche che fisiche, del materiale composito oggetto dello studio, saranno definite le procedure dei test eseguiti e verranno discussi i risultati derivanti da essi.

A proposito di Crittografia a chiave asimmetrica e numeri primi: tecniche note e proposta di un nuovo test di primalità euristico e deterministico

Con questa tesi verrà spiegata l'intrinseca connessione tra la matematica della teoria dei numeri e l'affidabilità e sicurezza dei crittosistemi asimmetrici moderni. I principali argomenti trattati saranno la crittografia a chiave pubblica ed il problema della verifica della primalità. Nei primi capitoli si capirà cosa vuol dire crittografia e qual è la differenza tra asimmetria e simmetria delle chiavi. Successivamente verrà fatta maggiore luce sugli utilizzi della crittografia asimmetrica, mostrando tecniche per: comunicare in modo confidenziale, scambiare in modo sicuro chiavi private su un canale insicuro, firmare messaggi, certificare identità e chiavi pubbliche. La tesi proseguirà con la spiegazione di quale sia la natura dei problemi alla base della sicurezza dei crittosistemi asimmetrici oggigiorno più diffusi, illustrando brevemente le novità introdotte dall'avvento dei calcolatori quantistici e dimostrando l'importanza che riveste in questo contesto il problema della verifica della primalità. Per concludere verrà fatta una panoramica di quali sono i test di primalità più efficienti ed efficaci allo stato dell'arte, presentando una nuova tecnica per migliorare l'affidabilità del test di Fermat mediante un nuovo algoritmo deterministico per fattorizzare gli pseudoprimi di Carmichael, euristicamente in tempo O~( log^3{n}), poi modificato sfruttando alcune proprietà del test di Miller per ottenere un nuovo test di primalità deterministico ed euristico con complessità O~( log^2{n} ) e la cui probabilità di errore tende a 0 con n che tende ad infinito.