Regolazione del ciclo di accensione spegnimento delle soffianti in vasca di areazione ed efficienza di rimozione dell’azoto: sperimentazioni presso il depuratore di Corpo Reno (FE)

Presso il depuratore di Corporeno, Comune di Cento (FE), si sono verificati dei superamenti dei limiti di legge per l’Azoto totale, Nitrico e Ammoniacale nei campioni di reflui in uscita. La società di gestione del depuratore ha iniziato a regolare il tenore di ossigeno in vasca di ossinitrificazione mediante il monitoraggio del potenziale Redox. Dall’analisi dei dati di monitoraggio e dai risultati delle analisi chimiche sui reflui in ingresso e uscita dall’impianto, si è evidenziato che tale operazione ha consentito di migliorare le prestazioni dell’impianto, tuttavia la modalità di gestione delle soffianti in vasca di ossinitrificaizione non consente un pieno controllo delle concentrazioni in uscita. Lo studio di alcune pubblicazioni (in particolare Charpentier et al. 1998 e Hao e Huang, 1996) ha consentito di individuare una metodologia di controllo dei processi in vasca che si basa sia sul potenziale di ossidoriduzione che sul pH, oltre alla concentrazione di ossigeno. L’analisi di alcuni dati di monitoraggio in continuo ha evidenziato una crisi del processo di denitrificazione. Si sono individuate tre differenti strategie di mitigazione della problematica: uno studio e sperimentazione sia in laboratorio che in vera grandezza per definire un sistema di monitoraggio real time dell’accensione delle soffianti basato sulla curva di Hao e Huang (1996), una modifica all’impianto che preveda il corretto ricircolo dalla miscela areata alle vasche di predenitrificazione, che allo stato attuale non stanno funzionando a regime ed infine una valutazione rispetto alla necessità di integrazione con fonte di carbonio esterna, in quanto i valori di BOD in ingresso potrebbero essere limitanti per la denitrificazione.

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.

Disegno e Metodi applicati allo studio di una bicicletta pieghevole innovativa

L’elaborato è incentrato sullo studio di una bicicletta pieghevole innovativa attraverso i metodi dell’Ingegneria Industriale. All’interno del moderno contesto urbano, la bicicletta pieghevole rappresenta una soluzione valida per quegli utenti che cercano un mezzo versatile, autonomo, economico, compatto e adatto alla nuova mobilità intermodale. Negli ultimi anni i costruttori di pieghevoli si trovano a dover soddisfare le richieste di una clientela sempre più consapevole e attenta, cercando di proporre prodotti che siano in grado di combinare praticità e prestazioni, con particolare attenzione al dettaglio e all’immagine. Lo scopo di questo progetto è quello di disegnare un mezzo a propulsione muscolare che sia in grado di offrire la migliore esperienza d’uso possibile. Attraverso un’attenta analisi di mercato tramite il metodo del Quality Function Deployment si individuano le caratteristiche chiave del prodotto e si indirizza la fase di progettazione, portata avanti attraverso l’impostazione tecnica del prodotto il disegno di un meccanismo di piega inedito. Successivamente si passa alla definizione delle geometrie e alla realizzazione dello stile tramite la costruzione di un modello 3D al CAD, a cui segue una fase di analisi strutturale col Metodo degli Elementi Finiti, secondo le prove previste dalla normativa europea per la sicurezza delle biciclette, che porta al re-design alla validazione del prodotto finale.

Reti neurali convoluzionali nell'elaborazione di immagini mammografiche

Il tema centrale di questa tesi è il Machine Learning e la sua applicabilità nella ricostruzione di immagini biomediche, nello specifico di immagini mammarie. Il metodo attualmente più diffuso per la rilevazione del tumore al seno è la Mammografia 2D digitale, ma l’interesse mostrato ultimamente verso la Tomosintesi ha dimostrato una migliore capacità di diagnosi tumorale, anche ai primi stadi. Sebbene le due tecniche combinate siano in grado di rilevare anche la minima lesione, questo comporta una sovraesposizione alle radiazioni. Lo scopo finale, perciò, è quello di fornire un valido strumento di supporto per la caratterizzazione automatica di masse e opacità in immagini di tomosintesi, così da sottoporre il paziente ad un singolo esame radiografico. L'obiettivo è stato dunque ricostruire, tramite reti neurali Convoluzionali, immagini sintetiche di Tomosintesi di qualità superiore e il più possibile vicine a quelle di mammografia 2D. Sono state presentate nel dettaglio le due tecniche di imaging, le problematiche ad esse legate ed un approfondito confronto dosimetrico. Dopo una trattazione teorica dei principi delle CNN, sono state riportate le caratteristiche delle architetture di rete realizzate nella parte progettuale dell’elaborato. Sono stati valutati i comportamenti dei differenti modelli neurali per uno stesso Dataset di immagini di Tomosintesi, individuandone il migliore in termini di prestazioni finali nelle immagini di Test. Dagli studi effettuati è stata provata la possibilità, in un futuro sempre più prossimo, di applicare la Tomosintesi, con l’ausilio delle reti Convoluzionali, come tecnica unica di screening e di rilevazione del tumore al seno.

Processi ed innovazioni nel settore delle tecnologie out of autoclave per materiali compositi

Visto il crescente interesse nei confronti dei materiali compositi, per le numerose applicazioni e i vantaggi che offrono, stanno conoscendo notevole sviluppo le tecnologie Out of Autoclave (OoA). Esse sono alternative all'autoclave, che richiede tempi, costi e risorse maggiori, nonché ha una minore flessibilità. Le tecnologie OoA, invece, sono più rapide e meno costose, e stanno raggiungendo livelli di qualità e prestazioni molto vicini a quelli dell'autoclave. Questo elaborato presenta alcune delle innovazioni di maggior interesse, raggruppate per settori: processi, materiali e strutture dei laminati.

Sistemi di testing per celle a combustibile

La tesi tratta funzionamento, ottimizzazione e applicazioni delle celle a combustibile PEM (PEM Fuel cells) che sono dispositivi capaci di convertire reversibilmente l’energia chimica contenuta nel combustibile in energia elettrica, energia termica e prodotti di reazione. Vengono analizzati gli effetti di temperatura, pressione e umidità sulla cinetica, sulle prestazioni, sull’OCV, sulla conduttività della membrana e sul trasferimento di massa. In generale, per utilizzare una cella a combustibile PEM, ogni componente, materiale e l'assemblaggio delle celle dovrebbe essere realizzabile e ottimizzato per ottenere alte prestazioni. Vengono, quindi, trattate le tecniche di test e diagnosi che rappresentano il modo più popolare e affidabile per convalidare i progetti di questi componenti e della cella combustibile stessa. Inoltre, si affronta il discorso sull’idrogeno definito come vettore di energia che ha assunto un ruolo di primo piano per un mercato a basse emissioni; infatti ha un grande potenziale come combustibile alternativo e assume un ruolo centrale nello scenario energetico del futuro. Infine, si parla anche di applicazioni pratiche ed esistenti riguardanti le celle a combustibile in veicoli, come le proposte di Nuvera ed EH Group.

Metodologie per la progettazione di eliche aeronautiche

Studio dei metodi di progettazione per lo sviluppo di eliche aeronautiche. Come caso di studio è stata scelta la progettazione di un’elica che ottimizzi le prestazioni del Risen, prodotto dalla Porto Aviation Group. Questo ultraleggero monta motore Rotax915IS, che eroga una potenza considerevolmente maggiore rispetto ai motori adottati in precedenza: sono state, quindi, progettate una serie di eliche in grado di convertire in maniera efficiente la coppia ricevuta in spinta nelle diverse fasi di volo del velivolo. E' incluso nella tesi uno studio di sensitività in cui è stato verificato come varia la spinta in funzione dei diversi parametri costruttivi dell'elica aeronautica. Lo sviluppo dell’elica avviene attraverso il seguente percorso: 1) definizione parametri di volo e funzionamento motore del velivolo a cui accoppiare l'elica, 2) studio delle prestazioni dell'aereo con le eliche già disponibili così da potere validare i calcoli, 3) stima delle prestazioni dell'aereo in seguito a variazioni delle caratteristiche geometriche della pala; 4) sintesi caratteristiche costruttive per ottenere una pala in grado di fornire prestazioni soddisfacenti in ogni fase del volo. Gli studi sono stati supportati da analisi su codici software commerciali, al fine di valutare l’influenza dei parametri costruttivi sulle prestazioni del velivolo a cui viene accoppiata l'elica. Lo studio ha condotto allo sviluppo di cinque pale, una delle quali presenta ottime prestazioni.

PIATTAFORMA DI DATA VISUALIZATION GUIDATA DALLA MODELLAZIONE STATISTICA DEI DATI Applicazione a dati sanitari di pazienti oncologici della regione Emila-Romagna

Una gestione, un’analisi e un’interpretazione efficienti dei big data possono cambiare il modello lavorativo, modificare i risultati, aumentare le produzioni, e possono aprire nuove strade per l’assistenza sanitaria moderna. L'obiettivo di questo studio è incentrato sulla costruzione di una dashboard interattiva di un nuovo modello e nuove prestazioni nell’ambito della Sanità territoriale. Lo scopo è quello di fornire al cliente una piattaforma di Data Visualization che mostra risultati utili relativi ai dati sanitari in modo da fornire agli utilizzatori sia informazioni descrittive che statistiche sulla attuale gestione delle cure e delle terapie somministrate. Si propone uno strumento che consente la navigazione dei dati analizzando l’andamento di un set di indicatori di fine vita calcolati a partire da pazienti oncologici della Regione Emilia Romagna in un arco temporale che va dal 2010 ad oggi.

PickingList App: progettazione ed implementazione di un’applicazione mobile per magazzini ospedalieri

Questo documento illustra la progettazione e lo sviluppo di un’applicazione Android in ambito aziendale. L’idea è stata concepita dall’azienda Vettore Rinascimento, la quale richiesta era d’implementare un’applicazione per la gestione di liste di prelievo in magazzini di strutture mediche. Lo scopo è di rendere il lavoro manuale più efficiente e affidabile aumentando così le prestazioni dei dipendenti. La tesi analizza le fasi tipiche di sviluppo di un software ovvero: l’analisi dei requisiti, la progettazione, la realizzazione e il collaudo. Durante ciascuna fase saranno analizzate anche le scelte progettuali e implementative. La discussione non si limiterà al solo sviluppo di un’applicazione mobile: siccome il prodotto sviluppato non sarà un software stand-alone, verrà anche spiegato il funzionamento del server preesistente e dello sviluppo di un’api per caricare e salvare i dati. Si presenterà inoltre il prodotto finale con tutte le sue features, alcune delle più interessanti sono la sua capacità di funzionare sia online che offline, di adattarsi a ogni tipo di magazzino, previa configurazione, e di poter scannerizzare i codici a barre degli articoli da prelevare con la fotocamera del dispositivo.

Caratterizzazione a flessione di materiali compositi per impiego automotive

L’introduzione dei materiali compositi all’interno dell’ambiente industriale ha modificato l’idea di progettazione delle strutture, permettendo il raggiungimento di eccellenti prestazioni difficilmente ottenibili con materiali classici. Grazie all’uso dei compositi si sono ottenute elevata resistenza e leggerezza, caratteristiche di grande interesse nell’industria aerospaziale, delle costruzioni civili e soprattutto del settore automobilistico. Il materiale composito viene considerato oggigiorno un materiale innovativo del quale non si conoscono in modo esaustivo tutte le caratteristiche. Da questa premessa è nata la campagna sperimentale di questa tesi, il cui scopo è la definizione della sequenza di laminazione per la realizzazione della molla posteriore per la sospensione del prototipo da competizione Emilia5, del team Onda Solare. Si è ricercata la configurazione che conferisse una rigidità flessionale maggiore rispetto a quelle campionate. Si è proceduto, quindi, allo studio delle possibili sequenze di laminazione con cui realizzare la molla e sono stati creati i provini utilizzando CFRP unidirezionale, materiale caratterizzato da un’elevata resistenza lungo l’asse longitudinale. I 5 provini realizzati si differenziano principalmente per le metodologie di sovrapposizione delle lamine contigue e per i materiali utilizzati. Sui provini realizzati è stata eseguita una caratterizzazione mediante prova di flessione in tre punti, dalla quale sono stati ricavati i dati necessari alla successiva analisi delle proprietà. Infine, con i risultati ottenuti si è proceduto alla determinazione della sequenza di laminazione ottimale per la realizzazione del prototipo.

Analisi degli effetti di impatti su componenti in materiali compositi avanzati

L’idea alla base di questo elaborato finale nasce principalmente dall’interesse verso lo stato dell’arte attuale per quanto riguarda l’utilizzo di materiali compositi in ambito aerospaziale. La grande potenzialità di questi materiali è oggigiorno ancora contrastata da forti limitazioni, come il costo elevato oppure il comportamento particolare della struttura interna. Quest’ultimo aspetto rappresenta, a livello macroscopico, la problematica cardine del presente studio: il comportamento meccanico di questi materiali a seguito di un impatto, con un focus particolare sugli effetti, all’apparenza trascurabili, di impatti a bassa energia. Si è scelto in particolare di analizzare gli sviluppi raggiunti dalla ricerca nei giunti incollati a giro singolo, una tipologia di giunzione caratterizzata da due componenti aderenti ed una sostanza adesiva a costituire la giunzione stessa. Il materiale composito più utilizzato per questo tipo di strutture è il Carbon Fiber Reinforced Polymer o CFRP. Il fulcro di questa tesi è sostanzialmente un’analisi di una serie di studi recenti sugli effetti di impatti in un giunto incollato in composito, valutato sia in maniera statica che ciclica; vengono inoltre descritti gli effetti di fattori ambientali come la temperatura e l’umidità, e riportate proposte presenti e future degli autori, come la ricerca di configurazioni alternative per il giunto oppure una serie di modifiche alle superfici, al fine di migliorare le prestazioni di questi componenti con soluzioni ottimizzate ed efficaci. In conclusione, si sintetizzano i risultati raggiunti da questi studi sperimentali, con l’intenzione di evidenziarne il progresso piuttosto che le limitazioni comparse e di contribuire alla transizione completa verso l’utilizzo dei materiali compositi, che acquisiranno sempre maggiore importanza nell’ingegneria dei materiali.

Implementazione e caratterizzazione di PLL digitali per doppler tracking di sonde deep space

I Phase-Locked Loops sono circuiti ancora oggi utilizzati per la generazione di segnali coerenti in frequenza e in fase con i segnali in ingresso, motivo per cui sono uno degli strumenti della radio scienza per la ricostruzione dei segnali scambiati con le sonde e nascosti dal rumore accumulato nel tragitto che separa le sonde stesse dalle stazioni di tracking a terra. Questa tesi illustra l'implementazione di un PLL digitale linearizzato in Matlab e Simulink in una nuova veste rispetto al modello implementato durante l'attività di tirocinio curricolare, al fine di migliorarne le prestazioni per bassi carrier-to-noise density ratios. Il capitolo 1 si compone di due parti: la prima introduce all'ambito nel quale si inserisce il lavoro proposto, ossia la determinazione d'orbita; la seconda illustra i fondamenti della teoria dei segnali. Il capitolo 2 è incentrato sull'analisi dei Phase-Locked Loops, partendo da un'introduzione teorica e approdando all'implementazione di un modello in Simulink. Il capitolo 3, infine, mostra i risultati dell'applicazione del modello implementato in Simulink nell'analisi dei segnali di una missione realmente svolta.

Analisi di un metodo per la discriminazione delle particelle neutre nell'ambito dell'esperimento FOOT

L'adroterapia è una delle tecniche utilizzate ad oggi per trattare i tumori ed è basata sull'utilizzo di fasci di particelle cariche, come protoni e ioni carbonio, accelerati sulla zona da trattare. A differenza dei fotoni, utilizzati in radioterapia, le particelle cariche permettono un rilascio di energia più mirato, danneggiando il DNA delle cellule tumorali fino ad impedirne la duplicazione, senza intaccare i tessuti sani circostanti. Per sfruttare al meglio questa tecnica è necessario conoscere a fondo i processi di frammentazione nucleare che possono avere luogo durante il trattamento, sui quali si hanno ancora insufficienti dati sperimentali, in particolare a proposito della frammentazione del bersaglio. L'esperimento FOOT (FragmentatiOn Of Target) nasce proprio per poter misurare le sezioni d'urto differenziali dei processi di frammentazione nucleare alle tipiche energie dell'adroterapia, dai 60 MeV/u ai 400 MeV/u. Allo stato attuale l'esperimento è dotato di un apparato per la rivelazione di frammenti carichi pesanti e uno per quelli leggeri, mentre non ha un sistema di rivelazione per le particelle neutre. Si sta quindi valutando la possibilità di aggiungere rivelatori di neutroni, per esempio gli scintillatori liquidi BC-501A, i quali permettono di discriminare fotoni da neutroni grazie alla diversa forma del segnale prodotto (Pulse Shape Discrimination). Per studiare le prestazioni di questi rivelatori, essi si stanno attualmente testando alla facility n_TOF del CERN con diverse sorgenti di particelle. In questo lavoro di tesi mi sono occupata di analizzare i segnali raccolti da due BC-501A con una sorgente AmBe di raggi γ e neutroni, con schermo in piombo, e con una sorgente 88Y di soli raggi γ, evidenziando le buone capacità di questi rivelatori di identificare correttamente neutroni e fotoni.

Pianificazione della produzione e gestione strategica dei fornitori nel settore della moda: il caso Fabiana Filippi s.p.a.

Il presente elaborato è volto all’analisi di come viene pianificata la produzione in Fabiana Filippi spa e nello specifico al monitoraggio delle prestazioni dei fornitori di materie prime. L’attività di pianificazione della produzione viene infatti strutturata a partire dalle consegne che i fornitori confermano di riuscire a garantire; risulterebbe dunque inutile strutturare e pianificare una produzione se a monte non vengono monitorati i fornitori che ne permettono l’avvio. Proprio per questa ragione è stato introdotto uno strumento di monitoraggio dei fornitori che permetta di analizzarli completamente a 360°, sulla base di quattro parametri di riferimento: affidabilità di consegna, puntualità, qualità di consegna e rispetto delle quantità richieste. A ciascun fornitore è stata poi associata una classe (A, B, C) con lo scopo di individuare dei target minimi prestazionali che i fornitori appartenenti a ciascuna di esse devono raggiungere.Tali target minimi sono stati poi definiti a partire da un trade-off tra gli obiettivi prestazionali richiesti dall’azienda e i valori di prestazione medi ottenuti dai fornitori relativi ad una stessa classe. A partire dai valori prestazionali ottenuti di partenza (AS-IS), si è deciso di analizzare nello specifico la situazione di quattro differenti fornitori ai quali, sono state dapprima individuate le cause che determinavano un basso livello prestazionale e a partire da queste, trovate e poi applicate delle soluzioni migliorative al fine di elevare il livello prestazionale iniziale (TO-BE). I risultati ottenuti hanno permesso di dimostrare quanto sia migliorativo avere un sistema di monitoraggio continuo del livello di prestazione di fornitura che permetta dunque, qualora si registrino dei valori non soddisfacenti, di individuare delle soluzioni al fine di agevolare la fornitura e di conseguenza evitare ritardi di produzione.

Development of a heterogeneous clustering algorithm for particle shower reconstruction in high energy physics using the SYCL abstraction layer

Nei prossimi anni è atteso un aggiornamento sostanziale di LHC, che prevede di aumentare la luminosità integrata di un fattore 10 rispetto a quella attuale. Tale parametro è proporzionale al numero di collisioni per unità di tempo. Per questo, le risorse computazionali necessarie a tutti i livelli della ricostruzione cresceranno notevolmente. Dunque, la collaborazione CMS ha cominciato già da alcuni anni ad esplorare le possibilità offerte dal calcolo eterogeneo, ovvero la pratica di distribuire la computazione tra CPU e altri acceleratori dedicati, come ad esempio schede grafiche (GPU). Una delle difficoltà di questo approccio è la necessità di scrivere, validare e mantenere codice diverso per ogni dispositivo su cui dovrà essere eseguito. Questa tesi presenta la possibilità di usare SYCL per tradurre codice per la ricostruzione di eventi in modo che sia eseguibile ed efficiente su diversi dispositivi senza modifiche sostanziali. SYCL è un livello di astrazione per il calcolo eterogeneo, che rispetta lo standard ISO C++. Questo studio si concentra sul porting di un algoritmo di clustering dei depositi di energia calorimetrici, CLUE, usando oneAPI, l'implementazione SYCL supportata da Intel. Inizialmente, è stato tradotto l'algoritmo nella sua versione standalone, principalmente per prendere familiarità con SYCL e per la comodità di confronto delle performance con le versioni già esistenti. In questo caso, le prestazioni sono molto simili a quelle di codice CUDA nativo, a parità di hardware. Per validare la fisica, l'algoritmo è stato integrato all'interno di una versione ridotta del framework usato da CMS per la ricostruzione. I risultati fisici sono identici alle altre implementazioni mentre, dal punto di vista delle prestazioni computazionali, in alcuni casi, SYCL produce codice più veloce di altri livelli di astrazione adottati da CMS, presentandosi dunque come una possibilità interessante per il futuro del calcolo eterogeneo nella fisica delle alte energie.