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.

Introduzione di un piano di campionamento indicizzato secondo l'AQL per i materiali in ingresso nel settore del material handling e dell'intralogistica. Il caso System Logistics S.p.A.

L’elaborato si è sviluppato all'interno dell’azienda System Logistics S.p.A. di Fiorano Modenese, leader nel settore del material handling e dell’intralogistica. Il focus dell'elaborato è sulla progettazione di un piano di campionamento indicizzato secondo il livello di qualità accettabile. Successivamente ad una presentazione più approfondita dell’azienda e dei prodotti offerti, si passa all’introduzione teorica dei temi dell’intralogistica e della qualità. Questo permette di comprendere il contesto operativo più generale in cui si inserisce il progetto. Infatti, la parte centrale è dedicata alla presentazione delle origini, degli obiettivi e della metodologia del progetto, in particolare, anticipando le procedure che si sono poste come basi strutturali della progettazione. La parte finale descrive il processo statistico che ha portato all’ottenimento del nuovo piano di campionamento e la sua applicazione empirica ai componenti più critici della navetta del LogiMate, il più recente prodotto dell’azienda. In quest’ultima fase si pone il focus sul processo di raccolta e analisi dei dati presentando, in particolare, un’analisi comparativa rispetto alla situazione iniziale dal punto di vista del rischio e un’analisi effettuata con le Carte di Controllo sul processo produttivo di un fornitore. L’esposizione è realizzata anche mediante grafici, ottenuti principalmente attraverso il supporto di Excel e Minitab, al fine illustrare in modo più agevole ed esplicito i risultati ottenuti.

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.

Paddler 4.0. Attrezzatura sportiva acquatica circolare e smart.

Paddler 4.0, attrezzatura sportiva acquatica circolare e smart si focalizza sul rapporto tra uomo-natura-sport, e su come queste tre dimensioni sono interconnesse tra di loro. Questa scelta è scaturita da una grande passione personale per l’ambiente marino e più in generale per il mare e ciò che rappresenta per moltissime persone. La tesi magistrale in Advanced Design è stata un’opportunità per approfondire meglio le diverse tematiche che avvolgono questo habitat e di poter realizzare un progetto inerente. Uomo-sport-natura sono tre dimensione che coesistono in una sola, la sostenibilità. In questa tesi vengono esposti diversi aspetti, tra cui la condizione ambientale odierna, gli sport acquatici analizzando la storia, la cultura, gli elementi tecnici e le diverse discipline, principalmente lo Stand Up Paddle “SUP” ed infine facendo un focus sui metodi e le tecnologie trasformative più utilizzate oggi. Il prodotto scaturito dall’argomento di tesi implementa al suo interno tutti questi elementi ponendo al centro il rispetto dell’ambiente, la circolarità e dando nuova vita a materiali di scarto, promuovendo e sensibilizzando l’utente verso comportamenti più etici. Inoltre, il progetto cerca di immettere sul mercato una nuova tipologia di prodotto che rispetta i criteri tecnico/funzionali del settore in cui si inserisce.

Progettazione e ottimizzazione di un Turbo Encoder parallelo su dispositivo FPGA

In questi anni, c’è stato un grande sviluppo negli standard wireless nel mondo della televisione, della radio e delle comunicazioni mobili. Questo ha portato con sé problemi di compatibilità tra le reti wireless e ha limitato lo sviluppo di nuove funzionalità e servizi. La Software Defined Radio rappresenta una soluzione di flessibilità per affrontare questa serie di problematiche. In un sistema di comunicazione digitale, le informazioni viaggiano su un canale che è soggetto a rumore ed interferenza; perciò, per garantire robustezza e affidabilità alle applicazioni nella comunicazione digitale, i sistemi richiedono l’uso di codici di correzione degli errori, basati su schemi di codifica di canale. Esistono diverse tipologie di codici per la correzione degli errori, tra le quali il turbo codice, utilizzato nei sistemi LTE. Questo lavoro presenta la progettazione e la successiva ottimizzazione di un turbo encoder per sistemi LTE su una scheda FPGA, la quale, a differenza di altri dispositivi, meglio si presta a questo scopo, grazie alla caratteristica di riprogrammabilità. Dapprima viene presentato un turbo encoder sequenziale, il quale viene ottimizzato creandone una versione parallela. I risultati mostrano che l’architettura parallela presenta prestazioni, in termini di throughput, quattro volte migliori di quella sequenziale, a fronte di un lieve aumento dell’uso delle risorse della scheda. Confrontando questo turbo encoder ottimizzato con un progetto presente in letteratura, si nota che l’efficienza d’area risulta maggiore con un fattore circa pari a 3.

La letteratura per ragazzi e il ruolo del traduttore: proposta di traduzione di un romanzo Young Adult

I libri e la letteratura per ragazzi sono fondamentali per la formazione, lo sviluppo e l’arricchimento dell’immaginario dei giovani lettori, costituendo peraltro un mercato in crescita nell’editoria di paesi come l’Italia. In tale quadro, la traduzione svolge un ruolo cruciale nel permettere a bambini, ragazzi, adolescenti e giovani adulti di incontrare l’estraneo e stabilire un contatto con altre culture. Tuttavia, la letteratura giovanile, che nel corso della propria storia si è evoluta fino a divenire l’arte complessa e sofisticata che è oggi, pone chi traduce di fronte a una serie di questioni teoriche, meccanismi editoriali e sfide traduttive che la distinguono dalla letteratura per adulti e sembrano meritare un approfondimento. Inserita in questo contesto, la letteratura Young Adult si rivolge ai lettori che si collocano tra l’infanzia e l’età adulta, cercando di rispondere a necessità e aspettative di un pubblico esigente e di difficile definizione. Se la sua storia, iniziata negli Stati Uniti del dopoguerra, è stata descritta da numerosi studiosi, le specificità della letteratura Young Adult e soprattutto le loro ripercussioni sull’aspetto traduttivo sembrano rappresentare un campo d’indagine per certi versi inesplorato in ambito accademico. Nel presente elaborato si propone dunque la traduzione parziale dall’inglese all’italiano del romanzo storico per giovani adulti The House of One Thousand Eyes, dell’autrice canadese Michelle Barker, nel tentativo di gettare luce non solo sulle caratteristiche specifiche del testo in esame, ma anche sulle questioni traduttive relative alla categoria Young Adult. La proposta di traduzione è accompagnata da un commento che illustra strategie e scelte applicate nel processo traduttivo, ed è preceduta da due capitoli che approfondiscono la storia della letteratura per ragazzi e il ruolo del traduttore letterario che si confronta con essa.

tonicarD: un'applicazione web per l'annotazione semiautomatica delle schede Caronti

Si presenta lo sviluppo di una nuova applicazione web, chiamata tonicarD, che fornisce gli strumenti per fare annotazione dei documenti che costituiscono il catalogo storico della Biblioteca Universitaria di Bologna. Si tratta di schede scritte a mano dal dott. Andrea Caronti nella seconda metà dell'Ottocento, che si ha interesse a digitalizzare. A questo scopo, si è progettato il sistema tonicarD, che permette di eseguire la segmentazione e la trascrizione delle scansioni di tali documenti e genera le immagini che verrano usate per popolare un dataset su cui allenare un modello di riconoscimento automatico del testo. L'applicazione implementa anche lo sviluppo di un algoritmo di segmentazione automatica, oltre che un'approssimativa trascrizione della scheda, con l'obiettivo di agevolare l'utente nell'esecuzione dell'annotazione. Il lavoro include anche test per misurare la qualità della segmentazione automatica e test di usabilità dell'interfaccia, in cui si mettono a confronto l'esperienza degli utenti su tonicarD e Transkribus.

Simulazioni preliminari per la conversione di un motore turboalbero aeronautico al funzionamento ad idrogeno

Nella presente tesi si è realizzato uno sviluppo di base per l'implementazione di un motore turboalbero aeronautico all’utilizzo ad idrogeno. La parte iniziale dell'elaborato descrive le caratteristiche e i benefici dell’utilizzo di questo combustibile innovativo e riporta, poi, le principali modifiche hardware, presenti in letteratura, necessarie per l’implementazione voluta su un motore fisico. Vengono, poi, illustrati i modelli di combustori necessari per un corretto funzionamento del sistema propulsivo, oltre all’eventuale necessità di uno scambiatore di calore. Nella parte centrale della tesi, invece, é descritta la conversione di un modello MatLab Simulink del motore Allison 250 c18, esplicando e documentando le principali modifiche apportate riguardo alla creazione delle mappe del modello dinamico utile a ricavare le caratteristiche termodinamiche del flusso in camera di combustione e all'uscita da essa. Viene inoltre mostrato il metodo di utilizzo degli script CEA forniti dalla NASA, valido per desumere le proprietà dei gas post combustione, oltre che per la creazione delle funzioni di interpolazioni. Sono state svolte, infine, diverse simulazioni, con lo scopo di ricavare le portate corrette di combustibile ed osservare gli andamenti dei parametri fondamentali del sistema propulsivo, come: le portate elaborate, le potenze generate, le temperature e le pressioni ottenute.

Abbondanze chimiche in un campione di stelle metal-poor della galassia nana del Sagittario

Lo scenario oggi più accreditato per spiegare la formazione delle galassie è quello del merging gerarchico: Sgr è una delle prove più importanti a favore di questo scenario. Sgr è una galassia satellite della MW ed è il caso migliore di processo di distruzione mareale in corso dalla MW. La sua distruzione ha contribuito alla costituzione dell'alone della Via Lattea. Di Sgr si osserva solo ciò che ne rimane del corpo principale, i suoi streams ed il suo nucleo, dominato dall'ammasso metal-poor M54. È la presenza di M54 che rende complessa la selezione di stelle metal-poor di Sgr: il main-body di Sgr è rarefatto e fortemente contaminato da stelle galattiche ed il suo nucleo si sovrappone con M54 rendendo quasi impossibile identificare stelle di Sagittario metal-poor non appartenenti ad M54. Fino ad ora l'unico metodo utilizzato per selezionare i targets per studiare la chimica di Sgr ha fatto uso della loro posizione sul CMD: questo metodo introduce un bias, selezionando solo le stelle metal-rich di Sgr. In questo lavoro sono state studiate 23 stelle metal-poor appartenenti al main-body di Sgr ma fuori dal raggio mareale di M54 selezionate grazie ai moti propri dalla missione GAIA. Gli spettri analizzati sono stati ottenuti con lo spettrografo UVES-FLAMES del VLT (ESO)da cui è stata ottenuta l'abbondanza di 17 elementi sia di stelle di Sgr che in 12 stelle di M54. Questo campione di abbondanze chimiche permette per la prima volta: (a) di comprendere la storia di arricchimento chimico di Sgr in un ampio range di metallicità (mai studiato finora) e (b) di confrontare la chimica di Sgr con quella di M54. Tali abbondanze dimostrano come Sgr abbia avuto un'evoluzione chimica diversa da quella della MW, con un contributo inferiore da parte di stelle massive, probabilmente a causa del suo basso SFR. Inoltre è stato possibile determinare la forte somiglianza chimica tra Sgr e M54, confermando che i due sistemi condividono la stessa storia di arricchimento chimico.

Valutazioni per il dimensionamento degli impianti di condizionamento aria-acqua-olio in un banco prova motore

Il lavoro svolto, inizialmente, si proponeva di ricercare e approfondire gli strumenti fondamentali per il funzionamento di una sala prova, con l’obbiettivo di riunire in un unico elaborato informazioni sia sulla teoria che sul dimensionamento. A tal fine, sono stati presi in esame il ventilatore cella, l’aspiratore dei gas di scarico, l’unità di trattamento aria, la torre di raffreddamento e gli scambiatori di calore. Successivamente, l’attività di tesi si è focalizzata sulla creazione di un modello tramite Microsoft Excel che, in base ai dati di partenza selezionati, restituisse un dimensionamento delle componenti precedentemente analizzate. Questo modello è stato poi impiegato durante l’allestimento di una nuova sala di prova presso l’azienda AlmaAutomotive. La scelta delle condizioni di esercizio è stata fatta sulla base delle specifiche richieste dell’azienda. I risultati ottenuti dal modello sono stati quindi confrontati con i dati di dimensionamento presenti su preventivi richiesti ad aziende terze e con i dati di targa di apparecchiature montate su celle, analoghe a quella in realizzazione, presenti in azienda. Questo confronto, nei casi esaminati, ha evidenziato una buona correlazione. È stato inoltre creato un modello Simscape che rappresentasse il funzionamento dei due scambiatori (liquido motore e olio motore) in condizione stazionaria a regime. I risultati ottenuti dal modello sono stati paragonati con i dati ottenuti dalle formule teoriche (utilizzando Matlab): il confronto ha evidenziato che il modello Simscape è stato strutturato e definito correttamente.

Il segnale EEG in un compito di ’center-out reaching’: analisi e decodifica a livello di scalpo e di corteccia

Nellâ analisi del segnale EEG, sono di particolare interesse i potenziali evento correlato (ERP), che descrivono la risposta cerebrale in seguito alla presentazione di stimoli o eventi esterni o interni. Questi potenziali non sono immediatamente visibili sul tracciato EEG grezzo, ed è necessario, oltre ad unâ��accurata fase di preprocessing, mediare (averaging) i segnali di molti trial ripetuti per visualizzare tali risposte nel tempo. Questo studio ha posto l' attenzione sugli ERP visuomotori generati in un compito di center-out reaching, che prevede il raggiungimento di uno tra cinque target, ognuno associato ad un LED, mediante il braccio dominante, con una tempistica scandita dalla presentazione di due stimoli visivi: lo stimolo preparatorio ¸ (che indica il target) e lo stimolo imperativo (che dà il via libera al movimento). I segnali ERP, ottenuti mediante la tecnica dellâ averaging, sono stati analizzati sia a livello di scalpo, considerando i segnali di elettrodo, sia a livello di corteccia, dopo risoluzione del problema inverso, e considerando rappresentazioni prima a livello di singoli dipoli corticali e quindi di intere regioni corticali (ROI). Inoltre, è stata applicato un metodo di deep learning (rete neurale convoluzionale) per decodificare il segnale EEG a livello di singolo trial, ovvero classificare il target coinvolto nello specifico trial. La decodifica è stata applicata sia ai segnali di scalpo sia ai segnali delle ROI corticali. Complessivamente i risultati mostrano ERP ben visibili a livello di scalpo e legati sia a processing visivo che motorio. Gli ERP a livello di ROI corticali sono più rumorosi e sembrano cogliere meno processing motorio rispetto al visivo, presumibilmente anche in conseguenza di alcune scelte metodologiche nella ricostruzione di segnali di ROI. In linea con questo, le performance di decodifica sono migliori a livello di scalpo che di ROI corticali.

Voilà, un servizio dedicato ad allenatori e atleti di ginnastica ritmica

Voilà è un servizio dedicato ad allenatori e atleti di ginnastica ritmica. Questa disciplina è uno sport estetico che, idealmente, si pone tra la danza e la ginnastica artistica. In Italia è considerato uno sport minore, nonostante i grandi risultati in campo internazionale. Il progetto si sviluppa in risposta alle logiche di valutazione e alle richieste tecniche della ginnastica ritmica, con l'obiettivo di aumentare nei ginnasti la sicurezza delle proprie capacità, attraverso la scoperta e la costruzione di un’immagine corporea positiva. Ciò servirà a perfezionare il gesto tecnico che attraverso voilà può anche essere monitorato per superare l’eterna dicotomia tra risultati attuali e futuribilità. Non mancheranno strumenti di supporto all’allenatore dal punto di vista organizzativo, nella gestione degli errori e nella relazione con i propri atleti, con i quali è possibile condividere gli obiettivi e tenere traccia del raggiungimento degli stessi. Tutto questo avviene attraverso strumenti di registrazione e analisi video, grazie anche a un algoritmo di intelligenza artificiale. Questo servizio si impegna inoltre a colmare l’attuale frammentarietà delle fonti di informazione con cui si scontrano gli addetti ai lavori quasi quotidianamente: la condivisione o raccolta dei contenuti sui social e la successiva analisi fa ormai parte del lavoro di un buon tecnico, ma la chiusura del sito beatricevivaldi.com lascia un vuoto nel mondo della ginnastica ritmica, aprendo la strada a diverse possibilità progettuali. Infine, grazie a un sistema di gamification, possibile in un contesto competitivo come questo, l’esperienza di voilà coinvolgerà gli utenti in eventi e stage, contribuendo alla crescita omogenea di un movimento costituito da tecnici preparati e ginnasti motivati.

Analisi di fattibilità dello spostamento di un’isola produttiva nel contesto di un re-layout di stabilimento: il caso Bonfiglioli S.p.A.

Lo stabilimento forlivese di Bonfiglioli S.p.A., centrale nella produzione di riduttori epicicloidali per macchine mobili, escavatori, turbine eoliche e mobilità elettrica, è un elemento fondamentale per il successo dell’azienda che da anni è leader di mercato nella produzione di motoriduttori, azionamenti e inverter per numerosi settori. Questo fa sì che tale impianto sia da tempo oggetto di importanti investimenti per incrementare la produttività, migliorare la logistica interna, soddisfare standard di sicurezza e qualità di prodotto e di processo sempre più alti. Il presente elaborato si inserisce tra le attività di efficientamento dei flussi logistici di stabilimento e punta a valutare la possibilità di ricollocamento di un’isola robotizzata per montaggio di kit planetario all’interno del macro-reparto di assemblaggio, in previsione di investimenti attuali e futuri che ridisegneranno lo scenario produttivo interno. Per valutare la convenienza di spostamento è stata eseguita un’analisi costi-benefici, confrontando l’ubicazione attuale e un’alternativa possibile, condivisa con i responsabili dell’ente di ingegneria di processo, prendendo in esame i vantaggi che questa seconda porterebbe. È inoltre stato fatto un primo dimensionamento di massima (e cautelativo) per un’eventuale creazione di un supermarket per i kit montati dalla cella in esame. Scopo principale dell’elaborato oltre a quello di mettere in luce i miglioramenti possibili dei flussi logistici interni grazie allo spostamento di tale isola, è anche quello di portare una metodologia di analisi che possa poi essere riutilizzata e migliorata per progetti di relayout futuri a più ampio respiro, in un’ottica sempre più “Lean”.

Sviluppo ed applicazione di un modello di ottimizzazione per la gestione di una rete di Simbiosi Industriale

Nell’attuale contesto competitivo, sempre più alla ricerca di un incontro tra esigenze di natura economica e logiche di Sostenibilità Ambientale e di Economia Circolare (E.C.), questo elaborato si pone l’obiettivo di presentare un modello matematico, formulato per la simulazione e la conseguente ottimizzazione di una rete logistica gestita con logiche di Simbiosi Industriale (S.I.). Lo scopo di tale modello è fungere da supporto all’adozione di pratiche di S.I. in un determinato contesto territoriale, attraverso l’individuazione delle sinergie ottime, tra quelle considerate possibili, in grado di ridurre la produzione di rifiuti, a favore del riutilizzo di sottoprodotti e materie prime seconde, minimizzando il costo totale del sistema. Preliminarmente alla presentazione del modello, sarà descritto il contesto in cui la S.I. si colloca e i suoi collegamenti con i concetti di Ecologia Industriale (E.I.) ed E.C., verranno distinti i vari modelli esistenti di S.I. ed i casi di successo presenti nel contesto italiano ed europeo, e sarà illustrato l’attuale inquadramento normativo. In seguito, verranno descritti nel dettaglio il modello matematico e un caso studio, dimensionato allo scopo di validare il modello stesso. Fase particolarmente critica del lavoro è risultata essere quella relativa alla raccolta dati da inserire nel caso studio, in quanto informazioni sensibili e di conseguenza non facilmente reperibili. I risultati ottenuti dimostrano come possa risultare conveniente, dal punto di vista economico, l’adozione di pratiche di S.I. negli scambi tra realtà industriali, e in che modo tale convenienza muti al variare delle condizioni economiche al contorno.

Progettazione e sviluppo di un supporto Industry 4.0 per la manutenzione predittiva di macchine in ambito farmaceutico

La mia tesi riguarda il progetto che ho sviluppato all'interno di IMA Active. Inizia con un'introduzione ai concetti e tecnologie presenti nell'Industry 4.0, ho illustrato i vantaggi dell'utilizzo di piattaforme per il monitoraggio e supporto alla manutenzione predittiva degli asset in ambito aziendale per poi addentrarmi nella demo che ho sviluppato in Python per simulare le funzionalità che dovranno essere implementate in un sistema terzo (di tipo OSISoft Pi). In questo percorso ho introdotto il concetto di DTW e Golden batch che sono stati indispensabili nello sviluppo del progetto.