Reti neurali e modelli fisico-predittivi: Dati clinici e analisi di trattamenti in tomotherapy

Il lavoro è parte integrante di un progetto di ricerca del Ministero della Salute ed è stato sviluppato presso la Fisica Sanitaria ed il reparto di Radioterapia Oncologica dell’Azienda Ospedaliero Universitaria di Modena. L’obiettivo è la realizzazione di modelli predittivi e di reti neurali per tecniche di warping in ambito clinico. Modifiche volumetrico-spaziali di organi a rischio e target tumorali, durante trattamenti tomoterapici, possono alterare la distribuzione di dose rispetto ai constraints delineati in fase di pianificazione. Metodologie radioterapiche per la valutazione di organ motion e algoritmi di registrazione ibrida permettono di generare automaticamente ROI deformate e quantificare la divergenza dal piano di trattamento iniziale. Lo studio si focalizzata sulle tecniche di Adaptive Radiation Therapy (ART) mediante la meta-analisi di 51 pazienti sottoposti a trattamento mediante Tomotherapy. Studiando il comportamento statistico del campione, sono state generate analisi predittive per quantificare in tempo reale divergenze anatomico dosimetriche dei pazienti rispetto al piano originale e prevedere la loro ripianificazione terapeutica. I modelli sono stati implementati in MATLAB, mediante Cluster Analysis e Support Vector Machines; l’analisi del dataset ha evidenziato il valore aggiunto apportabile dagli algoritmi di deformazione e dalle tecniche di ART. La specificità e sensibilità della metodica è stata validata mediante l’utilizzo di analisi ROC. Gli sviluppi del presente lavoro hanno aperto una prospettiva di ricerca e utilizzo in trattamenti multicentrici e per la valutazione di efficacia ed efficienza delle nuove tecnologie in ambito RT.

Stable laser and upgraded vacuum setup for an experiment with ultracold atoms

In questo lavoro ci si propone di descrivere la realizzazione di un sistema laser con cavit´a esterna e di un apparato da ultra-alto-vuoto, che verranno impiegati in un esperimento di miscele di atomi ultrafreddi che utilizza due specie atomiche di bosoni: 87Rb e 41K. Speciale attenzione viene rivolta verso le caratteristiche dello schema utilizzato e sul sistema di controllo in temperatura, che rendono questo sistema laser particolarmente stabile in frequenza e insensibile alle vibrazioni e variazioni di temperatura. Si sono poi analizzate le propriet´a dei materiali impiegati e delle procedure sperimentali adottate per la realizzazione del nuovo apparato da vuoto, al fine di garantire migliori prestazioni rispetto al sistema attualmente in uso.

Determinazione del gradiente gravitazionale attraverso l'utilizzo di un interferometro atomico

Il lavoro presentato in questa tesi è stato svolto nell'ambito dell'esperimento MAGIA (Misura Accurata di G mediante Interferometria Atomica) che, come suggerito dall'acronimo, si propone di realizzare una misura della Costante Gravitazionale G utilizzando un interferometro atomico come sensore di forza. L'obbiettivo di MAGIA è quello di fornire una misura di G con un'incertezza di circa 100 ppm, per raggiungere lo scopo è necessario conoscere il gradiente gravitazionale presente nel laboratorio durante la misura di G. Un errore nella valutazione del gradiente gravitazionale del 10% comporterebbe un errore nella misura di G di 26 ppm. Si è quindi modificato l'apparato per abilitarlo alla misura del gradiente. Dopo la determinazione del gradiente gravitazionale si è portando l'errore sulla misura di G causato dalla sua incertezza a circa 1 ppm. Vista l'importanza della misura del gradiente gravitazionale negli studi geologici e nella ricerca mineraria, si è studiata la possibilità dell'utilizzo dello strumento come gradiometro per misure geologiche. Inoltre si è anche caratterizzato il sistema di iniezione degli atomi e se n’è studiato un possibile miglioramento.

Segmentazione di immagini mammografiche con convolutional neural networks

Il tumore al seno si colloca al primo posto per livello di mortalità tra le patologie tumorali che colpiscono la popolazione femminile mondiale. Diversi studi clinici hanno dimostrato come la diagnosi da parte del radiologo possa essere aiutata e migliorata dai sistemi di Computer Aided Detection (CAD). A causa della grande variabilità di forma e dimensioni delle masse tumorali e della somiglianza di queste con i tessuti che le ospitano, la loro ricerca automatizzata è un problema estremamente complicato. Un sistema di CAD è generalmente composto da due livelli di classificazione: la detection, responsabile dell’individuazione delle regioni sospette presenti sul mammogramma (ROI) e quindi dell’eliminazione preventiva delle zone non a rischio; la classificazione vera e propria (classification) delle ROI in masse e tessuto sano. Lo scopo principale di questa tesi è lo studio di nuove metodologie di detection che possano migliorare le prestazioni ottenute con le tecniche tradizionali. Si considera la detection come un problema di apprendimento supervisionato e lo si affronta mediante le Convolutional Neural Networks (CNN), un algoritmo appartenente al deep learning, nuova branca del machine learning. Le CNN si ispirano alle scoperte di Hubel e Wiesel riguardanti due tipi base di cellule identificate nella corteccia visiva dei gatti: le cellule semplici (S), che rispondono a stimoli simili ai bordi, e le cellule complesse (C) che sono localmente invarianti all’esatta posizione dello stimolo. In analogia con la corteccia visiva, le CNN utilizzano un’architettura profonda caratterizzata da strati che eseguono sulle immagini, alternativamente, operazioni di convoluzione e subsampling. Le CNN, che hanno un input bidimensionale, vengono solitamente usate per problemi di classificazione e riconoscimento automatico di immagini quali oggetti, facce e loghi o per l’analisi di documenti.

Climatological characterization and dynamics of barrier winds in the italian region

Il vento di barriera (VB) è un fenomeno meteorologico a mesoscala che interessa il flusso nei bassi strati atmosferici ed è dovuto all'interazione con l'orografia. Se il numero di Froude upstream è sufficientemente piccolo si genera una deviazione orizzontale del flusso incidente. Si può raggiungere uno stato quasi-stazionario, nel quale un intenso vento soffia parallelo all'orografia nei bassi strati. Nel presente lavoro si è innanzitutto sviluppata una climatologia degli eventi di VB nella regione italiana su un periodo biennale. Gli eventi sono stati classificati per la velocità del flusso incidente e la velocità e direzione del VB a 950 hPa, e per il numero di Froude upstream. Si è poi studiata la distribuzione degli eventi rispetto al numero di Froude. La climatologia è risultata in buon accordo con la teoria idealizzata dei flussi sopra l'orografia. Tre casi di studio sono stati successivamente simulati utilizzando i modelli BOLAM e MOLOCH dell'istituto CNR-ISAC di Bologna. Per ciascun evento sono stati calcolati il numero di Froude upstream e i parametri principali, quali velocità, estensione, temperatura ecc. Per uno dei casi, riguardante le Alpi orientali, le simulazioni sono state confrontate con dati osservati di vento, pressione, temperatura e precipitazione. Sono poi stati condotti dei sensitivity tests con orografia diminuita su ognuno degli eventi. È stata così verificata l'importanza dell'effetto orografico e l'intensità del fenomeno del VB è stata associata al numero di Froude. Un indice, denominato Barrier Wind Index (BWI) è stato ideato a tale scopo. Le simulazioni hanno mostrato un buon accordo con la teoria, indicandone i limiti di applicabilità all'atmosfera reale. In particolare, il Barrier Wind Index tende ad aumentare linearmente al diminuire del numero di Froude. Le simulazioni hanno evidenziato l'elevata influenza del VB sulla circolazione atmosferica a mesoscala, sulla distribuzione e intensità della precipitazione e sull'avvezione di temperatura e umidità.

Valutazione della carbon footprint di un aeroporto: Applicazione all'aeroporto "G.Marconi" di Bologna

Il presente elaborato propone una metodologia di valutazione della carbon footprint di un aeroporto e ne presenta un’applicazione per l’aeroporto “Guglielmo Marconi” di Bologna. Attraverso l'individuazione di macrocategorie di fonti di emissione, viene inoltre discussa l'efficacia di alcuni interventi di riduzione delle emissioni di anidride carbonica.

Acquisizione, ricostruzione ed analisi di dati rotazionali da dispositivo mobile

Abbiamo analizzato il comportamento di dispositivi mobili allo scopo di acquisire, ricostruire ed analizzare dati rotazionali da veicoli in movimento. E' possibile ricostruire solo l'urto iniziale di un incidente tra automobili attraverso segnale GPS e accelerometri interni ai veicoli, non è possibile ricostruire l'intera dinamica dell'incidente poiché si perde la rotazione assunta dai mezzi di trasporto dopo l'urto. Per questo scopo abbiamo studiato il comportamento di un dispositivo mobile capace di percepire movimenti rotatori. Abbiamo creato un'architettura software per ricostruire graficamente ed analizzare le rotazioni di una piattaforma Arduino, ovvero un prototipo dotato di accelerometro e giroscopio. Per studiare le rotazioni è stata applicata la matematica dei quaternioni. Abbiamo trovato algoritmi che ricavano le rotazioni attraverso le velocità angolari fornite dalla piattaforma, ed anche attraverso componenti hardware specializzati in rotazioni. Entrambe le soluzioni riescono ad interpretare correttamente la rotazioni del dispositivo nell'intervallo di tempo in cui si può sviluppare un incidente.

Design and development of the new composite-material mainplane of the Dallara T12 race car

Abstract (US) Composite material components design and production techniques are discussed in the present graduation paper. In particular, this paper covers the design process and the production process of a carbon-fiber composite material component for a high performance car, more specifically, the Dallara T12 race car. This graduation paper is split in two. After a brief introduction on existing composite materials (their origins and applications), the first part of the present paper covers the main theoretical concepts behind the design of composite material components: particular focus will be given to carbon-fiber composites. The second part of the present paper covers the whole design and production process that the candidate carried out to create the new front mainplane of the Dallara T12 race car. This graduation paper is the result of a six-months-long internship that the candidate conducted as Design Office Trainee inside Dallara Automobili S.p.A. Abstract (ITA) La presente tesi di laurea discute le metodologie progettuali e produttive legate alla realizzazione di un componente in materiale composito. Nello specifico, viene discussa la progettazione e la produzione di un componente in fibra di carbonio destinato ad una vettura da competizione. La vettura in esame è la Dallara T12. Il lavoro è diviso in due parti. Nella prima parte, dopo una breve introduzione sull’origine e le tipologie di materiali compositi esistenti, vengono trattati i concetti teorici fondamentali su cui si basa la progettazione di generici componenti in materiale composito, con particolare riguardo ai materiali in fibra di carbonio. Nella seconda parte viene discusso tutto il processo produttivo che il candidato ha portato a termine per realizzare il nuovo alettone anteriore della Dallara T12. La presente tesi di laurea è il risultato del lavoro di progettazione che il candidato ha svolto presso l’Ufficio Tecnico di Dallara Automobili S.p.A. nel corso di un tirocinio formativo di sei mesi.

Campionamento e ricostruzione di immagini full wavefield per il monitoraggio strutturale

L'elaborato affronta la definizione di differenti strategie per il campionamento e la ricostruzione di segnali wavefield per applicazioni di monitoraggio strutturale. In accordo con quanto indicato dalla teoria del Compressive Sensing, obiettivo della tesi è la minimizzazione del numero di punti di acquisizione al fine di ridurre lo sforzo energetico del campionamento. I risultati sono validati in ambiente Matlab utilizzando come riferimento segnali acquisiti su setup sperimentali in alluminio o materiale composito in presenza di diverse tipologie di difetto.

Verifiche di vulnerabilità sismica della Facolta di Fisica a Bologna

Valutazione della vulnerabilità sismica di una struttura mista in muratura e calcestruzzo armato esistente. Caratterizzazione meccanica dei materiali mediante prove diagnostiche. Modellazione strutturale attraverso un programma agli elementi finiti (SAP2000), verifiche statiche e sismiche condotte secondo le attuali normative italiane (NTC2008). Caso di studio: facoltà di Fisica a Bologna (A. Righi)

Analisi delle vulnerabilità sismiche di edifici esistenti in muratura: Il caso del liceo scientifico "A.Righi" di Bologna.

Analisi delle vulnerabilità sismiche Liceo Righi di Bologna

Esperimenti di integrazione ViewOS-Rump: lo stack di rete NetBSD

In questo lavoro si indaga la possibilita' di includere lo stack TCP-IP NetBSD, estratto come libreria dinamica ed eseguito all'interno di un kernel rump, come sottomodulo di rete della System Call Virtual Machine UMView di Virtual Square. Il risultato ottenuto consiste in umnetbsd, il modulo che ne dimostra la fattibilita', e libvdeif, una libreria per connettere kernel rump a switch VDE.

Analisi delle relazioni tra caratteristiche operativo-funzionali delle infrastrutture ciclabili e la scelta del percorso da parte degli utenti

Lo studio indaga le relazioni tra la scelta del percorso dei ciclisti e le caratteristiche operativo – funzionali delle diverse dotazioni ciclabili, partendo dall’ osservazione che alcuni archi realizzati in promiscuità con pedoni vengono esclusi dalla scelta del percorso di alcuni utenti. Uno dei fattori cui viene posta maggiore, soprattutto tra coloro che utilizzano la bicicletta per spostamenti sistematici casa-lavoro o scuola, è la velocità media. Se su un arco tale velocità risulta bassa l'utente può associare a tale arco una bassa utilità ed escluderlo quindi durante la fase di scelta del percorso. La condivisione dello spazio con pedoni determina interferenze e conflitti, che possono indurre una riduzione della velocità media, che può determinare una minore attrattività della dotazione. È stata condotta una campagna di indagine su tre archi ciclabili della rete ciclabile del Comune di Bologna, che ha visto l’utilizzo di telecamera portatile montata su casco di sicurezza, consentendo di poter usufruire di diversi vantaggi nel verificare l’entità delle interferenze e quantificarne l’ effetto sulla prestazione di velocità. Attraverso l’analisi statistica, non solo della velocità media mantenuta dagli operatori su pista e su strada, ma anche della sua variazione percentuale, si definisce il peso che viene attribuito alla presenza di altri utenti, pedoni, nell’ utilizzo delle infrastrutture ciclabili condivise attraverso la determinazione di un coefficiente di equivalenza bici-pedoni.

Costruzioni modulari in linguaggi con tipi dipendenti.

In questa tesi si indaga come è possibile strutturare in modo modulare programmi e prove in linguaggi con tipi dipendenti. Il lavoro è sviluppato nel linguaggio di programmazione con tipi dipendenti Agda. Il fine è quello di tradurre l'approccio Datatypes à la carte, originariamente formulato per Haskell, in Type Theory: puntiamo ad ottenere un simile embedding di una nozione di sottotipaggio per tipi ricorsivi, che permetta sia la definizione di programmi con side-effect dove i diversi effetti sono definiti modularmente, che la modularizzazione di sintassi, semantica e ragionamento relativi a descrizioni di linguaggi.

La qualità del binario nelle linee AV/AC: studio dei dati rilevati dai treni diagnostici di RFI e analisi degli interventi manutentivi in previsione dell'aumento di velocità a 360 km/h.

Dal punto di vista geometrico, il tracciato delle linee AV/AC è determinato in funzione delle velocità di progetto, attualmente variabili tra 250 e 300 km/h, e in modo da limitare i parametri cinematici. In questa maniera è assicurata la corretta qualità di marcia dei treni ad alta velocità. La sovrastruttura ferroviaria è realizzata in modo da sopportare i carichi dinamici trasmessi dai convogli transitanti a elevate velocità, e da garantire la sicurezza della circolazione e il comfort di marcia. In particolare, la qualità del binario ferroviario è determinata attraverso una serie di parametri geometrici fondamentali, definiti da Rete Ferroviaria Italiana. A seconda dei valori assunti da tali parametri, il binario rientra in un livello di qualità geometrica: sono definiti tre livelli per i quali la circolazione ferroviaria avviene senza limitazioni e un livello che richiede l’imposizione di vincoli all’esercizio (rallentamenti o interruzioni). L’introduzione dei parametri geometrici e dei rispettivi valori di riferimento ha lo scopo di mantenere elevati livelli qualitativi e di sicurezza per l’infrastruttura ferroviaria, in materia di geometria dell’armamento. Infatti, il superamento di certe soglie da parte dei parametri, implica l’intervento manutentivo sul binario, al fine di ripristinare la corretta geometria e di garantire così la qualità della marcia dei treni. La politica è quella d’intervento prima del raggiungimento del quarto livello di qualità, per il quale sono necessarie restrizioni alla circolazione e interventi correttivi immediati.