Inversione della trasformata di Laplace mediante regolarizzazione con norma L1

I dati derivanti da spettroscopia NMR sono l'effetto di fenomeni descritti attraverso la trasformata di Laplace della sorgente che li ha prodotti. Ci si riferisce a un problema inverso con dati discreti ed in relazione ad essi nasce l'esigenza di realizzare metodi numerici per l'inversione della trasformata di Laplace con dati discreti che è notoriamente un problema mal posto e pertanto occorre ricorrere a metodi di regolarizzazione. In questo contesto si propone una variante ai modelli presenti il letteratura che fanno utilizzo della norma L2, introducendo la norma L1.

Alcuni metodi per la determinazione delle radici di un polinomio

Un problema classico in matematica, che presenta numerose applicazioni anche al di fuori di tale disciplina, è la ricerca delle radici di un polinomio. Per quanto riguarda i polinomi di grado minore o uguale a 4 ci sono delle formule per determinare le radici a partire dai coefficienti, mentre per il generico polinomio di grado maggiore o uguale a 5 formule simili non esistono. È possibile, però, determinare in modo approssimato le radici di un polinomio, o stimare il numero di radici reali di un polinomio reale in un dato intervallo, o ancora localizzare nel piano complesso gli zeri di un polinomio a coefficienti complessi.

Implementazione di un codice di calcolo random close per un propellente solido

L’impacchettamento risulta essere importante in molti settori industriali, come il settore minerario, farmaceutico e soprattutto il settore spaziale, in quanto permette di massimizzare il grado di riempimento del propellente solido di un razzo ottenendo prestazioni migliori e notevoli vantaggi economici. Il lavoro di tesi presentato nel seguente elaborato consiste nello studio dell’impacchettamento casuale, in particolare il caso Random Close Packing, di un propellente solido; per fare ciò è stato implementato un codice in ambiente C++ presso l’hangar della Scuola di Ingegneria ed Architettura con sede a Forlì. L’obiettivo principale era quello di trovare la granulometria delle particelle di perclorato di ammonio e delle particelle di alluminio tali da minimizzare gli spazi lasciati vuoti dalle particelle stesse.

Accoppiamento magnetico di scambio e confinamento spaziale in film e nanodot di IrMn/NiFe

L'exchange bias, fenomeno legato allo spostamento del ciclo di isteresi lungo l'asse del campo magnetico, è osservato nei materiali ferromagnetici(FM)-antiferromagnetici(AFM) accoppiati per scambio. Il suo studio, soprattutto nelle nanostrutture, è interessante sia da un punto di vista fenomenologico sia per ragioni tecnologiche. In campo teorico, la riduzione delle dimensioni laterali nei sistemi FM-AFM può portare a sostanziali cambiamenti nell'entità dello spostamento del ciclo e nella coercitività. Da un punto di vista tecnologico, lo studio del fenomeno di exchange bias è incentivato dal grande sviluppo dello storage magnetico e della spintronica; le testine di lettura sono tipicamente composte da valvole di spin o strutture a giunzione tunnel, nelle quali i bistrati FM-AFM accoppiati per scambio costituiscono una parte essenziale. Inoltre, è stato recentemente dimostrato che le interazioni di scambio FM-AFM possono essere usate per migliorare la stabilità dei mezzi di registrazione magnetica. Questo lavoro di tesi riporta lo studio del fenomeno di exchange bias in film sottili di IrMn/NiFe ed in dots di uguale composizione ma con diverse dimensioni (1000, 500 e 300nm), allo scopo di comprendere come il confinamento spaziale influenzi il meccanismo di accoppiamento di scambio e la sua evoluzione magnetotermica. I campioni sono stati preparati mediante litografia a fascio di elettroni e dc-magnetron sputtering e caratterizzati strutturalmente attraverso tecniche di microscopia elettronica. Lo studio delle proprietà magnetiche è stato realizzato mediante magnetometria ad effetto Kerr magneto-ottico, tecnica molto efficace per indagini su film sottili e nanostrutture, di cui la tesi riporta un'ampia trattazione. Infine, i risultati sperimentali sono stati affiancati a simulazioni micromagnetiche, così da ottenere un quadro completo dell'effetto di exchange bias nel sistema IrMn/NiFe.

Propagazione di luce in mezzi disordinati: Misure di trasporto diffusivo tramite imaging stazionario

Nel presente lavoro di tesi è stato effettuato uno studio del trasporto di luce in sistemi diffusivi. Per effettuare tale studio è stato allestito un apparato sperimentale ottimizzato per acquisire profili di trasmissione risolti spazialmente di campioni con geometria a slab. Tramite delle misure su un campione diffusivo di riferimento è stato valutato il funzionamento dell’apparato e sono stati effettuati dei test per ottimizzare il procedimento di misurazione. L’apparato è stato poi impiegato per condurre un’analisi del trasporto in un altro sistema disordinato particolarmente interessante, una scaglia di scarafaggio bianco Chyphochilus. Questa specie presenta una bianchezza unica in natura, per via della particolare struttura ottica insita nelle sue scaglie. Le misure effettuate su questo campione hanno rivelato la presenza di anisotropia di trasporto, elemento che potrebbe rivestire un ruolo centrale nelle eccezionali proprietà macroscopiche della scaglia. Sia l’analisi sul campione diffusivo che sulla scaglia di Chyphochilus dimostrano come l’apparato messo a punto permetta di investigare le proprietà microscopiche e strutturali del processo di trasporto di luce, consentendo di stimare il grado di anisotropia dei sistemi esaminati. L’intero lavoro di tesi è stato svolto presso il laboratorio Europeo di Spettroscopia Non-lineare LENS di Firenze all’interno dell’attività di ricerca del gruppo di ottica dei sistemi complessi di Diederik Wiersma. Il campione di scaglia di Chyphochilus è stato fornito dal prof. Peter Vukusic dell’Università di Exeter, UK.

Emulazione di una colonnina di ricarica per auto elettrica tramite arduino

Internet of Energy for Electric Mobility è un progetto di ricerca europeo il cui scopo consiste nello sviluppo di infrastrutture di comunicazione, siano esse sia hardware che software, volte alla facilitazione, supporto e miglioramento di tutte quelle operazioni legate al processo di ricarica di auto elettriche. A tale progetto vi ha aderito anche l’Università di Bologna ed è stato oggetto di studio di Federico Montori e Simone Rondelli. Il primo ha dato il là allo sviluppo del progetto realizzandovi, in una fase embrionale, una piattaforma legata alla gestione di un servizio cittadino (bolognese) per la gestione di ricariche elettriche, un’applicazione mobile in grado di interagire con tale servizio ed un simulatore per la piattaforma. In un lavoro durato oltre un anno, Simone Rondelli ha ripreso il progetto di Federico Montori riscrivendone le componenti in maniera tale da migliorarne le funzionalità ed aggiungerne anche di nuove; in particolare ha realizzato in maniera efficiente un’applicazione mobile la quale si occupa di gestire la prenotazione di colonnine elettriche di ricarica e di monitorare lo stato attuale di un’auto peso, livello batteria, ecc... ). Nel marzo del 2014 è cominciato il mio contributo nel contesto di Internet of Energy di cui ne ho ereditato tutta l’architettura derivante dai due sviluppi precedenti. Il mio compito è stato quello di realizzare (cioè emulare) una colonnina di ricarica auto elettrica, tramite la piattaforma elettronica Arduino, la quale al suo primo avvio informa il database semantico del sistema (SIB) della sua presenza in maniera tale che il simulatore sia in grado di poter far ricaricare un’auto anche a questa nuova colonnina. Di conseguenza ho fatto in modo di instaurare (tramite socket) una comunicazione tra il simulatore e la colonnina così che il simulatore informi la colonnina che è stata raggiunta da un’auto e, viceversa, la colonnina informi il simulatore sullo stato di ricarica dell’auto in modo che quest’ultima possa ripartire al termine della ricarica. Ho anche realizzato un’applicazione mobile in grado di comunicare con la colonnina, il cui scopo è quello di ottenere un codice di ricarica che poi l’utente deve digitare per autenticarsi presso di essa. Realizzando tale tipo di contributo si è data dunque la possibilità di integrare una componente ”reale” con componenti simulate quali le auto del simulatore di Internet of Energy e si sono poste le basi per estensioni future, le quali permettano di integrare anche più componenti che si registrano nel sistema e danno dunque la possibilità di essere utilizzate dalle auto elettriche.

Un metodo di tipo Newton per la ricostruzione di immagini con norma L1

Scopo dell'opera è implementare in maniera efficiente ed affidabile un metodo di tipo Newton per la ricostruzione di immagini con termine regolativo in norma L1. In particolare due metodi, battezzati "OWL-QN per inversione" e "OWL-QN precondizionato", sono presentati e provati con numerose sperimentazioni. I metodi sono generati considerando le peculiarità del problema e le proprietà della trasformata discreta di Fourier. I risultati degli esperimenti numerici effettuati mostrano la bontà del contributo proposto, dimostrando la loro superiorità rispetto al metodo OWL-QN presente in letteratura, seppure adattato alle immagini.

Algoritmi e ricorsività: macchine di Turing e algoritmi di Markov

In questa questa tesi vengono presentate alcune delle più importanti definizioni di funzione computabile mediante un algoritmo: una prima descrizione è quella data tramite le funzioni ricorsive, un secondo approccio è dato in termini di macchine di Turing, infine, vengono considerati gli algoritmi di Markov. Si dimostra che tutte queste definizioni sono equivalenti. Completa la tesi un breve cenno al lambda-K-calcolo.

Osservazioni in ambiente controllato del ciclo riproduttivo e delle prime fasi di accrescimento di Chiloscyllium punctatum (Muller & Henle 1838)

La presente tesi tratta delle attività riproduttive e delle prime fasi di crescita dello squalo Chiloscyllium punctatum. Da Dicembre 2013 a Giugno 2014, all’Acquario di Cattolica, sono state effettuate osservazioni su una coppia di adulti riproduttori e sui relativi neonati mantenuti in ambiente controllato. Il Chiloscyllium punctatum è una specie ovipara che rilascia uova di forma rettangolare, ha un ciclo riproduttivo relativamente rapido ed è molto sfruttata come specie ornamentale dagli acquari di tutto il mondo. Per ottenere una corretta gestione in ambiente controllato, la riproduzione ed estrapolare il maggior numero d’informazioni certe su gli stadi di vita, sulla dieta di divezzamento dei neonati dal sacco vitellino, sull’illuminazione più consona da adottare, sulle dimensioni medie di uova, nascituri e adulti, sulla crescita dei nascituri, sui tempi di sviluppo embrionale, sulla frequenza di deposizione delle uova e sui tempi di schiusa è stato necessario sviluppare un corretta procedura di gestione ordinaria. In 7 mesi, gli adulti di C. punctatum, in condizioni ambientali ottimali e costanti, hanno dato vita a 33 neonati. Questi sono stati sottoposti a misurazioni di lunghezza (LT, cm) e peso corporeo (PC, g) per valutare l’influenza dell’illuminamento e della dieta sulla crescita. Inoltre, sono stati confrontati dati sperimentali (e.g. tempistiche di sviluppo embrionale) con dati bibliografici (Haraush et al., 2007) che hanno evidenziato alcune similitudini e differenze.

Interfaccia software di verifica e calibrazione a terra del sensore di terra di ESEO

In questo lavoro di tesi è stata validata una interfaccia grafica in ambiente Windows capace di impostare i parametri della camera Tau 320 FLIR, usata a bordo del satellite ESEO come sensore di terra. L'impostazione dei parametri passa, inoltre, attraverso l'hardware Discovery F4 e per questo è stato sviluppato e validato anche uno script in linguaggio C per la Discovery che fa comunicare il PC con la camera.

Alcune caratterizzazioni delle funzioni convesse nei gruppi di Carnot

In questa trattazione ci proponiamo di analizzare e approfondire alcune delle definizioni fondamentali di funzione convessa; l’ambiente nel quale lavoreremo non si limiterà a quello euclideo, ma spazierà anche tra gruppo di Heisenberg e gruppo di Carnot. In questo lavoro dimostriamo una nuova caratterizzazione delle funzioni convesse in termini delle proprietà di sottomedia.

Il concetto di funzione. Una proposta didattica di approccio coordinato fra matematica e fisica

Da anni l’insegnamento “trasmissivo” delle scienze è messo in discussione e le ricerche condotte su grandi numeri di studenti di diverso livello scolare ne stanno dimostrando la scarsa efficacia. Si è cercato di documentare e interpretare le difficoltà esistenti per trovare soluzioni che garantiscano un apprendimento significativo. Il lavoro di tesi cerca di mettere a punto una proposta efficace per una formazione iniziale su un concetto matematico significativo: la funzione. Il percorso che presentiamo si sviluppa a partire da un’esperienza didattica in una terza secondaria inferiore in cui il passaggio dalla fase percettiva a quella più formale è affiancato dalla rappresentazione grafica relativa al moto del proprio corpo. L’attività ha permesso di avvicinare gli studenti ai fenomeni partendo da situazioni reali, di indagare le regolarità dei grafici, interpretare la relazione tra le grandezze e ha permesso a ciascuno di costruirsi un modello intuitivo. La proposta didattica si rivolge agli studenti più grandi del biennio della secondaria superiore ed è risultato abbastanza naturale adattare le prime fasi alla pre-sperimentazione. Si introduce la dipendenza lineare tra due variabili associandola ad un grafico rettilineo e si definisce la relazione che lega le variabili spazio temporali. Il passaggio al concetto di limite viene delineato attraverso l’ingrandimento e l’approssimazione della curva senza necessariamente introdurre rigore e formalismo ma sottolineando la finezza del significato matematico e il senso del procedimento. Tale proposta è un intreccio di contenuti matematici e fisici che avvicina gli studenti allo studio e alla comprensione della realtà di cui fanno parte.

Sperimentazione sull'introduzione delle equazioni differenziali come strumento per la modellizzazione matematica di un problema in una classe quinta liceo scientifico

La tesi si occupa di mostrare il progetto messo in atto in una classe dell’ultimo anno di liceo scientifico. Tratta un possibile approccio all’introduzione delle equazioni differenziali mediante la modellizzazione matematica. Si vuole mostrare come lo studio di problemi di diversa natura porti alla costruzione e all’utilizzo di modelli matematici, quali le equazioni differenziali. Con questo intervento didattico si propone un percorso che guida gli studenti nel processo della modellizzazione matematica, analizzandone le criticità.

Trasporto di carica in cristalli organici semiconduttori

Uno dei settori che più si stanno sviluppando nell'ambito della ricerca applicata è senza dubbio quello dell'elettronica organica. Nello specifico lo studio è sospinto dagli indubbi vantaggi che questi dispositivi porterebbero se venissero prodotti su larga scala: basso costo, semplicità realizzativa, leggerezza, flessibilità ed estensione. È da sottolineare che dispositivi basati su materiali organici sono già stati realizzati: si parla di OLED (Organic Light Emitting Diode) LED realizzati sfruttando le proprietà di elettroluminescenza di alcuni materiali organici, OFET (Organig Field Effect Transistor) transistor costruiti con semiconduttori organici, financo celle solari che sfruttano le buone proprietà ottiche di questi composti. Oggetto di analisi di questa tesi è lo studio delle proprietà di trasporto di alcuni cristalli organici, al fine di estrapolarne la mobilità intrinseca e verificare come essa cambi se sottoposti a radiazione x. I due cristalli su cui si è focalizzata questa trattazione sono il 1,5-Dinitronaphtalene e il 2,4-Dinitronaphtol; su di essi è stata eseguita una caratterizzazione ottica e una elettrica, in seguito interpretate con il modello SCLC (Space Charge Limited Current). I risultati ottenuti mostrano che c'è una differenza apprezzabile nella mobilità nei due casi con e senza irraggiamento con raggi x.

Wavetrack, implementazione ottimizzata di un algoritmo di pitch tracking basato su wavelet

WaveTrack é un'implementazione ottimizzata di un algoritmo di pitch tracking basato su wavelet, nello specifico viene usata la trasformata Fast Lifting Wavelet Transform con la wavelet di Haar. La libreria è stata scritta nel linguaggio C e tra le sue peculiarità può vantare tempi di latenza molto bassi, un'ottima accuratezza e una buona flessibilità d'uso grazie ad alcuni parametri configurabili.