Reti Neurali Ricorrenti per la generazione di musica simbolica

Il Deep Learning ha radicalmente trasformato il mondo del Machine Learning migliorando lo stato dell'arte in diversi campi che spaziano dalla computer vision al natural language processing. Non fermandosi a problemi di classificazione, negli ultimi anni, applicazioni di tipo generativo hanno portato alla creazione di immagini realistiche e documenti letterali. Il mondo della musica non è esente da una moltitudine di esperimenti nello stesso campo, con risultati ancora acerbi ma comunque potenzialmente interessanti. In questa tesi verrà discussa l'applicazione di un di modello appartenente alla famiglia del Deep Learning per la generazione di musica simbolica.

Progetto concettuale di dirigibile per trasporto di gas

Lo scopo principale di questo elaborato di tesi è poter fornire degli strumenti per il progetto concettuale di un dirigibile non-rigido e per valutare la fattibilità del trasporto di idrogeno gassoso. L’innovazione rispetto ai dirigibili utilizzati fino ad ora risiede nell’utilizzo di idrogeno sia come fonte di energia, che come gas di sollevamento; entrambi gli utilizzi verranno approfonditi con speciale attenzione alle problematiche legate alla sicurezza, fattore che ha interrotto l’uso dell’idrogeno come gas di sollevamento dagli anni ‘30. Oltre a ciò, verrà illustrato un breve confronto tra i due gas di sollevamento più utilizzati: elio ed idrogeno. Dopo un accenno storico, l’elaborato propone una metodologia per il dimensionamento di un dirigibile non-rigido, utilizzando strumenti matematici derivanti da modelli presenti in bibliografia e da considerazioni ed esperimenti svolti dai progettisti e dai ricercatori nei campi principali coinvolti nella progettazione dei dirigibili non-rigidi: aerodinamica, aerostatica, propulsione e stima delle masse. La progettazione di un dirigibile non-rigido ad idrogeno sicuro ed affidabile è influenzata dallo sviluppo di materiali che garantiscano, in primis, resistenza e bassa permeabilità: verrà presentato uno schema di un materiale composito laminato che potrebbe garantire requisiti di sicurezza superiori ai materiali utilizzati in passato, dei quali si farà un accenno. Alla fine dell’elaborato sarà presentato un caso di studio dove verranno utilizzati gli strumenti illustrati nella prima parte della tesi, con l’obbiettivo finale di dimensionare un dirigibile non-rigido ad idrogeno. Per questo caso di studio è stato implementato un breve codice MATLAB. A conclusione di questo lavoro di tesi si può dire che la fattibilità di un dirigibile per trasporto idrogeno dipende dallo sviluppo di materiali e tecniche adeguate alla gestione dell’idrogeno che costituisce enormi problematiche a livello di sicurezza.

Comunicazione politica e manipolazione: il caso di Vox

L’elaborato è incentrato sulla manipolazione del linguaggio del partito di estrema destra spagnolo, Vox. Dopo una breve introduzione sulla sua nascita, quindi sulla successiva affermazione e l'ideologia portante dello stesso, si sviluppa una descrizione delle strategie discorsive volte alla manipolazione, messe in atto nei dibattiti elettorali e social media nei seguenti campi: politiche interne, politiche migratorie e politiche sociali. A tal fine è stato creato un corpus formato da citazioni di discorsi, tweet e post su Instagram dei principali esponenti del partito.

Configurazioni geometriche e funzionali dei dispositivi elettronici di confinamento del plasma nei reattori a fusione a geometria tokamak

Il continuo aumento del consumo energetico e l’aggravarsi delle condizioni climatiche hanno incrementato la necessità di una produzione più intensa e meno inquinante. Tra le numerose alternative energetiche che si possono annoverare, quella di particolare interesse `e la fusione nucleare. Nello specifico si analizzerà una ben determinata tipologia di prototipi di reattori, la configurazione Tokamak a confinamento elettromagnetico del plasma.

Implementazione di un protocollo Header-compression a livello applicazione per scenari IoT

Il fenomeno noto come Internet of Things costituisce oggi il motore principale dell'espansione della rete Internet globale, essendo artefice del collegamento di miliardi di nuovi dispositivi. A causa delle limitate capacità energetiche e di elaborazione di questi dispositivi è necessario riprogettare molti dei protocolli Internet standard. Un esempio lampante è costituito dalla definizione del Constrained Application Protocol (CoAP), protocollo di comunicazione client-server pensato per sostituire HTTP in reti IoT. Per consentire la compatibilità tra reti IoT e rete Internet sono state definite delle linee guida per la mappatura di messaggi CoAP in messaggi HTTP e viceversa, consentendo così l'implementazione di proxies in grado di connettere una rete IoT ad Internet. Tuttavia, questa mappatura è circoscritta ai soli campi e messaggi che permettono di implementare un'architettura REST, rendendo dunque impossibile l'uso di protocolli di livello applicazione basati su HTTP.La soluzione proposta consiste nella definizione di un protocollo di compressione adattiva dei messaggi HTTP, in modo che soluzioni valide fuori dagli scenari IoT, come ad esempio scambio di messaggi generici, possano essere implementate anche in reti IoT. I risultati ottenuti mostrano inoltre che nello scenario di riferimento la compressione adattiva di messaggi HTTP raggiunge prestazioni inferiori rispetto ad altri algoritmi di compressione di intestazioni (in particolare HPACK), ma più che valide perchè le uniche applicabili attualmente in scenari IoT.

Analisi ad alta risoluzione spazio-temporale di eventi grandinigeni nel bacino del Mediterraneo mediante una nuova tecnica satellitare ibrida multisensore

Negli ultimi anni si è sviluppato un crescente interesse per lo studio e il monitoraggio di fenomeni meteorologici estremi. In particolare, stanno aumentando osservazioni e testimonianze relative a manifestazioni temporalesche molto violente, spesso caratterizzate da grandine di notevole dimensione che rappresenta la causa principale di pericolo per le persone e di danni anche ingenti al comparto agricolo, infrastrutturale e alle automobili. Per questi motivi, in questo lavoro di tesi è stata presentata una nuova tecnica meteorologica denominata “Multi-sensor Approach for Satellite Hail Advection” (MASHA) che si basa sulla combinazione delle misure fornite dai satelliti geostazionari per trasportare l’informazione e da quelli in orbita polare per riconoscere le nubi grandinigene. I risultati della tecnica MASHA forniscono ogni cinque minuti su tutto il bacino del Mediterraneo la probabilità che la nube osservata abbia formato della grandine in un intervallo compreso tra 0 e 1. Le potenzialità del metodo MASHA riguardano soprattutto l’elevata risoluzione spaziale e temporale con la quale vengono riprodotti i sistemi grandinigeni, la capacità del modello di ricostruire i campi di grandine e l’evoluzione di questi sistemi anche in assenza di passaggi recenti dei satelliti polari. Per migliorare le performance della tecnica, è stato sviluppato un nuovo indice di severità chiamato Hail Severity Index (HSI) in grado di migliorare la localizzazione e la stima dell’intensità dei sistemi grandinigeni attraverso l’integrazione di nuove variabili: l’overshooting index, i fulmini e i dati radar. Le performance della tecnica MASHA e le potenzialità dell’indice HSI mostrate in questo lavoro di tesi, suggeriscono implementazioni operative a supporto di sistemi per il nowcasting di eventi temporaleschi particolarmente severi. Questo approccio, potrebbe essere molto efficace per fornire informazioni in tempo reale ai servizi meteorologici e nel contesto della protezione civile.

Uno studio della massima energia raggiungibile da nuove classi di acceleratori cosmici

I raggi cosmici sono particelle energetiche provenienti dallo spazio esterno, alle quali è esposto qualunque corpo celeste dell’Universo. Possono essere leptoni, mesoni, barioni o loro stati aggregati, ad un energia che spazia diversi ordini di grandezza rendendo così la loro natura e la loro origine complessa da studiare. Risulta interessante la massima energia che essi possono avere, ma non risulta semplice studiare come riescono a raggiungerla. Una classe di raggi cosmici sui quali le informazioni sono ancora scarse sono gli ultra high energy cosmic rays (UHECRs), ovvero i raggi cosmici con un’energia superiore a 1e18 eV. Oltre ad essere molto raro rilevarli, non si `e nemmeno a conoscenza da cosa possano essere originati. In questo testo verrà spiegato come un raggio cosmico può accrescere la sua energia e verrà stimato se tre potenziali sorgenti possano o meno generare raggi cosmici ad altissima energia. Si osserva che i tre candidati, ovvero i filamenti cosmici, il ponte intracluster tra Abell 0399 e Abell 0401 e la radiogalassia gigante Alcioneo, non soddisfano le caratteristiche per essere la fonte di UHECRs ad altissima energia, potendo al più raggiungere energie di 3.5e19 eV, a patto che i raggi cosmici siano composti da nuclei di ferro.

Teoria spettrale di una passeggiata aleatoria ipoellittica e convergenza all'equilibrio

L'obiettivo dell'elaborato è quello di studiare le proprietà spettrali di un'operatore di Markov associato ad una passeggiata aleatoria ipoellittica dipendente da un parametro h, sufficientemente piccolo, e costruita su una varietà liscia finito-dimensionale, connessa, compatta e senza bordo. Nell'affrontare tale problema si utilizza una tecnica di Rothschild e Stein, basata sulla costruzione di un'algebra di Lie graduata. Si ottiene in questo modo una corrispondenza tra la varietà e l'algebra di Lie, e si utilizza la struttura che quest'ultima presenta per studiare il problema su di essa. Il risultato principale a cui si vuole giungere tramite l'analisi spettale dell'operatore di Markov è una stima, uniforme rispetto ad h, per il tasso di convergenza di tale passeggiata aleatoria verso l'equilibrio, al tendere del numero dei passi all'infinito. Tramite l'approccio utilizzato si giunge inoltre ad un risultato di convergenza della catena di Markov ad una diffusione ipoellittica continua al tendere di h a 0.

Radar FMCW per la rilevazione di ostacoli in movimento

Lo scopo di questa attività di tesi è quello di rilevare dinamicamente la posizione di ostacoli mediante radar FMCW. I radar a onda continua modulati in frequenza sono alla base dei moderni sensori in ambito automotive, in quanto consentono allo stesso tempo di rilevare la distanza, l’angolazione e la velocità di un corpo detto target analizzando gli scostamenti temporali e in frequenza tra i segnali (detti chirp) trasmessi e quelli riflessi dai corpi. Nel lavoro di tesi si analizza sperimentalmente come il radar a onda continua MIMO (multiple input multiple output) RBK2, presente presso il laboratorio TLC del Campus di Cesena, può essere utilizzato per ricavare la velocità relativa di un target, che si avvicina o si allontana dal radar. Innanzitutto, vengono settati i parametri per l’acquisizione e per il processing necessario per ottenere una matrice Angolo-Range che caratterizza staticamente il target. Il mixer interno al radar, a seguito della ricezione di un segnale di eco, produce un segnale a frequenza intermedia il cui spettro presenta un picco in corrispondenza della distanza del target che lo ha riflesso. A questo punto si conosce la posizione del corpo e si procede con la stima della velocità sfruttando l’effetto Doppler: analizzando i chirp riflessi dallo stesso target in istanti successivi si ottengono una serie di picchi nella stessa posizione ma con fasi differenti, e da tale sfasamento si ricava la componente radiale della velocità del target. Sono stati studiati sia il caso di misure outdoor che quello di misure indoor, infine è stato elaborato un codice Matlab in grado di fornire un feedback riguardante una possibile collisione in seguito alla stima della velocità del corpo. Tale tecnologia gioca quindi un ruolo fondamentale nell’ambito della sicurezza stradale potendo prevenire incidenti.

Principio di Propagazione del Massimo e Applicazione agli Operatori di Hörmander

Questa Tesi di Laurea si propone di studiare il cosiddetto Principio di Propagazione del Massimo per alcune operatori alle derivate parziali lineari del secondo ordine semiellittici e omogenei. Proviamo infatti che, data una funzione subarmonica per un operatore della tipologia di sopra, se questa funzione ammette un punto di massimo interno al suo dominio di definizione, allora questo massimo si "propaga" lungo le curve integrali dei campi vettoriali principali per l'operatore. Come applicazione di questo risultato, verifichiamo che alcuni operatori di tipo somma di quadrati di Hörmander godono del cosiddetto Principio del Massimo Forte: cioè, se una funzione subarmonica per questi operatori ammette un punto di massimo interno, allora è costante.

Ibridismo e identità birazziali: proposta di traduzione di un capitolo dell’autobiografia di Mariah Carey

La parola “ibrido” è in uso sin dalle civiltà più antiche. Per esempio, i Romani la utilizzavano per indicare chi avesse uno dei due genitori di discendenza non-romana. Nonostante i vasti campi in cui essa è impiegata, tra cui anche la biologia, viene di solito accompagnata da connotazioni negative e da un’idea di “malattia”, sostenuta dalle teorie di filosofi come Aristotele e Platone. Tale elaborato pone al centro della propria analisi la cantante Mariah Carey, proponendo la traduzione di un capitolo della sua autobiografia come motivo per indagare ulteriormente come i soggetti birazziali possano essere in realtà un esempio di “ibridismo” positivo che diventa sinonimo di “identità” e “resistenza”. Si esaminerà dunque come una nuova concezione di “ibridismo” positiva sia stata possibile grazie agli studiosi dei Postcolonial Studies.

Convertitori elettronici di potenza ad alta frequenza di commutazione con isolamento galvanico

L’importanza sempre crescente dell’elettronica è accompagnata da una crescente necessità di compattezza ed efficienza energetica. Una parte sostanziale del costo e delle dimensioni dei moderni dispositivi elettronici è legata ai sistemi di conversione di potenza, il cui volume è dominato dai passivi. Per poter affrontare la miniaturizzazione dei circuiti elettronici di potenza sono dunque necessari metodi di design e tecnologie che permettano di ridurre i requisiti di immagazzinamento di energia. Un possibile approccio è aumentare la frequenza di commutazione nel range delle decine di MHz facendo in modo che l’efficienza non venga penalizzata dall’aumento delle perdite in commutazione. Ciò è reso possibile dall’impiego di topologie di convertitori risonanti che implementano la condizione ZVS. Oltre all’impiego di convertitori risonanti, l’aumento della frequenza operativa, mantenendo elevata l’efficienza, è abilitato dall’impiego di dispositivi a semiconduttore a largo band-gap come il nitruro di gallio (GaN), i quali mostrano performance superiori al silicio in termini di temperature operative, frequenze di funzionamento e densità di potenza. Inoltre, ad elevate frequenze di commutazione, l’utilizzo di magnetici coreless diventa una valida alterativa ai magnetici tradizionali, con vantaggi in termini di costo, ingombro e di efficienza. Il focus di questa tesi è il progetto di un convertitore DC-DC risonante con isolamento coreless ad alta efficienza e ad alta frequenza in tecnologia GaN a 650 V pensato per applicazioni wall-adapter. A seguito dello studio di alcune topologie di inverter risonanti e dei rispettivi rettificatori, si è scelta la topologia phi2 per il design del convertitore DC-DC double phi2 isolato (simulato con LTspice). È stato poi effettuato il design di un trasformatore coreless su PCB tramite simulatore elettromagnetico (ADS Keysight Momentum). Il convertitore complessivo presenta un’efficienza del 95,8% con una efficienza del link del 98%.

Implementazione di reti neurali per missioni di telerilevamento satellitare da immagini iperspettrali

L’utilizzo di reti neurali, applicate a immagini iperspettrali, direttamente a bordo di un satellite, permetterebbe una stima tempestiva ed aggiornata di alcuni parametri del suolo, necessari per ottimizzare il processo di fertilizzazione in agricoltura. Questo elaborato confronta due modelli derivati dalle reti EfficientNet-Lite0 ed EdgeNeXt per la stima del valore di pH del terreno e delle concentrazioni di Potassio (K), Pentossido di Fosforo (P2O5) e Magnesio (Mg) da immagini iperspettrali raffiguranti campi agricoli. Sono stati inoltre testati due metodi di riduzione delle bande: l’Analisi delle Componenti Principali (PCA) e un algoritmo di selezione basato sull’Orthogonal Subspace Projection (OSP). Lo scopo è ridurre le dimensioni delle immagini al fine di limitare le risorse necessarie all’inferenza delle reti, pur preservandone l’accuratezza. L’esecuzione in tempo reale (23.6 fps) della migliore soluzione ottenuta sul sistema embedded Dev Board Mini ne dimostra l’applicabilità a bordo di nanosatelliti.

Il Teorema di Arnold-Liouville

Lo scopo della tesi è dimostrare il teorema di Arnold-Liouville, il quale afferma che dato un sistema a n gradi di libertà, con n integrali primi del moto in involuzione, esiste una trasformazione canonica di variabili azione-angolo, attraverso la quale si può riscrivere il sistema in uno ad esso equivalente, ma dipendente solo dalle azioni. Per arrivare a questo risultato nel primo capitolo viene richiamata la nozione di sistema hamiltoniano, di flusso del sistema e delle sue proprietà, viene infine introdotta una operazione binaria tra funzioni, la parentesi di Poisson, evidenziando il suo legame con il formalismo hamiltoniano. Nel secondo capitolo si definisce inizialmente cos'è una trasformazione canonica di variabili, dimostrando poi alcuni criteri per la canonicità di queste, mediante la verifica di determinate condizione necessarie e sufficienti, con opportuni esempi di trasformazioni canoniche e non. Nel terzo capitolo si definisce cos'è un sistema hamiltoniano integrabile, facendone successivamente un esempio a un grado di libertà con il pendolo. Il procedimento svolto in questo esempio si vorrà poi estendere a un generico sistema a n gradi di libertà, dunque verrà enunciato e dimostrato il teorema di Arnold-Liouvill, il quale, sotto opportune ipotesi, permette di risolvere questo problema.

Analisi integrata di dati SAR e mareografici per lo studio dell’evoluzione di grandi masse di ghiaccio nell’ambito dei cambiamenti climatici: il caso del ghiacciaio Harald Moltke (Groenlandia).

Il progetto di tesi, inserito nel contesto degli studi sugli effetti dei cambiamenti climatici, si basa sull’utilizzo di dati radar derivanti dalla piattaforma satellitare Sentinel-1 (missione spaziale dell’Agenzia Spaziale Europea, inserita all’interno del progetto Copernicus) e mareografici, e ha l’obiettivo di verificare (e quindi validare) l’affidabilità dei dati Sentinel-1 per il monitoraggio della velocità e delle dinamiche di scioglimento del ghiacciaio Harald Moltke (Groenlandia) e la relazione con i fenomeni di distaccamento del suo fronte (eventi di “ice-calving”). Il monitoraggio del ghiacciaio e lo studio di questi ultimi eventi sono tra le tematiche legate al cambiamento climatico toccate dal progetto MACMAP (“A Multidisciplinary Analysis of Climate change indicators in the Mediterranean And Polar regions”, PI. A. Guarnieri, INGV) finanziate dell’istituto Nazionale di Geofisica e Vulcanologia. Per ottenere i campi di velocità del ghiacciaio sono stati utilizzati due dataset di immagini satellitari SAR (Sentinel-1) e, questi, elaborati con tecnica Offset tracking: il primo elaborato dal programma PROMICE e il secondo processato appositamente per questo lavoro con il tool SNAP (SentiNel Applications Platform, tool opensource creato dall’Agenzia Spaziale Europea, ESA). Per relazionare i fenomeni di calving con l’andamento della velocità del ghiacciaio sono stati integrati dati mareografici forniti dall’istituto INGV.