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.

Re_interpretare per vivere. Una nuova unita per s. Maria della misericordia a venezia.

La scelta di Venezia come ambito operativo rientra nella volontà di confrontarsi con il tema del riuso della preesistenza all'interno della città storica. Contemporaneamente ad una permanenza nella città lagunare, la ricerca si è sviluppata sia secondo il fronte teorico che secondo quello progettuale, aventi entrambi per scopo la ricerca di un possibile ambito operativo della storia all'interno del progetto contemporaneo di architettura. Convinti che i problemi dell'oggi siano soltanto riedizioni "moderne" di quelli relativi a secoli precedenti, l'esercizio interpretativo dell'ex unità conventuale di S.Maria della Misericordia a Venezia persegue l'obbiettivo di testare metodi alternativi rispetto agli atteggiamenti estremamente conservativi imperanti nella città storica. La Storia intesa quindi come eterna mutazione, fornisce la base per un metodo basato sulla reinterpretazione della vita all'interno di un luogo come atto progettuale, al fine di generare una nuova unità tra l'uomo contemporaneo ed il contesto stratificato.

La formula di Eulero per i poliedri fra storia e didattica

Questa tesi riguarda la formula di Eulero per i poliedri: F - S + V = 2 dove F indica il numero di facce, S il numero di spigoli e V quello dei vertici di un poliedro. Nel primo capitolo tratteremo i risultati ottenuti da Cartesio: egli fu il primo a considerare non solo le caratteristiche geometriche ma anche metriche di un solido. Partendo dall'analogia con le figure piane, riuscì a ricavare importanti relazioni nei solidi convessi, riguardanti il numero e la misura degli angoli piani, degli angoli solidi e delle facce. Non arrivò mai alla formulazione conosciuta oggi ma ne intuì le caratteristiche topologiche, che però non dimostrò mai. Nel secondo capitolo invece ci occuperemo di ciò che scoprì Eulero. Il manoscritto contenente i risultati di Cartesio era scomparso e quindi questi non erano più conosciuti dai matematici; Eulero, in accordo con quanto avviene per i poligoni, desiderava ottenere un metodo di classificazione per i poliedri e si mise a studiare le loro proprietà. Oltre alla sua formula, in un primo articolo ricavò importanti relazioni, e in un secondo lavoro ne propose una dimostrazione. Riportiamo in breve anche un confronto tra il lavoro di Cartesio e quello di Eulero. Il terzo capitolo invece riguarda il metodo e il rigore nella formulazione di teoremi e dimostrazioni: I. Lakatos ne fa un esame critico nel libro "Dimostrazioni e Confutazioni - la logica della scoperta matematica", simulando una lezione dove a tema compaiono la Formula di Eulero e le sue dimostrazioni. Noi cercheremo di analizzare questo suo lavoro. Su questi tre autori e i loro lavori riportiamo alcune considerazioni biografiche e storiche che possono offrire interessanti spunti didattici: infatti nel quarto e ultimo capitolo ci occuperemo di alcune considerazioni didattiche a proposito della Formula. La struttura sarà quella di un'ipotetica lezione a studenti di Scuola Media Inferiore e utilizzeremo i risultati ottenuti nei precedenti capitoli e una personale esperienza di tirocinio.

La figura femenina en el franquismo entre sociedad y censura

L’obiettivo di questo lavoro è analizzare la figura femminile all’interno della società spagnola durante la dittatura franchista oltre a capire quale trattamento hanno subito i testi a lei rivolti da parte della censura attuata in quel periodo. Dal punto di vista letterario, ho cercato di comprendere come venivano viste le scrittrici dell’epoca, se fossero discriminate e in che modo. Nel primo capitolo ho trattato in generale il tema della censura in Spagna cercando di descriverne il funzionamento prendendo in considerazione sia la letteratura nazionale che quella proveniente dall’estero. Il secondo capitolo è dedicato a un’analisi dettagliata della condizione femminile; ho centrato il discorso, in particolare, sullo stereotipo della donna perfetta secondo la concezione della dittatura: madre di famiglia e educatrice dei suoi figli, idea diffusa attraverso la manipolazione di libri per bambine affinché, fin da piccole, sapessero quale fosse il loro futuro. Il terzo ed ultimo capitolo è un riassunto dei due precedenti prendendo come punto di riferimento due scrittrici di quel periodo, Elena Fortún e Borita Casas. I loro libri più conosciuti, “Celia” e “Antoñita la Fantástica”, sono stati parecchio criticati dai censori e, nel caso della Fortún, ne è stata anche vietata la circolazione. Attraverso i loro testi è possibile avere una visione completa della società spagnola dell’epoca, il tutto grazie alle due piccole protagoniste che guardano la società in cui vivono non come delle bambine ma come delle adulte.

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.

Observability of high density tracing molecular lines in lensed galaxies with the Atacama large millimeter array

Lo scopo di questo lavoro di tesi è indagare le capacità di ALMA di osservare il continuo e le righe molecolari di emissione di HCN, HCO+ e HNC, in galassie lensate ad alto z, nelle prime fasi della loro formazione. Per farlo vengono utilizzate osservazioni ALMA di righe di emissione molecolare, relative a dati pubblici di Ciclo 0. Queste osservazioni vengono utilizzate per simulare in modo realistico l’emissione da parte di galassie ad alto z e la risposta osservativa del telescopio, assumendo diverse possibili geometrie di lensing. Inoltre le recenti osservazioni ALMA sono state utilizzate per aggiornare le relazioni già esistenti tra la luminosità FIR e la luminosità delle righe molecolari. Queste recenti osservazioni con maggiore sensibilità e risoluzione angolare, sembrano essere in buon accordo con le precedenti osservazioni. Per realizzare questo progetto di tesi, sono stati scaricati dall’archivio ALMA i dati non calibrati relativi a due sorgenti ben studiate: NGC1614, rappresentativa delle galassie di tipo starburst ed IRAS 20551-4250, un AGN oscurato. Il processo di calibrazione è stato ripetuto per esaminare le proprietà dei cubi di dati utilizzando il pacchetto Common Astronomy Software Applications (CASA). Le righe spettrali osservate e l’emissione del continuo sono state successivamente estrapolate ad alto z riscalando adeguatamente le distanze, le dimensioni delle sorgenti e le frequenze di emissione. In seguito è stato applicato un modello di lensing gravitazionale basato su quello di Lapi et al. (2012). Sono state considerate diverse configurazioni tra lente e sorgente per ottenere diverse geometrie delle immagini e diversi fattori di amplificazione. Infine stato utilizzato il software CASA per simulare le osservazioni ALMA in modo da verificare le capacità osservative del telescopio al variare della geometria del sistema. Per ogni riga molecolare e per l’emissione del continuo sono state determinate la sensibilit e la risoluzione che possono essere raggiunte con le osservazioni ALMA e sono state analizzate alcune strategie osservative per effettuare survey di righe spettrali in oggetti lensati. Inoltre stata analizzata la possibilit di caratterizzare oggetti starburst ed AGN dai rapporti tra le righe di emissione delle molecole traccianti di alta densit. Le prestazioni di ALMA consentiranno di distinguere e stimare i contributi relativi di SB ed AGN in galassie lensate a z > 2.5, quindi vicine alla loro presunta epoca di formazione (Lapi et al. 2010), in meno di 5 minuti di osservazione per qualsiasi fattore di magnificazione. Nel presente lavoro sono state inoltre discusse alcune strategie osservative per condurre survey o followup per osservare le righe di HCN(4-3), HCO+(4-3) e HNC(4-3) in galassie lensate a redshift 2.5 < z < 3, dimostrando che sono possibili per campioni statisticamente significativi in tempi relativamente brevi.

Esecuzione di applicazioni su macchina virtuale Android con esperimenti su ART

Si continua il lavoro riguardo il porting di UMView su android studiando i problemi affrontati nelle tesi precedenti e suggerendo soluzioni per superarli. Sono stati effettuati anche esperimenti sulla nuova runtime di Android, ART, per studiare casi di possibili incompatibilità ed eventuali differenze di gestione rispetto a Dalvik.

Progettazione del sistema di controllo di una vettura di formula sae

Il seguente lavoro di tesi è finalizzato alla realizzazione dell’elettronica di controllo per una vettura prototipo, Nel Capitolo 1 della tesi viene descritto più nel dettaglio il progetto Formula SAE, introducendo gli aspetti peculiari della competizione; successivamente segue una breve descrizione del team UniBo Motorsport. Il Capitolo 2 descrive l’elettronica implementata nella stagione 2013 evidenziandone i punti di forza e le debolezze al fine di poter trarre delle conclusioni per comprendere la direzione intrapresa con questo lavoro di tesi. Nel Capitolo 3 viene presentata la soluzione proposta,motivandone le scelte e la necessità di suddividere il lavoro in più unità distinte, mantenendo le peculiarità tecniche del già eccellente lavoro effettuato nel corso degli anni da chi mi ha preceduto ed aggiungendo quelle funzionalità che permettono di mantenere la soluzione in una posizione dominante nel panorama della Formula Student. La progettazione dell’hardware che compone la soluzione proposta è descritta nel Capitolo 4, introducendo dapprima la metodologia adottata per la progettazione partendo dalle specifiche fino ad arrivare al prodotto finito ed in seguito ne viene descritta l’applicazione ad ogni unità oggetto del lavoro. Sono state progettate da zero tre unità: una centralina di controllo motore (ECU), una di controllo veicolo (VCU) ed un controller lambda per la gestione di sonde UEGO. Un aiuto fondamentale nella progettazione di queste tre unità è stato dato da Alma Automotive, azienda che fin dal principio ha supportato, anche economicamente, le varie evoluzioni dell’hardware e del software della vettura. Infine viene descritto nel capitolo 5 il software che verrà eseguito sulle unità di controllo, ponendo particolare risalto al lavoro di adattamento che si è reso necessario per riutilizzare il software in uso negli anni precedenti.

Nihon no mukashi banashi: Storia, analisi e motivi ricorrenti della fiaba tradizionale giapponese

Le fiabe giapponesi sono un’importante finestra sulla psiche e sulla storia di questo paese. Questo lavoro si occuperà di analizzare la fiaba tradizionale giapponese, la sua struttura e i suoi contenuti. Nel primo capitolo saranno introdotti concetti di base (come quello di fiaba e racconto popolare) e si traccerà in breve la genealogia di questo genere narrativo; il secondo capitolo sarà interamente dedicato a una selezione delle dieci fiabe nipponiche più conosciute. Nel terzo, invece, ci si occuperà degli aspetti tecnici e contenutistici delle storie giapponesi, fornendo in alcuni casi delle comparazioni con il mondo occidentale. Infine, nell'ultima parte di questo elaborato, si ricapitoleranno i concetti che sono venuti fuori nei capitoli precedenti, ribadendo quanto la fiaba occidentale e quella giapponese siano diverse sia nella forma sia nei contenuti.

Ambiti applicativi dell'EEG e della fMRI nello studio dei processi cognitivi

L’obiettivo della mia tesi è quello di presentare e confrontare due tipologie di tecniche di indagine cerebrale, l’EEG (Elettroencefalogramma) e la fMRI (Risonanza Magnetica funzionale), evidenziandone i vantaggi e gli svantaggi, e le loro applicazioni in campo medico. Successivamente è presentato lo sviluppo di un modello sperimentale volto allo studio del fenomeno della sinestesia, a partire da dati estratti mediante le tecniche precedenti.

Definizione e analisi delle mappe di prestazione di un turboalbero aeronautico

Nel presente lavoro di tesi, in seguito ad acquisizioni di dati effettuate nella sala prove del "Laboratorio di Macchine e Propulsione" della Scuola di Ingegneria e Architettura di Forlì sul turboshaft Allison 250 C18, in una prima fase sono state ricavate le mappe prestazionali dei singoli componenti del motore, elaborando i dati sperimentali in ambiente MatLab. Le acquisizioni sono state effettuate mediante l'utilizzo di sensori di pressione, temperatura e velocità installati in precedenza sul motore e opportunamente calibrati. In seguito alla realizzazione delle mappe prestazionali, si è passati all'allestimento completo di un modello dinamico in ambiente Simulink, del motore Allison 250 C18. Tale modello riproduce, in opportuni blocchi, ciascun componente facente parte della motorizzazione. Ogni blocco riceve in ingresso le caratteristiche fisiche di interesse del flusso (temperatura, pressione, calore specifico a pressione costante e gamma) provenienti dal blocco precedente tramite un "filo", le rielabora al suo interno risolvendo le equazioni tipiche di ciascun componente e interpolando le mappe di prestazione ricavate precedentemente in MatLab, e le invia come input al blocco successivo o in retroazione ai blocchi precedenti. In ogni blocco è stato realizzato un sistema di dinamica di pressione che, ad ogni istante, risolve un'equazione differenziale dipendente dalla differenza di portata a monte e a valle di un componente e dal volume di controllo, che restituisce il valore di pressione in uscita proporzionale alla variazione di portata stessa. Nel presente lavoro di tesi si è cercato di stabilizzare questo complesso sistema in una condizione di progetto, fissata a 30000 rpm del gruppo gas generator. Un sistema di controllo del numero di giri tramite variazione di portata di combustibile è stato realizzato al fine di poter, in futuro, far funzionare il modello anche fuori dalla condizione di progetto e riuscire a simulare l'andamento delle prove sperimentali reali.

Confezionamento di uova con guscio in atmosfera protettiva: Studio degli indici di freschezza e delle proprieta tecnologiche dei suoi costituenti

L’uovo è considerato l’alimento più completo dal punto di vista nutrizionale e allo stesso tempo è altamente deperibile con perdita rapida delle caratteristiche qualitative. Esso infatti interagisce con l’atmosfera circostante determinando perdita di vapore d’acqua e CO2 dal guscio. La diffusione di CO2 comincia immediatamente dopo la deposizione con un conseguente rapido aumento di pH, soprattutto nell’albume che determina maggiori rischi di contaminazione microbica. La regolamentazione dell’Unione Europea non permette l’utilizzo di interventi stabilizzanti tradizionali (lavaggio o conservazione refrigerata) sulle uova fresche con guscio e l’uso del confezionamento in atmosfera protettiva (MAP) potrebbe risultare una valida alternativa per il mantenimento delle caratteristiche qualitative dell’uovo durante la conservazione. Studi precedenti dimostrano come l’utilizzo di MAP con elevati livelli di CO2 risulti benefico per mantenere delle caratteristiche complessive dell’uovo ma l’utilizzo di materiali di imballaggio ad alta barriera, necessari per mantenere una certa concentrazione di CO2, può provocare l’aumento dell’umidità nello spazio di testa, con conseguenti problematiche legate allo sviluppo microbico sul guscio del prodotto possibilmente risolvibile con l’uso di imballaggi attivi dotati di assorbitori di umidità. Un alternativa, può essere l’utilizzo congiunto di trattamenti di decontaminazione e di confezionamento in MAP. Premesso questo, l’obiettivo di questa ricerca è stato quello di valutare l’effetto congiunto del trattamento di decontaminazione con UV e di confezionamento in atmosfera modificata su alcune caratteristiche qualitative ed igienico sanitarie di uova fresche con guscio confezionate in MAP al 100% di CO2 e in aria durante 28 giorni di conservazione a 21°C. Nella seconda fase della sperimentazione sono stati valutati gli effetti delle differenti modalità di imballaggio su alcune caratteristiche qualitative di pasta all’uovo (tagliatelle). Sono stati realizzati campioni di pasta fresca (utilizzando le uova trattate) sui quali sono state valutate alcune caratteristiche qualitative prima e dopo cottura, confrontate con quelle di pasta ottenuta con uova non trattate.

Fermioni di Dirac nel grafene

In questo lavoro si affronta l'argomento dei fermioni di Dirac nel grafene, si procederà compiendo nel primo capitolo un'analisi alla struttura reticolare del materiale per poi ricostruirne, sfruttando l'approssimazione di tigth-binding, le funzioni d'onda delle particelle che vivono negli orbitali del carbonio sistemate nella struttura reticolare e ricavarne grazie al passaggio in seconda quantizzazione l'Hamiltoniana. Nel secondo capitolo si ricavano brevemente le equazioni di Dirac e dopo una piccola nota storica si discutono le equazioni di Weyl arrivando all'Hamiltoniana dei fermioni a massa nulla mostrando la palese uguaglianza alla relazione di dispersione delle particelle del grafene. Nel terzo capitolo si commentano le evidenze sperimentali ottenute dalla ASPEC in cui si manifesta per le basse energie uno spettro lineare, dando così conferma alla teoria esposta nei capitoli precedenti.

Test hardware del secondo batch di schede ROD per il layer 2 del pixel detector dell'esperimento ATLAS al CERN

In questa tesi viene seguito il lavoro di test delle schede ROD del layer 2 del Pixel Detector dell’ esperimento ATLAS, che mira a verificare la loro corretta funzionalità, prima che vengano spedite nei laboratori del CERN. Queste nuove schede gestiscono i segnali in arrivo dal Pixel Detector di ATLAS, per poi inviarli ai computer per la successiva elaborazione. Le schede ROD andranno a sostituire le precedenti schede SiROD nella catena di acquisizione dati dell’esperimento, procedendo dal nuovo strato IBL, e proseguendo con i tre layer del Pixel Detector, corroborando l’aggiornamento tecnologico e prestazionale necessario in vista dell’incremento di luminosità dell’esperimento.

Genesi del principio di induzione matematica

La tesi è dedicata alla storia dell'induzione matematica. Storicamente, il principio di induzione matematica è considerato un traguardo di Blaise Pascal nel XVII secolo, ma alcuni documenti mostrano che l'argomento è molto più articolato e complesso, e come autori precedenti avessero già sviluppato forme simili all'induzione.