Modello di ottimizzazione per l’analisi di più comunità energetiche nella stessa rete di distribuzione con diversi fornitori

La tesi descrive un modello AIMMS di ottimizzazione dei flussi di potenza tra gli utenti di una comunità energetica rinnovabile. Il modello considera la presenza nella stessa rete di distribuzione di più comunità energetiche. Ogni utente può scegliere un fornitore diverso dagli altri anche se partecipa ad una comunità. Sono considerati generatori fotovoltaici e sistemi di accumulo. Per i carichi sono stati generati profili tipici di utenze domestiche. Il modello è in grado di valutare i prezzi delle transazioni di energia interne a ciascuna comunità, in base alle tariffe orarie dei fornitori di energia. Per la rete di distribuzione test IEEE a 123 nodi, la tesi presenta una analisi di sensitività al variare della taglia dei sistemi di accumulo, della potenza di picco dei generatori fotovoltaici, della potenza richiesta dai carichi, del numero di comunità energetiche e dei fornitori.

Applicazione di un modello bi-obiettivo per la progettazione sostenibile di sistemi produttivi riconfigurabili

Negli ultimi anni la competitività nei mercati è notevolmente cresciuta, la complessità dei prodotti industriali è considerevolmente aumentata e quest’ultimi devono ora essere accuratamente ottimizzati sotto ogni aspetto. I prodotti, oltre ad avere dei cicli di vita più brevi, sono soggetti a un’alta personalizzazione e a una domanda variabile. Per rimanere competitive, le aziende manifatturiere devono possedere nuovi tipi di sistemi di produzione che siano convenienti e molto reattivi a tutti questi cambiamenti del mercato, quali i Sistemi di produzione riconfigurabili (Reconfigurable Manufacturing System - RMS). La particolarità di tali sistemi risiede nella capacità di cambiare rapidamente le loro strutture hardware e software, aspetto che li renda idonei a soddisfare la produzione moderna. Oltre agli aspetti produttivi, l’attenzione odierna è incentrata anche sulle tematiche ambientali legate al risparmio energetico durante i processi produttivi, alla riduzione delle quantità di CO2 emesse e alla sostenibilità ambientale. L’obiettivo di questa tesi è quello di proporre un modello di ottimizzazione multi-obiettivo che tenga conto sia della minimizzazione del tempo complessivo necessario alla movimentazione dei prodotti e alla riconfigurazione delle macchine, e sia della minimizzazione del consumo energetico. Tale modello è stato applicato ad un caso studio realistico che ha permesso di individuare un trade-off tecnico-ambientale individuando la frontiera di Pareto con punto di ottimo (134.6 min; 9346.3 kWh) che si discosta del 57% dal valore trovato ottimizzando la funzione tempo, e dello 0.76% dal valore ottenuto ottimizzando la funzione energia.

Modello di simulazione per l’analisi delle criticità di un nuovo reparto di confezionamento: il caso Orogel Società Cooperativa Agricola

L’elaborato in questione tratta la creazione, lo sviluppo e l’utilizzo di un modello di simulazione volto a simulare il funzionamento futuro di un reparto di confezionamento di vegetali surgelati, ad oggi ancora in fase di costruzione. L’obiettivo di questo modello è quello di individuare ed analizzare a priori le possibili criticità e i possibili colli di bottiglia che potrebbero verificarsi in seguito alla messa in funzione del nuovo impianto. Il modello di simulazione sarà quindi uno strumento di supporto alle decisioni che permetterà, all’azienda Orogel, di indirizzare al meglio i propri investimenti e di risparmiare tempo e costi in fase di avvio dell’impianto. Il modello, creato per mezzo del software Plant Simulation, è stato dapprima validato simulando ordini di produzione realmente realizzati dall’azienda in passato. Successivamente, a seguito di un riscontro positivo sul funzionamento del modello, si è passati al suo utilizzo. Sono state, quindi, eseguite simulazioni riferite sia al funzionamento nominale dell’impianto sia a possibili scenari alternativi come, ad esempio, un aumento delle battute della linea. È seguita una fase di analisi dei risultati nei diversi scenari. Quello che si è riscontrato è che, durante il funzionamento nominale, non vi sono particolari criticità mentre, in determinati scenari alternativi, sono stati individuati alcuni colli di bottiglia. Sono state, dunque, suggerite possibili soluzioni per fronteggiare tali problematiche.

Hub Location Problem e Site Selection: il caso FAAC Technologies

Questa tesi ha l’obbiettivo di studiare e seguire la creazione un modello matematico che possa risolvere un problema logistico di Hub Facility Location reale, per l’individuazione del posizionamento ottimale di uno o più depositi all’interno di una rete distributiva europea e per l’assegnazione dei rispettivi clienti. Si fa riferimento alla progettazione della rete logistica per rispondere alle necessità del cliente, relativamente ad una domanda multiprodotto. Questo problema è stato studiato a partire da un caso reale aziendale per la valutazione della convenienza nella sostituzione di quattro magazzini locali con uno/due hub logistici che possano servire tutte le aree. Il modello distributivo può anche essere adoperato per valutare l’effetto della variazione, dal punto di vista economico, del servizio di trasporto e di tariffario. La determinazione della posizione ottimale e del numero dei magazzini avviene tramite un modello matematico che considera al proprio interno sia costi fissi relativi alla gestione dei magazzini (quindi costo di stabilimento, personale e giacenza) e sia i costi relativi al trasporto e alla spedizione dei prodotti sulle diverse aree geografiche. In particolare, la formulazione matematica si fonda su un modello Programmazione Lineare Intera, risolto in tempi molto brevi attraverso un software di ottimizzazione, nonostante la grande mole di dati in input del problema. In particolare, si ha lo studio per l’integrazione di tariffari di trasporto diversi e delle economie di scala per dare consistenza ad un modello teorico. Inoltre, per ricercare la migliore soluzione di quelle ottenute sono poi emersi altri fattori oltre a quello economico, ad esempio il tempo di trasporto (transit-time) che è un fattore chiave per ottenere la soddisfazione e la fedeltà del cliente e attitudine dell’area geografica ad accogliere una piattaforma logistica, con un occhio sugli sviluppi futuri.

Sviluppo di Metodi di Soft Labeling per la Multi-Document Summarization in Ambito Legale

In questo elaborato viene trattata l’analisi del problema di soft labeling applicato alla multi-document summarization, in particolare vengono testate varie tecniche per estrarre frasi rilevanti dai documenti presi in dettaglio, al fine di fornire al modello di summarization quelle di maggior rilievo e più informative per il riassunto da generare. Questo problema nasce per far fronte ai limiti che presentano i modelli di summarization attualmente a disposizione, che possono processare un numero limitato di frasi; sorge quindi la necessità di filtrare le informazioni più rilevanti quando il lavoro si applica a documenti lunghi. Al fine di scandire la metrica di importanza, vengono presi come riferimento metodi sintattici, semantici e basati su rappresentazione a grafi AMR. Il dataset preso come riferimento è Multi-LexSum, che include tre granularità di summarization di testi legali. L’analisi in questione si compone quindi della fase di estrazione delle frasi dai documenti, della misurazione delle metriche stabilite e del passaggio al modello stato dell’arte PRIMERA per l’elaborazione del riassunto. Il testo ottenuto viene poi confrontato con il riassunto target già fornito, considerato come ottimale; lavorando in queste condizioni l’obiettivo è di definire soglie ottimali di upper-bound per l’accuratezza delle metriche, che potrebbero ampliare il lavoro ad analisi più dettagliate qualora queste superino lo stato dell’arte attuale.

Crowdsourcing e gamification in un'app di citizen science per la raccolta dati sull'inquinamento acustico e luminoso

Al giorno d’oggi, l’inquinamento costituisce una delle principali problematiche che l’uomo e il pianeta si trovano ad affrontare. Questo progetto di tesi si pone come obiettivo quello di coinvolgere le persone nella raccolta di dati sull'inquinamento acustico e luminoso attraverso un'app Android, realizzata sfruttando strategie e metodologie quali crowdsourcing, crowdsensing, citizen science e gamification. Il volume di tesi descrive quindi il contesto in cui si è svolto questo progetto, le tecnologie utilizzate e l'implementazione finale. In particolare, nel primo capitolo viene descritto il contesto generale con un approfondimento sul fenomeno dell'inquinamento, trattando in dettaglio quello sonoro e luminoso. Inoltre, il capitolo approfondisce i concetti di crowdsourcing, crowdsensing, citizen science e gamification. Nel secondo capitolo, invece, vengono illustrate le tecnologie utilizzate sia nel client, cioè l'applicazione Android con le sue funzionalità, sia nel server, che comprende l'uso di Flask e di un database PostgreSQL, oltre a delle API di tipo REST. Il terzo e ultimo capitolo verte sull'implementazione dell'applicazione, con dei focus sulle principali scelte adottate.

Tecnologie e workflow per la digitalizzazione e la visualizzazione immersiva e real time del prodotto tessile

Il settore del mobile è frammentato, caratteristica che non ha mai permesso una completa digitalizzazione dei suoi comparti: la comunicazione è risultata spesso difficoltosa, responsabile di incomprensioni e spesso mancanza di puntualità, con conseguente dispendio di risorse. Nel mio progetto di tesi analizzo principalmente la filiera degli imbottiti e quella tessile, collaterale ad essa. Il target di mio interesse sono le aziende produttrici di arredi che si servono di configuratori per la presentazione dei prodotti ai propri clienti. Ho ipotizzato un workflow suddivisibile in due fasi, una attuabile nel presente ed una seconda che implica una variazione attuabile nel futuro prossimo. Per la prima fase ho studiato un workflow agile al fine di digitalizzare le texture a partire da acquisizioni fotografiche. Analizzando il comportamento di vari tessuti ed elaborando un metodo di riproduzione digitale, ho sperimentato una metodologia per una resa superficiale degli imbottiti accurata e fotorealistica sia su piattaforme web che in realtà aumentata. Lo studio nasce dall’esigenza di apportare migliorie agli attuali configuratori e renderli effettivamente utili al fine per cui sono stati pensati: garantire una semplificazione del processo di acquisto rispondendo alle necessità degli utenti di vedere in anteprima l’aspetto finale del proprio arredo, collocato nello spazio abitativo. Il configuratore che ne deriva, restituirà una visualizzazione fedele dei tessuti anche in realtà aumentata. L’intelligenza artificiale fungerà da supporto nel processo decisionale dell’utente e la scelta dei materiali che compongono l’arredo sarà guidata in maniera tale da generare nell’utente un senso di consapevolezza circa gli impatti sull’ambiente. Per la seconda fase propongo una modalità di creazione dei tessuti completamente digitalizzata, a favore di una filiera sostenibile che riesce in questo modo ad abbattere costi e sprechi, con conseguente risparmio di risorse.

Analisi sperimentale e riprogettazione di un sistema di pesatura IPC per il controllo di qualità

Il presente elaborato descrive il percorso effettuato sulla macchina XTREMA, prodotta dalla divisione Life del gruppo IMA. Il progetto ha come fine il miglioramento delle prestazioni della macchina, quantificate principalmente in termini di accuratezza del prodotto dosato e di prodotti processati in un arco di tempo. Il Capitolo 1 fornisce un iniziale studio delle caratteristiche e del funzionamento della macchina, con successiva focalizzazione sul sistema di controllo peso. Con l’obiettivo di definire le prestazioni del sistema di controllo peso, nel Capitolo 2 è impostata una campagna sperimentale di test che permette di studiare lo stato attuale del sistema, identificando l’influenza dei vari parametri di funzionamento sulle perfomances, portando alla luce le criticità della macchina. Viene quindi analizzato il gruppo, individuando le cause delle problematiche e identificando su quali campi agire per incrementare velocità di funzionamento e accuratezza del sistema. All’interno del Capitolo 3 entrambi i componenti del sistema di controllo peso, discensore e gruppo di bilance, sono quindi riprogettati per risolvere le criticità rilevate. Nel Capitolo 4 viene affrontato il montaggio del prototipo in una macchina dedicata alle prove, dove viene impostata una nuova campagna di test con l’obiettivo collaudare il sistema e validarne le prestazioni. Confrontando le prove si dimostrerà che il nuovo prototipo, oltre ad aumentare il numero di flaconi pesati al minuto, permette di risolvere le problematiche del precedente sistema, consentendo di ottenere un’accuratezza del controllo peso superiore a quanto riscontrato nella campagna iniziale di prove svolta inizialmente.

Progettazione di un kit di supporto ai corsi Project Based Learning: il ruolo del tutor nel modello Tech to Market.

L’istruzione superiore in Europa è stata oggetto di un significativo processo di riforma: è aumentato l’interesse per un modello di apprendimento intorno ai progetti, centrato sullo studente, che favorisse lo sviluppo di competenze trasversali – il project-based learning (PBL). Inserire il PBL nelle Università richiede un processo di innovazione didattica: il curriculum di un corso PBL e le competenze richieste all’insegnante si differenziano dall’apprendimento tradizionale. Senza un'adeguata attenzione ai metodi di supporto per insegnanti e studenti, questi approcci innovativi non saranno ampiamente adottati. L’obiettivo di questo studio è determinare in che modo sia possibile implementare un corso PBL non presenziato da figure esperte di PBL. Le domande della ricerca sono: è possibile implementare efficacemente un approccio PBL senza il coinvolgimento di esperti dei metodi di progettazione? come si declinano i ruoli della facilitazione secondo questa configurazione: come si definisce il ruolo di tutor d’aula? come rafforzare il supporto per l’implementazione del corso? Per rispondere alle domande di ricerca è stata utilizzata la metodologia AIM-R. Viene presentata la prima iterazione dell’implementazione di un corso di questo tipo, durante la quale sono state svolte attività di ricerca e raccolta dati. L’attività di facilitazione è affidata a tre figure diverse: docente, tutor d’aula e coach professionisti. Su questa base, sono stati definiti gli elementi costituenti un kit di materiale a supporto per l’implementazione di corsi PBL. Oltre a un set di documenti e strumenti condivisi, sono stati elaborati i vademecum per guidare studenti, tutor e docenti all’implementazione di questo tipo di corsi. Ricerche future dovranno essere volte a identificare fattori aggiuntivi che rendano applicabile il kit di supporto per corsi basati su un modello diverso dal Tech to Market o che utilizzino strumenti di progettazione diversi da quelli proposti durante la prima iterazione.

Valorizzazione di scarti ittici mediante processi biotecnologici

Negli ultimi decenni, la filiera ittica sta subendo una grande espansione grazie al miglioramento delle tecniche di pesca, allevamento, conservazione, e trasformazione. Di pari passo, però, si assiste ad un accumulo di scarti e sottoprodotti per i quali è necessario trovare soluzioni sostenibili al fine di ridurre al minimo il loro impatto sull’ambiente e sull’economia. Risulta pertanto indispensabile trovare tecnologie che possano valorizzare le componenti ancora presenti in questi scarti, come ad esempio l'utilizzo di processi biotecnologici che sfruttano microrganismi selezionati. Questo progetto di tesi si è focalizzato sull’utilizzo di lieviti e batteri, con attività proteolitica e lipolitica, per l’estrazione di composti funzionali tramite fermentazione da scarti di pesce. Gli idrolizzati sono stati caratterizzati in termini di contenuto in peptidi, attività antiossidante e profilo in composti volatili. I ceppi di Yarrowia lipolytica testati sono stati quelli che hanno prodotto il più alto quantitativo di peptidi, la maggiore attività antiossidante e la produzione di alcoli (isoamilico e feniletilico) o acidi (acetico, butirrico e isovalerico) in base all'assenza o presenza di glucosio nel mezzo di crescita.

Equazione del Calore su SU(2)

La tesi riguarda l'equazione del calore sul gruppo classico SU(2), e la risoluzione di un problema di Cauchy associato all'equazione. Per trattare tale argomento viene introdotta la teoria delle rappresentazioni di gruppi di Lie compatti, che crea un collegamento fra il gruppo e gli automorfismi di uno spazio vettoriale. Concetti di base su questa teoria saranno di fondamentale importanza per l'elaborato, come ad esempio il Lemma di Schur e le relazioni di ortogonalità. Tale problema viene inoltre risolto grazie a teoremi dati dall'analisi armonica astratta, che riguardano trasformate di Fourier di funzioni definite su gruppi di Lie compatti. Esse agiscono sul duale di Pontryagin, l'insieme delle classi di equivalenza di rappresentazioni irriducibili, secondo la relazione di essere isomorfe. Sui gruppi di Lie compatti il duale di Pontryagin è discreto. SU(2) verrà rappresentato sugli spazi di polinomi omogenei complessi in due variabili. Nella tesi viene mostrato che le rappresentazioni di questo tipo costituiscono tutto il duale di Pontryagin di SU(2).

Analisi della rappresentazione della rabbia in Italia e Cina tramite Perfetti sconosciuti e Kill mobile

Questa tesi si propone di confrontare e analizzare il modo in cui le persone di diverse culture esprimono e manifestano la loro rabbia. Per farlo, sono stati presi in considerazione due film (uno il remake dell'altro): Perfetti sconosciuti (2016) e Kill mobile (2018). Per capire meglio cos'è la rabbia e come si manifesta, sono stati analizzati molti studi relativi alle emozioni, per poi concentrarsi esclusivamente sulla rabbia; come influenza e modifica la mimica, le azioni e il modo di parlare. Sono state poi analizzate le diverse rappresentazioni ed espressioni della rabbia nelle due culture studiate (Italia e Cina). Dopo aver esaminato la trama e i personaggi dei due film, gli stessi sono stati messi a confronto per trovare eventuali analogie o differenze che potessero essere rilevanti ai fini di questo lavoro. In seguito, sono state individuate tutte le scene in cui era presente la rabbia (sia implicita che espressa), prima in Perfetti sconosciuti e poi in Kill mobile, per trovare gli episodi che condividono lo stesso antecedente e confrontarli. Per farlo, sono state create delle tabelle secondo il modello di script emotivo di Varriano e Zuccheri, contenente tutti gli aspetti rilevanti di ogni episodio: antecedente, relazione tra i personaggi, orientamento degli stessi tra loro, espressioni verbali e non verbali, segnali paralinguistici e linguistici (quando presenti). Nonostante le numerose differenze individuate, sia tra i film che tra le culture, è stato possibile confermare che le emozioni, e soprattutto la rabbia, condividono espressioni, azioni e manifestazioni simili, se non identiche.

Ricerca di documenti e frammenti rilevanti in una base documentale: analisi delle interfacce

La ricerca di documenti rilevanti è un task fondamentale, può avvenire tramite ambienti chiusi, come le biblioteche digitali o tramite ambienti aperti, come il World Wide Web. Quello che analizzeremo in questo progetto di tesi riguarderà le interfacce per mostrare i risultati di ricerca su una collezione di documenti. L'obiettivo, tuttavia, non è l'analisi dei motori di ricerca, ma analizzare i diversi meccanismi che permettono di visualizzare i risultati. Vedremo, inoltre, le diverse visualizzazioni rilevanti nella ricerca di informazioni sul web, in particolare parleremo di visualizzazioni nello spazio, messe a confronto con la classica visualizzazione testuale. Analizzeremo anche la classificazione in una collezione di documenti, oltre che la personalizzazione, ovvero la configurazione della visualizzazione a vantaggio dell'utente. Una volta trovati i documenti rilevanti, analizzeremo i frammenti di testo come, gli snippet, i riassunti descrittivi e gli abstract, mettendo in luce il modo in cui essi aiutato l'utente a migliorare l'accesso a determinati tipi di risultati. Infine, andremo ad analizzare le visualizzazioni di frammenti rilevanti all'interno di un testo. In particolare presenteremo le tecniche di navigazione e la ricerca di determinate parole all'interno di documenti, vale a dire le panoramiche di documenti e del metodo preferito dall'utente per cercare una parola.

Abbondanza di litio nelle stelle nane di alone usando la fotometria Gaia

Il litio, secondo il modello di nucleosintesi del Big Bang, viene prodotto a seguito dell’espansione dell’Universo. Negli anni Ottanta, con l'avvento di spettrografi ad alta risoluzione, è stato possibile misurare l'abbondanza di Li in stelle nane di alone (Spite & Spite 1982). L'abbondanza di Li nelle stelle nane di Popolazione II mostra un valore costante in un ampio intervallo di metallicità e di temperatura effettiva. Tale andamento prende il nome di Plateau di Spite, ed è stato interpretato come una misura dell'abbondanza primordiale dell'elemento. Due decenni dopo la scoperta dello Spite Plateau, grazie alle misurazioni WMAP è stato possibile ottenere i valori delle costanti cosmologiche. Le abbondanze degli elementi leggeri previste dalla cosmologia sono in accordo con quelle misurate, tranne che per il litio. Il valore dello Spite Plateau è infatti inferiore di un fattore 3-4. Tale problema del litio rimane ancora oggi una sfida aperta. Un altro problema aperto riguarda la scoperta del Li-meltdown, ovvero una diminuzione di A(Li) nelle stelle nane con [Fe/H]<-2.5 dex. Nel seguente lavoro sono state studiate stelle nane con metallicità basse, prese da lavori passati. Una volta ottenuto il campione si è lavorato sui dati di Gaia. L'uso di Gaia sulle stelle di alone ha permesso di: lavorare su un campione formato da parametri omogenei e precisi, conoscere lo stato evolutivo delle stelle. Tale lavoro permette per la prima volta di discutere la distribuzione dell'abbondanza di Li nelle stelle nane alla luce del loro stato evolutivo. Il campione di Gaia conferma la presenza del Plateau di Spite con un valore di A(Li)= 2.29 dex, e una caduta dell'abbondanza e un aumento dello scatter per sorgenti [Fe/H]<-2.6 dex (Li meltdown). In particolare, viene dimostrato come il Li meltdown non possa essere spiegato semplicemente come dovuto a stelle binarie o post First Dredge Up.

Sviluppo di un sistema di climatizzazione automatico distribuito con l'utilizzo di tecniche di machine learning

Nella sede dell’azienda ospitante Alexide, si è ravvisata la mancanza di un sistema di controllo automatico da remoto dell’intero impianto di climatizzazione HVAC (Heating, Ventilation and Air Conditioning) utilizzato, e la soluzione migliore è risultata quella di attuare un processo di trasformazione della struttura in uno smart building. Ho quindi eseguito questa procedura di trasformazione digitale progettando e sviluppando un sistema distribuito in grado di gestire una serie di dati provenienti in tempo reale da sensori ambientali. L’architettura del sistema progettato è stata sviluppata in C# su ambiente dotNET, dove sono stati collezionati i dati necessari per il funzionamento del modello di predizione. Nella fattispecie sono stati utilizzati i dati provenienti dall’HVAC, da un sensore di temperatura interna dell'edificio e dal fotovoltaico installato nella struttura. La comunicazione tra il sistema distribuito e l’entità dell’HVAC avviene mediante il canale di comunicazione ModBus, mentre per quanto riguarda i dati della temperatura interna e del fotovoltaico questi vengono collezionati da sensori che inviano le informazioni sfruttando un canale di comunicazione che utilizza il protocollo MQTT, e lo stesso viene utilizzato come principale metodo di comunicazione all’interno del sistema, appoggiandosi ad un broker di messaggistica con modello publish/subscribe. L'automatizzazione del sistema è dovuta anche all'utilizzo di un modello di predizione con lo scopo di predire in maniera quanto più accurata possibile la temperatura interna all'edificio delle ore future. Per quanto riguarda il modello di predizione da me implementato e integrato nel sistema la scelta è stata quella di ispirarmi ad un modello ideato da Google nel 2014 ovvero il Sequence to Sequence. Il modello sviluppato si struttura come un encoder-decoder che utilizza le RNN, in particolare le reti LSTM.