Servizi di Discovery in IoT: una Soluzione MQTT-based per Gateway Kura

Grazie alla costante evoluzione tecnologica, negli ultimi anni sempre più oggetti di vita quotidiana stanno accedendo ad Internet. Il proliferare dei dispositivi “smart” ha dato il via ad una nuova rivoluzione tecnologica: quella di Internet of Things (IoT), che sta portando nelle mani degli utenti un elevatissimo numero di informazioni in grado di offrire notevoli benefici alla vita di ogni giorno. Per poter accedere ai dati messi a disposizione risulterà necessario realizzare un servizio in grado di consentire la scoperta, l’accesso e l’interazione con i nodi della rete che si occuperanno della gestione delle informazioni. In letteratura sono già disponibili alcuni di questi meccanismi, ma essi presentano dei difetti che verrebbero ancor più accentuati dalle ridotte capacità computazionali dei terminali IoT. In questo progetto di tesi verrà presentato un servizio di discovery per gateway IoT Kura-based, pensato, grazie all’utilizzo del protocollo di messaggistica MQTT, per operare con terminali dalle performance limitate ed in situazioni di scarsa connettività. Il servizio realizzato prevede che degli smartphone Android richiedano a tutti i gateway in una determinata località i parametri per entrare nel loro network. La richiesta verrà inviata mediante un messaggio MQTT pubblicato in un topic location-specific su un broker remoto. I gateway che riceveranno il messaggio, se interessati alle caratteristiche del client, gli risponderanno comunicando i dati di accesso al network in modo che il dispositivo possa auto-configurarsi per accedervi. Ad accesso avvenuto client e gateway comunicheranno in modo diretto attraverso un broker locale. In fase di testing si valuteranno le performance del servizio analizzando i tempi di risposta e l’utilizzo di risorse lato gateway, e l’assorbimento di potenza lato client.

BIRD-A: una piattaforma per la creazione di interfacce Web basate su ontologie per l'authoring di dati RDF

Lo scopo del progetto Bird-A è di mettere a disposizione uno strumento basato su ontologie per progettare un'interfaccia web collaborativa di creazione, visualizzazione, modifica e cancellazione di dati RDF e di fornirne una prima implementazione funzionante. La visione che sta muovendo la comunità del web semantico negli ultimi anni è quella di creare un Web basato su dati strutturati tra loro collegati, più che su documenti. Questo modello di architettura prende il nome di Linked Data ed è basata sulla possibilità di considerare cose, concetti, persone come risorse identificabili tramite URI e di poter fornire informazioni e descrivere collegamenti tra queste risorse attraverso l'uso di formati standard come RDF. Ciò che ha però frenato la diffusione di questi dati strutturati ed interconnessi sono stati gli alti requisiti di competenze tecniche necessarie sia alla loro creazione che alla loro fruizione. Il progetto Bird-A si prefigge di semplificare la creazione e la fruizione di dati RDF, favorendone la condivisione e la diffusione anche fra persone non dotate di conoscenze tecniche specifiche.

Backport di una applicazione da Java 8 a Java 7

In Java 8, ultimo aggiornamento ufficiale del linguaggio Java, sono state introdotte alcune nuove funzionalità che permettono l’integrazione di alcuni meccanismi legati ai linguaggi dinamici o funzionali, come le espressioni lambda, l’utilizzo degli stream e la dichiarazione di metodi statici all’interno di interfacce. Se si volesse installare un’applicazione scritta in Java 8 su Android, Dalvik VM, la JVM in esso presente, fallirà il processo di traduzione del bytecode. In questa tesi quindi esplorerò, sia ad alto livello che a basso livello, l’origine del problema e presenterò una soluzione di backporting per un’applicazione esistente.

Progettazione di pavimentazioni portuali

L’oggetto di studio della tesi è centrato sulla progettazione di pavimentazioni ad alta resistenza nell’ambito dei porti commerciali. Nel capitolo 1, viene effettuata una descrizione delle caratteristiche principali dei porti, proseguendo con l’esposizione dei principi organizzativi dei porti commerciali. In particolar modo, vengono illustrate le operazioni che si registrano in un terminal container e le proprietà dei diversi mezzi speciali che vi operano. Nel capitolo successivo, si procede con la definizione dei materiali più comunemente utilizzati nella realizzazione delle pavimentazioni di un porto e quindi con la descrizione delle principali tipologie di soluzioni adottate nella progettazione. Successivamente, nel capitolo 3, vengono enunciati i principali metodi di calcolo per la progettazione di una pavimentazione portuale e si prosegue con l’approfondimento del metodo descritto dal manuale pubblicato dalla British Ports Association (BPA):”The structural design of heavy duty pavements for ports and other industries”. Infine, nell’ultimo capitolo, viene illustrato il processo di progettazione in base al metodo BPA, mediante lo svolgimento di un esempio di calcolo della pavimentazione.

Valutazione delle prestazioni di processori a basso consumo energetico in applicazioni parallele

In questo lavoro di tesi sono state impiegate le librerie grafiche OpenGL ES 2 per eseguire calcoli paralleli sulla GPU del Raspberry Pi. Sono stati affrontati e discussi concetti riguanrdati il calcolo parallelo, stream processing, GPGPU e le metriche di valutazione di algoritmi paralleli. Sono inoltre descritte le potenzialita e le limitazioni derivanti dall'impiego di OpenGL per implementare algoritmi paralleli. In particolare si e fatto riferimento all'algoritmo Seam Carving per il restringimento di immagini, realizzando e valutando una implementazione parallela di questo sul Raspberry Pi.

Self-management di malattie croniche in sistemi di mobile Health: sviluppo di un modello agent-based per casi di diabete

L'obiettivo della tesi è proporre e motivare l'adozione di un modello computazionale Agent-Based nell'ambito del Self-Management di malattie croniche in un sistema di mobile Health. Viene quindi affrontata in maniera approfondita la tematica del mobile Health, settore in grande espansione che vede l'introduzione massiccia dei dispositivi mobili (smartphone, tablet, PDA) in ambito sanitario, e quella del Self-Managment di malattie croniche, un processo di cura caratterizzato dalla partecipazione autonoma del paziente stesso, fornendo una panoramica dei vari approcci computazionali sviluppati. Successivamente vengono presentate le peculiarità dei modelli computazionali risultati dalle ricerche in letteratura strumenti innovati nell'ambito. Nel caso di studio viene adottata la tecnica di modellazione Agent-Based per sviluppare un modello a supporto di malati cronici affetti da diabete mellito di tipo 1. Con la successiva implementazione sulla piattaforma di simulazione MASON, vengono eseguiti diversi esperimenti per dimostrare la fattibilità dell’approccio adottato nell'ambito del Self-Management di malattie croniche.

Vibrazioni di Piastre in Materiale Composito con Elementi Finiti in Forma Forte

In questa tesi si affronta lo studio di piastre isotrope e laminate mediante metodo GDQ e si confrontano i risultati con quelli ottenuti, per le stesse tipologie di piastre, mediante metodo FEM. Lo scopo del lavoro e quello di certificare la maggior efficienza del software di calcolo DiQuMASPAB, basato su teorie in forma forte, rispetto ai tradizionali software di calcolo agli elementi finiti attualmente in commercio. Il confronto ha come obiettivo quello di evidenziare i punti deboli dal punto di vista dell'approssimazione delle soluzioni e del costo computazonale.

Il modello di Ising

L'elaborato fornisce una introduzione al modello di Ising, utilizzato nello studio delle transizioni di fase tra la fase ferromagnetica e quella paramagnetica dei materiali. Nella prima parte viene trattato il modello unidimensionale, di cui viene esposta la soluzione esatta attraverso l'utilizzo delle matrici di trasferimento, dimostrando quindi l'inesistenza di una transizione di fase a temperature finite non nulle. Vengono calcolate le funzioni termodinamiche e se ne dimostra l'indipendenza dalle condizioni al contorno nel limite termodinamico.Viene proposta infine una spiegazione qualitativa del comportamento microscopico, attraverso la lunghezza di correlazione. Nella seconda parte viene trattato il caso a due dimensioni. Inizialmente viene determinata la temperatura critica per reticoli quadrati, attraverso il riconoscimento della presenza di una relazione di dualita tra l'espansione per alte e per basse temperature della funzione di partizione. Successivamente si fornisce la soluzione esatta attraverso una versione modificata del procedimento, originariamente ideato da L.Onsager, di cui e proposta una traccia della dimostrazione. Viene infine brevemente discussa l'importanza che questo risultato ebbe storicamente nella fisica delle transizioni di fase.

Analisi chimica di sedimenti di mare profondo del SE Tirreno

In questo studio sono stati analizzati 11 campioni provenienti dalla zona vulcanica dell’arco Eoliano, gentilmente concessi da ISMAR-CNR Bologna. Lo scopo del lavoro è stato quello di ricercare arricchimenti di alcuni elementi critici, di grande importanza economica e a rischio di approvvigionamento. Lo scopo principale è verificare se la zona può contenere possibili risorse minerarie. La composizione degli elementi maggiori e in traccia dei campioni è stata ottenuta tramite XRF. I campioni analizzati, sono stati aggregati ad altri campioni del Tirreno meridionale (oggetto di altre tesi), ottenendo un database di 71 campioni. Questo set esteso di dati è stato utilizzato per costruire grafici composizionali e sono state evidenziate possibili relazioni tra gli elementi maggiori e una selezione di elementi in traccia. Dai grafici, è risultato che la maggior parte degli elementi in traccia presenta una relazione positiva con Si, Ti, Al, Fe e K, ad indicare che gli apporti detritici continentali costituiscono un fattore di arricchimento di elementi critici. Tutti gli elementi hanno una correlazione negativa con il Ca, indicando che carbonati o sedimenti ricchi in Ca non costituiscono un target per la ricerca di elementi critici. Le concentrazioni sono state confrontate con un valore di cut-off per giacimenti impoveriti. Dal confronto, l’unico elemento la cui soglia di cut-off viene superata in tutti i campioni, è il manganese (Mn). Elementi come ferro (Fe), uranio (U), vanadio (V) e scandio (Sc), presentano picchi di concentrazione in alcuni campioni, la cui popolazione è limitata a poco più di due o tre elementi provenienti dalla zona del Bacino di Paola. Pertanto non sono da considerare una possibile risorsa e possiamo quindi concludere che il Mn costituisce l’unica risorsa mineraria “valida” nella zona.

Visioni di una utopia moderna : l'immagine della città nelle rappresentazione delle smart cities e il ruolo del design per construire scenari di mondi futuro

Le nostre città stanno cambiando profondamente in relazione ad alcuni fenomeni urbani: la crescita della popolazione, i cambiamenti climatici e la scarsità di risorse energetiche stanno modificando lo stile di vita e la forma delle città. E' necessario modificare alcuni preconcetti per concepire, costruire e vivere in un modo nuovo lo spazio urbano; questo processo prende il nome di Smart City. Per realizzare una Smart City è necessaria una visione olistica dei processi e dei fenomeni urbani; designer e urbanisti devono lavorare insieme per visualizzare gli scenari della città del futuro, tenendo conto delle possibilità offerte dalla tecnologia. Il design della comunicazione ha il compito di creare queste visioni, comunicando le idee di città del futuro e interpretando il ruolo di mediatore, per rendere comprensibili i linguaggi delle molteplici discipline. Questa ricerca ha l'obiettivo di realizzare uno strumento destinato ai designer che elaborano gli scenari del futuro, e agli attori del contesto urbano che interpretano quelle visioni, per pianificare efficaci strategie di miglioramento.

Progettazione ed esercizio di un impianto sperimentale per il trasporto pneumatico in fase densa dell'atomizzato di barbottina

L’elaborato è strutturato in sei capitoli ed ha come obiettivo principale quello di descrivere un impianto pilota per il trasporto pneumatico dell’atomizzato di barbottina e di riportare i risultati delle analisi sperimentali, condotte per la caratterizzazione del trasporto dello stesso, necessarie per la futura progettazione di un impianto in scala industriale. Nel primo capitolo verrà presentata l’industria ceramica italiana e le fasi per la produzione delle piastrelle, con particolare attenzione al tema del trasporto di materiale tra i vari reparti produttivi. Nel capitolo due, poi, si analizzeranno le problematiche collegate ai tradizionali sistemi di movimentazione di materiale sfuso, facendo un confronto tra quelli più usati e quello pneumatico. Quest’ultimo rappresenta un’alternativa ai sistemi di trasporto classici, i quali pur assicurando elevati volumi di movimentazione, non salvaguardano l’integrità del materiale trasportato. Lo sgretolamento del materiale, oltre a rendere quest’ultimo inutilizzabile per la produzione delle piastrelle, è responsabile dell’emissione nell'ambiente di lavoro di silice cristallina libera. Al contrario, il trasporto pneumatico, del quale si riporta una descrizione nel capitolo tre e quattro, garantisce il minimo rischio di formazione di polveri fini, grazie al totale confinamento del materiale all'interno di una conduttura. Nel capitolo cinque verranno esposti i risultati delle analisi sperimentali effettuate sull'impianto: verranno illustrate le prove di trasporto condotte e, a valle di ognuna di queste, l’attenzione si focalizzerà sulla granulometria del materiale processato, paragonando la stessa a quella del materiale vergine di riferimento. Infine, nel sesto capitolo, si riporteranno i risultati delle simulazioni effettuate sul software TPSimWin, basato su calcolo agli elementi finiti. Tali simulazioni sono necessarie per determinare le principali caratteristiche del materiale da trasportare.

Metodo speditivo per la valutazione della vulnerabilita' sismica degli aggregati edilizi del centro storico di Castefranco Emilia: approfondimento dell'analisi e verifica sistematica degli aggregati 5, 6, 7, 8, 13, 14, 15, 16

Analisi della vulnerabilità sismica degli aggregati edilizi del centro storico di Castelfranco Emilia, contraddistinti dal numero 5,6,7,8,13,14,15,16. Utilizzo del metodo di analisi speditivo ed analitico, con due modalità distinte di calcolo degli indici. Analisi della vulnerabilità delle vie del centro storico di Castelfranco Emilia, in particolare Corso Martiri, Via ripa Superiore e Inferiore, Via Zanasi-P.zza Garibaldi, Via Bertelli, Via Picciolio-Fasani, Via Zanolini-Del Bagno, via Dalla Vacca-Morandi. Definizione dell'indice di vulnerabilità viaria. Classifica di vulnerabilità degli aggregati e delle vie.

Il trickster del folklore bulgaro Hitar Petar. Traduzione della prefazione e di alcuni aneddoti della raccolta Hitǎr Petǎr di Veličko Vǎlčev.

L’oggetto dell’elaborato è la proposta di traduzione della prefazione e di alcuni aneddoti della raccolta Hitǎr Petǎr dell’autore bulgaro Veličko Vǎlčev. Hitar Petar è un personaggio del folklore bulgaro molto popolare e i suoi aneddoti sono ambientati nel territorio dell’attuale Bulgaria durante l’occupazione ottomana. Con i suoi scherzi e i suoi inganni, diretti soprattutto agli esponenti del potere politico e spirituale della sua epoca, Hitar Petar sfida e sovverte l’ordine sociale vigente e le sue gesta lo rendono un simbolo dell’identità bulgara contro l’oppressione straniera e non solo. L’elaborato è strutturato in tre capitoli. Nel primo si presentano l’opera di Veličko Vǎlčev, il protagonista Hitar Petar, con un focus sulle caratteristiche che lo hanno reso un trickster di grande fama e sul genere letterario degli aneddoti di cui è protagonista. Nel secondo capitolo si introducono i testi selezionati e si presenta la proposta di traduzione. Infine, nel terzo capitolo, si descrive il percorso traduttivo a partire dall’approccio e dalle risorse utilizzate, si approfondiscono le scelte di resa dei nomi parlanti, le peculiarità stilistiche dei testi selezionati e la risoluzione di alcuni problemi traduttivi.

Integrazione di contenuti multimediali in basi di conoscenza strutturate: il caso DBpedia

Viene presentato l’approccio Linked Data, che si serve di descrizioni scritte in linguaggio RDF per rendere espliciti ai calcolatori i legami semantici esistenti tra le risorse che popolano il Web. Si descrive quindi il progetto DBpedia, che si propone di riorganizzare le informazioni disponibili su Wikipedia in formato Linked Data, così da renderle più facilmente consultabili dall’utente e da rendere possibile l’esecuzione di query complesse. Si discute quindi della sfida riguardante l’integrazione di contenuti multimediali (immagini, file audio, video…) su DBpedia e si analizzano tre progetti rivolti in tal senso: Multipedia, DBpedia Commons e IMGpedia. Vengono infine sottolineate l’importanza e le potenzialità legate alla creazione di un Web Semantico.

Derivazione di un meccanismo con amplificazione inerziale per lo smorzamento delle vibrazioni

Questa Tesi si occupa di una derivazione di un meccanismo con amplificazione inerziale per lo smorzamento delle vibrazioni, il quale è stato usato come un meccanismo costituente di un oscillatore semplice, ovvero di un modello matematico fondamentale su cui è basata la dinamica strutturale, aumentandogli notevolmente la sua complessità geometrica. Viene studiata la risposta dinamica ottenuta dall’analisi armonica, in quanto lo stesso è soggetto alla forzante passiva. Lo studio del comportamento dinamico ingloba un percorso, il quale parte dalla descrizione matematica dell’equilibrio dinamico, nonché delle condizioni al contorno, tramite l’uso di analisi matriciale delle strutture e del calcolo complesso, e si conclude, derivando le grandezze cinematiche e dinamiche, necessarie affinché si possa determinare, in un modo chiaro e privo di ambiguità, lo stato del sistema dinamico. Il passo successivo risiede nell’analisi analitica e numerica dei risultati ottenuti e anche della visualizzazione grafica ed interpretazione degli stessi. Affinché i risultati possano essere considerati validi, occorre che gli stessi passino la procedura di validazione tramite l’uso degli esempi numerici. Successivamente, i risultati validati vengono confrontati con la stessa tipologia dei risultati derivati per gli oscillatori classici o gli oscillatori di riferimento, il quale comportamento è già noto nell’ambito della dinamica strutturale. La Tesi procede con l’applicazione pratica degli oscillatori per lo smorzamento delle vibrazioni. In particolare si studia la loro capacità di alterare la risposta dinamica complessiva del sistema di cui fanno parte, rispetto al caso in cui la stessa struttura è priva di essi. In fine la Tesi si conclude, mettendo in evidenza i vantaggi e gli svantaggi dell’oscillatore dotato di un meccanismo con amplificazione inerziale rispetto agli altri oscillatori classici.