From data to applications in the Internet of Things

Con la crescita in complessità delle infrastrutture IT e la pervasività degli scenari di Internet of Things (IoT) emerge il bisogno di nuovi modelli computazionali basati su entità autonome capaci di portare a termine obiettivi di alto livello interagendo tra loro grazie al supporto di infrastrutture come il Fog Computing, per la vicinanza alle sorgenti dei dati, e del Cloud Computing per offrire servizi analitici complessi di back-end in grado di fornire risultati per milioni di utenti. Questi nuovi scenarii portano a ripensare il modo in cui il software viene progettato e sviluppato in una prospettiva agile. Le attività dei team di sviluppatori (Dev) dovrebbero essere strettamente legate alle attività dei team che supportano il Cloud (Ops) secondo nuove metodologie oggi note come DevOps. Tuttavia, data la mancanza di astrazioni adeguata a livello di linguaggio di programmazione, gli sviluppatori IoT sono spesso indotti a seguire approcci di sviluppo bottom-up che spesso risulta non adeguato ad affrontare la compessità delle applicazione del settore e l'eterogeneità dei compomenti software che le formano. Poichè le applicazioni monolitiche del passato appaiono difficilmente scalabili e gestibili in un ambiente Cloud con molteplici utenti, molti ritengono necessaria l'adozione di un nuovo stile architetturale, in cui un'applicazione dovrebbe essere vista come una composizione di micro-servizi, ciascuno dedicato a uno specifica funzionalità applicativa e ciascuno sotto la responsabilità di un piccolo team di sviluppatori, dall'analisi del problema al deployment e al management. Poichè al momento non si è ancora giunti a una definizione univoca e condivisa dei microservices e di altri concetti che emergono da IoT e dal Cloud, nè tantomento alla definzione di linguaggi sepcializzati per questo settore, la definzione di metamodelli custom associati alla produzione automatica del software di raccordo con le infrastrutture potrebbe aiutare un team di sviluppo ad elevare il livello di astrazione, incapsulando in una software factory aziendale i dettagli implementativi. Grazie a sistemi di produzione del sofware basati sul Model Driven Software Development (MDSD), l'approccio top-down attualmente carente può essere recuperato, permettendo di focalizzare l'attenzione sulla business logic delle applicazioni. Nella tesi viene mostrato un esempio di questo possibile approccio, partendo dall'idea che un'applicazione IoT sia in primo luogo un sistema software distribuito in cui l'interazione tra componenti attivi (modellati come attori) gioca un ruolo fondamentale.

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.

Applicazione della Tomografia con raggi X per la lettura virtuale di antichi manoscritti veneziani

Questo lavoro di tesi si inserisce in un progetto di ricerca internazionale denominato “Venice Time Machine” dove collaborano fianco a fianco l’Ecole Polytechnique Fédérale de Lausanne e l’Università Cà Foscari di Venezia. Grazie al coinvolgimento dell’Archivio di Stato di Venezia, decine di chilometri di documenti verranno digitalizzati e indicizzati, al fine di creare un database open access da utilizzare per la ricerca e l’istruzione. Molti di questi documenti tuttavia sono particolarmente fragili oppure, come nel caso di diversi testamenti, non sono mai stati aperti, per cui le tecniche tradizionali di digitalizzazione non sono applicabili. Di qui deriva l’interesse per sperimentare nuove tecniche non invasive al fine di digitalizzare e quindi rendere fruibili al pubblico anche questi documenti altrimenti inaccessibili. Lo scopo dell’analisi tomografica è quello di creare un modello 3D del documento, su cui effettuare successive elaborazioni al fine di ottenere una separazione virtuale delle pagine e quindi permetterne la lettura anche se il manoscritto è chiuso e non può essere aperto. In particolare in questo lavoro di tesi sono stati analizzati due testamenti: un testamento del 1679, usato come campione di prova per verificare la migliore sorgente di raggi X ai fini della ricostruzione tomografica e anche per valutare l’efficacia della tecnica, e il testamento Alchier-Spiera (dai nomi dei testatori), datato 1634, di maggiore interesse poiché ancora chiuso. I risultati ottenuti sono molto soddisfacenti, poiché elaborando le ricostruzioni tomografiche è possibile la lettura virtuale sia di parole che di intere frasi. Questo risultato porta nuova linfa al progetto che, di base, si pone l’obiettivo di convertire in formato digitale decine di km di testi conservati in Archivio, ma che ha trovato, in questo tipo di testamenti chiusi, un ostacolo molto difficile da superare.

Gestione dei sistemi di ricarica dei veicoli elettrici

La tesi tratta dei sistemi di ricarica dei veicoli elettrici e del loro impatto sulla rete. La tesi inoltre analizza i vantaggi delle tecnologie vehicle to grid per l'integrazione della produzione da fonti rinnovabili.

Sviluppo di nuovi algoritmi di pianificazione per sistemi non olonomici e con dinamica non linerare

L'obiettivo del kinodynamic motion planning è quello di determinare una sequenza di input di controllo per guidare un agente da uno stato iniziale ad uno finale, rispettando la dinamica del corpo e i vincoli fisici. In questa tesi sono presentate diverse versioni di algoritmi basati su Rapidly-exploring Random Tree in grado di risolvere questo tipo di problema. In particolare è preso in considerazione il caso di un sistema non lineare con vincoli non olonomici, rappresentativo del rover in dotazione al progetto europeo SHERPA. La qualità degli approcci proposti è inoltre provata con alcuni test di navigazione, in ambiente simulato, confrontando gli algoritmi proposti con alcuni presi nella letteratura di riferimento.

Progetto di servizi multimediali in sistemi di Crowd Sensing

Nell’ambito delle Smart City si rivela di fondamentale importanza ottenere quante più informazioni possibili dalla popolazione locale. In questo scenario sono di utilizzo strategico sistemi di CrowdSensing e soprattutto di Mobile CrowdSensing per raccogliere informazioni dalla popolazione autoctona. Su queste basi nasce e si sviluppa il sistema ParticipAct dell’Università di Bologna. A differenza dei tradizionali sistemi di Mobile CrowdSensing, ParticipAct attua il modello del così detto “Mobile CrowdSensing Partecipativo”, che vede l’utente non solo come fonte di dati passivi, ma come fonte di informazioni di qualsiasi genere, da questionari a fotografie. Questa Tesi di laurea vuole mettere in evidenza come l’integrazione di dati multimediali, in particolare i Video, possono essere sfruttati come risorsa per Smart City grazie alla loro particolare natura composta. Viene poi analizzata la particolare architettura del sistema ParticipAct e come è stato possibile implementare la richiesta di Task contenenti azioni di tipo Video in un sistema basato su interazione Client - Server.

Misura UHF (Ultra High Frequency) delle scariche parziali nei sistemi isolati a gas: metodologie per la verifica della sensibilità di misura

Le apparecchiature di manovra tramite isolamento a gas (GIS) sono in funzione da più di 45 anni e hanno dimostrato un alto livello di affidabilità, con tassi di difetto molto bassi. Tuttavia, il riscontro pratico indica che alcuni dei guasti che si verificano durante il servizio sono legati a difetti del sistema di isolamento. Molti di questi difetti possono essere rilevati tramite diagnostica con scariche parziali (PD). Per la rilevazione PD, viene utilizzato il metodo UHF perché meno sensibile ai disturbi e quindi più facile da gestire in confronto al metodo convenzionale secondo IEC 60270. Un rapporto di Electra pubblicato nel 1999 dal CIGRE Task Force 15/33.03.05 descrive la procedura in due fasi per la verifica della sensibilità del sistema UHF in modo molto generale. Dopo 15 anni dalla sua applicazione, è diventata necessaria una descrizione più dettagliata, sia su misure necessarie al test di laboratorio (Passaggio 1) che sul test in loco (Passaggio 2).

Aspetti igienico sanitari delle produzioni di carni avicole: analisi comparativa tra sistemi di allevamento intensivi e sistemi alternativi

In questo lavoro di tesi sono stati affrontati argomenti relativi ai due principali sistemi di allevamento avicolo nel territorio nazionale; l’allevamento effettuato con sistema intensivo e quello attuato con sistema alternativo. Questi due tipi di sistemi sono stati messi a confronto. Inizialmente sono state riportate informazioni sulle attuali normative comunitarie che regolano il commercio e la produzione della carne avicola; di seguito sono stati riportati dati statistici riguardanti la produzione e la commercializzazione di questo prodotto sia a livello nazionale, che a livello globale. Per ognuno dei due tipi di allevamento sono stati approfonditi aspetti riguardanti le caratteristiche qualitative della carne avicola, in particolare riferimenti sulla composizione chimica, sul valore nutritivo e sugli indici di qualità. Sono state prese in esame anche le caratteristiche proprie di ogni tipo di allevamento, come la tecnica e la gestione d’allevamento, e per ognuno di essi sono state riportate le principali differenze che caratterizzano questi due diversi sistemi di allevamento. Successivamente per ognuno dei due sistemi, sono state riportate le principali problematiche igienico-sanitarie, fra cui diverse patologie, tecnopatie, e parassitosi riscontrate sia in fase di allevamento, che in fase di macellazione e commercializzazione. Infine è stata fatta un’analisi comparativa nella quale sono stati messi a confronto i due sistemi di allevamento e nella quale sono stati riportati i metodi e i suggerimenti di riduzione del rischio microbiologico e sanitario in fase di allevamento e di macellazione.

Valutazione del fondo naturale di argon-37 a fini di supporto alle ispezioni in situ nell'ambito del Trattato Internazionale per il Bando dei Test Nucleari

Il CTBT (Trattato di Bando Complessivo dei Test Nucleari) è un accordo multilaterale tra Stati, stilato nel 1996, che impone il divieto assoluto di effettuare esplosioni di tipo nucleare, sia per scopi civili che per scopi militari, in qualsiasi ambiente. Esso prevede l'istituzione di un sistema di verifica e monitoraggio che si prefigge lo scopo di rilevare tempestivamente se in una qualsiasi parte del mondo sia stato clandestinamente effettuato un test. Tra le varie tecniche utilizzate, la più decisiva per l'identificazione di un'esplosione è data dal monitoraggio di radionuclidi, che permette di fare ipotesi su di un eventuale evento illecito di origine nucleare se in una certa regione si rileva la presenza nell'ambiente di particolari isotopi radioattivi in quantità anomale. Attualmente, il metodo più efficace consiste nell'eventuale identificazione della presenza di quattro radioisotopi di gas nobili, ovvero xeno-131m, xeno-133, xeno-133m e xeno-135. Di recente, però, gli esperti hanno cominciato a valutare l'ipotesi di effettuare misurazioni anche di un altro radioisotopo di gas nobili, ovvero l'argon-37. L'efficacia nell'utilizzo di quest'ultimo è superiore a quella che caratterizza il monitoraggio dello xeno, anche se il motivo per cui il metodo di rilevazione dell'argon non è ancora sfruttato è dato dall'estrema difficoltà che la sua misurazione comporta. Obiettivo di questo lavoro è proprio quello di analizzare le potenzialità dell'utilizzo di tale radioisotopo dell'argon per gli scopi di verifica del CTBT, di descrivere l'attuale stato dell'arte delle tecnologie disponibili per la sua misurazione e di valutare quantitativamente il fondo di argon-37 naturalmente presente, in modo da stabilire i criteri con cui si possa dire se le quantità rilevate siano compatibili con la normale presenza di tale radioisotopo oppure se siano senza dubbio dovute a un'avvenuta esplosione.

Soluzioni per il controllo delle testine di lettura/scrittura in hard disk drive magnetici

Questa tesi descrive alcune tecniche realizzative e algoritmi di controllo per il posizionamento delle testine di lettura/scrittura in hard disk drive magnetici. Viene presentata l'attuazione a due stadi delle testine per incrementare la banda frequenziale del sistema, in cui un motore VCM funge da primo stadio e come secondo stadio si utilizza un microattuatore, di tipo piezoelettrico o elettromagnetico o elettrotermico. Il posizionamento della testina sulle tracce magnetiche dei dischi contenenti i dati si divide in due fasi: track-seeking e track-following, che presentano diversi requisiti di velocità e precisione, per questo motivo si descrive il metodo dello switching control. Successivamente viene formulato un modello matematico nello spazio degli stati degli stati dell'attuatori a due stadi e il relativo controllo in retroazione, basato su osservatore dello stato. Inoltre per il track-seeking si propone il controllo a due gradi di libertà e per il track-following il metodo del disaccoppiamento della sensitività. Infine si riportano due novità tecnologiche per gli hard disk magnetici: l'attuazione a tre stadi, che sfrutta un secondo microattuatore, di tipo termico, e gli hard disk riempiti d'elio ed ermeticamente sigillati, che semplificano il controllo grazie alla minore turbolenza del gas e al suo minor peso.

Dimensionamento di un magazzino ricambi ed ottimizzazione dei flussi logistici ed informativi per la manutenzione: il caso Geberit Produzione Spa

Il contesto dinamico in cui operano le aziende richiede, sempre più, sistemi di gestione flessibili e in continua evoluzione, e soprattutto richiede che le varie funzioni aziendali siano integrate tra loro. Così anche la funzione di manutenzione, la quale nei tempi passati, era considerata una funzione di supporto alla produzione, ora è vista come parte integrante della stessa. Pertanto è necessario che la gestione dei flussi logistici ed informativi relativi ai processi di manutenzione, siano il più possibile efficace ed efficienti, al fine di ridurre i costi complessivi sostenuti dall’azienda. L’elaborato tratta del dimensionamento di un magazzino ricambi e della relativa gestione operativa ed informativa, applicati ad un caso aziendale. Geberit Produzione Spa ha la necessità di migliorare i flussi della gestione manutentiva totale, andando a correggere le criticità rilevate nel sistema attuale. Il dimensionamento è sviluppato sulla base delle informazioni raccolte dal campo, le quali permettono di individuare la quantità ottimale di ricambi, che minimizzi da un lato i costi di mantenimento a scorta e dall’altro i costi dovuti alla mancanza dei ricambi nel momento necessario. Secondo le tipologie di materiale tecnico presenti, sono individuate le modalità di immagazzinamento e i mezzi di movimentazione più idonei, ed in base a questi viene definito il layout definitivo. Sono, poi, determinati i criteri di gestione dei flussi logistici e di informatizzazione dei processi, al fine di descrivere delle procedure standard che regolino l’operato del personale. Scelti gli indici di valutazione delle performance della manutenzione, è stata valutata la convenienza economica della realizzazione del progetto. Con questo studio vengono definite le fondamenta per una efficace ed efficiente gestione futura della manutenzione.

Sistemi di quote in ambito nazionale ed europeo

La tesi si propone in una prima parte di introdurre importanti concetti quali la reale forma della Terra, la definizione di quota ortometrica ed ondulazione geoidica ed i riferimenti rispetto a cui esse si misurano: ciò è necessario per descrivere la quota Helmert, la quota dinamica e la quota normale, ossia i sistemi di quote corrette per gravità attualmente utilizzati. Nella seconda parte le argomentazioni principali verteranno sui sistemi di riferimento verticali dei paesi europei e sull’importanza di unificare i datums in un’unica soluzione. Si elencheranno i vari tentativi di aggregazione dei sistemi che si sono susseguiti nella storia europea, con approfondimenti sulle loro caratteristiche e parametri statistici. Nella terza ed ultima parte, si discuterà della realizzazione più moderna di un sistema di riferimento verticale comune ai paesi comunitari, e si indicheranno le sue differenze rispetto ai sistemi precedenti. Si concluderà l’elaborato con un breve accenno sul futuro dei datum verticali europei.

Elementi contestuali nella costruzione del benessere degli insegnanti in due casi studio italiani

L’articolo propone una riflessione su alcuni elementi critici della costruzione del benessere professionale degli insegnanti mettendo in luce, accanto alle note cause di insorgenza della sindrome del burnout quali fattori individuali, emotivi e relazionali, anche gli effetti che sembrano riconducibili alla condizione lavorativa nel suo complesso e dunque al sistema di attività nel quale viene svolto questo mestiere. Per dar conto di tali effetti l’articolo discute i risultati di due contributi empirici, realizzati in modo indipendente, a distanza di dieci anni l’uno dall’altro, nel Sistema scolastico italiano. In particolare i due studi fanno riferimento alla condizione di benessere socio professionale di insegnanti di scuola dell’infanzia e primaria in due fasi distinte dell’evoluzione del sistema scolastico italiano (che nell’arco dei dieci anni intercorsi fra i due studi è stato interessato da continui tentativi di riforme, da un crescente precariato, da un progressivo indebolimento del riconoscimento della professione, dalla presenza diffusa in classe di bambini di differenti culture, dall’introduzione, largamente approssimativa, di nuove tecnologie, dalla scarsa corrispondenza tra lavoro effettivo ed aspettative dei futuri insegnanti). Senza la pretesa di fornire risposte definitive ad un problema evidentemente complesso la ri-lettura dei due studi sul burnout, realizzati in due distinte fasi dell’evoluzione del sistema scolastico, pur confermando, in parte, i risultati di altri lavori simili, solleva il problema complementare della contestualizzazione delle modalità di espressione del disagio degli insegnanti in relazione al più ampio tessuto identitario professionale nel quale essi operano. Tessuto che sembra mutare al mutare del posizionamento sociale e culturale dell’insegnamento. (DIPF/Orig.)

Viivakoodien ja RFID-tunnisteiden vertailu Fetek Oy:n käyttöön

Työn tavoitteena oli vähentää levyaihioiden hakuun käytettävää aikaa varastossa. Tutkimus perustuu kirjallisuuteen ja tieteellisiin lähteisiin. Fetek Oy:n levyvarastoon soveltuvaksi tunnistusjärjestelmäksi osoittautui viivakooditekniikkaan perustuva QR-koodi. QR-koodien valmistus onnistuu yrityksessä ja koodiin saadaan mahtumaan kaikki tarvittava tieto levyistä. Koodien lukeminen onnistuu työpuhelimella tai erillisellä lukijalla. Koodien käyttöönotto ja päivittäminen oli kustannustehokkain ratkaisu yrityksen tarpeisiin. Olemassa olevaa varastoa myös päätettiin selkeyttää käyttämällä väritunnistusta hyllyissä ja ottamalla käyttöön LEAN 5S. Värikoodaus nopeuttaa tunnistusta huomattavasti ja LEAN 5S puolestaan auttaa pitämään tuotantotilat aina järjestyksessä. Jatkotutkimuksessa tulisi parantaa tuotantotilojen järjestelyä ja miettiä yrityksen käytössä olevan varastonhallintaohjelmiston soveltuvuutta.