Architettura cloud per lo sviluppo multi-piattaforma di Sistemi Operativi: Principi generali

Vengono analizzate le strategie di rilascio delle principali Distribuzioni Linux e i metodi per la compilazione automatizzata del software. Si propone quindi una nuova metodologia sia per il rilascio di media installabili e sia per la pacchettizzazione. Sfruttando le tecnologie del campo DevOps, si introduce quindi un alto grado di scalabilità anche in ambienti Cloud, grazie anche alla riproducibilità di ogni componente dell'infrastruttura proposta. Vedremo quindi come questo approccio aumenta l'automatizzazione nei cicli produttivi per la realizzazione della Distribuzione Sabayon Linux e per la definizione di un'infrastruttura automatizzata attualmente in production.

Il ruolo del substrato di rame nella sintesi di grafene cresciuto per deposizione chimica da fase vapore

La Chemical Vapor Deposition (CVD) permette la crescita di sottili strati di grafene con aree di decine di centimetri quadrati in maniera continua ed uniforme. Questa tecnica utilizza un substrato metallico, solitamente rame, riscaldato oltre i 1000 °C, sulla cui superficie il carbonio cristallizza sotto forma di grafene in un’atmosfera attiva di metano ed idrogeno. Durante la crescita, sulla superficie del rame si decompone il metano utilizzato come sorgente di carbonio. La morfologia e la composizione della superficie del rame diventano quindi elementi critici del processo per garantire la sintesi di grafene di alta qualità e purezza. In questo manoscritto si documenta l’attività sperimentale svolta presso i laboratori dell’Istituto per la Microelettronica e i Microsistemi del CNR di Bologna sulla caratterizzazione della superficie del substrato di rame utilizzato per la sintesi del grafene per CVD. L’obiettivo di questa attività è stato la caratterizzazione della morfologia superficiale del foglio metallico con misure di rugosità e di dimensione dei grani cristallini, seguendo l’evoluzione di queste caratteristiche durante i passaggi del processo di sintesi. Le misure di rugosità sono state effettuate utilizzando tecniche di profilometria ottica interferometrica, che hanno permesso di misurare l’effetto di livellamento successivo all' introduzione di un etching chimico nel processo consolidato utilizzato presso i laboratori dell’IMM di Bologna. Nell'ultima parte di questo manoscritto si è invece studiato, con tecniche di microscopia ottica ed elettronica a scansione, l’effetto di diverse concentrazioni di argon e idrogeno durante il trattamento termico di annealing del rame sulla riorganizzazione dei suoi grani cristallini. L’analisi preliminare effettuata ha permesso di individuare un intervallo ottimale dei parametri di annealing e di crescita del grafene, suggerendo importanti direzioni per migliorare il processo di sintesi attualmente utilizzato.

Analisi di radiosorgenti diffuse presenti in ammassi di galassie attraverso lo studio di emissioni non termiche

In questo lavoro di tesi verrà affrontato uno studio sugli ammassi di galassie che costituiscono le strutture virializzate più grandi dell’Universo. L’analisi delle emissioni provenienti dall’ICM (Intracluster Medium) consente di ottenere informazioni su alcuni dei processi che caratterizzano la dinamica degli ammassi di galassie, come merger e cooling flow, e in particolare di testare le attuali ipotesi sulla formazione ed evoluzione degli ammassi. Le radiazioni provenienti dal gas extragalattico possono essere sia di tipo termico che non termico: le prime causate dal meccanismo di Bremsstrahlung termica e appartenenti alla banda X, le seconde invece dovute prevalentemente dall’emissione di Sincrotrone in banda Radio. Durante lo studio degli ammassi di galassie verranno approfondite le principali radiosorgenti diffuse: Aloni, mini-Aloni e Relitti, focalizzando lo studio su questi ultimi e analizzando un campione di dati ad essi relativi, con lo scopo di trovare un’eventuale correlazione tra alcune delle loro proprietà. La ricerca sugli ammassi di galassie risulta importante in quanto, trattandosi delle più grandi strutture dell’Universo che abbiano raggiunto l’equilibrio viriale, il loro studio risulta un valido strumento per la verifica dell’attuale Modello Cosmologico.

Gamification e Machine Learning per migliorare l’esperienza di guida e diminuire i consumi in un veicolo elettrico

Questo progetto di tesi è parte di un programma più ampio chiamato TIME (Tecnologia Integrata per Mobilità Elettrica) sviluppato tra diversi gruppi di ricerca afferenti al settore meccanico, termofluidodinamico e informatico. TIME si pone l'obiettivo di migliorare la qualità dei componenti di un sistema powertrain presenti oggi sul mercato progettando un sistema general purpose adatto ad essere installato su veicoli di prima fornitura ma soprattutto su retrofit, quindi permettendo il ricondizionamento di veicoli con motore a combustione esistenti ma troppo datati. Lo studio svolto si pone l'obiettivo di identificare tutti gli aspetti di innovazione tecnologica che possono essere installati all'interno del sistema di interazione uomo-macchina. All'interno di questo progetto sarà effettuata una pianificazione di tutto il lavoro del gruppo di ricerca CIRI-ICT, partendo dallo studio normativo ed ergonomico delle interfacce dei veicoli analizzando tutti gli elementi di innovazione che potranno far parte del sistema TIME e quindi programmare tutte le attività previste al fine di raggiungere gli obiettivi prefissati, documentando opportunamente tutto il processo. Nello specifico saranno analizzate e definite le tecniche da utilizzare per poi procedere alla progettazione e implementazione di un primo sistema sperimentale di Machine Learning e Gamification con lo scopo di predire lo stato della batteria in base allo stile di guida dell'utente e incentivare quest'ultimo tramite sistemi di Gamification installati sul cruscotto ad una guida più consapevole dei consumi. Questo sistema sarà testato su dati simulati con l'obiettivo di avere un prodotto configurabile da installare sul veicolo.

Progettazione e implementazione di una incarnazione biochimica per il simulatore Alchemist

Scopo di questo elaborato di tesi è la modellazione e l’implementazione di una estensione del simulatore Alchemist, denominata Biochemistry, che permetta di simulare un ambiente multi-cellulare. Al fine di simulare il maggior numero possibile di processi biologici, il simulatore dovrà consentire di modellare l’eterogeneità cellulare attraverso la modellazione di diversi aspetti dei sistemi cellulari, quali: reazioni intracellulari, segnalazione tra cellule adiacenti, giunzioni cellulari e movimento. Dovrà, inoltre, essere ammissibile anche l’esecuzione di azioni impossibili nel mondo reale, come la distruzione o la creazione dal nulla di molecole chimiche. In maniera più specifica si sono modellati ed implementati i seguenti processi biochimici: creazione e distruzione di molecole chimiche, reazioni biochimiche intracellulari, scambio di molecole tra cellule adiacenti, creazione e distruzione di giunzioni cellulari. È stata dunque posta particolare enfasi nella modellazione delle reazioni tra cellule vicine, il cui meccanismo è simile a quello usato nella segnalazione cellulare. Ogni parte del sistema è stata modellata seguendo fenomeni realmente presenti nei sistemi multi-cellulari, e documentati in letteratura. Per la specifica delle reazioni chimiche, date in ingresso alla simulazione, è stata necessaria l’implementazione di un Domain Specific Language (DSL) che consente la scrittura di reazioni in modo simile al linguaggio naturale, consentendo l’uso del simulatore anche a persone senza particolari conoscenze di biologia. La correttezza del progetto è stata validata tramite test compiuti con dati presenti in letteratura e inerenti a processi biologici noti e ampiamente studiati.

Rilievo fotogrammetrico da drone per la generazione di modelli termici di porzioni di territorio

In questo elaborato viene sperimentato un iter processuale che consenta di utilizzare i sensori termici affiancati a fotocamere digitale in ambito fotogrammetrico al fine di ottenere prodotto dal quale sono estrapolabili informazioni geometriche e termiche dell’oggetto di studio. Il rilievo fotogrammetrico è stato svolto mediante l’utilizzo di un drone con equipaggiamento multisensoriale, termico e digitale, su una porzione di territorio soggetto ad anomalie termiche nei pressi di Medolla (MO). Per l’analisi termica e geometrica sono stati posizionati sul campo 5 target termici di cui ne sono state misurate le coordinate per la georeferenziazione delle nuvole dense di punti e la temperatura. In particolare sono state eseguite due riprese aeree dalle quali sono stati estratti i frame necessari per i processi di restituzione fotogrammetrica. Le immagini sono state sottoposte ad una fase di trattamento che ha prodotto immagini rettificate prive di delle distorsioni impresse dall’obbiettivo. Per la creazione degli elaborati vettoriali e raster a colori e termici sono stati impiegati inizialmente software di fotogrammetria digitale in grado di fornire scene tridimensionali georeferenziate dell’oggetto. Sono state sviluppate sia in un ambiente open-source, sia sfruttando programmi commerciali. Le nuvole dense sono state successivamente trattate su una piattaforma gratuita ad interfaccia grafica. In questo modo è stato possibile effettuare dei confronti tra i diversi prodotti e valutare le potenzialità dei software stessi. Viene mostrato come creare un modello tridimensionale, contenente sia informazioni geometriche che informazioni termiche, partendo dalla nuvola termica e da quella a colori. Entrambe georeferenziate utilizzando gli stessi punti fotogrammetrici d’appoggio. Infine i prodotti ottenuti sono stati analizzati in un ambiente GIS realizzando sovrapposizioni grafiche, confronti numerici, interpolazioni, sezioni e profili.

Electrically tunable piezoelectric bimorph cantilever for energy harvesting

Con la presente tesi viene esaminato un metodo per modificare la frequenza di risonanza di trasduttori piezoelettrici mediante applicazione di carichi elettrici esterni. L'elaborato inizia con la presentazione dei cristalli utilizzati nel lavoro di tesi, concentrandosi sul processo di fabbricazione di un bimorph cantilever impiegato come convertitore elettromeccanico di energia, la cui frequenza di risonanza è modellizzata analiticamente mediante la legge di Newton e il modello di Euler-Bernoulli. Su tale struttura vengono condotte misure mediante shaker elettrodinamico e analizzatore d'impedenza, ai fini di giusticare il modello analitico presentato. Con lo scopo di sincronizzare la frequenza di risonanza del cantilever con la vibrazione dell'ambiente per massimizzare la potenza disponibile, viene proposto un algoritmo MPPT secondo l'approccio Perturba e Osserva (P&O), al quale è fornita in ingresso la tensione efficace di un layer di materiale piezoelettrico. Valutare la sua risposta in tensione, presenta dei limiti applicativi che hanno portato a prendere in considerazione un approccio totalmente diff�erente, basato sullo sfasamento tra la tensione di un trasduttore piezoelettrico e il segnale di accelerazione impiegato come eccitazione. Misure sperimentali sono state condotte con l'obiettivo di validare l'efficacia di quest'ultimo approccio qualora si voglia sincronizzare la frequenza di risonanza dei piezo con segnali di vibrazione reali.

Soluzioni di dettaglio negli interventi dei consumi energetici.Caso della palazzina situata in via Maria Zanotti nel comune di Imola

In questo elaborato viene analizzata l’importanza di isolare termicamente in modo corretto le nostre abitazioni, per poterne trarre un vantaggio sia salutare che economico. E’ stata presa in esame la palazzina di Via Maria Zanotti situata nel comune di Imola (Bo). Si sono dapprima valutate le prestazioni energetiche dell’edificio, andando a calcolare la trasmittanza delle pareti e dei solai dell'edificio, che sono risultate inferiori rispetto a quelle prescritte oggi giorno nel Bollettino Ufficiale della Regione Emilia Romagna (BURERT) n.184 parte seconda. Affinché i valori della trasmittanza risultassero coerenti con quanto imposto dalla normativa si è avanzata l'ipotesi di andare ad inserire il sistema a cappotto. Si sono quindi analizzati diversi materiali isolanti fino a giungere alla scelta di quello più idoneo per la seguente struttura. Una volta scelto il materiale isolante è stata calcolata la trasmittanza delle pareti complessive dell'isolamento a cappotto, le quali sono risultate verificate nei confronti della normativa vigente. Si sono poi studiate le fasi necessarie per il montaggio del sistema a cappotto ed infine si è posta particolare attenzione ai dettagli costruttivi, evidenziando tutti i punti critici dell'edificio e le soluzioni di dettaglio necessarie per eliminare i ponti termici.

Formulazione e caratterizzazione di geopolimeri come nuovi materiali refrattari

Il presente lavoro di tesi è finalizzato all'ottimizzazione della formulazione iniziale e delle condizioni di stagionatura per ottenere un materiale utilizzabile come refrattario in applicazioni che richiedono elevate temperature di esposizione. L’interesse della ricerca scientifica verso questa nuova classe di materiali nasce dai vantaggi ambientali ed economici che essi possono fornire. Inoltre, le buone proprietà di resistenza e stabilità termica evidenziate dagli studi condotti negli ultimi anni inducono a sperimentare l’impiego dei materiali geopolimerici in sostituzione dei materiali refrattari o cementiferi attualmente in commercio. A tal fine sono state determinate le caratteristiche fisico-meccaniche, microstrutturali e termiche di matrici geopolimeriche additivate con scarti refrattari. Lo studio svolto, si può suddividere in tre fasi successive. Inizialmente sono state ottimizzazione le formulazioni geopolimeriche. Successivamente i prodotti ottenuti sono stati oggetto di caratterizzazione fisico-meccanica, microstrutturale e termica. Tali caratterizzazioni sono state eseguite attraverso: analisi al microscopio ottico, assorbimento di acqua, determinazione della densità geometrica, prove ultrasoniche per la determinazione dell’omogeneità del materiale, resistenza meccanica a compressione, diffrattometria ai raggi X (XRD), microscopio riscaldante, ciclo termico in muffola e analisi dilatometriche. Nella terza fase sono stati analizzati ed elaborati i risultati ottenuti, evidenziando le soddisfacenti proprietà di stabilità e resistenza termica. È stata inoltre effettuata una analisi economica preliminare evidenziando la competitività nel marcato del sistema geopolimerico studiato. Se a questo si aggiungono i considerevoli benefici ambientali dovuti al fatto che il prodotto è ottenuto con sostanze di recupero, non sarebbe sorprendente che in un futuro prossimo i geopolimeri possano essere largamente prodotti e commercializzati.

Ottimizzazione di mix design di geopolimeri a base di metacaolino e studio dei relativi processi di formatura

Il seguente lavoro di tesi si pone come obiettivo di ottimizzare il mix design di materiali geopolimerici a base di metacaolino in modo da ottimizzare il procedimento di formatura tramite pressatura tipico delle piastrelle ceramiche. La parte iniziale del lavoro sperimentale è stata incentrata sullo studio dell’ottimizzazione delle formulazioni per ottenere impasti geopolimerici a base di metacaolino idonei per la pressatura e il colaggio; sono stati quindi preparate diverse formulazioni ottenute variando diversi parametri di processo, quali il contenuto totale di acqua dell’impasto e la concentrazione di quarzo utilizzato come filler inerte. Su tali mix è stato individuato il processo di formatura più idoneo dal punto di vista di temperatura di consolidamento, modalità e tempi di cottura ed è stato messo a punto il procedimento ottimale per la preparazione dei materiali, procedimento che è stato poi mantenuto per l’intero decorso dello studio. Nella produzione degli impasti si è deciso di eliminare sistematicamente quelle formulazioni che avevano prodotto materiali con peggiori prestazioni fisiche, come alcune formulazioni testate per il colaggio. Successivamente, dopo avere preparato i campioni, su di essi sono state eseguite le prove di assorbimento d’acqua e porosimetria ad intrusione di mercurio, per valutare le caratteristiche fisiche dei vari impasti prodotti, osservazioni al microscopio ottico e al microscopio a scansione elettronica, per analizzare i campioni selezionati dal punto di vista microstrutturale e morfologico e prove al microscopio riscaldante, per studiarne il comportamento alle alte temperature. I risultati ottenuti sono stati messi a confronto con quelli dei materiali ceramici tradizionali, per avere indicazioni sulla potenzialità dei prodotti a base geopolimerica come alternativa alla produzione di piastrelle ceramiche.

Analisi e caratterizzazione dei materiali di rinforzo nelle sovrastrutture stradali

Nel presente elaborato è stato studiato l'effetto prodotto dall'inserimento di interstrati di rinforzo tra strati legati di una pavimentazione. Si è realizzato un confronto tra due pavimentazioni, una rinforzata e l'altra di controllo, mediante il software di calcolo OLCRACK, aventi le medesime caratteristiche geometriche e gli stessi materiali. In questo modo è stato possibile osservare l'effetto della griglia di rinforzo nel contrastare e ritardare il fenomeno del reflective cracking. Parallelamente è stata effettuata un'indagine sperimentale in laboratorio su travetti bi-strato rinforzati con due tipologie differenti di griglie. I risultati hanno evidenziato l'importanza del ricoprimento sulla griglia, poiché i travetti più spessi hanno dato una risposta migliore alla vita a fatica. In più è stata osservata l'importanza della resistenza a trazione della griglia nell'incremento dei cicli a rottura dei provini.

Ottimizzazione stocastica di una microrete con tecnologia "vehicle-to-grid"

La presente tesi ha come obiettivo quello di sviluppare un modello per la gestione ottimizzata delle unità di generazione e di accumulo di una microrete elettrica. La tesi analizza, come caso studio di riferimento, una microrete contenente impianti di generazione da fonti rinnovabili, sistemi di accumulo a batteria (BES:Battery Energy System) e stazioni di ricarica per veicoli elettrici. In particolare le stazioni di ricarica sono a flusso bidirezionale, in grado di fornire servizi di tipo "grid-to-vehicle"(G2V) e "vehicle-to-grid" (V2G). Il modello consente di definire, come sistema di dispacciamento centrale, le potenze che le varie risorse distribuite devono erogare o assorbire nella rete nelle 24 ore successive. Il dispacciamento avviene mediante risoluzione di un problema di minimizzazione dei costi operativi e dell'energia prelevata dalla rete esterna. Il problema è stato formulato tramite l'approccio di programmazione stocastica lineare dove i parametri incerti del modello sono modellizzati tramite processi stocastici. L'implementazione del modello è stata effettuata tramite il software AIMMS, un programma di ottimizzazione che prevede al suo interno delle funzionalità specifiche per la programmazione stocastica

Ottimizzazione e progettazione di un sistema di cogenerazione statica di energia elettrica tramite celle ad effetto Seebeck

La presente trattazione descrive l’ottimizzazione del prototipo di un generatore termoelettrico da integrare in caldaie a biomassa. La tecnologia termoelettrica consente di generare potenza elettrica a partire da un flusso di calore. Sebbene tale tecnologia presenti caratteristiche di elevata affidabilità e silenziosità, essa richiede ulteriori sforzi tecnologici nella ricerca dell’integrazione ottimale con un impianto termico, ed è inoltre necessaria una progettazione accurata dell’elettronica di controllo. Nella prima sezione del testo vengono descritti i principi fisici alla base di questa tecnologia e le tecniche per la conversione della potenza generata dai moduli termoelettrici (o ad effetto Seebeck) al fine di renderla fruibile da una tipica utenza domestica. Nel secondo capitolo si riporta lo stato dell’arte dell’applicazione della tecnologia termoelettrica in caldaie a biomassa e alcuni casi di implementazione recenti, sottolineando le configurazioni utilizzate, i principali problemi riscontrati nello sviluppo e nella sperimentazione, e le modifiche conseguentemente adottate per superarli. Il terzo capitolo analizza il prototipo sviluppato presso il Dipartimento di Ingegneria Industriale dell’Università di Bologna e descrive il processo di dimensionamento dei componenti meccanici e le proposte di ottimizzazione a seguito dei risultati dei primi collaudi. Viene infine sviluppato un modello matematico per confrontare, in funzione dei costi di produzione e di esercizio, le possibilità di sostituzione dei metodi di generazione di energia elettrica convenzionali con l’impianto di cogenerazione termoelettrica realizzato, considerando anche aspetti di impatto ambientale. Tali analisi e ottimizzazioni consistono in un primo miglioramento necessario a rendere la tecnologia termoelettrica applicabile alle caldaie a biomassa stand-alone e a permettere una generazione continua di energia elettrica nelle regioni in cui le infrastrutture sono poco affidabili.

Studio multi-banda dal sub-parsec al kilo-parsec dell'emissione del getto nella radio galassia IC 1531

In questo lavoro di tesi si presenta il primo studio multi-scala e multi-frequenza focalizzato sul getto della radiogalassia IC1531 (z=0.026) con i satelliti Chandra, XMM-Newton e Fermi con l’obiettivo di tracciarne l’emissione alle alte energie; definire i processi radiativi responsabili dell’emissione osservata e stimare i principali parametri fisici del getto; stimare l’energetica del getto alle diverse scale. La sorgente è stata selezionata per la presenza di un getto esteso (≈5’’) osservato in radio e ai raggi X, inoltre, era riportata come possibile controparte della sorgente gamma 3FGLJ0009.6-3211 presente nel terzo catalogo Fermi (3FGL). La presenza di emissione ai raggi γ, confermata dal nostro studio, è importante per la modellizzazione della SED della regione nucleare. L’emissione X del nucleo è dominata da una componente ben riprodotta da una legge di potenza con indice spettrale Γ=2.2. L’analisi dell’emissione in banda gamma ha evidenziato una variabilità su scale di 5 giorni, dalla quale è stato possibile stimare le dimensioni delle regione emittente. Inoltre viene presentato lo studio della distribuzione spettrale dell’energia della regione nucleare di IC 1531 dalla banda radio ai raggi γ. I modelli ci permettono di determinare la natura dell’emissione gamma e stimare la potenza cinetica del getto a scale del su-pc. Gli osservabili sono stati utilizzati per ottenere le stime sui parametri del modello. La modellizzazione così ottenuta ha permesso di stimare i parametri fisici del getto e la potenza trasportata del getto a scale del sub-pc. Le stime a 151MHz suggerisco che il getto abbia basse velocita' (Γ≤7) e angolo di inclinazione rispetto alla linea di vista 10°<ϑ<20°; nel complesso, il trasporto di energia da parte del getto risulta efficiente. L’origine dell’emissione X del getto a grandi scale è consistente con un’emissione di sincrotrone, che conferma la classificazione di IC1531 come sorgente di bassa potenza MAGN.

Processi di scattering in astrofisica

L'attenzione è stata posta su tre fenomeni fondamentali di scattering: Thomson, Compton e Compton inverso. Sono state sottolineate alcune ed eventuali applicazioni astrofisiche di questi e valutate le implicazioni o generalizzazioni che da tali fenomeni possono derivare: Synchrotron Self-Compton, Comptonizzazione ed effetto Sunyaev-Zeldovich termico. Infine è stato preso un caso astrofisico come applicazione di questi fenomeni: Sagittarius A*, una fonte radio proveniente dal centro della nostra galassia, molto studiata negli anni, citando un articolo pubblicato su una rivista scientifica nel 2012.