Benchmark su Dataset con valori incerti con Orion DBMS

Studio critico e bibliografico sullo stato dell'arte nel campo dei Database con valori incerti e sperimentazione e benchmark con il DBMS Orion utilizzando dataset realistici creati artificialmente.

Structured P2P Video Streaming and Collaborative Failure Detection

Il video streaming in peer-to-peer sta diventando sempre più popolare e utiliz- zato. Per tali applicazioni i criteri di misurazione delle performance sono: - startup delay: il tempo che intercorre tra la connessione e l’inizio della ripro- duzione dello stream (chiamato anche switching delay), - playback delay: il tempo che intercorre tra l’invio da parte della sorgente e la riproduzione dello stream da parte di un peer, - time lag: la differenza tra i playback delay di due diversi peer. Tuttavia, al giorno d’oggi i sistemi P2P per il video streaming sono interessati da considerevoli ritardi, sia nella fase di startup che in quella di riproduzione. Un recente studio su un famoso sistema P2P per lo streaming, ha mostrato che solitamente i ritardi variano tra i 10 e i 60 secondi. Gli autori hanno osservato anche che in alcuni casi i ritardi superano i 4 minuti! Si tratta quindi di gravi inconvenienti se si vuole assistere a eventi in diretta o se si vuole fruire di applicazioni interattive. Alcuni studi hanno mostrato che questi ritardi sono la conseguenza della natura non strutturata di molti sistemi P2P. Ogni stream viene suddiviso in blocchi che vengono scambiati tra i peer. A causa della diffusione non strutturata del contenuto, i peer devono continuamente scambiare informazioni con i loro vicini prima di poter inoltrare i blocchi ricevuti. Queste soluzioni sono estremamente re- sistenti ai cambiamenti della rete, ma comportano una perdita notevole in termini di prestazioni, rendendo complicato raggiungere l’obiettivo di un broadcast in realtime. In questo progetto abbiamo lavorato su un sistema P2P strutturato per il video streaming che ha mostrato di poter offrire ottimi risultati con ritardi molto vicini a quelli ottimali. In un sistema P2P strutturato ogni peer conosce esattamente quale blocchi inviare e a quali peer. Siccome il numero di peer che compongono il sistema potrebbe essere elevato, ogni peer dovrebbe operare possedendo solo una conoscenza limitata dello stato del sistema. Inoltre il sistema è in grado di gestire arrivi e partenze, anche raggruppati, richiedendo una riorganizzazione limitata della struttura. Infine, in questo progetto abbiamo progettato e implementato una soluzione personalizzata per rilevare e sostituire i peer non più in grado di cooperare. Anche per questo aspetto, l’obiettivo è stato quello di minimizzare il numero di informazioni scambiate tra peer.

Un algoritmo genetico parallelo per la k-colorabilità

Implementazione mediante librerie MPI di un algoritmo genetico parallelo per risolvere il problema sulla k-colorabilità. La tesi descrive la versione sequenziale dell'algoritmo genetico di riferimento e l'implementazione della sua versione parallela. Vi è una fase di analisi dei risultati ottenuti dai test effettuati su una macchina ad architettura parallela.

Sviluppo del back-end per una App mobile con lo scopo di abbattere i costi delle chiamate telefoniche internazionali

Questa tesi tratta dello sviluppo di un progetto, svolto durante il periodo di tirocinio presso SMS.it, azienda specializzata nel settore della telefonia con sede a Bologna. L'azienda in questione ha commissionato, al sottoscritto ed al mio collega Daniele Sciuto, l'implementazione di un'applicazione cross-platform per smartphone, ed il relativo server. L'azienda ci ha fornito le specifiche del progetto, e ci ha seguiti in tutte le fasi del suo sviluppo. L'applicazione è pensata per offrire agli utenti la possibilità di usufruire di tariffe telefoniche agevolate. I vantaggi sono maggiormente apprezzabili nelle chiamate internazionali. Queste tariffe sono possibili grazie agli accordi fra l'azienda e vari operatori di telefonia. Nella primo capitolo di questo elaborato, viene analizzato cosa ci è stato richiesto di realizzare, le specifiche del progetto dateci dall'azienda e quali sono i vincoli ai quali ci si è dovuti attenere. Nella secondo capitolo, viene descritto nel dettaglio la progettazione delle singole funzionalità dell'applicazione, e i rapporti che ci sono fra il front-end ed il back-end. Successivamente, sono analizzate le tecnologie necessarie per la realizzazione e il loro utilizzo nell'applicazione. Come richiestoci dall'azienda, alcuni dettagli implementativi sono stati omessi, per garantire il rispetto del segreto industriale. Nonostante ciò viene comunque fornita una panoramica completa di ciò che è stato realizzato. In ultima analisi è descritta qualitativamente l'applicazione ottenuta, e come aderisca alle specifiche richieste.

Controllo della tensione della rete di distribuzione in media tensione tramite comunicazione diretta con la generazione distribuita.

Le attività riguardanti la mia tesi sono state svolte presso Hera S.p.A.. Hera ha iniziato nel 2013 un progetto sperimentale di implementazione di tecnologie cosiddette smart grid su una porzione di rete gestita. Il progetto di Hera si focalizza su diversi aspetti riguardanti sia l’automazione della rete MT, ai fini della riduzione del tempo necessario per individuare il guasto in linea, sia su aspetti riguardanti la regolazione della tensione. In particolare la mia attività di tesi si è incentrata sugli aspetti riguardanti la regolazione della tensione, partendo da una panoramica di quelli che sono ad oggi i metodi più diffusi di regolazione della tensione agendo essenzialmente sul regolatore sotto carico del trasformatore AT/MT presente in cabina primaria e descrivendo quello che è invece il metodo analizzato nel dimostrativo di Hera. In particolare mi sono soffermato sulla regolazione di tensione realizzata con il supporto dei generatori distribuiti connessi alla rete MT di Hera i quali possono, nei limiti delle loro capability, intervenire all’occorrenza assorbendo od erogando potenza reattiva. Il supporto dei generatori distribuiti può essere richiesto qualora la regolazione realizzata con la variazione del commutatore sottocarico del trasformatore in cabina primaria non sia sufficiente per ottenere il risultato desiderato. Appare sin d’ora evidente che questo tipo di regolazione presuppone l’esistenza di una infrastruttura di comunicazione tra il centro operativo del distributore e il campo, inteso come i nodi su cui sono connessi i generatori. Nell’ambito del dimostrativo Hera ha quindi progettato e sta ora realizzando l’infrastruttura di comunicazione che permette la comunicazione del centro di telecontrollo con i generatori. Questa infrastruttura ha caratteristiche particolarmente performanti non tanto per conseguire gli scopi della regolazione, che comunque non necessitano di tempi di latenza eccessivamente stringenti, quanto piuttosto per implementare un’automazione di rete veloce che permette di evitare la disalimentazione degli utenti a monte di guasto attraverso una selezione rapida e intelligente del ramo guasto.

A QoS Controller Framework Compliant with the ETSI Network Function Virtualization Specification

The 5th generation of mobile networking introduces the concept of “Network slicing”, the network will be “sliced” horizontally, each slice will be compliant with different requirements in terms of network parameters such as bandwidth, latency. This technology is built on logical instead of physical resources, relies on virtual network as main concept to retrieve a logical resource. The Network Function Virtualisation provides the concept of logical resources for a virtual network function, enabling the concept virtual network; it relies on the Software Defined Networking as main technology to realize the virtual network as resource, it also define the concept of virtual network infrastructure with all components needed to enable the network slicing requirements. SDN itself uses cloud computing technology to realize the virtual network infrastructure, NFV uses also the virtual computing resources to enable the deployment of virtual network function instead of having custom hardware and software for each network function. The key of network slicing is the differentiation of slice in terms of Quality of Services parameters, which relies on the possibility to enable QoS management in cloud computing environment. The QoS in cloud computing denotes level of performances, reliability and availability offered. QoS is fundamental for cloud users, who expect providers to deliver the advertised quality characteristics, and for cloud providers, who need to find the right tradeoff between QoS levels that has possible to offer and operational costs. While QoS properties has received constant attention before the advent of cloud computing, performance heterogeneity and resource isolation mechanisms of cloud platforms have significantly complicated QoS analysis and deploying, prediction, and assurance. This is prompting several researchers to investigate automated QoS management methods that can leverage the high programmability of hardware and software resources in the cloud.

Analisi costi-benefici del Building Information Modeling (BIM) mediante casi studio e simulazione

Il lavoro svolto in questa tesi vuole proporsi come un’analisi critica ed economica di ciò che il Building Information Modeling (BIM) rappresenta. La tesi si articola in una prima introduzione sul panorama attuale, identificando il problema che costituisce la sfida ingegneristica: l’ottimizzazione dei processi tecnici e realizzativi dell’industria delle costruzioni, migliorandone l’interoperabilità. Di seguito, dopo un’attenta valutazione della letteratura disponibile, si desumeranno quanti più dati validi per dare compiutezza alle analisi che verranno svolte dopo, in merito agli aspetti tecnici, pratici, e ai risvolti economici annessi. Si è scelto come oggetto di studio un esperimento di collaborazione con l’Università di Ferrara. Per dimostrare le potenzialità del BIM, si è voluto riproporre in ambito accademico un’anteprima della realtà professionale, affinché la simulazione possa essere quanto più fedele alle problematiche discusse. Il lavoro svolto ha previsto la creazione del modello architettonico e strutturale del Co-Housing San Rocco, un complesso di edifici di nuova realizzazione proposto nella tesi di Bulletti. Il compito di ogni tesista è ben definito: Bulletti Simone, studente di Architettura dell’Università di Ferrara, ha trattato gli aspetti architettonici del progetto. L’autore della presente tesi ha invece sviluppato il modello strutturale, svolgendo in seguito un’analisi dei vantaggi economici e gestionali che questa metodologia ha offerto.

Comparazione performance di un'applicazione enterprise basata su service mesh

Ultimamente si stanno sviluppando tecnologie per rendere più efficiente la virtualizzazione a livello di sistema operativo, tra cui si cita la suite Docker, che permette di gestire processi come se fossero macchine virtuali. Inoltre i meccanismi di clustering, come Kubernetes, permettono di collegare macchine multiple, farle comunicare tra loro e renderle assimilabili ad un server monolitico per l'utente esterno. Il connubio tra virtualizzazione a livello di sistema operativo e clustering permette di costruire server potenti quanto quelli monolitici ma più economici e possono adattarsi meglio alle richieste esterne. Data l'enorme mole di dati e di potenza di calcolo necessaria per gestire le comunicazioni e le interazioni tra utenti e servizi web, molte imprese non possono permettersi investimenti su un server proprietario e la sua manutenzione, perciò affittano le risorse necessarie che costituiscono il cosiddetto "cloud", cioè l'insieme di server che le aziende mettono a disposizione dei propri clienti. Il trasferimento dei servizi da macchina fisica a cloud ha modificato la visione che si ha dei servizi stessi, infatti non sono più visti come software monolitici ma come microservizi che interagiscono tra di loro. L'infrastruttura di comunicazione che permette ai microservizi di comunicare è chiamata service mesh e la sua suddivisione richiama la tecnologia SDN. È stato studiato il comportamento del software di service mesh Istio installato in un cluster Kubernetes. Sono state raccolte metriche su memoria occupata, CPU utilizzata, pacchetti trasmessi ed eventuali errori e infine latenza per confrontarle a quelle ottenute da un cluster su cui non è stato installato Istio. Lo studio dimostra che, in un cluster rivolto all'uso in produzione, la service mesh offerta da Istio fornisce molti strumenti per il controllo della rete a scapito di una richiesta leggermente più alta di risorse hardware.

Videoarte: origini, linguaggi e critica sociale

L'elaborato si pone l'obbiettivo di trattare in parallelo ibridazioni, linguaggi, forme della videoarte e il suo rapporto il con sistema sociopolitico, approfondendo artisti che operano nel campo della critica sociale con diversi utilizzi del medium e dei linguaggi.

Ottimizzazione dell’ubicazione di hub logistici distributivi ed analisi sulla sostenibilità ambientale: il caso FAAC Technologies

Il presente lavoro di tesi si occupa di identificare le possibili ubicazioni di hub logistici distributivi del gruppo aziendale FAAC Technologies e di valutare le alternative da un duplice punto di vista: economico e sostenibile. Per raggiungere il suddetto risultato è stata dapprima studiata l’attuale configurazione logistica nel centro Europa. Unendo le caratteristiche dell’azienda con le ricerche presenti in letteratura scientifica riguardo la risoluzione di Hub Location Problem, è stato implementato un modello matematico che ottimizzi economicamente il posizionamento degli stabilimenti secondo diversi scenari organizzativi. Una seconda versione del modello valuta il rispetto dei tempi di transito da parte delle soluzioni ottenute. Infine, gli stessi scenari sono stati comparati tra loro in base all’impatto ambientale in termini di CO2 emessa nell’atmosfera per via del trasporto. Sono state studiate strategie riguardanti la logistica distributiva sostenibile e sono state proposte soluzioni in grado di mitigare gli effetti dovuti all’immissione di anidride carbonica. Gli strumenti digitali utilizzati nella presente ricerca sono stati: Excel per visualizzare ed elaborare i dati aziendali; Flourish per visualizzare i dati in mappe geografiche; MATLAB per trasformare le tariffe di trasporto in equazioni matematiche; Gurobi Optimizer per ottenere le soluzioni date dall’ottimizzazione del modello matematico, programmando attraverso il linguaggio AMPL. I risultati più significativi dimostrano la possibilità di raggiungere un risparmio economico del 16,7% dei costi logistici nel caso di ubicazione di un solo hub e del 9,8% nel caso di due hub. Dal punto di vista ambientale le medesime soluzioni comportano un aumento delle emissioni di CO2 rispettivamente del 45% e 8%. L’azzeramento di queste emissioni aggiuntive è possibile e a tal fine sarebbe necessario sostenere extra costi, i quali farebbero convergere entrambe gli scenari ad un risparmio comune pari all’8,2%.