Il problema della primalità in complessità computazionale

Questa tesi vuole fornire un'introduzione alla complessità computazionale e allo studio dei numeri primi riferito a questa materia. Si tratterà della Macchina di Turing e della sua importanza per calcolabilità e complessità, introducendo le classi P ed NP. Queste saranno approfondite studiando prima la classe di problemi NP-completi e successivamente fornendo alcuni esempi importanti. Nella parte finale ci si occuperà esplicitamente del problema dei numeri primi e si guarderà da vicino l'algoritmo AKS, dimostrandone la correttezza.

Conoscenze geochimiche per la gestione dei sedimenti in ambito portuale: caso di studio della Pialassa Piomboni

Il presente lavoro di tesi ha avuto come oggetto l’analisi geochimica dei sedimenti superficiali della Pialassa Piomboni, area umida in comunicazione con il porto-canale Candiano, situata nel comune di Ravenna. Tale analisi si inserisce nell’ambito di un progetto di riqualificazione dell’area che prevede il dragaggio dei sedimenti superficiali. In particolare, è stato determinato il contenuto chimico totale degli elementi maggiori e in traccia tramite spettrometria a fluorescenza a raggi X (XRF). Sono stati individuati i principali fattori che determinano la distribuzione spaziale degli elementi nell’area di studio. Particolare interesse è stato attribuito allo studio dei metalli pesanti (As, Cr, Cu, Ni, Pb, Zn), per i quali si è voluto studiare se le concentrazioni riscontrate all’interno della Pialassa Piomboni sono dovute a variabilità naturale o ad attività antropiche. A tal fine, i valori di concentrazione ottenuti sono stati paragonati con quelli ricavati da studi precedenti condotti in sedimenti provenienti dallo stesso ambiente deposizionale di laguna; sulla base di questi dati è stato calcolato il valore di fondo naturale dei metalli pesanti. Le concentrazioni degli elementi nella Pialassa Piomboni sono state poi confrontate con le soglie di qualità chimica indicate dal manuale ICRAM per la movimentazione dei sedimenti marini (ICRAM-APAT, 2007).

Studio conformazionale di 2-arilpiridine. Valutazione della nucleofugacità di eteroatomi.

In questo lavoro di tesi sono stati effettuati studi conformazionali di 2-arilpiridine orto-sostituite su entrambi gli anelli aromatici. Essendo questi sistemi dotati di sostituenti relativamente ingombranti, le rotazioni attorno all’asse arile-arile risultano essere limitate e la molecola può presentarsi sotto forma di due enantiomeri conformazionali. È stato effettuato un paragone tra le energie di attivazione di due serie di 2-arilpiridine variamente sostituite con una serie di molecole aventi sostituenti analoghi ma caratterizzata dall’assenza di atomi di azoto piridinici. Nel caso di quest’ultima serie, i fattori che regolano le barriere rotazionali sono da imputare a motivazioni di tipo puramente sterico. La nucleofugacità è un parametro importante che interviene nella determinazione delle energie di attivazione di questo tipo di processi: è stato osservato sperimentalmente che gruppi uscenti peggiori destabilizzino maggiormente lo stato di transizione di un processo di interconversione, mentre molecole aventi atomi più elettronegativi sul gruppo uscente presentino energie di attivazione inferiori. Le barriere rotazionali sono state misurate tramite NMR dinamico e razionalizzate grazie all’aiuto di calcoli eseguiti con metodo DFT, necessari per prevedere le geometrie degli stati fondamentali e di transizione delle molecole studiate.

Analisi della resa di purificazione di componenti della dna polimerasi III di escherichia coli

Nella seguente tesi sono stati affrontati differenti protocolli di purificazione di componenti della DNA polimerasi III di Escherichia coli, previamente sovraespressi nel microrganismo. A distanza di oltre 20 anni dall’identificazione della DNA polimerasi III quale enzima responsabile della replicazione del genoma di E. coli, sono stati fatti progressi riguardo la sua conoscenza. Tuttavia molti sono gli aspetti rimasti incogniti riguardo al meccanismo d’azione dell’enzima, così come il ruolo svolto dalle sue subunità e parte della loro struttura. Al fine di migliorare la comprensione di questo enzima, è necessario insistere sulla diffrattometria di raggi X, per la quale è indispensabile l’isolamento di cristalli delle proteine. Si intuisce la necessità di sviluppare metodi appropriati che consentano di ottenere una resa il più possibile elevata dei suoi componenti. Una metodica generale per la sovraespressione del core catalitico e della singola subunità α, deputata all’attività polimerasica a carico di entrambi i filamenti di DNA, era già stata perfezionata presso il laboratorio ospitante. Con il presente lavoro sono stati sperimentati alcuni procedimenti, volti ad aumentare la resa di purificazione, adottando differenti soluzioni. In primo luogo, si è cercato di recuperare le proteine contenute nel flow through eluito da una colonna cromatografica Q-Sepharose, alla quale non erano riuscite a legarsi durante il primo stadio di purificazione. Inoltre, sono stati sperimentati metodi alternativi di lisi cellulare di estrazione delle proteine. In sintesi, il contenuto della tesi potrebbe agevolare la valutazione di diverse strategie per incrementare la resa di purificazione della subunità α e del core polimerasico della DNA Polimerasi III di E. coli.

Ruolo della composizione e metodo di preparazione nelle proprietà di catalizzatori contenenti cerio per l'ossidazione parziale catalitica del metano

Questo a lavoro di tesi si è incentrato sullo sviluppo di catalizzatori attivi nella reazione di ossidazione parziale catalitica (CPO) del metano per la produzione di idrogeno o/e syngas, con un rapporto ottimale di H2/CO, utile per la produzione idrocarburi attraverso la reazione di Fischer-Tropsch o per l’alimentazione delle fuels cells. La scarsa diffusione di questo processo è da attribuirsi alla mancanza di catalizzatori adatti a resistere agli elevati flussi e alle elevate temperature raggiunte nel letto senza subire processi di disattivazione; pertanto, è necessario lo sviluppo di nuovi catalizzatori non soltanto attivi, ma anche stabili nelle condizioni di reazione. In questa tesi si sono studiati catalizzatori con differenti fasi attive Rh e Ru supportati su CeO2-Al2O3, utilizzati in pellets. L'attenzione di questo lavoro di tesi si è focalizzata sullo studio delle proprietà e del ruolo della fase attiva e del promotore ceria nei catalizzatori. Per questo studio sono stati sintetizzati per coprecipitazione due catalizzatori con ugual concentrazione di cerio ma diversa fase attiva, Rodio e Rutenio e se ne sono studiate le proprietà. Della fase attiva con migliori prestazioni, il Rh, se ne è approfondito lo studio, indagando sulla migliore metodologia di attivazione e sul miglior metodo di sintesi del catalizzatore. Infine, per lo studio dell’effetto del cerio sia nelle proprietà chimico-fisiche che nella attività catalitica, sono stati preparati per coprecipitazione diversi catalizzatori di tipo Rh-CeO2-Al2O3, con un contenuto di cerio variabile ma con ugual concentrazione di fase attiva, cosi come dei campioni di riferimento contenti soltanto ceria o allumina. Questi catalizzatori sono stati testati in severe condizioni e per lunghi tempi di reazione per simulare l’utilizzo industriale ed evidenziarne le caratteristiche.

Equazioni di stato della materia in astrofisica

Una stella non è un sistema in "vero" equilibrio termodinamico: perde costantemente energia, non ha una composizione chimica costante nel tempo e non ha nemmeno una temperatura uniforme. Ma, in realtà, i processi atomici e sub-atomici avvengono in tempi così brevi, rispetto ai tempi caratteristici dell'evoluzione stellare, da potersi considerare sempre in equilibrio. Le reazioni termonucleari, invece, avvengono su tempi scala molto lunghi, confrontabili persino con i tempi di evoluzione stellare. Inoltre il gradiente di temperatura è dell'ordine di 1e-4 K/cm e il libero cammino medio di un fotone è circa di 1 cm, il che ci permette di assumere che ogni strato della stella sia uno strato adiabatico a temperatura uniforme. Di conseguenza lo stato della materia negli interni stellari è in una condizione di ``quasi'' equilibrio termodinamico, cosa che ci permette di descrivere la materia attraverso le leggi della Meccanica Statistica. In particolare lo stato dei fotoni è descritto dalla Statistica di Bose-Einstein, la quale conduce alla Legge di Planck; lo stato del gas di ioni ed elettroni non degeneri è descritto dalla Statistica di Maxwell-Boltzmann; e, nel caso di degenerazione, lo stato degli elettroni è descritto dalla Statistica di Fermi-Dirac. Nella forma più generale, l'equazione di stato dipende dalla somma dei contributi appena citati (radiazione, gas e degenerazione). Vedremo prima questi contributi singolarmente, e dopo li confronteremo tra loro, ottenendo delle relazioni che permettono di determinare quale legge descrive lo stato fisico di un plasma stellare, semplicemente conoscendone temperatura e densità. Rappresentando queste condizioni su un piano $\log \rho \-- \log T$ possiamo descrivere lo stato del nucleo stellare come un punto, e vedere in che stato è la materia al suo interno, a seconda della zona del piano in cui ricade. È anche possibile seguire tutta l'evoluzione della stella tracciando una linea che mostra come cambia lo stato della materia nucleare nelle diverse fasi evolutive. Infine vedremo come leggi quantistiche che operano su scala atomica e sub-atomica siano in grado di influenzare l'evoluzione di sistemi enormi come quelli stellari: infatti la degenerazione elettronica conduce ad una massa limite per oggetti completamente degeneri (in particolare per le nane bianche) detta Massa di Chandrasekhar.

Un sistema per il salvataggio, la verifica e la notifica delle configurazioni degli apparati di rete della Scuola di Ingegneria e Architettura

In questo lavoro di tesi sono descritte: l’analisi dei requisiti, la progettazione, l’implementazione di un sistema per l’acquisizione automatizzata delle configurazioni degli apparati di rete della Scuola di Ingegneria e Architettura.

Un'applicazione mobile per controllo e monitoraggio della qualità dell'acqua di una piscina

Questo elaborato ha come argomento lo sviluppo di un progetto informatico creato per mettere in comunicazione tra di loro un sistema di gestione e controllo del ricambio di acqua in una piscina e un dispositivo mobile. Per la realizzazione del sistema di controllo è stata utilizzata una scheda Arduino Mega 2560 munita di modulo Ethernet, mentre, per quello che concerne il dispositivo mobile, la scelta è ricaduta su un device dotato di sistema operativo Android. La comunicazione tra questi due attori è mediata attraverso un server scritto in Java che gira nella stessa rete locale in cui è presente la scheda Arduino. Il progetto può essere inserito nell'ambito dell'Internet of Things, dove ogni oggetto è caratterizzato dalla possibilità di connettersi ad Internet e scambiare informazioni con ogni altro oggetto creando una rete. Questo progetto è suddiviso in tre parti: la prima si occupa della definizione di due protocolli di comunicazione tra le varie componenti, uno per lo scambio di messaggi tra client Android e Server Java e un secondo per quello tra scheda Arduino e Server; la seconda parte è incentrata sulla realizzazione del server Java che rende accessibile la scheda da qualsiasi luogo e permette la raccolta dei dati rilevanti provenienti dalla centralina. L’ultima parte infine è quella relativa allo sviluppo di una applicazione per Android che permette di monitorare il tutto e interagire con la centralina stessa.

Analisi dello spettro di massa invariante j/psi pi+ pi- in collisioni p-p a sqrt(s) = 8 tev con il rivelatore cms

In questo lavoro di tesi è stato studiato lo spettro di massa invariante del sistema J/psi pi+ pi-, m(J/psi pi+ pi-), in collisioni protone-protone a LHC, con energia nel centro di massa sqrt(s)) pari a 8 TeV, alla ricerca di nuovi stati adronici. Lo studio è stato effettuato su un campione di dati raccolti da CMS in tutto il 2012, corrispondente ad una luminosità integrata di 18.6 fb-1. Lo spettro di massa invariante m(J/psi pi+ pi-), è stato ricostruito selezionando gli eventi J/psi->mu+ mu- associati a due tracce cariche di segno opposto, assunte essere pioni, provenienti da uno stesso vertice di interazione. Nonostante l'alta statistica a disposizione e l'ampia regione di massa invariante tra 3.6 e 6.0 GeV/c^2 osservata, sono state individuate solo risonanze già note: la risonanza psi(2S) del charmonio, lo stato X(3872) ed una struttura più complessa nella regione attorno a 5 GeV/c^2, che è caratteristica della massa dei mesoni contenenti il quark beauty (mesoni B). Al fine di identificare la natura di tale struttura, è stato necessario ottenere un campione di eventi arricchito in adroni B. È stata effettuata una selezione basata sull'elevata lunghezza di decadimento, che riflette la caratteristica degli adroni B di avere una vita media relativamente lunga (ordine dei picosecondi) rispetto ad altri adroni. Dal campione così ripulito, è stato possibile distinguere tre sottostrutture nello spettro di massa invariante in esame: una a 5.36 GeV/c^2, identificata come i decadimenti B^0_s-> J/psi pi+ pi-, un'altra a 5.28 GeV/c^2 come i candidati B^0-> J/psi pi+ pi- e un'ultima allargata tra 5.1 e 5.2 GeV/c^2 data da effetti di riflessione degli scambi tra pioni e kaoni. Quest'ultima struttura è stata identificata come totalmente costituita di una combinazione di eventi B^0-> J/psi K+ pi- e B^0_s-> J/psi K+ K-.

Ottimizzazione, guidata dall'applicazione, della scansione di canali WiFi in kernel Linux

La tesi ha visto la creazione di una applicazione in grado di inviare e ricevere messaggi verso un kernel Linux 3.6.8, che e' stato modificato nel modulo net/mac80211. Lo scopo e' stato permettere all'applicazione di attivare/disattivare comportamenti alternativi del metodo di scansione di canali Wi-Fi. Sono rese possibili le seguenti funzionalita': disattivare la scansione, rendere non interrompibile la scansione software, ricevere notifiche a completamento di una scansione software. Per la comunicazione sono stati usati i socket netlink.

Brown band disease: valutazione della distribuzione e prevalenza in relazione a diversi gradi di antropizzazione nella Repubblica delle Maldive

Nonostante lo sforzo sempre crescente mirato allo studio delle malattie che colpiscono le sclerattinie, ancora poco si sa circa distribuzione, prevalenza, host range e fattori che concorrono alla comparsa di queste patologie, soprattutto nell’area indopacifica. Questo studio si propone quindi lo scopo di documentare la presenza della Brown Band Disease all’interno delle scogliere madreporiche dell’Arcipelago delle Maldive. Nell’arco di tempo tra Novembre e Dicembre 2013 è stata effettuata una valutazione di tipo quantitativo di tale patologia su tre isole appartenenti l’Atollo di Faafu, rispettivamente Magoodhoo, Filitheyo e Adangau. Queste tre isole sono caratterizzate da un diverso sfruttamento da parte dell’uomo: la prima isola è abitata da locali, la seconda caratterizzata dalla presenza di un resort e l’ultima, un’isola deserta. Al fine di valutare prevalenza, distribuzione e host range della BrBD sono stati effettuati belt transect (25x2 m), point intercept transect e analisi chimico fisiche delle acque. La Brown Band Disease è risultata essere diffusa tra le isole con prevalenze inferiori al 0,50%. Queste non hanno mostrato differenze significative tra le isole, facendo quindi ipotizzare che i diversi valori osservati potrebbero essere imputati a variazioni casuali e naturali. In tutta l’area investigata, le stazioni più profonde hanno mostrato valori di prevalenza maggiori. La patologia è stata registrata infestare soprattutto il genere Acropora (con prevalenza media totale inferiore all’1%) e in un solo caso il genere Isopora. È stato dimostrato come sia presente una correlazione negativa tra densità totale delle sclerattinie e la prevalenza della Brown Band sul genere Acropora. É stato inoltre notato come vi fosse una correlazione positiva tra la prevalenza della BrBD e la presenza del gasteropode Drupella sulle colonie già malate. Poiché il principale ospite della patologia è anche il più abbondante nelle scogliere madreporiche maldiviane, si rendono necessari ulteriori accertamenti e monitoraggi futuri della BrBD.

Distribuzione, prevalenza e host range della Skeleton Eroding Band nell'atollo di Faafu, Repubblica delle Maldive

Lo studio delle malattie che colpiscono i coralli rappresenta un campo di ricerca nuovo e poche sono le ricerche concentrate nell’Oceano Indo-Pacifico, in particolare nella Repubblica delle Maldive. Lo scopo di questa ricerca è stato approfondire le conoscenze riguardo distribuzione, prevalenza e host range della Skeleton Eroding Band (SEB) nell’atollo di Faafu. Durante il lavoro, svolto in campo tra il novembre e il dicembre 2013, sono state indagate le isole di: Magoodhoo, Filitheyo e Adangau al fine di rilevare differenze nei livelli di prevalenza della SEB in relazione ai diversi gradi di utilizzo da parte dell’uomo delle 3 isole. Il piano di campionamento ha previsto la scelta casuale, in ciascuna delle isole, di 4 siti in cui sono stati realizzati 3 belt transect e 3 point intercept transect a 2 profondità predefinite. La SEB è stata ritrovata con una prevalenza media totale di 0,27%. Dai risultati dell’analisi statistica le differenze fra le isole non sono apparse significative, facendo ipotizzare che i livelli di prevalenza differiscano a causa di oscillazioni casuali di carattere naturale e che quindi non siano dovute a dinamiche legate al diverso sfruttamento da parte dell’uomo. I generi Acropora e Pocillopora sono risultati quelli maggiormente colpiti con valori di prevalenza totale di 0,46% e 1,33%. Infine è stata rilevata una correlazione positiva tra il numero di colonie di madrepore affette dalla SEB e il numero di colonie in cui la malattia è associata alla presenza di lesioni provocate da danni meccanici. I dati di prevalenza ottenuti e le previsioni di cambiamenti climatici in grado di aumentare distribuzione, host range, abbondanza della patologia, pongono l’accento sulla necessità di chiarire il ruolo delle malattie dei coralli nel deterioramento, resilienza e recupero dei coral reefs, al fine di attuare politiche di gestione adatte alla protezione di questi fragili ecosistemi.

Cattura neutronica su u-238: Studio della regione delle risonanze risolte.

Le attuali sezioni d’urto di reazioni indotte da neutroni non sono sufficientemente accurate per essere utilizzate in progetti di ricerca di frontiera. Per soddisfare la richiesta di nuovi dati nucleari è stata recentemente costruita al CERN di Ginevra la facility n_TOF (neutron Time Of Flight). Le caratteristiche che contraddistinguono questa facility sono l’elevato flusso istantaneo di neutroni, l’ampio spettro energetico e l’eccellente risoluzione energetica. In questa tesi viene analizzata la sezione d’urto di cattura neutronica su 238U, fondamentale per la realizzazione dei reattori nucleari di nuova generazione che prevedono la sostituzione del combustibile 235U con 238U, molto più abbondante in natura e che permette di ridurre drasticamente l’accumulo di scorie nucleari. Nonostante le numerose misure già effettuate su questo elemento, ancora non si è raggiunta la precisione necessaria per le tecnologie nucleari emergenti quali i reattori di quarta generazione e gli ADS (Accelerator Drive System). Inoltre la parametrizzazione della sezione d’urto in termini di matrice R, non è così accurata quanto richiesto. In questo lavoro si è dapprima studiata l’assegnazione dello spin delle risonanze riportata in letteratura, elemento fondamentale per la successiva analisi delle risonanze e la parametrizzazione della sezione d’urto della reazione 238U(n, ). Parallelamente a questa attività si è studiata la funzione di risposta dello spettrometro n_TOF, che descrive la risoluzione energetica dei neutroni incidenti e va quindi a modificare la forma delle risonanze. I risultati ottenuti sono quindi stati confrontati con quelli in letteratura per poter essere validati e per poter verificare eventuali migliorie.

Studio della parametrizzazione del fondo per la ricerca del bosone di higgs nel modello supersimmetrico minimale con l'esperimento cms a lhc

Questa tesi si svolge nell’ambito della ricerca del bosone di Higgs supersimmetrico all’esperimento CMS del Cern, sfruttando le collisioni protone-protone dell’acceleratore LHC. Il lavoro da me svolto riguarda lo studio della parametrizzazione dell’insieme dei dati che costituiscono il fondo dell’eventuale presenza di un segnale del bosone di Higgs nel modello supersimmetrico minimale. Ho eseguito dei fit al fondo aspettato tramite il package Root, utilizzando diverse funzioni per parametrizzarne analiticamente l’andamento. Nel lavoro di tesi mostro come tali funzioni approssimano i dati e ne discuto le loro caratteristiche e differenze.

Progettazione e sviluppo del back-end per il modulo di correzione automatica del corso di programmazione.

Il web ha cambiato radicalmente le nostre vite. Grazie ad esso, oggi si possono fare cose che solo qualche decennio fa erano pura fantascienza, come ad esempio la telepresenza o gli interventi chirurgici da remoto, ma anche cose più “semplici” come seguire corsi di formazione (anche universitaria), effettuare la spesa, operare con il proprio conto corrente, tutto restando comodamente a casa propria, semplificando così la vita di tutti. Allo stesso tempo il web è stato utilizzato per fini tutt’altro che nobili, ad esempio per commettere crimini informatici, recare danni alla concorrenza, compiere varie forme di truffe ecc. Ogni persona dovrebbe comportarsi in modo corretto e nel pieno rispetto del prossimo, sia sul mondo reale che sul web, ma purtroppo non è sempre così. Per quanto riguarda il mondo del web, sta agli sviluppatori soddisfare le necessità dei propri utenti, assicurandosi però che la propria applicazione non verrà usata per recare qualche tipo di danno a terzi o alla propria infrastruttura. Questa tesi nasce da un idea dei docenti del corso di Programmazione riguardo alla realizzazione di un modulo del sito web del corso che si occupa della correzione automatica di esercizi scritti in linguaggio C dagli studenti del corso, dove per correzione automatica si intende la verifica della correttezza degli esercizi.