Estensione dell'Abstraction Layer di DTNperf alle API di IBR-DTN

Sono dette “challenged networks” quelle reti in cui lunghi ritardi, frequenti partizionamenti e interruzioni, elevati tassi di errore e di perdita non consentono l’impiego dei classici protocolli di comunicazione di Internet, in particolare il TCP/IP. Il Delay-/Disruption-Tolerant Networking (DTN) è una soluzione per il trasferimento di dati attraverso queste reti. L’architettura DTN prevede l’introduzione, sopra il livello di trasporto, del cosiddetto “bundle layer”, che si occupa di veicolare messaggi, o bundle, secondo l’approccio store-and-forward: ogni nodo DTN conserva persistentemente un bundle finché non si presenta l’opportunità di inoltrarlo al nodo successivo verso la destinazione. Il protocollo impiegato nel bundle layer è il Bundle Protocol, le cui principali implementazioni sono tre: DTN2, l’implementazione di riferimento; ION, sviluppata da NASA-JPL e più orientata alle comunicazioni spaziali; IBR-DTN, rivolta soprattutto a dispositivi embedded. Ciascuna di esse offre API che consentono la scrittura di applicazioni in grado di inviare e ricevere bundle. DTNperf è uno strumento progettato per la valutazione delle prestazioni in ambito DTN. La più recente iterazione, DTNperf_3, è compatibile sia con DTN2 che con ION nella stessa versione del programma, grazie all’introduzione di un “Abstraction Layer” che fornisce un’unica interfaccia per l’interazione con le diverse implementazioni del Bundle Protocol e che solo internamente si occupa di invocare le API specifiche dell’implementazione attiva. Obiettivo della tesi è estendere l’Abstraction Layer affinché supporti anche IBR-DTN, cosicché DTNperf_3 possa essere impiegato indifferentemente su DTN2, ION e IBR DTN. Il lavoro sarà ripartito su tre fasi: nella prima esploreremo IBR DTN e le sue API; nella seconda procederemo all’effettiva estensione dell’Abstraction Layer; nella terza verificheremo il funzionamento di DTNperf a seguito delle modifiche, sia in ambiente esclusivamente IBR-DTN, sia ibrido.

State-of-the-Art Multihoming Protocols and Support for Android

Il traguardo più importante per la connettività wireless del futuro sarà sfruttare appieno le potenzialità offerte da tutte le interfacce di rete dei dispositivi mobili. Per questo motivo con ogni probabilità il multihoming sarà un requisito obbligatorio per quelle applicazioni che puntano a fornire la migliore esperienza utente nel loro utilizzo. Sinteticamente è possibile definire il multihoming come quel processo complesso per cui un end-host o un end-site ha molteplici punti di aggancio alla rete. Nella pratica, tuttavia, il multihoming si è rivelato difficile da implementare e ancor di più da ottimizzare. Ad oggi infatti, il multihoming è lontano dall’essere considerato una feature standard nel network deployment nonostante anni di ricerche e di sviluppo nel settore, poiché il relativo supporto da parte dei protocolli è quasi sempre del tutto inadeguato. Naturalmente anche per Android in quanto piattaforma mobile più usata al mondo, è di fondamentale importanza supportare il multihoming per ampliare lo spettro delle funzionalità offerte ai propri utenti. Dunque alla luce di ciò, in questa tesi espongo lo stato dell’arte del supporto al multihoming in Android mettendo a confronto diversi protocolli di rete e testando la soluzione che sembra essere in assoluto la più promettente: LISP. Esaminato lo stato dell’arte dei protocolli con supporto al multihoming e l’architettura software di LISPmob per Android, l’obiettivo operativo principale di questa ricerca è duplice: a) testare il roaming seamless tra le varie interfacce di rete di un dispositivo Android, il che è appunto uno degli obiettivi del multihoming, attraverso LISPmob; e b) effettuare un ampio numero di test al fine di ottenere attraverso dati sperimentali alcuni importanti parametri relativi alle performance di LISP per capire quanto è realistica la possibilità da parte dell’utente finale di usarlo come efficace soluzione multihoming.

Ottimizzazione e progettazione di un sistema di cogenerazione statica di energia elettrica tramite celle ad effetto Seebeck

La presente trattazione descrive l’ottimizzazione del prototipo di un generatore termoelettrico da integrare in caldaie a biomassa. La tecnologia termoelettrica consente di generare potenza elettrica a partire da un flusso di calore. Sebbene tale tecnologia presenti caratteristiche di elevata affidabilità e silenziosità, essa richiede ulteriori sforzi tecnologici nella ricerca dell’integrazione ottimale con un impianto termico, ed è inoltre necessaria una progettazione accurata dell’elettronica di controllo. Nella prima sezione del testo vengono descritti i principi fisici alla base di questa tecnologia e le tecniche per la conversione della potenza generata dai moduli termoelettrici (o ad effetto Seebeck) al fine di renderla fruibile da una tipica utenza domestica. Nel secondo capitolo si riporta lo stato dell’arte dell’applicazione della tecnologia termoelettrica in caldaie a biomassa e alcuni casi di implementazione recenti, sottolineando le configurazioni utilizzate, i principali problemi riscontrati nello sviluppo e nella sperimentazione, e le modifiche conseguentemente adottate per superarli. Il terzo capitolo analizza il prototipo sviluppato presso il Dipartimento di Ingegneria Industriale dell’Università di Bologna e descrive il processo di dimensionamento dei componenti meccanici e le proposte di ottimizzazione a seguito dei risultati dei primi collaudi. Viene infine sviluppato un modello matematico per confrontare, in funzione dei costi di produzione e di esercizio, le possibilità di sostituzione dei metodi di generazione di energia elettrica convenzionali con l’impianto di cogenerazione termoelettrica realizzato, considerando anche aspetti di impatto ambientale. Tali analisi e ottimizzazioni consistono in un primo miglioramento necessario a rendere la tecnologia termoelettrica applicabile alle caldaie a biomassa stand-alone e a permettere una generazione continua di energia elettrica nelle regioni in cui le infrastrutture sono poco affidabili.

Classificazione delle curve ellittiche viste come curve algebriche piane

Nel presente lavoro è affrontato lo studio delle curve ellittiche viste come curve algebriche piane, più precisamente come cubiche lisce nel piano proiettivo complesso. Dopo aver introdotto nella prima parte le nozioni di Superfici compatte e orientabili e curve algebriche, tramite il teorema di classificazione delle Superfici compatte, se ne fornisce una preliminare classificazione basata sul genere della superficie e della curva, rispettivamente. Da qui, segue la definizione di curve ellittiche e uno studio più dettagliato delle loro pricipali proprietà, quali la possibilità di definirle tramite un'equazione affine nota come equazione di Weierstrass e la loro struttura intrinseca di gruppo abeliano. Si fornisce quindi un'ulteriore classificazione delle cubiche lisce, totalmente differente da quella precedente, che si basa invece sul modulo della cubica, invariante per trasformazioni proiettive. Infine, si considera un aspetto computazionale delle curve ellittiche, ovvero la loro applicazione nel campo della Crittografia. Grazie alla struttura che esse assumono sui campi finiti, sotto opportune ipotesi, i crittosistemi a chiave pubblica basati sul problema del logaritmo discreto definiti sulle curve ellittiche, a parità di sicurezza rispetto ai crittosistemi classici, permettono l'utilizzo di chiavi più corte, e quindi meno costose computazionalmente. Si forniscono quindi le definizioni di problema del logaritmo discreto classico e sulle curve ellittiche, ed alcuni esempi di algoritmi crittografici classici definiti su quest'ultime.

Caratterizzazione della popolazione microbica di salami fermentati spontaneamente

Le fermentazioni spontanee nei salami sono un fenomeno molto complesso in cui si assiste ad una successione di diverse popolazioni microbiche (micrococchi, stafilococchi e batteri lattici), avente ognuna un ruolo importante nell’ottenimento delle qualità desiderate del prodotto finale. Questo susseguirsi vorticoso di popolazioni microbiche nelle fermentazioni spontanee viene ormai regolamentato dall’uso di colture starter che, aggiunte in quantità idonee immediatamente prima dell’insaccamento, contribuiscono in maniera essenziale ad un rapido, corretto (e soprattutto sicuro) processo di fermentazione prima e di disidratazione poi. Poiché però l’impiego di starter segue spesso protocolli indifferenziati, è importante la selezione di colture starter “taylor made”, in grado di differenziare i prodotti in maniera riconoscibile con l’apporto di specifici tratti organolettici e sensoriali. Dunque, con questo elaborato di tesi si è voluto procedere alla raccolta di potenziali colture starter provenienti da diversi salami della tradizione mediterranea (salame di tipo bresciano, romagnolo e lucano), fermentati spontaneamente. Questi prodotti sono stati dapprima caratterizzati per quanto riguarda le loro caratteristiche microbiologiche, chimico-fisiche, profilo aromatico e il loro contenuto in ammine biogene. Successivamente, in particolare per il salame di tipo bresciano, sono stati isolati ceppi di interesse dalla popolazione lattica, poi identificati e testati per alcune caratteristiche di interesse tecnologico (capacità di produrre ammine biogene e profilo aromatico). I ceppi riscontrati, appartenenti alle specie Lactobacillus sakei e Lactobacillus curvatus, hanno mostrato una notevole biodiversità, soprattutto per quanto riguarda la produzione di molecole aromatiche, e quindi una notevole capacità, anche nell’ambito della stessa specie, di modulare la produzione di composti molto importanti dal punto di vista organolettico.

Un sistema di previsione degli itinerari per applicazioni di smart mobility

In questo lavoro verrà presentato lo sviluppo di un'applicazione nell'ambito della "Smart Mobility". In particolare verrà fornita l'implementazione di un modulo che sarà parte integrante di un'infrastruttura molto complessa, SMAll. Verranno quindi presentate alcune tecnologie utilizzate per la raccolta dei dati e l'utilizzo delle mappe, con particolare attenzione riguardo a OpenStreetMap. Seguirà quindi una presentazione del progetto divisa nelle fasi di analisi e progettazione, dettagliando tramite opportuni diagrammi il lavoro svolto. Infine ci sarà una discussione riguardo i risultati ottenuti e sugli sviluppi futuri che potranno essere intrapresi.

Studio di membrane a base di liquidi ionici per il trasporto facilitato di CO2

In questo lavoro viene effettuata un’analisi di membrane per la separazione di CO2 basate sul meccanismo di trasporto facilitato. Queste membrane sono caratterizzate da un supporto poroso impregnato di una fase liquida le cui proprietà chimico-fisiche vengono presentate in relazione alle performance di separazione fornite: si tratta di liquidi ionici che presentano gruppi funzionali in grado di reagire con la CO2 consentendo il trasporto facilitato del gas acido attraverso la membrana. Le prestazioni in termini di separazione di CO2 da miscele gas fornite da questa tecnologia vengono analizzate e confrontate con quelle offerte da altre tipologie di membrane: alcune basate sul meccanismo di solution-diffusion (membrane polimeriche e membrane impregnate di liquidi ionici room-temperature) ed altre caratterizzate da permeazione di CO2 con presenza di reazione chimica ottenuta mediante facilitatori (mobili o legati allo scheletro carbonioso del polimero costituente la membrana). I risultati ottenuti sono analizzati in merito alla possibile implementazione di tale sistema di separazione a membrana in processi di cattura di CO2 nell'ambito della tecnologia di Carbon Capture and Storage.

Scenari applicativi per Smart Home su piattaforma Home Manager: verso il livello intelligence

Analisi degli scenari applicativi in ambiente Home Manager e progettazione, implementazione e collaudo di alcune delle funzionalità proposte.

Modellistica e controllo di attuatori idraulici

La tesi tratta della modellistica e del controllo di un attuatore idraulico con valvola a quattro vie. Inizialmente si definiscono le grandezze e le formule fondamentali per descrivere un sistema idraulico e costruirne il modello matematico. Successivamente si ricava il modello non lineare del sistema nello spazio degli stati, quindi lo si linearizza per poterlo descrivere e studiare anche tramite funzioni di trasferimento. Si ricava quindi, utilizzando anche Matlab e Simulink, il controllo da applicare al modello linearizzato e si testa il comportamento del sistema in risposta a diversi segnali di ingresso. Infine si applica lo stesso controllore al sistema non lineare e si confrontano i due diversi comportamenti.

Modeling and control algorithms for product phasing using smart belts

Nella seguente tesi è descritto il principio di sviluppo di una macchina industriale di alimentazione. Il suddetto sistema dovrà essere installato fra due macchine industriali. L’apparato dovrà mettere al passo e sincronizzare con la macchina a valle i prodotti che arriveranno in input. La macchina ordina gli oggetti usando una serie di nastri trasportatori a velocità regolabile.
Lo sviluppo è stato effettuato al Laboratorio Liam dopo la richiesta dell’azienda Sitma. Sitma produceva già un tipo di sistema come quello descritto in questa tesi. Il deisderio di Sitma è quindi quello di modernizzare la precedente applicazione poiché il dispositivo che le permetteva di effettuare la messa al passo di prodotti era un PLC Siemens che non è più commercializzato. La tesi verterà sullo studio dell’applicazione e la modellazione tramite Matlab-Simulink per poi proseguire ad una applicazione, seppure non risolutiva, in TwinCAT 3.

Osservatore e controllore sensorless ad elevate prestazioni per propulsione elettrica di Unmanned Aerial Vehicles

Negli ultimi anni, tra le varie tecnologie che hanno acquisito una sempre maggiore popolarità e diffusione, una di particolare rilevanza è quella degli Unmanned Aerial Vehicles. Di questi velivoli, quelli che stanno riscuotendo maggiore successo sono i multirotori, alimentati esclusivamente da azionamenti elettrici disposti in opportune posizioni della struttura. Particolari sforzi sono stati recentemente dedicati al miglioramento di questa tecnologia in termini di efficienza e precisione, tuttavia quasi sempre si trascura la vitale importanza dello sfruttamento efficiente dei motori elettrici. La tecnica di pilotaggio adottata nella quasi totalità dei casi per questi componenti è il BLDC sensorless, anche se la struttura si dimostra spesso essere PMSM, dunque inadatta all’uso di questa strategia. Il controllo ideale per i PMSM risulterebbe essere FOC, tuttavia per l'implementazione sensorless molti aspetti scontati nel BLDC devono essere affrontati, in particolare bisogna risolvere problemi di osservazione e identificazione. Durante la procedura di avviamento, efficienti strategie di self-commissioning vengono adottate per l’identificazione dei parametri elettrici. Per la fase di funzionamento nominale viene proposto un osservatore composto da diversi componenti interfacciati tra loro tramite un filtro complementare, il tutto al fine di ottenere una stima di posizione e velocità depurata dai disturbi. In merito al funzionamento in catena chiusa, vengono esposte valutazioni preliminari sulla stabilità e sulla qualità del controllo. Infine, per provare la validità degli algoritmi proposti, vengono mostrati i risultati delle prove sperimentali condotte su un tipico azionamento per UAV, pilotato da una scheda elettronica progettata appositamente per l’applicazione in questione. Vengono fornite inoltre indicazioni sull’implementazione degli algoritmi studiati, in particolare considerazioni sull’uso delle operazioni a virgola fissa per velocizzare l'esecuzione.

Ottimizzazione del sistema di trattamento fumi a doppio stadio del termovalorizzatore HERA di Coriano (RN)

Lo studio svolto si propone di stabilire quali sono le condizioni di gestione ottimale del sistema di depurazione dei fumi dell’impianto di termovalorizzazione di Rimini, situato nel comune di Coriano e gestito da Herambiente, una società nata nel 2009 nell'ambito del Gruppo Hera, una delle più importanti multiutility italiane che opera nei servizi dell’ambiente, dell’acqua e dell’energia. Il sistema di depurazione dell’impianto è composto da un doppio stadio di abbattimento a secco in cui si dosa calce (Ca(OH)2), al primo stadio, e bicarbonato di sodio (NaHCO3), al secondo. Rispetto alla calce, il bicarbonato garantisce una migliore efficienza di abbattimento dei gas acidi (HCl, SO2, HF), ma ha un prezzo d’acquisto maggiore. Da tale considerazione ha origine il problema di ottimizzazione economica: è necessario individuare una soluzione che consenta di ridurre il consumo e la spesa dei reagenti utilizzati senza alterare le emissioni di inquinanti a camino. I costi operativi legati alla gestione del sistema di depurazione, inoltre, devono tenere in considerazione anche la produzione dei residui solidi generati nei due stadi di abbattimento. Il calcolo di ottimizzazione è stato eseguito utilizzando un modello matematico in grado di prevedere il comportamento dei sistemi reagenti nei due stadi di abbattimento tramite la conoscenza di un parametro empirico. Dopo aver calibrato il modello con i dati di funzionamento dell’impianto, è possibile procedere alla sua implementazione al fine di valutare, in diversi periodi dell’anno 2015, come variano i costi operativi totali in funzione della conversione di HCl (gas acido più critico) al primo stadio di abbattimento e individuare quindi la migliore condizione economico-operativa per ciascun periodo considerato.

Sviluppo del simulatore ALCHEMIST per la modellazione di movimento cellulare

La tesi ha avuto come obiettivo l’estensione dell’incarnazione biochimica del simulatore Alchemist, cioè di quella parte del simulatore dedicata alla modellazione di ambienti multicellulari. L'estensione si è focalizzata sullo sviluppo delle necessarie astrazioni per modellare il movimento cellulare, un fenomeno che riveste una grande importanza in molti eventi di rilevanza biologica e fisiologica. A tal scopo si è definito, e implementato sulla piattaforma ALCHEMIST, un modello di: 1) giunzione cellulare 2) estensione spaziale della cellula 3) ambiente cellulare 4) interazione meccanica. Sono infatti questi quattro elementi chiave necessari per la riproduzione il più fedele possibile dei fenomeni biologici associati al movimento cellulare. Al fine di validare il modello e l'implementazione si sono infine sviluppati alcuni test, tra cui, nei principali, viene riprodotto il fenomeno della chemiotassi e l'inseguimento neutrofilo-batterio.

Sospesi nel linguaggio Scrivere e parlare matematica in V Liceo

Questo lavoro nasce dal desiderio di approfondire i fondamenti del linguaggio della matematica, osservandone gli usi ed analizzandone gli scopi dal punto di vista didattico e non solo. Il linguaggio è il mezzo su cui si costruiscono i pensieri o semplicemente lo strumento coi quali si comunica il sapere? Il linguaggio è uno strumento della pratica matematica o è la matematica ad essere un linguaggio? Se lo è, che caratteristiche ha? Queste sono le domande che hanno accompagnato la stesura dei primi capitoli di questa tesi, in cui si approfondisce il tema del linguaggio della matematica da un punto di vista epistemologico, tecnico e didattico, a partire dai riferimenti teorici e dalle ricerche sul campo curate da Bruno D’Amore e Pier Luigi Ferrari. Nella seconda parte si presentano i risultati e le osservazioni della sperimentazione condotta nella classe 5a As del Liceo Scientifico “A. Righi” di Cesena. L’indagine di tipo qualitativo sui protocolli degli studenti ha permesso di definire le modalità d’uso del linguaggio da parte degli stessi al termine del percorso scolastico, di mostrare alcuni possibili legami tra le competenze linguistiche e quelle matematiche e di delineare una classificazione di tre profili di allievi relativamente al loro modo di scrivere e parlare di matematica. La tesi ha favorito uno sguardo trasversale verso la matematica in cui il linguaggio offre una fruttuosa possibilità di incontro tra prospettive opposte nel guardare la scienza e l’uomo. Questo apre alla possibilità di costruire una didattica che non sia la mera somma di conoscenze o la divisione di settori disciplinari, ma il prodotto di elementi che armoniosamente costruiscono il pensiero dell’uomo.

Advanced 4DT flight guidance and control software system

The work presented in this thesis has been part of a Cranfield University research project. This thesis aims to design a flight control law for large cargo aircraft by using predictive control, which can assure flight motion along the flight path exactly and on time. In particular this work involves the modelling of a Boeing C-17 Globemaster III 6DOF model (used as study case), by using DATCOM and Matlab Simulink software. Then a predictive control algorithm has been developed. The majority of the work is done in a Matlab/Simulink environment. Finally the predictive control algorithm has been applied on the aircraft model and its performances, in tracking given trajectory optimized through a 4DT Research Software, have been evaluated.