Analysis of the spectrum of the spin-1 biquadratic antiferromagnetic chain

In questo elaborato vengono discusse le catene di spin-1, modelli quantistici definiti su un reticolo unidimensionale con interazione tra siti primi vicini. Fra la ricca varietà di tipologie esistenti è stato scelto di porre attenzione primariamente sul modello antiferromagnetico con interazione puramente biquadratica. Vengono presentati diversi metodi di classificazione degli autostati di tale modello, a partire dalle simmetrie che ne caratterizzano l’Hamiltoniana. La corrispondenza con altri modelli noti, quali il modello XXZ di spin 1/2, la catena di Heisenberg SU (3) ed i modelli di Potts, è utile ad individuare strutture simmetriche nascoste nel formalismo di spin-1, le quali consentono di ricavare informazioni sullo spettro energetico. Infine, vengono presentati risultati numerici accompagnati da alcune considerazioni sulle modifiche dello spettro quando si aggiunge un termine bilineare alla Hamiltoniana biquadratica.

Collaborazione real-time in una piattaforma web di sviluppo software

La diffusione dei servizi cloud ha spinto anche il mondo degli IDE verso questa direzione. Recentemente si sta assistendo allo spostamento degli IDE da ambienti desktop ad ambienti Web. Questo è determinante per quanto riguarda gli aspetti legati alla collaborazione perchè permette di sfruttare tutti i vantaggi del cloud per dotare questi sistemi di chat, integrazione con i social network, strumenti di editing condiviso e molte altre funzionalità collaborative. Questi IDE sono detti browser-based in quanto i servizi che mettono a disposizione sono accessibili via Web tramite un browser. Ne esistono di diversi tipi e con caratteristiche molto diverse tra di loro. Alcuni sono semplici piattaforme sulle quali è possibile effettuare test di codice o utilizzare tutorial forniti per imparare nuovi linguaggi di programmazione; altri invece sono ambienti di sviluppo completi dotati delle più comuni funzionalità presenti in un IDE desktop, oltre a quelle specifiche legate al Web. Dallo studio di questi ambienti di sviluppo di nuova generazione è emerso che sono pochi quelli che dispongono di un sistema di collaborazione completo e che non tutti sfruttano le nuove tecnologie che il Web mette a disposizione. Per esempio, alcuni sono dotati di editor collaborativi, ma non offrono un servizio di chat ai collaboratori; altri mettono a disposizione una chat e il supporto per la scrittura simultanea di codice, ma non sono dotati di sistemi per la condivisione del display. Dopo l'analisi dei pregi e dei difetti della collaborazione fornita dagli strumenti presi in considerazione ho deciso di realizzare delle funzionalità collaborative inserendomi nel contesto di un IDE browser-based chiamato InDe RT sviluppato dall'azienda Pro Gamma SpA.

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.

Sistemi naturali di fitodepurazione a flusso orizzontale sub-superficiale: Analisi teorico-sperimentale

Il lavoro di tesi riguarda i sistemi naturali di fitodepurazione, focalizzandosi in particolare sui sistemi a flusso orizzontale sub-superficiale. Vengono esposte la loro applicabilità e diffusione e le principali normative di riferimento. Vengono trattati i principali parametri progettuali e metodi di dimensionamento e inoltre si svolge lo studio di uno specifico sito sperimentale.

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.

La base di Bernstein in spazi polinomiali generalizzati a tratti

Le funzioni polinomiali possono essere utilizzate per approssimare le funzioni continue. Il vantaggio è che i polinomi, le loro derivate e primitive, possono essere rappresentati in maniera semplice attraverso i loro coefficienti ed esistono algoritmi stabili e veloci per valutarli. Inoltre gli spazi polinomiali godono di numerose proprietà importanti. In questo lavoro ci occuperemo di altri spazi funzionali, noti in letteratura come spazi di Chebyshev o polinomi generalizzati, per ragioni di riproducibilità. Infatti ciò che si ottiene attraverso i polinomi è soltanto una approssimazione che spesso risulta essere insufficiente. E' importante, quindi, considerare degli spazi in cui sia possibile avere una rappresentazione esatta di curve. Lo studio di questi spazi è possibile grazie alla potenza di elaborazione degli attuali calcolatori e al buon condizionamento di opportune basi di rappresentazione di questi spazi. Negli spazi polinomiali è la base di Bernstein a garantire quanto detto. Negli spazi di Chebyshev si definisce una nuova base equivalente. In questo lavoro andremo oltre gli spazi di Chebyshev ed approfondiremo gli spazi di Chebyshev a tratti, ovvero gli spazi formati dall'unione di più spazi del tipo precedente. Si dimostrerà inoltre l'esistenza di una base a tratti con le stesse proprietà della base di Bernstein per gli spazi polinomiali.

Sviluppo di algoritmi di localizzazione per reti di sensori ad ultrasuoni

Studio di un nuovo algoritmo di localizzazione per rete di sensori ad ultrasuoni e sviluppo di un simulatore di propagazione di onda sonora.

Casa Caldesi. Un'ipotesi di restauro per il complesso architettonico faentino

Il Palazzo è un'architettura ben presente nell’immaginario collettivo soprattutto per il fatto che sia comunemente indicato come l’antica dimora dei Manfredi, signori della città. Tanto importante da sollevare sulla stampa locale periodiche ondate di indignazione per il suo stato di abbandono. Il recente studio di Lucio Donati dimostra come gli antichi proprietari fossero in realtà i Bazolini prima e i Viarani poi. A conclusione dell’articolo proponeva quindi di chiamare il fabbricato secondo il nome dei reali proprietari. In questa tesi ho deciso invece di chiamare il fabbricato con il nome di Casa Caldesi. Il precario stato di conservazione indica l’urgenza di un pronto intervento di restauro. Questa tesi propone una delle possibili ipotesi di progetto. Visto lo stato delle cose ho scelto un progetto di restauro che prevedesse una funzione mista residenziale e ad uffici. Mantenendo lungo via Manfredi le vetrine e quindi la funzione commerciale al dettaglio negli spazi che già una volta ospitavano i negozi. Il progetto si è soffermato in particolare nel disegno delle residenze. L’obiettivo di ripristinare i grandi ambienti decorati è stato rispettato attraverso un paziente lavoro di distribuzione capace di conservare e valorizzare la bellezza dei locali, senza perdere i requisiti di funzionalità e comodità adeguati alle moderne residenze. Questa scelta funzionale anche se può sembrare scontata e compatibile con un palazzo che da sempre è stata una residenza, presenta tuttavia alcune problematiche. L’ipotesi di restauro quindi si pone il problema di organizzare gli spazi del palazzo in appartamenti ed uffici, ripristinare la spazialità di tutti i grandi ambienti decorati e renderli compatibili con le esigenze abitative odierne.

Estensione del framework kura per internet of things tramite supporto distribuito coap

Realizzazione di un supporto CoAP per il framework Kura con le seguenti caratteristiche: 1. Ottima scalabilità, ad organizzazione gerarchica, con aggiunta e rimozione dinamica di nodi e gestione automatica delle disconnessioni. 2. Integrazione efficiente di tecnologie CoAP ed MQTT progettate appositamente per l’IoT tramite lo sviluppo di un pattern di comunicazione per la gestione degli scambi delle informazioni. 3. Un limitato uso di risorse con modifiche su entrambe le implementazioni standard dei protocolli usati in modo tale da adattarle agli obiettivi prefissati. Il tutto a un costo bassissimo, dato che si basa su tecnologie open e grazie alla possibilità di utilizzo su Raspberry Pi.

Misura di reazioni di fusione-evaporazione 16O + 12C. Risultati preliminari.

Questo lavoro di tesi è stato svolto nell'ambito del gruppo Nucl-ex di Bologna dell'INFN. L'esperimento specifico si inquadra nello studio di collisioni di nuclei con numero di neutroni N uguale al numero di protoni Z (nuclei pari-pari). In particolare si vuol analizzare una reazione centrale, cioè a piccoli parametri d'impatto, nella quale i nuclei del proiettile e del bersaglio fondono assieme formando un sistema unico eccitato (nucleo composto) che successivamente decade. Nel caso della misura descritta sono stati utilizzati un fascio di 16O ed un bersaglio di 12C ed il sistema fuso che si forma è 28Si. Per rivelare le particelle provenienti dal decadimento è stato impiegato l'apparato G.AR.F.I.E.L.D. (General Array for Fragment Identification and Emitted Light particles in Dissipative collisions) accoppiato al rivelatore denominato Ring Counter (RCo). La misura è stata realizzata presso i Laboratori Nazionali dell'INFN di Legnaro (Pd) in collaborazione tra le Università e le sezioni INFN di Bologna, Firenze, Napoli e Padova. Il fascio è stato accelerato mediante l'acceleratore elettrostatico Tandem XTU, mentre il bersaglio era fisso nel sistema di riferimento del laboratorio. La misura di collisione è stata realizzata per tre diverse energie cinetiche del fascio: 90.5 MeV, 110 MeV e 130 MeV. Il lavoro è consistito principalmente nella partecipazione a diverse fasi della misura, tra cui preparazione, presa dati ed alcune calibrazioni energetiche dei rivelatori, fino ad ottenere risultati preliminari sulle distribuzioni di frequenza dei frammenti rivelati, sulle molteplicità e sulle distribuzioni angolari di particelle leggere. L'analisi preliminare effettuata ha mostrato che il valore medio di carica del residuo di evaporazione {Definito come il frammento che rimane nello stato fondamentale alla fine della catena di decadimento.} diminuisce all'aumentare dell'energia a disposizione. In modo consistente aumenta, all'aumentare dell'energia, la molteplicità media delle delle particelle leggere. Le distribuzioni angolari di particelle leggere mostrano andamenti molto simili fra le diverse energie, ma poco compatibili con il fatto che, all'aumentare dell'energia del fascio, diminuisce il cono di emissione di particelle di decadimento, in quanto aumenta la velocità del sistema fuso.

Analisi delle problematiche nella pianificazione di una rotta di un volo di linea a corto-medio raggio

Dietro ad ogni volo di linea è presente una serie di attività collaterali fondamentali, quali ad esempio un'analisi dettagliata della tratta da percorrere al fine di pianificare la rotta ottimale. In questa tesi verranno pertanto evidenziate le varie problematiche e le difficoltà che si possono riscontrare nel processo di pianificazione di una rotta. Prima verranno introdotti gli organi che regolamentano l’aviazione civile mondiale ed in seguito l’organizzazione di una tipica compagnia aerea charter, focalizzando l’attenzione sul dipartimento delle operazioni di volo che è responsabile delle attività di pianificazione. Verranno poi analizzate le limitazioni che si presentano con un velivolo di corto-medio raggio, effettuando un’analisi della pianificazione vera e propria con utilizzo dei software di pianificazione del volo e di performance di decollo, insieme ad approfondimenti sui punti salienti di cui bisogna tener conto. Infine verranno esposte le attività tipiche di analisi dell’aeroporto e il processo di categorizzazione di esso. Le informazioni così ottenute saranno finalmente utilizzate per effettuare uno studio di una rotta caratteristica nelle operazioni charter a medio raggio.

Simulazione di sistemi quantistici, approccio numerico e sperimentale nel caso della localizzazione di Anderson

In questo lavoro viene presentato l'utilizzo di simulatori quantistici nello studio di sistemi a molte componenti. Dall'idea iniziale di Feynman della intersimulazione tra sistemi quantistici in questi anni si è sempre più sviluppata la tecnica sperimentale necessaria a creare sistemi di atomi in reticoli ottici ben controllati, nei quali riprodurre il comportamento di sistemi di natura diversa, ottenendo risultati promettenti nell'indagine di situazioni non trattabili analiticamente o numericamente. Tra questi, la conduzione di elettroni in materiali disordinati è ancora un problema aperto. In questa tesi nello specifico sono trattati i modelli di Anderson e di André-Aubry, i quali prevedono una transizione da stati estesi a localizzati in presenza di disordine nel materiale. I due modelli sono stati investigati numericamente su reticoli monodimensionali e i risultati confrontati con una realizzazione sperimentale realizzata con atomi freddi.

Analisi della rete di teleriscaldamento di Corticella in presenza di utenze attive

Oggetto di questa tesi è lo studio di una rete di teleriscaldamento (TLR) preesistente, la rete di Corticella (Bo) ipotizzando la presenza di sottostazioni di scambio termico attive. Inizialmente sono state presentate le sottostazioni di scambio termico sia tradizionali che attive. Nelle tradizionali ci si è soffermato sul tipo di regolazione che può avvenire. Per quanto riguarda le sottostazioni di scambio termico attive son stati esaminati i 4 layout che permettono uno scambio termico bidirezionale di energia termica. E’ stato presentato il software IHENA (intelligent Heat Energy Network Analysis) creato dal dipartimento di ingegneria industriale, che ha permesso di effettuare le simulazioni sulla rete analizzata. Viene mostrato l’algoritmo di Todini-Pilati generalizzato dall’utilizzo delle equazioni di Darcy-Weisbach su cui si basa il motore di calcolo. Inoltre vengono presentati i vari input che è necessario inserire per ottenere il calcolo della rete. Dopo nozioni di base relative al teleriscaldamento attivo e la presentazione del software utilizzato si è passati alla vera e propria analisi della rete di teleriscaldamento. Sono state effettuate varie simulazioni per vedere l’andamento della rete di Corticella sia considerandola passiva (come nella realtà) che ipotizzandola attiva tramite l’inserimento di sottostazioni di scambio termico ative. Le analisi condotte riguardano i seguenti punti. a) E’ stata presentata la rete di Corticella cosi come è andando a studiare quindi il caso base. b) Sono state svolte delle analisi per vedere come si comportava la rete nel caso in cui venivano variati dei parametri operativi come i carichi termici richiesti dalle utenze. c) Sono stati valutati i percorsi più critici. d) Si è condotta un analisi sulla regolazione al variare delle temperature esterne. Dopo l'analisi del caso base sono state introdotte delle sottostazioni di scambio termico attive, prima solo una, e poi varie lungo determinati percorsi. Le valutazioni effettuate mettevano in primo piano gli andamenti della temperatura nei percorsi, la potenza termica generata dalla sorgente, la temperatura di ritorno in centrale e se si verificano delle problematiche sugli scambiatori di calore. In queste simulazioni sono stati valutati tutti e quattro gli schemi utilizzabili. Infine è stata effettuata un analisi comparativa tra le varie soluzioni studiate per poter mettere a confronto i casi. In particolare anche qui si sono voluti confrontare i valori di potenza spesa per il pompaggio, temperatura di ritorno in centrale e potenza termica offerta dalla sorgente.

Investigation of petabyte-scale data transfer performances with PhEDEx for the CMS experiment

PhEDEx, the CMS transfer management system, during the first LHC Run has moved about 150 PB and currently it is moving about 2.5 PB of data per week over the Worldwide LHC Computing Grid (WLGC). It was designed to complete each transfer required by users at the expense of the waiting time necessary for its completion. For this reason, after several years of operations, data regarding transfer latencies has been collected and stored into log files containing useful analyzable informations. Then, starting from the analysis of several typical CMS transfer workflows, a categorization of such latencies has been made with a focus on the different factors that contribute to the transfer completion time. The analysis presented in this thesis will provide the necessary information for equipping PhEDEx in the future with a set of new tools in order to proactively identify and fix any latency issues. PhEDEx, il sistema di gestione dei trasferimenti di CMS, durante il primo Run di LHC ha trasferito all’incirca 150 PB ed attualmente trasferisce circa 2.5 PB di dati alla settimana attraverso la Worldwide LHC Computing Grid (WLCG). Questo sistema è stato progettato per completare ogni trasferimento richiesto dall’utente a spese del tempo necessario per il suo completamento. Dopo svariati anni di operazioni con tale strumento, sono stati raccolti dati relativi alle latenze di trasferimento ed immagazzinati in log files contenenti informazioni utili per l’analisi. A questo punto, partendo dall’analisi di una ampia mole di trasferimenti in CMS, è stata effettuata una suddivisione di queste latenze ponendo particolare attenzione nei confronti dei fattori che contribuiscono al tempo di completamento del trasferimento. L’analisi presentata in questa tesi permetterà di equipaggiare PhEDEx con un insieme di utili strumenti in modo tale da identificare proattivamente queste latenze e adottare le opportune tattiche per minimizzare l’impatto sugli utenti finali.

Geometria delle ipersuperfici quadriche dello spazio proiettivo

In questo lavoro vengono analizzate due sottovarietà notevoli di P^5 legate allo studio delle ipersuperfici quadriche: la quadrica di Klein e la superficie di Veronese. La quadrica di Klein è una ipersuperficie di grado 2 di P^5 in corrispondenza biunivoca con l'insieme delle rette di P^3. Riguardando P^5 come lo spazio delle coniche di P^2, la superficie di Veronese corrisponde alle coniche di rango 1, cioè alle rette doppie.