Aspects of supergeometry in locally covariant quantum field theory

In questa tesi vengono presentati i piu recenti risultati relativi all'estensione della teoria dei campi localmente covariante a geometrie che permettano di descrivere teorie di campo supersimmetriche. In particolare, si mostra come la definizione assiomatica possa essere generalizzata, mettendo in evidenza le problematiche rilevanti e le tecniche utilizzate in letteratura per giungere ad una loro risoluzione. Dopo un'introduzione alle strutture matematiche di base, varieta Lorentziane e operatori Green-iperbolici, viene definita l'algebra delle osservabili per la teoria quantistica del campo scalare. Quindi, costruendo un funtore dalla categoria degli spazio-tempo globalmente iperbolici alla categoria delle *-algebre, lo stesso schema viene proposto per le teorie di campo bosoniche, purche definite da un operatore Green-iperbolico su uno spazio-tempo globalmente iperbolico. Si procede con lo studio delle supervarieta e alla definizione delle geometrie di background per le super teorie di campo: le strutture di super-Cartan. Associando canonicamente ad ognuna di esse uno spazio-tempo ridotto, si introduce la categoria delle strutture di super-Cartan (ghsCart) il cui spazio-tempo ridotto e globalmente iperbolico. Quindi, si mostra, in breve, come e possibile costruire un funtore da una sottocategoria di ghsCart alla categoria delle super *-algebre e si conclude presentando l'applicazione dei risultati esposti al caso delle strutture di super-Cartan in dimensione 2|2.

Caratterizzazione flessionale del rinforzo di pavimentazioni bituminose con interstrati sintetici

Uno degli aspetti fondamentali della circolazione stradale è rappresentato dalla conservazione della qualità, in termini di comfort e sicurezza trasmessa all’utente, della sovrastruttura stradale. L’obiettivo della manutenzione stradale è di garantire un livello soddisfacente delle caratteristiche funzionali lungo tutto l’arco della vita utile dell’infrastruttura. Le ridotte disponibilità economiche di enti ed amministrazioni pubbliche, spingono i ricercatori ed i tecnici del settore ad individuare soluzioni tecniche e progettuali, in grado di coniugare economicità e durabilità degli interventi. Negli ultimi decenni, si è cercato di studiare l’effetto prodotto dall’eventuale inserimento di un interstrato di rinforzo all’interno della sovrastruttura. Lo studio, sviluppato e descritto nel presente documento, ha l’obiettivo di migliorare la comprensione dell’effettivo contributo che i materiali di rinforzo possono produrre all’interno degli strati legati di una pavimentazione flessibile. Gli obiettivi dell’indagine sperimentale, descritta nel presente documento, possono essere sintetizzati in tre punti fondamentali: - caratterizzazione flessionale di pavimentazioni bituminose con interstrati sintetici, in particolare lo scopo dell’indagine verte a quantificare il miglioramento del comportamento meccanico della pavimentazione dotata di rinforzo; - analisi del comportamento a fessurazione della pavimentazione, rinforzata e non, con particolare attenzione nei confronti del reflective cracking; - valutazione del collegamento tra i due strati bituminosi in presenza di interstrato sintetico. Per raggiungere tali obiettivi sono state eseguite due serie di prove di flessione su 3 punti (3PB) e prove di taglio Leutner.

Disseminazioni in reti peer-to-peer attraverso algoritmi di gossip a due fasi

Gli algoritmi di gossip sono utilizzati per la disseminazione di messaggi in una rete peer-to-peer. La tesi tratta lo sviluppo, l'implementazione e l'analisi di quattro nuovi algoritmi di gossip "a due fasi". Gli algoritmi sono stati sviluppati e testati con il simulatore LUNES per poi essere analizzati in vari confronti con gli algoritmi classici dell'ambito, ovvero Fixed Probability e Conditional Broadcast. Le prove sono state effettuate su varie tipologie di grafi, ovvero Random, Scale-free, Small-world e K-Regular.

Analisi prestazionale di pavimentazioni contenenti polverino di gomma da PFU

La presente ricerca è stata svolta con l’obbiettivo di valutare le caratteristiche prestazionali di pavimentazioni in conglomerato bituminoso con aggiunta di PFU. Il prodotto è un legante bituminoso modificato, al quale il polverino di gomma da PFU è aggiunto manualmente (meccanicamente) al mescolatore tramite tecnologia Dry, nella quale la frazione di gomma è impiegata in sostituzione a una porzione di inerti fini. Ai fini di tale studio sono stati stesi 300 metri di SMA lungo la S.P. 569 nel centro abitato di Zola Predosa (BO) durante la quale sono state effettuate le analisi ambientali. Di questi 300 metri, una parte è costituita da SMA tradizionale, mentre la parte restante è divisa tra SMA contenente 1,20% in peso di PFU e SMA contenente 0,75% in peso di PFU. Sono state predisposte 3 diverse indagini sperimentali: a 2 mesi dalla stesa (31 Luglio 2014), a 6 mesi e la terza ad 1 anno dalla prima sessione di controllo. Nella prima campagna è stato eseguito il prelievo di campioni carotati per la verifica fisico-meccanica delle miscele posate e degli spessori, mentre per tutte le campagne di prova tutte sono state effettuate analisi per la valutazione dell’aderenza, della tessitura e dell’emissione e assorbimento acustico della pavimentazione. L’elaborato è sviluppato nel seguente modo: sarà prima presentata una panoramica sul problema del riciclaggio di PFU. Verranno poi riportate le norme che regolano l’uso delle strumentazioni utilizzate durante le prove e la trattazione dei dati che ne derivano. Verrà poi descritto il campo prove, la stesa sperimentale e tutti i test effettuati sul sito di Zola Predosa. Successivamente verrà effettuata l’analisi dei dati rispettivamente per l’analisi ambientale, il pendolo, l’altezza in sabbia, l’analisi dei livelli acustici, il LaserProf, lo Skiddomter BV11 e il Laser NextEngine HD. Infine verranno tratte le conclusioni, basate sulle analisi condotte, al fine di valutare il rendimento delle pavimentazioni indagate.

Gamification e data entry: un caso di studio

Il gioco è un concetto che accompagna la vita di innumerevoli specie animali in forme, modi e tempi differenti. L’uomo scopre il gioco sin dai primi mesi di vita. Con l’obiettivo di migliorare la condizione emotiva dell'uomo nello svolgimento delle azioni quotidiane, nasce negli ultimi anni la gamification. Il termine consta nell’integrazione delle tecniche di progettazione dei giochi in contesti esterni ai giochi. Consiste nel progettare ponendo particolare attenzione sul coinvolgimento dell’utente per renderlo capace di sperimentare le emozioni tipiche dello svago: fierezza per le proprie azioni, qualunque esse siano. Gli ambiti di applicazione sono innumerevoli. Questa tesi si concentra sullo studio del contesto aziendale, focalizzandosi sulle mansioni di data entry, allo scopo di creare una piattaforma completa, composta da strumenti informatici ed elementi di gioco, che possa aumentare il coinvolgimento dei dipendenti nel proprio lavoro. Si è scelto questo tipo di attività in quanto composta da incarichi facilmente misurabili e allo stesso tempo poco appassionanti per il dipendente perché altamente meccanici e ripetitivi. La sperimentazione in questo ambito permette quindi di valutare con certezza matematica se i miglioramenti introdotti dall'integrazione delle tecniche di gamification nello stato d’animo dei dipendenti hanno anche la conseguenza di aumentare la produttività, verificando quindi se una piattaforma ludicizzata possa essere auto-sostenibile in ambito aziendale. Al termine della tesi si giungerà ad ottenere il progetto di un sistema completo, composto da software ed attività extra-informatiche, che i dipendenti valuteranno con un questionario. La piattaforma otterrà buoni voti necessitando principalmente di un maggior apporto contenutistico e del contributo professionale di un esperto progettista di giochi perché abbia le potenzialità per diventare un caso di successo.

Meccanismi di Gamification per interfacce human-vehicle

L’obiettivo principale di questa tesi è utilizzare le tecniche di gamification più importanti nella progettazione ed implementazione di un’interfaccia Human-Vehicle per creare un software che possa rendere la guida di un’automobile elettrica più efficace ed efficiente da parte del guidatore. Per lo sviluppo del software è stato svolto uno studio specifico sulla gamification, sulle interfacce Human-Vehicle e sulle macchine elettriche attualmente in produzione. Successivamente è stata svolta la fase di progettazione in cui sono stati creati dei mockup relativi all’interfaccia grafica ed è stato svolto un focus group. Infine è stato implementato il vero e proprio software di simulazione EcoGame ed è stato effettuato un test utenti.

Sviluppo di un sistema informatico per il controllo remoto di un osservatorio astronomico

L'obiettivo di questo elaborato è quello di indicare una via verso una nuova modalità di utilizzo degli osservatori astronomici disseminati lungo la penisola italiana. Utilizzando le tecnologie disponibili e integrandole fra loro il sistema che si andrà a progettare permetterà di controllare da remoto un osservatorio astronomico. Questa nuova modalità di interazione con strumenti scientifici quali i telescopi potrà rendere possibile nuove modalità di divulgazione astronomica, sia in ambito educativo fornendo nuovi strumenti alle scuole che in ambito culturale potendo avvicinare tutti i curiosi all'osservazione dei corpi celesti che circondano il pianeta Terra. Utilizzare la tecnologia per avvicinare le persone alla scienza è una grande sfida per il futuro: le nuove scoperte e le nuove invenzioni non sono ormai piu frutto di singole menti brillanti ma frutto di collaborazioni e figlie della "sapienza collettiva" che Internet sta fortificando e rendendo sempre piu fruibile.

Electronic properties of Van der Waals heterostructures

L’interazione spin-orbita (SOI) nel grafene è attualmente oggetto di intensa ricerca grazie alla recente scoperta di una nuova classe di materiali chiamati isolanti topologici. Questi materiali, la cui esistenza è strettamente legata alla presenza di una forte SOI, sono caratterizzati dall’interessante proprietà di avere un bulk isolante ed allo stesso tempo superfici conduttrici. La scoperta teorica degli isolanti topologici la si deve ad un lavoro nato con l’intento di studiare l’influenza dell’interazione spin-orbita sulle proprietà del grafene. Poichè questa interazione nel grafene è però intrinsecamente troppo piccola, non è mai stato possibile effettuare verifiche sperimentali. Per questa ragione, vari lavori di ricerca hanno recentemente proposto tecniche volte ad aumentare questa interazione. Sebbene alcuni di questi studi abbiano mostrato un effettivo aumento dell’interazione spin-orbita rispetto al piccolo valore intrinseco, sfortunatamente hanno anche evidenziato una consistente riduzione della qualità del grafene. L’obbiettivo che ci si pone in questa tesi è di determinare se sia possibile aumentare l’interazione spin-orbita nel grafene preservandone allo stesso tempo le qualità. La soluzione proposta in questo lavoro si basa sull’utilizzo di due materiali semiconduttori, diselenio di tungsteno WSe2 e solfuro di molibdeno MoS2, utilizzati da substrato su cui sopra verrà posizionato il grafene formando così un’eterostruttura -nota anche di “van der Waal” (vdW)-. Il motivo di questa scelta è dovuto al fatto che questi materiali, appartenenti alla famiglia dei metalli di transizione dicalcogenuri (TMDS), mostrano una struttura reticolare simile a quella del grafene, rendendoli ideali per formare eterostrutture e ancora più importante, presentano una SOI estremamente grande. Sostanzialmente l’idea è quindi di sfruttare questa grande interazione spin-orbita del substrato per indurla nel grafene aumentandone così il suo piccolo valore intrinseco.

Deposizione di grafene su superfici porose 3D col metodo CVD

L’attività di tesi, svolta presso i laboratori dell’Istituto CNR-IMM di Bologna, si è focalizzata sulla crescita tramite Deposizione Chimica da Fase Vapore di schiume di grafene - network tridimensionali costituiti da fogli di grafene interconnessi, in grado di unire le straordinarie proprietà del grafene ad una elevatissima area superficiale - e sulla loro caratterizzazione, con l’obiettivo di sintetizzare strutture 3D di grafene con una porosità controllata e buone caratteristiche strutturali. Nel primo capitolo della tesi vengono illustrate da un punto di vista generale le caratteristiche e proprietà salienti del grafene, sia dal punto di vista strutturale che fisico. il secondo capitolo è dedicato alle tecniche di produzione del materiale, dall’esfoliazione meccaniche, a quella chimica, per arrivare alle tecniche di crescita vere e proprie. Maggiore attenzione viene chiaramente riservata alla Deposizione Chimica da Fase Vapore, utilizzata poi nell’ambito dell’attività sperimentale svolta. Nel terzo capitolo vengono descritti in dettaglio tutti gli apparati sperimentali utilizzati, sia per la sintesi del materiale (il sistema CVD), che per la sua caratterizzazione (microscopia elettronica a scansione, diffrazione a raggi X, spettroscopia fotoelettronica a raggi X e Raman). Il quarto ed il quinto capitolo sono dedicati alla parte sperimentale vera e propria. Nel quarto si descrive e si discute il processo messo a punto per crescere strutture tridimensionali di grafene a partire da schiume metalliche commerciali, mentre nel quinto vengono infine descritti gli approcci originali messi a punto per la sintesi di strutture con porosità controllata. Nelle conclusioni, infine, oltre a tirare le somme di tutto il lavoro svolto, vengono delineate le prospettive applicative dei materiali prodotti e le attività che sono attualmente in corso relative alla loro caratterizzazione e al loro impiego.

Individuazione del danno su ponti in muratura mediante misure dinamiche

La diagnostica strutturale è un campo in continuo sviluppo e attualmente sono numerosi gli studi tendenti alla definizione di tecniche e metodi in grado di fornire parametri che possano identificare, in modo sempre più accurato, lo stato di sicurezza di una struttura. Stato di sicurezza è un termine globale che si riferisce alla capacità portante di una struttura e alla sua resistenza alle sollecitazioni esterne, siano esse statiche o dinamiche. Per tanto, un qualsiasi danneggiamento strutturale potrebbe in varia misura influenzare tale stato. Per quanto riguarda i ponti stradali, negli ultimi anni l’attenzione è stata focalizzata allo studio di metodi di individuazione del danno a partire dai risultati ottenuti dal monitoraggio delle vibrazioni mediante accelerometri. Questo è stato possibile grazie agli avanzamenti raggiunti nell’identificazione modale e nei sensori per il monitoraggio strutturale. Questo lavoro si pone come obiettivo quello di proporre una nuova metodologia di analisi dei dati ottenuti da indagini sperimentali che possono essere svolte in sito. La definizione di tale metodologia è affidata a simulazioni numeriche volte a rappresentare stati di danneggiamento avanzati su elementi strutturali. In una prima fase verranno analizzati elementi semplificati rappresentativi di strutture esistenti, come ad esempio travi da ponte in calcestruzzo armato. In una seconda fase, il metodo verrà testato su modelli più complessi che tengano conto della tridimensionalità del problema, oltre alle variazioni sezionali e di materiali degli elementi che lo compongono.

Caratterizzazione, analisi a ritroso e di stabilità attuale di uno scorrimento traslativo in Marnoso Arenacea (Casola Valsenio, RA)

Il lavoro di tesi consiste nella caratterizzazione, nell’analisi a ritroso e di stabilità attuale di un fenomeno franoso avvenuto a Casola Valsenio, in provincia di Ravenna. La caratterizzazione è comprensiva di analisi geomorfologica dell’area, indagine sismo-stratigrafica e indagine geotecnica di laboratorio. Quindi è stato definito il meccanismo di rottura della frana e sono stati cartografati gli elementi morfologici costituenti l’area di frana. L’indagine geofisica si basa su tecniche ad onde di superficie e include misure tromografiche di rumore sismico ambientale e misure attive multicanale. Queste forniscono, rispettivamente, le curve H/V e gli spettri di velocità di fase e di gruppo, dalle quali è possibile ricavare informazioni di carattere stratigrafico. La caratterizzazione fisico meccanica del materiale pelitico marnoso, prelevato sul piano di scorrimento basale, include analisi granulometrica, determinazione dei limiti di consistenza e test di taglio anulare per ottenere il valore di angolo di attrito residuo. Le informazioni ottenute dalle indagini hanno consentito di definire il modello geologico tecnico del fenomeno, che viene rappresentato rispetto a quattro sezioni, tre relative alla situazione attuale e una relativa al versante prefrana. Sulla base di questi sono state condotte delle analisi a ritroso, che hanno consentito di ricavare le condizioni idrauliche del versante al momento della rottura, per differenti combinazioni di geometria del cuneo e diagramma di spinta dell’acqua. Grazie ai risultati ottenuti in modalità backward, sono state effettuate le analisi di stabilità della scarpata attuale, aventi lo scopo di determinare la distanza orizzontale tra scarpata e frattura di trazione che determinerebbe una situazione di instabilità. Infine sono state condotte analisi di sensitività rispetto ai parametri geometrici del cuneo, di resistenza del materiale e di riempimento idraulico della frattura dii trazione.

Algoritmi di segmentazione di immagini mediche

Nell'ambito dell'elaborazione delle immagini, si definisce segmentazione il processo atto a scomporre un'immagine nelle sue regioni costituenti o negli oggetti che la compongono. Ciò avviene sulla base di determinati criteri di appartenenza dei pixel ad una regione. Si tratta di uno degli obiettivi più difficili da perseguire, anche perché l'accuratezza del risultato dipende dal tipo di informazione che si vuole ricavare dall'immagine. Questa tesi analizza, sperimenta e raffronta alcune tecniche di elaborazione e segmentazione applicate ad immagini digitali di tipo medico. In particolare l'obiettivo di questo studio è stato quello di proporre dei possibili miglioramenti alle tecniche di segmentazione comunemente utilizzate in questo ambito, all'interno di uno specifico set di immagini: tomografie assiali computerizzate (TAC) frontali e laterali aventi per soggetto ginocchia, con ivi impiantate protesi superiore e inferiore. L’analisi sperimentale ha portato allo sviluppo di due algoritmi in grado di estrarre correttamente i contorni delle sole protesi senza rilevare falsi punti di edge, chiudere eventuali gap, il tutto a un basso costo computazionale.

Insegnare matematica nell'era digitale: dall’ardesia al silicio in cinquant’anni

La prima parte dell’elaborato ripercorre la storia dell’introduzione delle tecnologie all’interno delle istituzioni scolastiche, sia dal punto di vista pratico, sia dal punto di vista legislativo, che ha accompagnato questo ingresso tutt’altro che lineare, a partire dagli anni ’80 fino ai giorni nostri grazie alle ultime introduzioni avvenute con la messa in atto del Piano Nazionale Scuola Digitale. Vengono poi descritti alcuni software utilizzati nelle scuole sia in passato che in tempi più recenti per arrivare agli ultimi sviluppi e agli applicativi online per lo studio della matematica. Infine nell’ultimo capitolo è descritta un’unità didattica riguardante lo studio della probabilità, ideata per gli allievi di una scuola secondaria di secondo grado che utilizza la LIM e alcuni software adeguati all’argomento proposto. Quello che emerge, però, è la difficoltà sia nella diffusione delle tecnologie nella scuola, sia nel loro utilizzo da parte dei docenti. Spesso gli insegnanti non hanno un livello adeguato di formazione in ambito tecnologico e quindi non sono in grado di sfruttare pienamente le potenzialità offerte. Il cammino per arrivare ad una completa formazione del personale docente e per la completa digitalizzazione delle scuole è ancora lungo e tortuoso. Tuttavia è importante ricordare che le tecnologie non possono essere la risposta a tutto, bensì un efficace mezzo per attirare l’attenzione e soprattutto stimolare la fantasia di alunni e docenti. Inoltre non si può pensare alcuna tecnologizzazione senza prima aver posto e consolidato le basi di un qualsivoglia argomento da proporre in classe con l’ausilio di software e hardware.

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.

Architettura cloud per lo sviluppo multi-piattaforma di Sistemi Operativi: Applicazioni specifiche

Il mondo dell’Internet of Things e del single board computing sono settori in forte espansione al giorno d’oggi e le architetture ARM sono, al momento, i dominatori in questo ambito. I sistemi operativi e i software si stanno evolvendo per far fronte a questo cambiamento e ai nuovi casi d’uso che queste tecnologie introducono. In questa tesi ci occuperemo del porting della distribuzione Linux Sabayon per queste architetture, la creazione di un infrastruttura per il rilascio delle immagini e la compilazione dei pacchetti software.