Migrazione concorrente di macchine virtuali su piattaforme open source

Questa tesi si pone l’obiettivo di effettuare un’analisi aggiornata sulla recente evoluzione del Cloud Computing e dei nuovi modelli architetturali a sostegno della continua crescita di richiesta di risorse di computazione, di storage e di rete all'interno dei data center, per poi dedicarsi ad una fase sperimentale di migrazioni live singole e concorrenti di macchine virtuali, studiandone le prestazioni a livello di risorse applicative e di rete all’interno della piattaforma open source di virtualizzazione QEMU-KVM, oggi alla base di sistemi cloud-based come Openstack. Nel primo capitolo, viene effettuato uno studio dello stato dell’arte del Cloud Computing, dei suoi attuali limiti e delle prospettive offerte da un modello di Cloud Federation nel futuro immediato. Nel secondo capitolo vengono discusse nel dettaglio le tecniche di live migration, di recente riferimento per la comunità scientifica internazionale e le possibili ottimizzazioni in scenari inter e intra data center, con l’intento di definire la base teorica per lo studio approfondito dell’implementazione effettiva del processo di migrazione su piattaforma QEMU-KVM, che viene affrontato nel terzo capitolo. In particolare, in quest’ultimo sono descritti i principi architetturali e di funzionamento dell'hypervisor e viene definito il modello di progettazione e l’algoritmo alla base del processo di migrazione. Nel quarto capitolo, infine, si presenta il lavoro svolto, le scelte configurative e progettuali per la creazione di un ambiente di testbed adatto allo studio di sessioni di live migration concorrenti e vengono discussi i risultati delle misure di performance e del comportamento del sistema, tramite le sperimentazioni effettuate.

Evoluzione di un sistema di automazione della guida di motoveicoli per test su banco a rulli

Evoluzione di un sistema Hardware in the Loop per l'automazione della guida di motoveicoli su banco a rulli. Questo sistema HIL, simulando un certo tipo di condizioni, permette di svolgere test su strategia centralina, implementate per il controllo motore.

Autocalibrazione di una telecamera utilizzando una singola vista

Viene proposto un metodo completo di autocalibrazione degli intrinseci della telecamera utilizzando una singola vista, sfruttando i punti di fuga riconosciuti nell'immagine. La metodologia è suddivisa in quattro fasi fondamentali: estrazione dei segmenti dall’immagine, clusterizzazione dei segmenti, stima di un punto di fuga da ogni cluster e determinazione dei punti di fuga ortogonali. Viene fornita un nuova metodologia per la determinazione dei punti di fuga, dai cluster di segmenti identificati. Inoltre vengono proposti degli approcci euristici che favoriscono la selezione della terna corretta di punti di fuga ortogonali. L’approccio proposto è completamente modulare e sufficientemente flessibile per poter essere adattato a esigenze diverse. Le prestazioni dell’approccio vengono valutate confrontando altre due proposte alternative, a cui viene sottoposto il medesimo set di immagini, ognuna dotata di diverse caratteristiche. I risultati di questi esperimenti evidenziano la bontà dell’approccio proposto.

Implementazione di modulatori e demodulatori su piattaforma raspberry-pi

Cattura di un segnale AM e FM stereofonico (radio commerciale) mediante chiavetta NooElec R820T dotata di tecnologia Software Defined Radio (SDR). Implementazione di un codice di demodulazione AM e di algoritmi di modulazione/demodulazione FM stereo attraverso l’ambiente di lavoro MATLAB e lo strumento Simulink- Interfacciamento dei codici con la piattaforma Raspberry-Pi fungente da server TCP/IP la quale permetterà la comunicazione tra chiavetta e PC. Ricostruzione del segnale modulante trasmesso

La superficie quadrica rigata e le curve su di essa

Trattazione sulla superficie quadrica rigata nel proiettivo, con cenni sulle quadriche in generale nello spazio affine e proiettivo e sull'unicità della superficie quadrica liscia nello spazio proiettivo complesso. Descrizione della quadrica rigata tramite la Mappa di Segre e tramite la proiezione da un suo punto su di un piano, studio di come ricavare tale quadrica da un piano e descrizione delle curve su di essa.

Analisi di sensibilità della grammatura sulla vita a fatica di un laminato in CFRP

In letteratura sono presenti numerosi studi che descrivono i fattori che influenzano la vita a fatica di un laminato in CFRP e le modalità di propagazione ed accrescimento a fatica di un difetto. Tuttavia non sono presenti studi approfonditi che leghino l’effetto che può avere la grammatura, sulla vita a fatica del laminato. Il lavoro sperimentale oggetto di questa tesi vuole intendersi un lavoro preliminare, a carattere esplorativo, sullo studio della sensibilità della grammatura sulla resistenza a fatica di laminati in CFRP, attraverso test di flessione a fatica su due configurazioni di provini di grammature differenti (600 e 800 gr/m^2), con e senza inserimento di un difetto artificiale rappresentato da un intaglio sugli ultimi strati del laminato e test di flessione eseguito in accordo allo standard ASTM D2344/D2344M. I test a fatica hanno evidenziato una sensibile riduzione della vita per i provini senza difetto realizzati con l’800 gr/m^2 rispetto a quelli realizzati con il 600 gr/m^2. Per quanto concerne la tolleranza al danno, i provini realizzati con 600 gr/m^2 hanno evidenziato una sensibilità maggiore all’effetto di intaglio, pur avendo un comportamento migliore rispetto a quelli realizzati con l’800 gr/m^2.

Preparazione e caratterizzazione di coating grafenici su film polimerici per proprietà barriera ai gas

In questo elaborato è stata discussa la preparazione di coating grafenici su film polimerici per migliorare le proprietà barriera ai gas. Le tecniche impiegate per l’applicazione dei coating sono basate sulla teoria dell’accrescimento layer by layer e sul trasferimento a pressione di materiale filtrato. Queste tecniche sono state riprodotte in laboratorio su tre tipologie di grafene: ossido di grafene, grafene sospeso in acqua e polvere di grafene commerciale per osservare le condizioni operative e i risultati. Dagli esperimenti condotti si sono ottenuti campioni che sono stati testati su uno strumento per la misura della permeabilità ai gas. Nello stesso periodo è stato messo a punto un metodo analitico spettrofotometrico per la stima della concentrazione di grafene all’interno di soluzioni e sospensioni.

Sviluppo di un ambiente per il progetto di strutture aerospaziali basate su elementi a forbice

L'obiettivo di questo elaborato è sviluppare un ambiente Matlab per il progetto ed il disegno di strutture utilizzabili in campo aerospaziale, basate su elementi a forbice. Questi elementi presentano la possibilità di espandersi così che una struttura con ridotto ingombro in posizione retratta può espandersi fino ad aumentare le sue dimensioni di diverse volte. Per la progettazione di questo ambiente è stato necessario studiare le relazioni geometriche che regolano i movimenti di questi elementi. Sono poi state implementate delle funzioni in ambiente Matlab® per studiare il movimento di questi elementi, partendo dalla simulazione del singolo elemento, per poi passare a strutture sempre più complicate realizzate come assemblaggio di più strutture elementari. Inoltre è stata progettata e implementata un’interfaccia grafica intuitiva con lo scopo di facilitare il compito del progettista. L’ambiente realizzato permette il progetto e il disegno di alcune semplici strutture, ma può essere ulteriormente sviluppato per implementare un numero sempre maggiore di strutture basate su elementi a forbice. Grazie all’ambiente realizzato, inserendo pochi parametri di progetto nell’apposita interfaccia, si può ottenere il dimensionamento di una struttura, la sua visualizzazione e simulare la sua espansione. Anche se l’ambiente è stato pensato per gestire una grande varietà di soluzioni costruttive, ne sono state implementate due: una struttura piana basata sulla ripetizione circolare di un elemento a forbice e una struttura tridimensionale basata su una serie di corone circolari disposte nello spazio. Queste, seppur non riconducibili a precise realizzazioni aerospaziali, possono essere la base per la progettazione di reali applicazioni come ad esempio satelliti espandibili nel caso 3D. La tesi presenta quindi: un’analisi delle relazioni geometriche che stanno alla base del movimento degli elementi a forbice, una descrizione delle funzioni implementate per simulare le due strutture prese in esame, la presentazione di quali caratteristiche sono state implementate nell’interfaccia grafica e come questa è stata implementata in Matlab, un cenno alle conclusioni che si possono trarre e ad alcuni possibili sviluppi.

Strumento per la diagnosi di carcinoma bcc basato su spettroscopia di impedenza

Il presente lavoro di tesi ha l’obiettivo di sviluppare uno strumento di aiuto alla diagnosi tumorale basato sull’analisi dell’impedenza a diverse frequenze. L’impedenza di un tessuto è intesa come l’opposizione che esso offre nell’essere attraversato da un’eccitazione in corrente o in tensione, pertanto lo strumento prevede l’applicazione di una tensione mediante elettrodi e la conseguente lettura della corrente. Da un’analisi delle tecniche utilizzate per individuare l’impedenza si è scelta un’eccitazione sinusoidale e si è quindi progettata una catena analogica di acquisizione del segnale. Si è utilizzato un microcontrollore per l’elaborazione dei dati e per inserire sistemi di controllo nel circuito . Sono stati realizzati inoltre elettrodi ad hoc per lo strumento al fine di soddisfare esigenze di dimensioni e di adattamento al progetto circuitale. Per validare il dispositivo sono state realizzate prove in laboratorio al fine di ricercare l’accuratezza delle misure, inoltre sono previsti dei test sperimentali su pazienti a breve .

Studio di validità concorrente tra sistema indossabile basato su IMU e stereofotogrammetria usata come gold standard

L’analisi della postura e del movimento umano costituiscono un settore biomedico in forte espansione e di grande interesse dal punto di vista clinico. La valutazione delle caratteristiche della postura e del movimento, nonché delle loro variazioni rispetto ad una situazione di normalità, possono essere di enorme utilità in campo clinico per la diagnosi di particolari patologie, così come per la pianificazione ed il controllo di specifici trattamenti riabilitativi. In particolare è utile una valutazione quantitativa della postura e del movimento che può essere effettuata solo utilizzando metodologie e tecnologie ‘ad hoc’. Negli ultimi anni la diffusione di sensori MEMS e lo sviluppo di algoritmi di sensor fusion hanno portato questi dispositivi ad entrare nel mondo della Motion Capture. Queste piattaforme multi-sensore, comunemente chiamate IMU (Inertial Measurement Unit), possono rappresentare l’elemento base di una rete sensoriale per il monitoraggio del movimento umano.

Calcolo delle mappe di fase a partire da elettrogrammi in fibrillazione atriale

L'analisi di fase del segnale si presenta appropriata e di notevole efficacia per l'individuazione di attivazioni in fibrillazione atriale, in quanto permette la valutazione di come queste si generano e si propagano. Dopo aver ottenuto i dati relativi alle attivazioni, è possibile ricostruire delle mappe di fase atriale che possono essere utilizzate dal clinico per individuare i punti in cui cauterizzare. In questo lavoro di tesi sono stati utilizzati i segnali endocavitari atriali acquisiti con un catetere a contatto di nuova generazione per ottenere gli istanti di attivazione nelle diverse zone della camera atriale. I risultati dell'algoritmo messo a punto e testato su segnali in ritmo sinusale, sono stati confrontati con le performance di due metodi riportati in letteratura, evidenziando prestazioni migliori che potrebbero portare alla costruzione accurata delle mappe di fase e quindi ad una precisa localizzazione delle aree da cauterizzare durante la procedura di ablazione.

Il luogo nella memoria conservazione e valorizzazione della rocca di Modigliana

Nella valle del Marzeno, posta su un’altura che domina e protegge la città, si trova la rocca di Modigliana, una costruzione antica, che si configura come una preziosa occasione per poter leggere e comprendere la storia di un luogo. È infatti un delicato palinsesto, una testimonianza fisica di complesse trasformazioni storiche e sociali, accumulate nel tempo. La cittadina di Modigliana sorge in una posizione geografica di natura strategica, vicina all’attuale confine tra Emilia Romagna e Toscana, teatro di numerosi conflitti e contese politiche nel corso della storia. La rocca viene costruita alla fine del IX secolo, come torre residenziale dei Conti Guidi, una potente famiglia a cui va attribuito un ruolo politico decisivo nell’Italia centrale del medioevo. Sotto il dominio dei Guidi,durato circa quattro secoli, Modigliana diventa capitale del feudo romagnolo e la rocca un palatium, emblema del forte potere politico e militare che i conti detenevano sul territorio. Nel 1377 il Comune di Modigliana viene annesso alla Repubblica Fiorentina e la rocca subisce importanti trasformazioni, perdendo la propria funzione palaziale e acquistando quella militare difensiva, fino ad un definitivo abbondono nel XVI secolo. La rocca, definita ‘Roccaccia’ per la propria imponenza, è divenuta simbolo e identità della cittadina nella percezione collettiva locale. In seguito al crollo di una parte del mastio, la rocca presenta un suggestivo spaccato, visibile da tutto il paese, che permette di osservare l’interno dell’antica costruzione. Purtroppo la mancata attuazione di un progetto di conservazione della rocca, ha lasciato la rovina in uno stato di totale degrado, pericolosità e inaccessibilità, portandola ad un lento declino. Il progetto si pone innanzitutto l’obiettivo di conservare e valorizzare il manufatto, permettendo l’accessibilità e la fruizione della rocca, senza stravolgerne i caratteri naturali e accettando i limiti imposti dal luogo. Sfruttando i percorsi storici e gli spazi esistenti, il progetto è pensato con l’intento di rendere conoscibile la composizione delle parti del manufatto e il suo funzionamento. Queste volontà progettuali hanno portato a maturare l’idea di voler restituire alla città di Modigliana un luogo, che il degrado e l’incuria stanno rubando al tempo.

Azioni di gruppi topologici su varietà

Studio dei gruppi topologici, ovvero degli spazi topologici che possiedono anche una struttura di gruppo; le due strutture sono legate dal fatto che le applicazioni di gruppo sono continue.

Teoria di Morse

Introduzione allo studio dell'omotopia di varietà differenziabili in relazione ai punti critici di funzioni di Morse definite su di esse con particolare attenzione al cambiamento di omotopia dell'insieme di sottolivello al passaggio di un valore critico. Applicazione al complesso di catene di Morse-Smale-Witten e dimostrazione dell'equivalenza tra l'omologia definita da questo complesso e l'omologia classica.

Distribuzione spazio temporale dei pesci demersali sulla piattaforma continentale del Golfo di Antalya

Le variabili ambientali e lo sfruttamento della pesca sono dei possibili fattori nel determinare la struttura della comunità demersale. L’area di studio è il Golfo di Antalya, con un area aperta ed una chiusa ad ogni attività di pesca, il periodo di studio ha coperto tre stagioni (primavera, estate, autunno). Lo scopo è quello di delineare un quadro generale sulla distribuzione spaziale e temporale delle risorse alieutiche demersali in quest’area. In questo lavoro di tesi la PCA è stata usata al fine di determinare le variabili ambientali (ossigeno, salinità, temperatura, pH, materia sospesa) che determinano maggiormente la differenza tra le stazioni, tecniche di analisi multivariata hanno invece indagato una possibile variazione su scala spaziale e temporale dei parametri abiotici. La Cluster Analysis effettuata sui dati di abbondanza ha delineato quattro raggruppamenti principali, due ad una profondità minore di 100 m e due ad una profondità maggiore (40% di similarità). Questi risultati sono confermati dall’analisi MDS. L’analisi SIMPER ha messo in evidenza le specie che maggiormente incidono sulla differenza tra strati di profondità. Gli indici di biodiversità sono stati calcolati per indagare la diversità e la variabilità temporale e spaziale della comunità demersale. Due procedure la BIO-ENV e la DistLM (Distance-based linear models) sono state effettuate per individuare le variabili abiotiche che potrebbero essere responsabili dei diversi raggruppamenti nella struttura del popolamento demersale. Le specie commerciali: Mullus barbatus, Upeneus moluccensis, Upeneus pori sono state prese come oggetto per la ricerca di possibili effetti della pesca a livello di popolazione. Per i dati di abbondanza e di biomassa di queste specie è stata eseguita l’analisi multivariata MANOVA (Multivariate Analysis of Variance) al fine di trovare eventuali variazioni dovute ai fattori profondità, stagione e transetto. Per ogni specie è stata valutata la sex ratio. Il metodo Bhattacharya ha permesso di determinare le classi di età e la loro abbondanza. In ultimo la relazione peso-lunghezza è stata ricavata separatamente per gli individui maschi e femmine al fine di determinare il tipo di crescita per ogni sesso.