Integrazione sistemi a eventi e multi-agente: Kafka, TuCSoN e JADE

La tesi esplora le problematiche relative all'integrazione di tecnologie per lo sviluppo di sistemi multi-agente e tecnologie per lo sviluppo di sistemi di comunicazione ad eventi. In particolare è stata posta l'attenzione sui concetti condivisi da entrambe le tecnologie e su come sia possibile realizzare l'integrazione preservando i principi fondamentali delle due tipologie di sistemi, tramite l'implementazione di un'astrazione di coordinazione oggettiva. Inoltre viene mostrato un esempio di integrazione tra JADE, TuCSoN e Kafka, tramite un caso di studio che permette di utilizzare i tre modelli di coordinazione offerti da questi framework in un unico sistema multi-agente.

Caratterizzazione sperimentale di sistemi di localizzazione a banda ultra-larga

Il processo di localizzazione risponde all'esigenza dell'uomo di avere una percezione sempre più dettagliata e precisa del contesto in cui si trova, con l'intento di migliorare e semplificare l'interazione con oggetti e cose ivi presenti. L'idea attuale è quella di progettare sistemi di posizionamento con particolare riguardo agli ambienti indoor, caratterizzati da proprietà e densità di elementi che limitano fortemente le prestazioni dei consolidati sistemi di tracking, particolarmente efficienti in spazi aperti. Consapevole di questa necessità, il seguente elaborato analizza le prestazioni di un sistema di localizzazione sviluppato dall'Università di Bologna funzionante in tecnologia Ultra-Wide Bandwidth (UWB) e installato nei laboratori DEI dell'Alma Mater Studiorum con sede a Cesena. L'obiettivo è quello di caratterizzare l'accuratezza di localizzazione del sistema, suggerendo nuovi approcci operativi e de�finendo il ruolo dei principali parametri che giocano nel meccanismo di stima della posizione, sia in riferimento a scenari marcatamente statici sia in contesti in cui si ha una interazione dinamica degli oggetti con lo spazio circostante. Una caratteristica della tecnologia UWB è, infatti, quella di limitare l'errore di posizionamento nel caso di localizzazione indoor, grazie alle caratteristiche fisiche ed elettriche dei segnali, aprendo nuovi scenari applicativi favorevoli in termini economici, energetici e di minore complessità dei dispositivi impiegati.

I sistemi di impermeabilizzazione in edilizia: riflessioni intorno alle problematiche connesse con le tecniche di posa.

La progettazione del sistema di impermeabilizzazione di una generica copertura dipende da molti fattori: è fondamentale sia la scelta della stratigrafia, sia la scelta del materiale del manto impermeabile poiché non esistono soluzioni assolute ma solo soluzioni ottimali per ogni caso preso in esame. La progettazione della stratigrafia deve tenere conto della destinazione d’uso della copertura e del clima in cui è situato l’edificio, inoltre deve essere garantita una certa traspirabilità in modo da mantenere salubri gli ambienti sottostanti. Abbiamo visto come sia fondamentale il progetto delle soluzioni di dettaglio, dai raccordi verticali al fissaggio dei pannelli solare, dal raccordo dei bocchettoni di scarico alla sovrapposizione dei teli, tutte soluzioni che devono adeguatamente essere studiate e correttamente posate in opera. Una corretta posa in opera infatti permette la corretta realizzazione della fase di progetto. In questo elaborato ci siamo concentrati nel descrivere il più possibile la corretta esecuzione delle soluzioni di dettaglio, sottolineando, molte volte, quanto l’impermeabilizzazione dei punti singolari sia fondamentale e quanto sia importante supervisionare in cantiere la loro corretta esecuzione. In conclusione possiamo dire che una corretta soluzione progettuale è inutile se non è supportata da una corretta posa in opera della stessa e viceversa, quindi per realizzare una buona impermeabilizzazione sono fondamentali sia le fasi di studio progettuali che le fasi di lavoro in cantiere.

Controllo ultra-low power di un modulatore back-scattering per applicazioni di localizzazione in sistemi RFID

In questa tesi viene elaborata un'applicazione ultra-low power (ULP) basata su microcontrollore, per implementare la procedura di controllo di diversi circuiti di un tag RFID. Il tag preso in considerazione è pensato per lavorare in assenza di batteria, da cui la necessita' di ridurre i consumi di potenza. La sua attivazione deve essere inoltre comandata attraverso un'architettura Wake up Radio (WuR), in cui un segnale di controllo radio indirizza e attiva il circuito. Nello specifico, la rete di decodifica dell'indirizzo è stata realizzata mediante il modulo di comunicazione seriale del microcontrollore. Nel Capitolo 1 verrà introdotto il tema dell'Energy Harvesting. Nel Capitolo 2 verrà illustrata l'architettura del sistema nel suo complesso. Nel Capitolo 3 verrà spiegato dettagliatamente il funzionamento del microcontrollore scelto. Il Capitolo 4 sarà dedicato al firmware implementato per svolgere le operazioni fondamentali imputate al micro per i compiti di controllo. Verrà inoltre introdotto il codice VHDL sviluppato per emulare l'output del modulo WuR mediante un FPGA della famiglia Cyclone II. Nel Capitolo 5 verrà presentata una stima dei consumi del microcontrollore in funzione dei parametri di configurazione del sistema. Verrà inoltre effettuato un confronto con un altro microcontrollore che in alcune condizioni potrebbe rappresentare iun'alternativa valida di progetto. Nei Capitoli 6 e 7 saranno descritti possibili sviluppi futuri e conclusioni del progetto. Le specifiche di progetto rilevanti della tesi sono: 1. minimo consumo energetico possibile del microcontrollore ULP 2. elevata rapidità di risposta per la ricezione dei tag, per garantire la ricezione di un numero maggiore possibile di indirizzi (almeno 20 letture al secondo), in un range di tempo limitato 3. generazione di un segnale PWM a 100KHz di frequenza di commutazione con duty cycle 50% su cui basare una modulazione in back-scattering.

Caratterizzazione sperimentale di sistemi di comunicazione UWB

Questo elaborato presenta la caratterizzazione sperimentale di un sistema di comunicazione e localizzazione della DecaWave. Il sistema analizzato �è il kit EVK1000, che permette di e�ffettuare stime di distanza tra due nodi e una comunicazione robusta ai disturbi e immune alla propagazione multicammino grazie alla tecnologia UWB.

Ottimizzazione di mix design di geopolimeri a base di metacaolino e studio dei relativi processi di formatura

Il seguente lavoro di tesi si pone come obiettivo di ottimizzare il mix design di materiali geopolimerici a base di metacaolino in modo da ottimizzare il procedimento di formatura tramite pressatura tipico delle piastrelle ceramiche. La parte iniziale del lavoro sperimentale è stata incentrata sullo studio dell’ottimizzazione delle formulazioni per ottenere impasti geopolimerici a base di metacaolino idonei per la pressatura e il colaggio; sono stati quindi preparate diverse formulazioni ottenute variando diversi parametri di processo, quali il contenuto totale di acqua dell’impasto e la concentrazione di quarzo utilizzato come filler inerte. Su tali mix è stato individuato il processo di formatura più idoneo dal punto di vista di temperatura di consolidamento, modalità e tempi di cottura ed è stato messo a punto il procedimento ottimale per la preparazione dei materiali, procedimento che è stato poi mantenuto per l’intero decorso dello studio. Nella produzione degli impasti si è deciso di eliminare sistematicamente quelle formulazioni che avevano prodotto materiali con peggiori prestazioni fisiche, come alcune formulazioni testate per il colaggio. Successivamente, dopo avere preparato i campioni, su di essi sono state eseguite le prove di assorbimento d’acqua e porosimetria ad intrusione di mercurio, per valutare le caratteristiche fisiche dei vari impasti prodotti, osservazioni al microscopio ottico e al microscopio a scansione elettronica, per analizzare i campioni selezionati dal punto di vista microstrutturale e morfologico e prove al microscopio riscaldante, per studiarne il comportamento alle alte temperature. I risultati ottenuti sono stati messi a confronto con quelli dei materiali ceramici tradizionali, per avere indicazioni sulla potenzialità dei prodotti a base geopolimerica come alternativa alla produzione di piastrelle ceramiche.

Ottimizzazione stocastica di una microrete con tecnologia "vehicle-to-grid"

La presente tesi ha come obiettivo quello di sviluppare un modello per la gestione ottimizzata delle unità di generazione e di accumulo di una microrete elettrica. La tesi analizza, come caso studio di riferimento, una microrete contenente impianti di generazione da fonti rinnovabili, sistemi di accumulo a batteria (BES:Battery Energy System) e stazioni di ricarica per veicoli elettrici. In particolare le stazioni di ricarica sono a flusso bidirezionale, in grado di fornire servizi di tipo "grid-to-vehicle"(G2V) e "vehicle-to-grid" (V2G). Il modello consente di definire, come sistema di dispacciamento centrale, le potenze che le varie risorse distribuite devono erogare o assorbire nella rete nelle 24 ore successive. Il dispacciamento avviene mediante risoluzione di un problema di minimizzazione dei costi operativi e dell'energia prelevata dalla rete esterna. Il problema è stato formulato tramite l'approccio di programmazione stocastica lineare dove i parametri incerti del modello sono modellizzati tramite processi stocastici. L'implementazione del modello è stata effettuata tramite il software AIMMS, un programma di ottimizzazione che prevede al suo interno delle funzionalità specifiche per la programmazione stocastica

Sistemi di protezione per i guasti verso terra

Con questa tesi di laurea si vogliono analizzare le possibili cause e motivazioni e le molteplici soluzioni di fenomeni presenti sia in ambito domestico sia in ambito industriale e riguardanti i sistemi di protezione per i guasti verso terra. Le problematiche analizzate, come si vedrà, sono sempre più tematiche di attualità e questo a causa del sempre maggiore utilizzo di elettronica di potenza, convertitori, inverter, computer e controlli elettronici in generale. Se da un lato questi carichi sono sempre più sensibili ad interruzioni o anomalie nella tensione ai loro capi, d’altro canto spesso essi stessi sono tra i colpevoli delle anomalie stesse. In un primo momento si vedrà un fenomeno molto comune e conosciuto che è lo scatto intempestivo del differenziale che può causare danni di una certa entità. In una seconda parte saranno poi analizzate altre problematicità legate all’interruttore differenziale ed ai sistemi di terra, in particolare per quanto riguarda il loro funzionamento nel caso di correnti di guasto non perfettamente sinusoidali o totalmente non sinusoidali. La non sinusoidalità, originata prevalentemente dai carichi non lineari, oltre a dare le problematiche ben conosciute sia a livello di rete sia a livello dei carichi collegati (aumenti delle perdite, malfunzionamenti, sovraccarico del conduttore di neutro) dà distorsione della corrente (in questo caso di quella di guasto a terra) modificando sia il comportamento del differenziale in caso di guasto (ad esempio mancato intervento dell’interruttore con i conseguenti pericoli per l’essere umano) sia le curve di sicurezza. Per procedere ad un’analisi più dettagliata delle non idealità nel funzionamento nell’interruttore automatico differenziale (sia per quanto riguarda lo scatto intempestivo sia per quanto riguarda altre problematiche) è necessario conoscerne in maniera adeguata sia la struttura sia il principio di funzionamento ed anche le diverse tipologie esistenti sul mercato.

Analisi di aspetti di Security da attacchi informatici su Impianti di Processo

Gli impianti industriali moderni sono di tipo automatizzato, i processi sono cioè pilotati da un’unità di calcolo che fornisce i comandi necessari atti al corretto funzionamento dell’impianto. Queste tecnologie espongono le apparecchiature a problemi di Security, dunque attacchi volontari provenienti dall’esterno, al sistema di controllo. Esso può diventare la variabile manipolabile del terrorista informatico il quale può causare lo shut down del segnale o cambiare l’impostazione dei parametri di processo.Lo studio esposto si propone di identificare le possibili modalità di attacco e di individuare uno strumento sistematico che permetta di valutarne la vulnerabilità ad un possibile atto di sabotaggio. La procedura proposta è la PSC-SHaRP (Process System Cyber-Security Hazard Review Procedure) essa consta di due strutture chiamate rispettivamente Alpha e Beta. La metodologia è volta a individuare i potenziali pericoli posti dagli attacchi informatici piuttosto che a stimarne un profilo di rischio e/o probabilità di successo. La ShaRP Alpha, viene utilizzata per analizzare le conseguenze di deviazioni cyber su singole macchine presenti in impianto o sistemi modulari. La ShaRP Beta viene utilizzata per analizzare le conseguenze di attacchi cyber sul sistema costituito dall’impianto di processo. Essa è quindi in grado di analizzare le ripercussioni che manipolazioni su una o più apparecchiature possono avere sull’impianto nel suo complesso. Nell’ultima parte dell’elaborato sono state trattate le possibilità di accesso da parte del ‘’terrorista’’ al sistema di controllo e sicurezza, dunque i sistemi di gestione del DCS e del SIS e le barriere software e hardware che possono essere presenti.

Progetto e sviluppo di un automa per la gestione ed il controllo di sistemi a pilotaggio remoto

L’attenzione di questa tesi si pone sulla progettazione e lo sviluppo di un automa per il controllo di sistemi a pilotaggio remoto. Punto di partenza dell'intero progetto è stata l'analisi del quadrirotore programmato ed utilizzato dai ricercatori del progetto SHERPA. Le funzionalità evidenziate dall'analisi sono state poi elaborate secondo l'approccio con Attuatore Generalizzato ed implementate in Codesys. Questo software si compone di una parte di controllo, una di simulazione ed una o più interfacce grafiche dedicate all'interazione con l'utente. L'utilizzo di Codesys ha permesso di implementare un automa modulare e riusabile, base di partenza per i futuri progetti di automi aerei. L'automa realizzato consente infine di simulare il comportamento di un generico sistema a pilotaggio remoto e di osservarne la sequenza logica con cui le azioni vengono eseguite.

From Polarity to Morphogenesis PAK Behaviors and Mechanism for Bud Sensing in Morphogenesis Checkpoint

Bud formation by Saccharomyces cerevisiae is a fundamental process for yeast proliferation. Bud emergence is initiated by the polarization of the cytoskeleton, leading to local secretory vesicle delivery and gulcan synthase activity. The master regulator of polarity establishment is a small Rho-family GTPase – Cdc42. Cdc42 forms a clustered patch at the incipient budding site in late G1 and mediates downstream events which lead to bud emergence. Cdc42 promotes morphogenesis via its various effectors. PAKs (p21-activated kinases) are important Cdc42 effectors which mediate actin cytoskeleton polarization and septin filament assembly. The PAKs Cla4 and Ste20 share common binding domains for GTP-Cdc42 and they are partially redundant in function. However, we found that Cla4 and Ste20 behaved differently during the polarization and this depended on their different membrane interaction domains. Also, Cla4 and Ste20 compete for a limited number of binding sites at the polarity patch during bud emergence. These results suggest that PAKs may be differentially regulated during polarity establishment.

Morphogenesis of yeast must be coordinated with the nuclear cycle to enable successful proliferation. Many environmental stresses temporarily disrupt bud formation, and in such circumstances, the morphogenesis checkpoint halts nuclear division until bud formation can resume. Bud emergence is essential for degradation of the mitotic inhibitor, Swe1. Swe1 is localized to the septin cytoskeleton at the bud neck by the Swe1-binding protein Hsl7. Neck localization of Swe1 is required for Swe1 degradation. Although septins form a ring at the presumptive bud site prior to bud emergence, Hsl7 is not recruited to the septins until after bud emergence, suggesting that septins and/or Hsl7 respond to a “bud sensor”. Here we show that recruitment of Hsl7 to the septin ring depends on a combination of two septin-binding kinases: Hsl1 and Elm1. We elucidate which domains of these kinases are needed, and show that artificial targeting of those domains suffices to recruit Hsl7 to septin rings even in unbudded cells. Moreover, recruitment of Elm1 is responsive to bud emergence. Our findings suggest that Elm1 plays a key role in sensing bud emergence.

Il Vestibolo di Piazza d'Oro - Rilievi per la modellazione 3D ed il texturing

Il caso studio del vestibolo ottagonale di Villa Adriana ha dato la possibilità di applicare ad un edificio di notevole valore storico e artistico tecniche di restituzione digitale e di modellazione tridimensionale basate su applicativi di modellazione geometrica, con lo scopo di generarne il modello 3D digitale fotorealistico e polifunzionale. Nel caso specifico del vestibolo, un modello tridimensionale di questo tipo risulta utile a fini documentativi, a sostegno di ipotesi costruttive e come strumento per la valutazione di interventi di restauro. Il percorso intrapreso ha permesso di valutare le criticità nelle tecniche di acquisizione, modellazione e foto-modellazione tridimensionale applicate in ambito archeologico, tecniche usate abitualmente anche in settori quali l’architettura, il design industriale ma anche nel cinema (effetti speciali e film d’animazione) e in ambito videoludico, con obiettivi differenti: nel settore del design e della progettazione industriale il Reverse Modeling viene impiegato per eseguire controlli di qualità e rispetto delle tolleranze sul prodotto finale, mentre in ambito cinematografico e videoludico (in combinazione con altri software) permette la creazione di modelli realistici da inserire all’interno di film o videogiochi, (modelli non solo di oggetti ma anche di persone). La generazione di un modello tridimensionale ottenuto tramite Reverse Modeling è frutto di un processo opposto alla progettazione e può avvenire secondo diverse strategie, ognuna delle quali presenta vantaggi e svantaggi specifici che la rendono più indicata in alcuni casi piuttosto che in altri. In questo studio sono state analizzate acquisizioni tridimensionali effettuate tramite Laser Scan e tramite applicazioni Structure from Motion/Dense Stereo View.

Progettazione e realizzazione di un banco prova di misura delle caratteristiche elettromeccaniche di sistemi propulsivi per droni elettrici

La tesi in esame ha come obiettivo la progettazione e la realizzazione di un banco prova per la misura delle caratteristiche elettromeccaniche di sistemi propulsivi per droni elettrici.

Progetto e sviluppo di un banco di prova per sistemi di determinazione e controllo d'assetto di CubeSat

Progettazione di dettaglio di un banco di prova per testare sistemi ADCS per CubeSat: Alma Test-Bed. Ci si è concentrati sul progetto di un primo nucleo di AlmaTB in grado di testare il controllo di tipo magnetico. Fanno parte di AlmaTB una gabbia di Helmholtz, un air-bearing system, un CubeSat di test, un metrology system. La gabbia di Helmholtz è un apparato costituito da tre coppie di bobine, una per ogni asse spaziale, che serve ad annullare il campo magnetico locale e simulare quello che si troverà in orbita attorno alla Terra. Un software ricava i dati del campo magnetico terrestre da modello IGRF a determinate coordinate e quota e fornisce agli alimentatori del set di bobine l'indicazione della corrente da distribuire. L'air-bearing system è un cuscinetto d'aria generato da un compressore che serve a ricreare le caratteristiche condizioni dell'ambiente spaziale di microgravità e attrito quasi-zero. Il CubeSat di test sarà montato su questo sistema. Il CubeSat di test, nella prima versione di AlmaTB, contiene i sensori e gli attuatori di tipo magnetico per determinare e controllare l'assetto di un nanosatellite. Il magnetometro presente all'interno è utilizzato anche come controllo del funzionamento della gabbia di Helmholtz. Il metrology system traccia i movimenti e l'inclinazione del CubeSat. Questo fornisce il riferimento di assetto vero, in modo da capire se il sistema ADCS lavora correttamente. Una volta che il banco di prova sarà completato e operativo sarà possibile testare algoritmi di determinazione e controllo di assetto che utilizzano diversi dispositivi tra sensori e attuatori disponibili nel mock-up. Su una workstation sono installati i software di controllo ed elaborazione dati. Si è scelto di procedere con un approccio di tipo "chiavi in mano", cioè scegliendo, quando disponibile, sistemi già completi e disponibili sul mercato. La prima versione di AlmaTB nasce dall'importante, vasto lavoro di matching tra i diversi apparati.

Processi di scattering in astrofisica

L'attenzione è stata posta su tre fenomeni fondamentali di scattering: Thomson, Compton e Compton inverso. Sono state sottolineate alcune ed eventuali applicazioni astrofisiche di questi e valutate le implicazioni o generalizzazioni che da tali fenomeni possono derivare: Synchrotron Self-Compton, Comptonizzazione ed effetto Sunyaev-Zeldovich termico. Infine è stato preso un caso astrofisico come applicazione di questi fenomeni: Sagittarius A*, una fonte radio proveniente dal centro della nostra galassia, molto studiata negli anni, citando un articolo pubblicato su una rivista scientifica nel 2012.