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.

Equazioni di II grado. Una classe si confronta con i testi storici

Nella presente tesi sono riassunte le diverse posizioni epistemologiche riguardo alla relazione tra didattica e storia della matematica, insieme alle possibili funzioni di quest'ultima nell'attività scolastica. In particolare ci si è soffermati sull'opportunità di introdurre gli studenti ad un rapporto diretto con le fonti storiche. A tale scopo è stata condotta una sperimentazione in una classe di seconda Liceo, a cui sono stati proposti tre brani di diversi autori e secoli da esaminare in gruppo. Sono stati dettagliatamente descritti e successivamente analizzati i comportamenti messi in atto dagli studenti alla lettura delle fonti.

Studio e progetto dell'attrezzatura di prova per l'omologazione di un sedile di classe M1

Studio e progetto dell'attrezzatura di prova per l'omologazione di un sedile di classe M1.

Metodi per l'analisi della vulnerabilità da maremoti applicati ad Augusta in Sicilia orientale

Obiettivo del lavoro di tesi è l’analisi della vulnerabilità delle strutture della città di Augusta, che è una delle aree campione scelte dal progetto europeo ASTARTE, riguardante fra l’altro la stima e la mitigazione del rischio da tsunami nei mari europei. Per prima cosa sono state ricercate le strutture tettoniche che possono dare origine a terremoti di grande magnitudo, e che possono causare in seguito devastanti tsunami, nella zona della Sicilia orientale. La Scarpata Maltese è risultata essere la caratteristica morfologica dominante in questa zona del Mediterraneo. Per l’analisi di vulnerabilità sono state utilizzate due diverse metodologie: il modello SCHEMA (SCenarios for Hazard-induced Emergencies MAnagement) e il modello PTVA-3 (Papathoma Tsunami Vulnerability Assessment). Il metodo SCHEMA, di tipo quantitativo, è un metodo più semplice in quanto si avvale della fotointerpretazione per assegnare ad una costruzione la classe di appartenenza in base alla sua tipologia. Poi, attraverso le matrici del danno, si assegna un livello di danno (da D0, nessun danno, a D5, collasso) in base all’altezza della colonna d’acqua. Il metodo PTVA-3, di tipo qualitativo, risulta invece essere più complicato. Infatti, per arrivare all’assegnazione dell’indice di vulnerabilità relativa (RVI), che fornisce una stima del danno subito da una data struttura, si ha bisogno di assegnare un certo numero di attributi. L’indice RVI è dato dalla somma pesata tra la vulnerabilità strutturale e la vulnerabilità dovuta all’intrusione d’acqua (percentuale di piani inondati). In conclusione si è fatto un confronto tra i due metodi, ottenendo una sovrastima del metodo PTVA-3 rispetto al metodo SCHEMA nella quantificazione del livello di danneggiamento degli edifici.

Eco-sistemi informatici, distribuiti, real-time, a supporto del lavoro cooperativo in scenari di emergenza: Studio e realizzazione di un caso applicativo

I sistemi software nati dall'esigenza di supportare agevolmente ed efficacemente il lavoro cooperativo, in particolare quelli orientati al supporto di azioni di soccorso in scenari di emergenza, appaiono tutt'ora fortemente limitati e frammentati. In molti casi vengono affrontate solamente specifiche dimensioni del problema complessivo, anche se il livello al quale è giunto lo sviluppo tecnologico e i risultati osservati in ambito di ricerca permettono di delineare soluzioni complete e significative per l'impiego in ambiti reali. Tale tipologia di sistemi è stata scelta per il grande interesse che desta sia dal punto di vista accademico, essendo costituita da molteplici sotto--sistemi spesso eterogenei che debbono necessariamente interagire e supportare l'azione umana, sia dal punto di vista industriale, interpretando la necessità crescente di iniettare nel maggior numero possibile di livelli sociali la forte dipendenza (il supporto allo stesso tempo) dalle scienze tecnologiche ed informatiche, per rafforzare e talvolta estendere le possibilità dell'essere umano in quanto tale. Dopo una prima fase in cui verrà delineato un quadro concettuale piuttosto dettagliato circa i principali elementi e problematiche che caratterizzano la classe di sistemi considerati, sarà dato spazio alla validazione di tali principi e considerazioni emerse, confrontandosi con la progettazione e sviluppo in forma prototipale di un sotto--sistema relativo ad un caso di studio reale, significativo per l'ambito di applicazione, nato dalla collaborazione con l'Università degli Studi di Bologna di un'azienda della regione Emilia--Romagna. Il sistema software realizzato vuole essere innanzi tutto la risposta alle esigenze emerse nel caso di studio trattato, in modo tale da potersi sostituire agli attuali limitati supporti alla cooperazione, ma anche un esperimento che possa essere considerato un artefatto centrale da utilizzare come base di conoscenza condivisa, in cui vengano fattorizzati i concetti e meccanismi chiave, fondamentali per sviluppi futuri.

Influenza dei metodi di produzione agricola sulla qualità dei suoli in oliveti siciliani

Il presente lavoro di tesi ha avuto come obiettivo la valutazione della qualità dei suoli in oliveti siciliani in relazione a differenti metodi di gestione agronomica. In particolare, quello che si è inteso valutare sono stati gli effetti di sistemi di produzione agricola quali l’agricoltura convenzionale e l’agricoltura biologica sulle caratteristiche chimiche, fisiche e biologiche dei suoli. La qualità dei suoli è stata valutata integrando alle analisi chimico fisiche anche un metodo biologico basato sui microartropodi (QBS-ar). Il metodo è fondato sul concetto che maggiore è la qualità del suolo, maggiore è il numero di gruppi sistematici di microartropodi che presentano adattamenti alla vita ipogea. I nostri risultati evidenziano come l’agricoltura biologica possa diventare impattante tanto quanto l’agricoltura convenzionale, dal punto di vista della conservazione della fertilità dei suoli e della biodiversità, nel momento in cui viene a mancare una gestione che tenga conto delle caratteristiche intrinseche di un agroecosistema. Si è visto come un degrado della struttura fisica, che porti alla perdità di porosità, si possa ripercuotere negativamente sulla comunità dei microartropodi. Alcuni gruppi sistematici sembra possano essere più sensibili di altri a stress indotti dalla compattazione dei suoli, in particolare nel nostro studio questi gruppi sistematici risultano essere: Proturi, Ditteri (larve), Opilionidi, Diplopodi e Sinfili. Riguardo all’indicatore di qualità biologica del suolo QBS-ar, uno dei limiti che emerge nell’assegnazione della classe di qualità è rappresentato dal fatto che ogni valore dell’indice ottenuto non discrimina una classe in maniera univoca, ma i diversi Enti che utilizzano questo indicatore (ARPA, Università) hanno elaborato a livello interno i criteri per l’assegnazione della classe di qualità, rendendola un parametro non oggettivo per la valutazione della qualità dei suoli.

Struttura filogenetica della comunità batterica associata ad Ostreopsis cf. Ovata in colture batch e dinamiche di crescita

Negli ultimi 10 anni i blooms attribuibili alla dinoflagellata bentonica Ostreopsis cf. ovata sono aumentati in termini di frequenza ed intensità lungo le coste del Mediterraneo, avendo ripercussioni negative sulla salute umana e forti impatti sulle comunità marine bentoniche, ciò a seguito della produzione di potenti tossine (composti palitossina-simili) da parte della microalga. Tra i fattori ecologici che innescano o regolano le dinamiche dei bloom tossici le interazioni tra microalghe e batteri sono in misura sempre maggiore oggetto di ricerca. In questo studio è stata analizzata la struttura filogenetica della comunità batterica associata ad O. cf. ovata in colture batch e valutate le dinamiche successionali della stessa in relazione alle differenti fasi di crescita della microalga (oltre che in relazione alle dinamiche di abbondanza virale). Lo studio filogenetico è stato effettuato tramite l’ausilio di metodiche molecolari di sequenziamento di next generation (Ion Torrent). Le abbondanze dei batteri e delle particelle virali sono state determinate tramite microscopia ad epifluorescenza; l’abbondanza cellulare algale è stata stimata tramite metodo Uthermohl. Il contributo della frazione batterica ad elevata attività respiratoria è stato determinato tramite doppia colorazione con coloranti DAPI e CTC. Dai dati emersi si evince che la comunità batterica attraversa due fasi di crescita distinte, una più marcata e concomitante con la fase esponenziale di O. cf. ovata, l'altra quando la microalga è in fase media stazionaria. Per quanto concerne la composizione filogenetica della comunità sono stati rilevati 12 phyla, 17 classi e 150 generi, sebbene i dati ottenuti abbiano rilevato una forte dominanza del phylum Proteobacteria con la classe Alphaproteobacteria, seguita dal phylum Bacteroidetes con la classe Sphingobacteria. Variazioni nella struttura filogenetica della comunità batterica, a livello di generi, tra le diverse fasi di crescita della microalga ha permesso di evidenziare ed ipotizzare particolari interazioni di tipo mutualistico e di tipo competitivo.

Complessi tetrazolici di Re(I): design e preparazione di una nuova classe di probes luminescenti

In this experimental work we report the design, the synthesis and characterization of a new class of Re(I) complexes of the general formula fac-[Re(CO)3(N^N)(2-QTZ)], where N^N = 2,2’ bipyridine or 1,10 phenantroline, whereas 2-QTZ is the anion 2-quinolyl-tetrazolate. The complexes and, in particular, the tetrazolate ligand 2-QTZ were designed in order to investigate their specific interaction with biologically and toxicologically relevant metal ions, as Zn(II), Cd(II) e Cu(II). The addition of such ions led to substantial variations of the photophysical properties of these complexes, suggesting their application as luminescent sensors. The photophysical performance of the complexes proved to remain unchanged inside cellular substrates, as Yarrowia Lipolytica cultures. Within these yeasts, the complexes show unchanged ability to perform luminescent sensing towards Zn(II) and Cd(II) ions.

Abitudini alimentari di Merluccius merluccius in Alto-Medio Adriatico

Lo studio delle relazioni trofiche del nasello tramite analisi del contenuto stomacale è particolarmente importante per la gestione della pesca sia di questa specie che delle specie appartenenti alla sua alimentazione. Lo scopo della tesi è stato quello di esaminare l’alimentazione di questa specie utilizzando 200 campioni di nasello provenienti dalla Campagna Medits 2014, e confrontare la metodologia morfologica utilizzata con quella molecolare, determinando i vantaggi di ognuna ed i possibili limiti. La campagna di strascico è stata sviluppata secondo uno schema random stratificato in relazione alla profondità e all’interno di ciascun strato. Lo sbarcato è stato preventivamente sottoposto ad analisi biometriche registrando lunghezza totale, peso, sesso e maturità sessuale di ogni singolo individuo; successivamente sono stati conservati in etanolo gli stomaci prelevati dai 200 naselli scelti per classe di taglia. Sono state riconosciute le prede dei campioni di nasello sia analizzandole qualitativamente (al livello tassonomico più basso possibile), che quantitativamente, considerando alcuni degli indici maggiormente utilizzati. È stato poi calcolato l’indice trofico del nasello e sono stati infine confrontati i risultati con quelli delle analisi molecolari evidenziando le prede non riconosciute e gli errori di identificazione. La metodologia morfologica ha sottolineato che l’alimentazione del nasello dipende fortemente dalla taglia del predatore e dal loro grado di maturità sessuale, ma non varia significativamente in base al sesso. Ha infatti evidenziato una taglia del nasello, corrispondente alla taglia di prima maturità sessuale, in cui la specie cambia gradualmente la sua alimentazione, passando da piccoli crostacei a pesci di grandezza sempre maggiore. Risulta essere un forte predatore specializzato, ma che al tempo stesso risulta essere una specie opportunista, scegliendo il proprio cibo da ciò che ha a disposizione. Il confronto con l’analisi molecolare è stato utile per descrivere i pro e i contro di ciascuna metodologia, dimostrando che è necessario sfruttarle entrambe per avere risultati efficaci e completi dell’alimentazione di una specie.

Analisi morfometrica classica ed EFA (Elliptic Fourier Analysis) degli otoliti del genere Mullus in Alto - Medio Adriatico.

L’obiettivo del presente lavoro di tesi è stato quello di analizzare i campioni di otoliti delle due specie del genere Mullus (Mullus barbatus e Mullus surmuletus) per mezzo dell’Analisi Ellittica di Fourier (EFA) e l’analisi di morfometria classica con gli indici di forma, al fine di verificare la simmetria tra l’otolite destro e sinistro in ognuna delle singole specie di Mullus e se varia la forma in base alla taglia dell’individuo. Con l’EFA è stato possibile mettere a confronto le forme degli otoliti facendo i confronti multipli in base alla faccia, al sesso e alla classe di taglia. Inoltre è stato fatto un confronto tra le forme degli otoliti delle due specie. Dalle analisi EFA è stato possibile anche valutare se gli esemplari raccolti appartenessero tutti al medesimo stock o a stock differenti. Gli otoliti appartengono agli esemplari di triglia catturati durante la campagna sperimentale MEDITS 2012. Per i campioni di Mullus surmuletus, data la modesta quantità, sono stati analizzati anche gli otoliti provenienti dalla campagna MEDITS 2014 e GRUND 2002. I campioni sono stati puliti e analizzati allo stereomicroscopio con telecamera e collegato ad un PC fornito di programma di analisi di immagine. Dalle analisi di morfometria classica sugli otoliti delle due specie si può sostenere che in generale vi sia una simmetria tra l’otolite destro e sinistro. Dalle analisi EFA sono state riscontrate differenze significative in tutti i confronti, anche nel confronto tra le due specie. I campioni sembrano però appartenere al medesimo stock. In conclusione si può dire che l’analisi di morfometria classica ha dato dei risultati congrui con quello che ci si aspettava. I risultati dell’analisi EFA invece hanno evidenziato delle differenze significative che dimostrano una superiore potenza discriminante. La particolare sensibilità dell’analisi dei contorni impone un controllo di qualità rigoroso durante l’acquisizione delle forme.

Sclerocronologia di Chamelea gallina (Linnaeus, 1758) in Adriatico

La conoscenza dell’età e della crescita dei bivalvi è un requisito fondamentale per uno studio di dinamica di popolazione e per una gestione ottimale della risorsa. Lo scopo di questa tesi è quello di individuare una metodologia valida per riconoscere la precisa natura dell’origine dei microincrementi di crescita nel guscio di Chamelea gallina, riconoscendo le discontinuità annuali all’interno del guscio. Sono stati prelevati gusci di individui di C. gallina provenienti da un precedente campionamento nella baia della Vallugola il 06/09/2013. Le valve sono state incluse in resina epossidica e sezionate dall’umbone al margine centrale e levigate cos�� da poter osservare le fettine ottenute allo stereomicroscopio a luce trasmessa. Il vantaggio riscontrato di questa metodologia è rappresentato dalla inaccessibilità delle strutture di deposizione alle perturbazioni ambientali anche se risulta impossibile annullare i possibili effetti dovuti all’attività di pesca o di altri eventi stressanti. Sono stati individuati solamente organismi con uno o due anni di età. I picchi di rallentamento della crescita sincronizzati in ogni classe di taglia potrebbero indicare tassi di accrescimento costanti entro le classi di taglia. Si può notare inoltre una certa ciclicità con cui si presentano i picchi di rallentamento della crescita. Essi si presentano circa ogni 10-12 crestine corrispondenti ipoteticamente ad una annualità. Un limite di questa metodica è dato dal fatto che si riesce a leggere l’informazione contenuta nel guscio ma, senza una validazione non è possibile associarla ad un preciso periodo di vita dell’organismo. A causa delle tempistiche limitate, non è stato possibile condurre esperimenti di crescita in campo per validare la periodicità delle micro linee di accrescimento ma sarebbe auspicabile in futuro riuscire a svolgere almeno una delle diverse metodiche di validazione.

Additive manufacturing: studio delle non conformità geometriche e dimensionali in componenti realizzati mediante tecnica fused deposition modelling

La fabbricazione additiva è una classe di metodi di fabbricazione in cui il componente viene costruito aggiungendo strati di materiale l’uno sull’altro, sino alla completa realizzazione dello stesso. Si tratta di un principio di fabbricazione sostanzialmente differente da quelli tradizionali attualmente utilizzati, che si avvalgono di utensili per sottrarre materiale da un semilavorato, sino a conferire all’oggetto la forma desiderata, mentre i processi additivi non richiedono l’utilizzo di utensili. Il termine più comunemente utilizzato per la fabbricazione additiva è prototipazione rapida. Il termine “prototipazione”’ viene utilizzato in quanto i processi additivi sono stati utilizzati inizialmente solo per la produzione di prototipi, tuttavia con l’evoluzione delle tecnologie additive questi processi sono sempre più in grado di realizzare componenti di elevata complessità risultando competitivi anche per volumi di produzione medio-alti. Il termine “rapida” viene invece utilizzato in quanto i processi additivi vengono eseguiti molto più velocemente rispetto ai processi di produzione convenzionali. La fabbricazione additiva offre diversi vantaggi dal punto di vista di: • velocità: questi processi “rapidi” hanno brevi tempi di fabbricazione. • realizzazione di parti complesse: con i processi additivi, la complessità del componente ha uno scarso effetto sui tempi di costruzione, contrariamente a quanto avviene nei processi tradizionali dove la realizzazione di parti complesse può richiedere anche settimane. • materiali: la fabbricazione additiva è caratterizzata dalla vasta gamma di materiali che può utilizzare per la costruzione di pezzi. Inoltre, in alcuni processi si possono costruire pezzi le cui parti sono di materiali diversi. • produzioni a basso volume: molti processi tradizionali non sono convenienti per le produzioni a basso volume a causa degli alti costi iniziali dovuti alla lavorazione con utensili e tempi di setup lunghi.

La generazione di modelli tridimensionali densi in ambito architettonico mediante la fotogrammetria digitale

The Italian territory offers a wide range of treasures in the field of Cultural Assets. This is a highly relevant property, which needs an accurate management and preservation performed by appropriate tools, also giving attention to the maintenance and safeguard from risk factors. Nowadays the increasing development of new digital technologies, added by remarkable steps forward got by the subject of Geomatic makes possible an efficient integration among different techniques, helped also by spread of solutions to improve the data import-export and transmission between different devices. The main objective of this thesis is to experience the photogrammetric restitution implemented in a commercial software of digital photogrammetry, in order to generate a dense 3D model of the facade of the Basilica Sant'Apollinare Nuovo in Ravenna. The 1st Chapter, after a general introduction regarding the 3D survey of Cultural Heritage and some considerations linked to the use of digital photogrammetry in this field, is focused to analyze the case of stereoscopic and the monoscopic approach. In particular, it develops the theme of close-range photogrammetry. The 2nd Chapter, exposes the theme of digital images, from color theory until their appearing on the monitor. The 3rd Chapter, develops the case study of the Basilica di Sant'Apollinare Nuovo, the historical, architectural and religious of the same. Also, it is examined the issue of photogrammetry and laser scanning of the case study. The final part of the same chapter, treats the processing of data processing the software Agisoft PhotoScan, in order to generate, by means of Structure from Motion technique, a digital geometric 3D model of the Basilica Facade. The digital model has been scaled on the basis of measurements made on the field. With the software it was possible to accomplish the three phases of the photogrammetric data processing: internal orientation, exterior orientation and restitution.

Sospesi nel linguaggio Scrivere e parlare matematica in V Liceo

Questo lavoro nasce dal desiderio di approfondire i fondamenti del linguaggio della matematica, osservandone gli usi ed analizzandone gli scopi dal punto di vista didattico e non solo. Il linguaggio è il mezzo su cui si costruiscono i pensieri o semplicemente lo strumento coi quali si comunica il sapere? Il linguaggio è uno strumento della pratica matematica o è la matematica ad essere un linguaggio? Se lo è, che caratteristiche ha? Queste sono le domande che hanno accompagnato la stesura dei primi capitoli di questa tesi, in cui si approfondisce il tema del linguaggio della matematica da un punto di vista epistemologico, tecnico e didattico, a partire dai riferimenti teorici e dalle ricerche sul campo curate da Bruno D’Amore e Pier Luigi Ferrari. Nella seconda parte si presentano i risultati e le osservazioni della sperimentazione condotta nella classe 5a As del Liceo Scientifico “A. Righi” di Cesena. L’indagine di tipo qualitativo sui protocolli degli studenti ha permesso di definire le modalità d’uso del linguaggio da parte degli stessi al termine del percorso scolastico, di mostrare alcuni possibili legami tra le competenze linguistiche e quelle matematiche e di delineare una classificazione di tre profili di allievi relativamente al loro modo di scrivere e parlare di matematica. La tesi ha favorito uno sguardo trasversale verso la matematica in cui il linguaggio offre una fruttuosa possibilità di incontro tra prospettive opposte nel guardare la scienza e l’uomo. Questo apre alla possibilità di costruire una didattica che non sia la mera somma di conoscenze o la divisione di settori disciplinari, ma il prodotto di elementi che armoniosamente costruiscono il pensiero dell’uomo.

Sintesi e caratterizzazione di eptameri a base tiofenica con sequenza D-A1-D-A-D-A1-D per applicazioni in BHJ solar cells

L’interesse della ricerca scientifica sta crescendo sempre più tra i materiali a base tiofenica, spinta dalle loro sorprendenti proprietà funzionali e semiconduttive. Gli oligotiofeni trovano infatti applicazione in molti campi interdisciplinari, in particolare nei dispositivi fotovoltaici organici. In questo studio è stato sintetizzato un nuovo eptamero T7-Bz-TSO2 con sequenza D-A1-D-A-D-A1-D grazie alla reazione di cross-coupling Suzuki-Miyaura catalizzata da un complesso di palladio e assistita da microonde. Questo lavoro si è incentrato sull’introduzione di una nuova unità tiofenica S,S-diossidata lungo la catena oligomerica principale e sullo studio delle diverse proprietà ottiche ed elettrochimiche del nuovo materiale, utilizzato come strato fotattivo in una cella solare organica di tipo bulk heterojunction (BHJ). Lo studio dei parametri di cella ha rivelato una promettente natura ambipolare del T7-Bz-TSO2, non comune in questa classe di composti e di grande interesse per lo sviluppo di dispositivi fotovoltaici organici.