Programmazione di sistemi multi-agente: la piattaforma Jason come caso di studio

L’obiettivo principale di questo elaborato è di mostrare in un primo momento i concetti fondamentali che stanno alla base del paradigma ad agenti. Una volta introdotti, essi verranno collocati in un determinato ambiente di programmazione attraverso una piattaforma specifica chiamata Jason. Come sarà facile capire dalla lettura di questa trattazione, un sistema ad agenti è costituito dagli agenti stessi e dall’ambiente in cui sono situati. L’ambiente risulta quindi un altro tassello fondamentale ed è stato introdotto allo scopo un nuovo paradigma per la programmazione di ambienti chiamato Agent & Artifact. Nello specifico, verrà ampiamente descritto il framework di riferimento di tale paradigma: CArtAgO. Dopo aver illustrato i concetti e gli strumenti per poter agilmente programmare e progettare sistemi ad agenti, verrà infine mostrato un esempio di applicazione di tale tecnologia attraverso un case study. Il progetto del sistema in questione riguarda un reale caso aziendale e integra la tecnologia RFID con quella ad agenti per fornire la soluzione ad un problema noto come quello del controllo periodico delle scorte.

Il test di primalità aks

La tesi presenta l'algoritmo AKS, deterministico e polinomiale, scoperto dai matematici Agrawal, Kayal e Saxena nel 2002. Esso si basa su una generalizzazione del Piccolo Teorema di Fermat all'anello dei polinomi a coefficienti in Zp.

H-gruppi e co-H-gruppi

Si inizia generalizzando la teoria dei gruppi a categorie qualsiasi, quindi senza necessariamente un insieme sostegno, studiando anche i cogruppi, ovvero gli oggetti duali dei gruppi, e caratterizzando in termini categoriali tali strutture. Vengono poi studiati oggetti topologici con la struttura di gruppo generalizzato vista inizialmente, compatibile con la struttura topologica. L'utilità degli H-gruppi e dei co-H-gruppi è specialmente in topologia algebrica, dove la struttura di questi oggetti fornisce molte informazioni sul loro comportamento, in termini di gruppi di omotopia e di più generici gruppi di mappe fra loro e altri spazi. Vengono poi dati esempi di questi oggetti, e si studia come i co-H-gruppi, in particolare, permettono di definire i gruppi di omotopia e di dimostrare i risultati fondamentali della teoria dell'omotopia.

Rivestimenti ramificati semplici in dimensione 3

In questa tesi, che si colloca nell'ambito della topologia algebrica, si affronta l'approccio allo studio delle 3-varietà mediante il concetto di rivestimento. In particolare si studiano i rivestimenti ramificati il cui l'insieme di ramificazione è un link. Il tema centrale della tesi è il teorema di Hilden-Montesinos, che in particolare tratta di rivestimenti ramificati di ordine 3 semplici. Per questo si affronta il concetto di monodromia e di gruppo di un link. L'ultima parte descrive il problema di trovare equivalenze tra diagrammi colorati che rappresentano 3-varietà, mostrando infine una possibile soluzione trovata da Riccardo Piergallini.

Sistemi a base di Pt/ossido di grafene per la riduzione catalitica del 5-idrossimetilfurfurale

L’ossido di grafene è caratterizzato da una elevata quantità di gruppi funzionali contenenti ossigeno sia sulla superficie che sui bordi e grazie ad essi è altamente disperdibile in acqua. Questa peculiare caratteristica permette il suo utilizzo come catalizzatore nelle reazioni in fase liquida. I materiali grafenici possono essere impiegati come catalizzatori e come supporti in diversi campi della catalisi, tra cui la bioraffineria. Uno dei principali derivati da biomasse è il 5-idrossimetilfurfurale (HMF). In questa tesi è stata investigata la reazione di riduzione selettiva del gruppo aldeidico di HMF per ottenere 2,5-bisidrossimetilfurano (BHMF), utilizzato per la produzione di polimeri e come intermedio per la produzione di acido adipico ed esametilediammina. In questo lavoro di tesi si è cercato di sviluppare un catalizzatore in grado di operare a bassa temperatura e con basse pressioni di H2, utilizzando acqua come solvente. Lo scopo di questo lavoro è stato quindi lo studio e la caratterizzazione di catalizzatori eterogenei in pellet a base di Pt/ossido di grafene/ossidi ceramici (TiO2, Al2O3) e la loro applicazione nella reazione di riduzione del 5-idrossimetilfurfurale (HMF) a 2,5-bisidrossimetilfurano (BHMF) in fase liquida. Per lo sviluppo del catalizzatore sono state indagate diverse vie di sintesi e diversi precursori di Pt. Per conoscere le condizioni ottimali di reazione, selezionare il supporto ottimale e studiare l’influenza dell’area superficiale sono stati preparati catalizzatori tradizionali di riferimento in polvere. Le prestazioni dei catalizzatori in polvere sono state inoltre confrontate con i catalizzatori analoghi in pellet per verificare l’influenza del trasferimento di materia. Infine, si è studiata l’influenza del GO nell’attività catalitica utilizzando due forme cristalline di titania. I dati catalitici ottenuti sono stati confrontati con dei catalizzatori convenzionali in polvere di Pt supportato su carbone (grafene e carbone attivo). Le proprietà dei catalizzatori preparati sono state messe in relazione con la loro attività catalitica.

Sintesi di nuovi copolimeri a struttura controllata per inibire la formazione d'idrati

Durante i processi di estrazione può avvenire la formazione spontanea d’idrati di gas naturali, i quali, agglomerandosi, possono ostruire le tubazioni. Inibire la formazione degli idrati è quindi di fondamentale importanza al fine di prevenire danni ambientali ed economici. In questo contesto abbiamo ritenuto interessante sintetizzare diversi copolimeri a struttura controllata con lo scopo di utilizzarli come inibitori d’idrati. In particolare, dopo aver ottimizzato la sintesi dell’omopolimero costituente il primo blocco mediante ATRP, questo è stato utilizzato come macroiniziatore per la successiva copolimerizzazione di tre altri monomeri a diversa polarità. L’efficienza d’inibizione di tutti i derivati copolimerici ottenuti è stata testata e confrontata con quella di additivi commerciali attualmente in uso mediante DSC.

Caratteristiche principali dell'emissione di galassie a spirale

Le galassie spirali hanno la forma di un disco, con un nucleo globulare più o meno prominente detto bulge e alcune braccia a spirale che si avvolgono attorno ad esso. Il tutto è in rotazione attorno all'asse del disco, con una velocità angolare che varia dal centro alla periferia. Le spirali vengono designate con la lettera S, seguita da una lettera (a, b o c) a seconda dell'importanza dei bracci. Nelle spirali di tipo Sa, i bracci sono piuttosto stretti e il nucleo è preponderante, nelle Sb invece i bracci sono più prominenti e nelle Sc sono ancora più importanti rispetto al nucleo e hanno anche un aspetto piu' "diffuso". Le spirali barrate, che si indicano con la notazione SB seguita dalle lettere a, b o c, sono identiche alle precedenti, salvo per il fatto che le braccia partono dalle estremità di una barra di stelle e gas che attraversa diametralmente il bulge, anziché direttamente da questo. Il contenuto di queste galassie a spirale è piuttosto disomogeneo; la densità della materia diminuisce dal centro verso la periferia. Inoltre possiedono una grande quantità di gas mischiato a polvere, dal quale si formano tutt'ora molte nuove stelle. Le stelle sono concentrate nel nucleo, nei bracci e in un alone di ammassi globulari disposti intorno alla galassia. Inoltre, questo gas è soggetto a processi violenti come l'esplosione di supernoavae, che vi immettono grandi quantità di energia e altro materiale, perciò la materia interstellare è disposta in modo piuttosto irregolare, concentrata in nubi di varie dimensioni. E da queste nubi si formano le stelle. Nella prima parte dell'elaborato ci occuperemo del mezzo interstellare: temperatura e densità differenziano le fasi dell' ISM, da qui discendono i vari processi di emissione/assorbimento che vedremo nella seconda parte. Principalmente andremo ad analizzare cinque bande di emissione (banda X, ottica, radio, gamma e infrarossa) e vedremo come appaiono tipicamente le galassie a spirale a lunghezze d'onda differenti, quali sono i processi in gioco e come il mezzo interstellare sia fondamentale in quasi ogni tipo di processo. A temperature elevate, esso è responsabile dell'emissione X della galassia, mentre regioni più fredde, formate da idrogeno ionizzato, sono responsabili delle righe di emissione presenti nello spettro ottico. Il campo magnetico, tramite le sue interazioni con elettroni relativistici è la principale fonte dell'emissione radio nel continuo di una galassia a spirale, mentre quella in riga è dovuta a idrogeno atomico o a gas freddo. Vedremo infine come raggi cosmici e polvere, che fanno sempre parte del mezzo interstellare, siano rispettivamente la causa principale dell'emissione gamma e infrarossa.

Risolubilità delle equazioni polinomiali

Scopo di questo elaborato è studiare la risolubilità per radicali di un polinomio a coefficienti in un campo di caratteristica zero attraverso lo studio del gruppo di Galois del suo campo di spezzamento. Dopo aver analizzato alcuni risultati su gruppi risolubili e gruppi semplici, vengono studiate le estensioni radicali e risolubili. Viene inoltre dimostrato su un campo K di caratteristica zero il Teorema di Galois, che caratterizza i polinomi risolubili per radicali f a coefficienti in K attraverso la risolubilità del gruppo di Galois G(L/K), dove L è il campo di spezzamento di f. La tesi contiene anche un'esposizione sintetica del metodo introdotto da Lagrange per la risoluzione di equazioni polinomiali di cui si conosca il gruppo di Galois.

Estensioni trascendenti di campi

Lo scopo di questa tesi è di studiare i principali risultati riguardanti le estensioni trascendenti di campi, l'indipendenza algebrica di elementi trascendenti su un campo, le basi di trascendenza di un'estensione. A partire da questi risultati vengono dimostrati due importanti teoremi di geometria algebrica: il Teorema degli zeri di Hilbert e il Teorema di Lüroth.

Studio della stabilita spazio-temporale di G: modello di laboratorio di un apparato per sonde interplanetarie

L'isolamento gravitazionale delle sonde dello spazio profondo durante le loro fasi di crociera ed i loro esigui livelli di vibrazioni, le rendono la migliore collocazione possibile per mini-laboratori automatici di fisica fondamentale da installare su di esse come strumenti scientifici. Date le note difficoltà di misurazione della costante di gravitazione universale, probabilmente dovute alla collocazione terrestre dei laboratori, si propone di dedicare un mini-laboratorio alla misurazione del valore locale ed istantaneo della costante G ed alla sua stabilità spazio-temporale durante il moto della sonda. La misurazione di G nel mini-laboratorio può essere effettuata rilasciando con attuatori elettrostatici, senza velocità relativa, due masse campione, preferibilmente due sfere d’oro da 1Kg, a distanza di 1 mm, e monitorando il loro libero moto, dominato dall’attrazione gravitazionale reciproca, con un sensore di spostamento laser interferometrico multicanale. Dopo il congiungimento le masse dovrebbero essere riposizionate e rilasciate nuovamente per una misurazione quasi continua della costante. Un meccanismo dorrebbe invece bloccare le masse durante le fasi dinamiche della sonda. Un sensore di spostamento interferometrico a fibre ottiche, FPS3010 della Attocube, appariva adatto ed un esperimento è stato realizzato per provarlo in un apparato simulante il mini-laboratorio. In una campana del vuoto isolata dalle vibrazioni, due cilindri in tungsteno da 1Kg sono stati sospesi orizzontante tramite micro-Dyneema a piastre in allumino movimentate da nanoposizionatori piezoelettrici dotati di encoder ottico nanometrico. Il sensore ha monitorato il moto radiale dei cilindri, le cui basi combacianti sono state posizionate a distanze di separazione variabili da 10 micron a 5000 micron. Malgrado il rumore meccanico ed una sorgente ignota di errore sistematico, un moto attrattivo è stato riscontrato differenzialmente o direttamente in molte misurazioni e nessuna ha mostrato un moto repulsivo. In alcune misurazioni è direttamente visibile la rotazione dell’asse di oscillazione dei cilindri sospesi. Il sensore si è comportato egregiamente.

Fasi geometriche, fase di Berry ed effetto Aharonov-Bohm

Un sistema sottoposto ad una lenta evoluzione ciclica è descritto da un'Hamiltoniana H(X_1(t),...,X_n(t)) dipendente da un insieme di parametri {X_i} che descrivono una curva chiusa nello spazio di appartenenza. Sotto le opportune ipotesi, il teorema adiabatico ci garantisce che il sistema ritornerà nel suo stato di partenza, e l'equazione di Schrödinger prevede che esso acquisirà una fase decomponibile in due termini, dei quali uno è stato trascurato per lungo tempo. Questo lavoro di tesi va ad indagare principalmente questa fase, detta fase di Berry o, più in generale, fase geometrica, che mostra della caratteristiche uniche e ricche di conseguenze da esplorare: essa risulta indipendente dai dettagli della dinamica del sistema, ed è caratterizzata unicamente dal percorso descritto nello spazio dei parametri, da cui l'attributo geometrico. A partire da essa, e dalle sue generalizzazioni, è stata resa possibile l'interpretazione di nuovi e vecchi effetti, come l'effetto Aharonov-Bohm, che pare mettere sotto una nuova luce i potenziali dell'elettromagnetismo, e affidare loro un ruolo più centrale e fisico all'interno della teoria. Il tutto trova una rigorosa formalizzazione all'interno della teoria dei fibrati e delle connessioni su di essi, che verrà esposta, seppur in superficie, nella parte iniziale.

Teoria di Galois e polinomi ciclotomici

Questa tesi tratta di argomenti di Teoria di Galois. In essa sono presenti alcuni richiami fondamentali della teoria di Galois, come il gruppo di Galois di una estensione di campi di Galois e la corrispondenza di Galois. Prosegue con lo studio delle radici m-esime primitive dell'unità e dei polinomi ciclotomici. Infine si studia il gruppo di Galois di un polinomio ciclotomico.

Un sistema di controllo accessi basato su tecnologie wearable

Negli ultimi anni il mondo ha assistito ad un'espansione esponenziale del mercato mobile, un settore che ha rivoluzionato le nostre vite e le nostre abitudini. Parallelamente, sono entrati in commercio i primi dispositivi commerciali dell'era dell'Internet delle Cose (Internet-of-Things), un paradigma secondo il quale oggetti utilizzati quotidianamente possono dialogare tra loro mediante Internet al fine di migliorare la vita personale e i processi produttivi aziendali. Un'applicazione pratica di Internet-of-Things è costituita dai dispositivi indossabili (wearable) capaci per mezzo di sensori di raccogliere dati sanitari, ambientali e fisici attorno a noi. I dispositivi indossabili attualmente in commercio permettono di collegarsi tramite protocolli e standard come WiFi e Bluetooth ad altri dispositivi, siano essi indossabili, smartphone o computer. Da questo concetto nasce l’idea di far comunicare un indossabile con altri dispositivi utilizzati in un contesto aziendale. In questo documento verrà preso in considerazione un tassello fondamentale nella gestione delle risorse umane e della sicurezza: il controllo degli accessi in un edificio e lo sblocco di un varco, sia esso un tornello, una porta o una serranda. Verrà quindi analizzato e progettato un sistema che possa effettuare le operazioni di timbratura e di apertura di varchi dall'orologio Apple Watch e da iPhone collegandosi ad un terminale dedicato.

Sistemi hands-free basati su smart-glass a supporto di attivita di customer care di un'impresa

Da alcuni anni in ambito business ed enterprise si sta diffondendo l'utilizzo di dispositivi wearable al fine di rendere più efficiente ed efficace la gestione di molteplici attività e processi aziendali. I sistemi hand-held comunemente utilizzati in ambito lavorativo, tra cui smartphone e tablet, spesso non risultano idonei in contesti in cui un operatore debba interagire con il dispositivo mentre ha le proprie mani impegnate con attrezzature e strumenti di lavoro. I sistemi hands-free rimediano a tali problematiche supportando tecniche di interazione non convenzionali che consentono all'operatore di mantenere libere le proprie mani durante la consultazione del dispositivo e di rimanere concentrato sull'attività che sta svolgendo. I sistemi basati su smart-glass, oltre ad offrire funzionalità hands-free, presentano l'ulteriore vantaggio di poter presentare all'interno del campo visivo dell'utente importanti informazioni di supporto inerenti all'attività che sta svolgendo, avvalendosi anche dell'utilizzo di tecnologie di realtà aumentata. La sinergia tra dispositivi basati su smart-glass e tecniche di realtà aumentata sta destando un crescente interesse sia in ambito accademico che industriale; esiste la possibilità che in un prossimo futuro questa tipologia di sistemi divenga la nuova piattaforma computazionale enterprise di riferimento. L'obiettivo di questo lavoro di tesi è stato lo studio e la progettazione di una soluzione hands-free basata su smart-glass in grado di supportare alcune attività di customer care del Gruppo Loccioni, una società che si occupa dello sviluppo di sistemi automatici di misura e controllo per migliorare la qualità, l'efficienza e la sostenibilità di prodotti, processi ed edifici. In particolare, il sistema sviluppato ha consentito di migliorare la gestione dei processi di manutenzione e riparazione degli impianti energetici sostenibili che il Gruppo Loccioni installa presso le sedi di imprese clienti.

Estrazione di parametri elettromiografici per la quantificazione di un percorso riabilitativo basato su elettroterapia

L'elettromiografia di superficie (sEMG) è la tecnica non invasiva che si occupa della misura e analisi dell'attività elettrica associata alla contrazione del muscolo scheletrico, che viene prelevata tramite elettrodi superficiali. Si vuole dimostrare come questa metodologia rappresenti un valido strumento di monitoraggio quantitativo da affiancare ad un trattamento di elettroterapia. Si sono effettuate rilevazioni elettromiografiche su sette pazienti presso centri fisioterapici e si sono estratti una serie di parametri numerici dal segnale elettromiografico (Media Lavoro, Media Riposo, Deviazione Lavoro, Deviazione Riposo, Tempo Inizio, Tempo Rilassamento, MVC, IEMG) in grado di fornire una misura oggettiva dell'andamento del percorso di riabilitazione. Con il test statistico ANOVA per misure ripetute si è visto come alcuni di questi parametri subiscono miglioramenti statisticamente significativi in seguito alla terapia. Dopo aver messo in evidenza l'impossibilità di estrarre il segnale grezzo, quindi effettuare un'analisi in frequenza, si è proposta un'elaborazione completa del segnale elettromiografico a partire da un tracciato grezzo acquisito su un soggetto sano, mostrando in particolare la possibilità di calcolare ulteriori parametri in frequenza. Si è inoltre sottolineata la necessità di ripetere uno studio analogo su un gruppo di soggetti superiore e che preveda il monitoraggio dell'impedenza di contatto elettrodo-cute.