Sviluppo e validazione di un algoritmo di Vehicle Routing per un caso di logistica distributiva in collaborazione con Toyota Material Handling Italia

L’elaborato descrive le fasi di progettazione, programmazione e validazione di un programma sviluppato in ambiente Java per il Vehicle Routing Problem. L’algoritmo implementato è di tipo euristico costruttivo primal e presenta funzionalità specifiche per la gestione di un elevato numero di vincoli e l’applicazione a casistiche reali. La validazione è stata effettuata su una base dati reale e in confronto a dataset di cui è nota la soluzione ottima. Il programma è stato progettato per risultare flessibile alle richieste dell’utente e utilizzabile per valutazioni economiche in ambito consulenziale.

Integrazione di reti neurali con approcci simbolici per problemi di ragionamento deduttivo in linguaggio naturale

Uno degli obiettivi più ambizioni e interessanti dell'informatica, specialmente nel campo dell'intelligenza artificiale, consiste nel raggiungere la capacità di far ragionare un computer in modo simile a come farebbe un essere umano. I più recenti successi nell'ambito delle reti neurali profonde, specialmente nel campo dell'elaborazione del testo in linguaggio naturale, hanno incentivato lo studio di nuove tecniche per affrontare tale problema, a cominciare dal ragionamento deduttivo, la forma più semplice e lineare di ragionamento logico. La domanda fondamentale alla base di questa tesi è infatti la seguente: in che modo una rete neurale basata sull'architettura Transformer può essere impiegata per avanzare lo stato dell'arte nell'ambito del ragionamento deduttivo in linguaggio naturale? Nella prima parte di questo lavoro presento uno studio approfondito di alcune tecnologie recenti che hanno affrontato questo problema con intuizioni vincenti. Da questa analisi emerge come particolarmente efficace l'integrazione delle reti neurali con tecniche simboliche più tradizionali. Nella seconda parte propongo un focus sull'architettura ProofWriter, che ha il pregio di essere relativamente semplice e intuitiva pur presentando prestazioni in linea con quelle dei concorrenti. Questo approfondimento mette in luce la capacità dei modelli T5, con il supporto del framework HuggingFace, di produrre più risposte alternative, tra cui è poi possibile cercare esternamente quella corretta. Nella terza e ultima parte fornisco un prototipo che mostra come si può impiegare tale tecnica per arricchire i sistemi tipo ProofWriter con approcci simbolici basati su nozioni linguistiche, conoscenze specifiche sul dominio applicativo o semplice buonsenso. Ciò che ne risulta è un significativo miglioramento dell'accuratezza rispetto al ProofWriter originale, ma soprattutto la dimostrazione che è possibile sfruttare tale capacità dei modelli T5 per migliorarne le prestazioni.

Analisi di un giunto in ambito industriale

Nella tesi è stata effettuata un'analisi di un giunto strutturale, ponendo particolare attenzione ad alcuni aspetti teorici riguardanti i bulloni, la saldatura MIG/MAG e gli estensimetri. Si è, poi, passati alla struttura vera e propria, illustrando il giunto fornito dall'azienda Cepi, con i relativi calcoli.

Confronto fra metodi di stima di frequenza tramite auto-regressione e metodi di analisi spettrale per la generazione di osservabili radiometriche in ambito Deep-Space

A partire dal problema di orbit determination per una sonda in deep-space, la tesi si concentra su sviluppo e confronto di algoritmi di stima della frequenza di segnali analitici per la verifica delle loro performance di accuratezza nella generazione di osservabili doppler. Le tecniche poste a confronto appartengono a due categorie: due tempo-discrete ed una spettrale; in particolare si vuole valutare come la modellazione ARMA dei segnali possa beneficiare le prime al punto da poterle considerare alternative all'altezza degli standard del settore aerospaziale.

Implementazione di ambiente simulativo per validazione di sistemi di navigazione GPS in LEO

Il lavoro di questa tesi è stato implementare su Matlab un algoritmo numerico che permettesse di determinare la posizione di un utilizzatore mediante misure GPS. In particolare, dopo un'introduzione al sistema GPS e alla navigazione GPS, è stato analizzato il contenuto dei LOG di ESEO e si è proceduto all'implementazione dell'algoritmo sul calcolatore. Lo scopo ultimo della tesi è stato verificare l'accuratezza di tale algoritmo, mediante il calcolo degli errori con le posizioni reali e mediante una verifica tramite calcolo del range geometrico.

Studio del parametro di coalescenza e caratterizzazione della sorgente nella produzione di (anti)nuclei in collisioni ad alte energie

In questo lavoro di tesi è stato approfondito il modello di coalescenza, ampiamente utilizzato in letteratura per descrivere la formazione di (anti)nuclei leggeri in collisioni ad alta energia negli acceleratori e di antinuclei cosmici, con applicazioni alle ricerche indirette di materia oscura nell’universo. Nello specifico, è stato studiato il parametro di coalescenza per (anti)nuclei con numero di massa A ≤ 4; utilizzando un fit ai dati dell’esperimento ALICE a LHC sulla dimensione della sorgente di protoni in collisioni pp a √s = 13 TeV, si è cercato di esplicitare la dipendenza del parametro di coalescenza dall’impulso trasverso. Dal confronto delle previsioni del modello così ottenuto con le misure del parametro di coalescenza raccolte da ALICE, si osserva che il parametro di coalescenza di d e 3He non segue l’andamento previsto. Questo risultato evidenzia quindi la necessità di rivedere il modello di sorgente adottato o i suoi limiti di applicazione a diversi sistemi di collisione. In vista della possibilità di implementare il meccanismo di formazione per coalescenza nei generatori Monte Carlo per la simulazione degli antinuclei, si è tentato di caratterizzare la sorgente di protoni attraverso l’utilizzo del generatore PYTHIA 8.3. In particolare, è stata effettuata un’analisi delle coordinate spaziali, della quantità di moto e del tempo di produzione dei protoni a rapidità centrale generati in 10^5 collisioni pp. I grafici ottenuti mostrano che la sorgente è sostanzialmente isotropa.

Algoritmo di tagging di raggi cosmici in un sistema di acquisizione triggerless per un esperimento di fisica di particelle su fascio

I raggi cosmici sono una fonte naturale di particelle ad alta energia di origine galattica e extragalattica. I prodotti della loro interazione con l’atmosfera terrestre giungono fino alla superficie terrestre, dove vengono rilevati dagli esperimenti di fisica delle particelle. Si vuole quindi identificare e rimuovere questo segnale. Gli apparati sperimentali usati in fisica delle particelle prevedono dei sistemi di selezione dei segnali in ingresso (detti trigger) per rigettare segnali sotto una certa soglia di energia. Il progredire delle prestazioni dei calcolatori permette oggi di sostituire l’elettronica dei sistemi di trigger con implementazioni software (triggerless) in grado di selezionare i dati secondo criteri più complessi. TriDAS (Triggerless Data Acquisition System) è un sistema di acquisizione triggerless sviluppato per l’esperimento KM3NeT e utilizzato recentemente per gestire l’acquisizione di esperimenti di collisione di fascio ai Jefferson Lab (Newport News, VA). Il presente lavoro ha come scopo la definizione di un algoritmo di selezione di eventi generati da raggi cosmici e la sua implementazione come trigger software all’interno di TriDAS. Quindi si mostrano alcuni strumenti software sviluppati per costruire un ambiente di test del suddetto algoritmo e analizzare i dati prodotti da TriDAS.

Il sistema Geocall a supporto dei processi di conduzione e manutenzione e di pronto intervento in ambito del servizio idrico integrato: il caso Gruppo Hera S.p.A.

All’interno dell'elaborato verrà approfondito il Servizio Idrico Integrato, in particolare saranno descritti i processi di trattamento dell’acqua dalla captazione fino al rilascio in ambiente e introdotte le Autorità che regolano il Servizio Idrico con la relativa normativa. In particolare, oggetto di questa tesi è l’applicativo Geocall, implementato dalla Direzione Acqua del Gruppo Hera S.p.A. nel 2018, a supporto dei processi di Pronto Intervento e di Conduzione e Manutenzione delle reti e impianti idrici. In seguito alla descrizione delle modalità di gestione di questi processi da parte del Gruppo prima dell’implementazione di Geocall, la piattaforma, messa a confronto con gli strumenti a disposizione del Gruppo prima della sua introduzione, verrà approfondita nelle sue applicazioni e nelle sue funzionalità all’interno dei processi coinvolti dall’analisi, con l’obbiettivo di mettere in luce le differenze con le modalità di gestione passate e in particolare i vantaggi e gli eventuali svantaggi ottenuti con l’utilizzo del nuovo software.

Tecniche di pianificazione automatica in giochi con regole dinamiche: sviluppo di un agente intelligente per la Keke Competition.

L'intelligenza artificiale (IA) trova nei giochi un campo di applicazione molto vasto, nel quale poter sperimentare svariate tecniche e proporre nuove stimolanti sfide che spingano i partecipanti ad esplorare nuovi orizzonti nell'ambito delle applicazioni di IA. La Keke AI Competition rappresenta una di queste sfide, introducendo una gara tra agenti intelligenti per il gioco Baba is You, puzzle game in cui i giocatori possono creare regole che influenzano le meccaniche del gioco in maniera temporanea o permanente. La natura di queste regole dinamiche crea una sfida per l'intelligenza artificiale, che deve adattarsi ad una varietà di combinazioni di meccaniche per risolvere un livello. Questo progetto di tesi si propone di realizzare un agente intelligente che possa idealmente partecipare alla competizione sfruttando tecniche di pianificazione automatica. In particolare, l'agente progettato si basa sull'algoritmo di pianificazione graphplan che opera a diversi livelli di astrazione posti in gerarchia tra loro ed è stato realizzato completamente in Prolog. Questo progetto mostra quindi come le tecniche di pianificazione automatica siano un valido strumento per risolvere alcune tipologie di giochi innovativi complessi nell'ambito dell'IA.

Benchmarking di sistemi di additive manufacturing in termini di precisione di forma con ispirazione al sistema GD&T

Questo studio si pone come obiettivo lo sviluppo e la sperimentazione di un metodo per eseguire un benchmarking di due diversi sistemi di Additive Manufacturing mediante macchina di misura a coordinate Renishaw Cyclone. In particolare sono valutate le prestazioni in termini di precisione di forma di un sistema di tipo FDM e di uno di tipo PolyJet al fine di ottenere dati indicanti le potenzialità di queste due tecnologie per parti di piccole dimensioni. Dopo un’introduzione generale sull’Additive Manufacturing, si scende nei dettagli delle due tecniche oggetto dello studio e si discute di come strutturare il piano sperimentale in funzione degli obiettivi dell’attività e dei metodi scelti per l’acquisizione e la valutazione dei dati. Si parte, infatti, con la fabbricazione di un modello di benchmark, le cui geometrie vengono poi rilevate tramite una macchina di misura a coordinate per ottenere i valori di precisione di forma, che sono presentati come tolleranze geometriche del sistema GD&T. Successivamente, si descrivono tutte le fasi dell’attività sperimentale, iniziando con l’ideazione del modello di benchmark e proseguendo con i processi di fabbricazione e misurazione, per poi arrivare alla deduzione dei valori di precisione di forma tramite un post-processing dei dati. Infine, si presentano i valori di tolleranza ottenuti e si traggono le conclusioni riguardo la riuscita dell’attività sperimentale e il confronto tra le due tecnologie di Additive Manufacturing.

Relativistic Twin: Generazione Automatica di Digital Twin in un ambiente Web of Things

Con l’avvento dell’Industry 4.0, l’utilizzo dei dispositivi Internet of Things (IoT) è in continuo aumento. Le aziende stanno spingendo sempre più verso l’innovazione, andando ad introdurre nuovi metodi in grado di rinnovare sistemi IoT esistenti e crearne di nuovi, con prestazioni all’avanguardia. Un esempio di tecniche innovative emergenti è l’utilizzo dei Digital Twins (DT). Essi sono delle entità logiche in grado di simulare il reale comportamento di un dispositivo IoT fisico; possono essere utilizzati in vari scenari: monitoraggio di dati, rilevazione di anomalie, analisi What-If oppure per l’analisi predittiva. L’integrazione di tali tecnologie con nuovi paradigmi innovativi è in rapido sviluppo, uno tra questi è rappresentato dal Web of Things (WoT). Il Web of Thing è un termine utilizzato per descrivere un paradigma che permette ad oggetti del mondo reale di essere gestiti attraverso interfacce sul World Wide Web, rendendo accessibile la comunicazione tra più dispositivi con caratteristiche hardware e software differenti. Nonostante sia una tecnologia ancora in fase di sviluppo, il Web of Thing sta già iniziando ad essere utilizzato in molte aziende odierne. L’elaborato avrà come obiettivo quello di poter definire un framework capace di integrare un meccanismo di generazione automatica di Digital Twin su un contesto Web of Thing. Combinando tali tecnologie, si potrebbero sfruttare i vantaggi dell’interoperabilità del Web of Thing per poter generare un Digital Twin, indipendentemente dalle caratteristiche hardware e software degli oggetti da replicare.

Progettazione e analisi di impianti fotovoltaici in bassa tensione e autoconsumo collettivo

La tesi si propone di fornire un’analisi degli impianti fotovoltaici in bassa tensione sia dal punto di vista progettuale che economico e analizzare il recente schema di autoconsumo collettivo. La tesi prevede l’analisi di tre progetti differenti. Il primo riguarda la progettazione di un impianto residenziale di piccola taglia che si trova ad affrontare le problematiche causate dagli ombreggiamenti generati dai camini, comportando l’utilizzo di ottimizzatori. Viene discussa la pratica di connessione in iter semplificato e viene effettuata un’analisi economica riguardante la convenienza dell’installazione dell’impianto, della convenienza del sistema di accumulo e degli ottimizzatori in tre scenari di costo dell’energia differenti. Il secondo riguarda la progettazione di un impianto residenziale di piccola taglia con ridotto ombreggiamento. Viene discussa la pratica di connessione in iter ordinario e viene effettuata un’analisi economica riguardante la convenienza dell’installazione dell’impianto e della convenienza del sistema di accumulo suddividendo i consumi dell’utente nelle fasce di consumo e considerando una tariffa bioraria. L’ultimo progetto riguarda un impianto condominiale nello schema di autoconsumo collettivo. Vengono discussi i risultati della progettazione eseguita con il software SOLergo e in particolare viene mostrato il calcolo del carico vento secondo la normativa NTC 2018 e viene effettuata la verifica a ribaltamento per controllare la stabilità del sistema. Successivamente viene effettuata un’analisi dettagliata degli ombreggiamenti su PVsyst attraverso la realizzazione tridimensionale del condominio. Viene poi analizzato lo schema dell’autoconsumo collettivo per poi effettuare un’analisi economica complessiva con l’obiettivo di analizzare l’influenza degli incentivi presenti, in particolare per l’autoconsumo collettivo e valutare se l’installazione del sistema di accumulo risulti conveniente per i condomini.

Studio di fattibilità per la valorizzazione di reflui liquidi in un impianto di produzione di fine chemicals

Il progetto di tesi è stato svolto all’interno della divisione logistica dello stabilimento BASF Italia s.p.a. situato a Pontecchio Marconi (BO). L’elaborato tratta lo studio di fattibilità per la valorizzazione di reflui liquidi in un impianto di produzione di fine chemicals volto principalmente al miglioramento della separazione tra liquidi immiscibili all’interno delle cisterne del parco reflui del sito. La prima fase dello studio si è concentrata nella valutazione dello stato dell’arte nell’attuale gestione dei reflui in sito, che ha visto la sua prosecuzione naturale nel campionamento degli stessi per la caratterizzazione chimico-fisica. A seguito dello screening tecnologico e in funzione dei risultati ottenuti dalle analisi, sono stati individuati i processi più idonei per la finalità descritta. Infine sono stati contattati alcuni fornitori per svolgere delle prove con impianti pilota con l’obiettivo di ricavare dei risultati rappresentativi di un processo industriale. Lo studio di fattibilità si è concluso con il confronto tra le soluzioni individuate, evidenziando i diversi aspetti di carattere tecnico-economico-ambientale e illustrando gli svantaggi e i vantaggi di ognuna delle tecnologie.

[Voyage en Italie : 1824-1830]. , Porte [latérale gauche] de la Cathédrale : [élévation] : [dessin] / h. L. [Henri Labrouste]

Référence bibliographique : Weigert, 33

[Voyage en Italie : 1824-1830]. , [Transenne et chapelle] à la Cathédrale : [plan et élévation] : [dessin] / h. L. [Henri Labrouste]

Référence bibliographique : Weigert, 34