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

Interfaccia utente per assegnamento missioni e monitoraggio di un trattore automatico

Il presente lavoro consiste nella realizzazione di un'interfaccia utente adibita all'assegnamento di missioni e al monitoraggio remoto di un rover agricolo autonomo. Sfruttando l'informatica per la sua implementazione, tale interfaccia trova invece applicazione nel campo dell'automazione e dell'agricoltura di precisione. L'utilizzatore ha perciò la facoltà di muovere il rover in campo aperto e di demandargli missioni specifiche, ricevendo allo stesso tempo un feedback continuo sul suo operato. L'applicativo software comunica quindi in maniera bidirezionale con il veicolo controllato ed è predisposto per sfruttare diversi canali di comunicazione (antenne seriali, pacchetti udp, socket tcp). La scrittura del codice è stata seguita da una serie di prove di comunicazione con il veicolo, effettuate indoor, e infine da alcuni test completi effettuati outdoor, con il rover in movimento.

tuProlog su piattaforma Android: reingegnerizzazione in ottica Modern UI e fruibilità "as a service"

Questa tesi si occupa principalmente della revisione grafica in ottica Modern UI dell'app tuProlog Android, nella prospettiva di renderlo in futuro disponibile anche in modalità as-a-service. Dopo una attenta analisi preliminare dell'architettura di tuProlog in generale e in particolare della struttura dell'app tuProlog preesistente e del relativo progetto in ambiente Eclipse, ci si è focalizzati sulla riprogettazione dell'app, dall'analisi dei requisiti - ivi incluso il nuovo strumento di sviluppo da utilizzare, Android Studio - alla successiva analisi e progettazione della nuova soluzione, seguita da implementazione e collaudo.

Home Manager Application su Android ART: progetto e realizzazione in ottica modern UI

Questa tesi si occupa della realizzazione, in ottica Modern UI, di una nuova interfaccia per l'applicazione Android del sistema domotico Home Manager. Dopo una prima fase di analisi preliminare, si affronta la progettazione dell'app, dall'analisi dei requisiti - ivi incluso il nuovo strumento di sviluppo da utilizzare, Android Studio - alla successiva analisi e progettazione della nuova soluzione, seguita da implementazione e collaudo.

Opportunistic Contact Graph Routing

L'ambiente di questa tesi è quello del Delay and Disruption Tolerant Networks (DTN), un'architettura di rete di telecomunicazioni avente come obiettivo le comunicazioni tra nodi di reti dette “challenged”, le quali devono affrontare problemi come tempi di propagazione elevati, alto tasso di errore e periodi di perdita delle connessioni. Il Bunde layer, un nuovo livello inserito tra trasporto e applicazione nell’architettura ISO/OSI, ed il protocollo ad esso associato, il Bundle Protocol (BP), sono stati progettati per rendere possibili le comunicazioni in queste reti. A volte fra la ricezione e l’invio può trascorrere un lungo periodo di tempo, a causa della indisponibilità del collegamento successivo; in questo periodo il bundle resta memorizzato in un database locale. Esistono varie implementazioni dell'architettura DTN come DTN2, implementazione di riferimento, e ION (Interplanetary Overlay Network), sviluppata da NASA JPL, per utilizzo in applicazioni spaziali; in esse i contatti tra i nodi sono deterministici, a differenza delle reti terrestri nelle quali i contatti sono generalmente opportunistici (non noti a priori). Per questo motivo all’interno di ION è presente un algoritmo di routing, detto CGR (Contact Graph Routing), progettato per operare in ambienti con connettività deterministica. È in fase di ricerca un algoritmo che opera in ambienti non deterministici, OCGR (Opportunistic Contact Graph Routing), che estende CGR. L’obiettivo di questa tesi è quello di fornire una descrizione dettagliata del funzionamento di OCGR, partendo necessariamente da CGR sul quale è basato, eseguire dei test preliminari, richiesti da NASA JPL, ed analizzarne i risultati per verificare la possibilità di utilizzo e miglioramento dell’algoritmo. Sarà inoltre descritto l’ambiente DTN e i principali algoritmi di routing per ambienti opportunistici. Nella parte conclusiva sarà presentato il simulatore DTN “The ONE” e l’integrazione di CGR e OCGR al suo interno.

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.

Sistema de carga bidirecional para veículo elétrico

As preocupações com o elevado consumo de combustíveis fósseis e a crescente poluição atmosférica conduziram ao desenvolvimento dos veículos elétricos e dos veículos elétricos híbridos. O crescimento do parque automóvel elétrico levou à necessidade de considerar a sua integração na rede eléctrica, ao nível dos impactos estimados, mas também na sua potencial contribuição para uma gestão inteligente do sistema, funcionando como um buffer da energia produzida, permitindo desacoplar a produção do consumo, e assim melhor a eficiência global. Neste trabalho foi efetuado um estudo relacionado com a ligação bidirecional entre os veículos eléctricos e a rede eléctrica que permitirá o uso das baterias instaladas nos veículos participar nesse apoio à rede, debruçando-se primeiramente sobre o desenvolvimento das baterias que permanecem como elos mais fracos. Utilizando diferentes ferramentas de simulação e de análise de resultados foi depois efetuado um estudo sobre dois sistemas alternativos capazes de implementar o conceito V2G respeitando as restrições do ponto de vista normativo. Os resultados obtidos a partir de uma simulação coordenada entre os programas Simulink/Matlab e PSIM permitiram demostram o bom funcionamento dos 2 sistemas propostos, permitindo ficar com a convicção que o conversor multinível será capaz de proporcionar os resultados desejados com um menor tempo de resposta.

Design and implementation of generalized topologies of time-interleaved variable bandpass Σ−Δ modulators

In this thesis, novel analog-to-digital and digital-to-analog generalized time-interleaved variable bandpass sigma-delta modulators are designed, analysed, evaluated and implemented that are suitable for high performance data conversion for a broad-spectrum of applications. These generalized time-interleaved variable bandpass sigma-delta modulators can perform noise-shaping for any centre frequency from DC to Nyquist. The proposed topologies are well-suited for Butterworth, Chebyshev, inverse-Chebyshev and elliptical filters, where designers have the flexibility of specifying the centre frequency, bandwidth as well as the passband and stopband attenuation parameters. The application of the time-interleaving approach, in combination with these bandpass loop-filters, not only overcomes the limitations that are associated with conventional and mid-band resonator-based bandpass sigma-delta modulators, but also offers an elegant means to increase the conversion bandwidth, thereby relaxing the need to use faster or higher-order sigma-delta modulators. A step-by-step design technique has been developed for the design of time-interleaved variable bandpass sigma-delta modulators. Using this technique, an assortment of lower- and higher-order single- and multi-path generalized A/D variable bandpass sigma-delta modulators were designed, evaluated and compared in terms of their signal-to-noise ratios, hardware complexity, stability, tonality and sensitivity for ideal and non-ideal topologies. Extensive behavioural-level simulations verified that one of the proposed topologies not only used fewer coefficients but also exhibited greater robustness to non-idealties. Furthermore, second-, fourth- and sixth-order single- and multi-path digital variable bandpass digital sigma-delta modulators are designed using this technique. The mathematical modelling and evaluation of tones caused by the finite wordlengths of these digital multi-path sigmadelta modulators, when excited by sinusoidal input signals, are also derived from first principles and verified using simulation and experimental results. The fourth-order digital variable-band sigma-delta modulator topologies are implemented in VHDL and synthesized on Xilinx® SpartanTM-3 Development Kit using fixed-point arithmetic. Circuit outputs were taken via RS232 connection provided on the FPGA board and evaluated using MATLAB routines developed by the author. These routines included the decimation process as well. The experiments undertaken by the author further validated the design methodology presented in the work. In addition, a novel tunable and reconfigurable second-order variable bandpass sigma-delta modulator has been designed and evaluated at the behavioural-level. This topology offers a flexible set of choices for designers and can operate either in single- or dual-mode enabling multi-band implementations on a single digital variable bandpass sigma-delta modulator. This work is also supported by a novel user-friendly design and evaluation tool that has been developed in MATLAB/Simulink that can speed-up the design, evaluation and comparison of analog and digital single-stage and time-interleaved variable bandpass sigma-delta modulators. This tool enables the user to specify the conversion type, topology, loop-filter type, path number and oversampling ratio.

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.

Sistema avanzado de alarmas para el reactor RA6.

Los sistemas de alarmas constituyen un elemento clave en las plantas modernas de procesos industriales. A lo largo de los años, los mismos han ido evolucionando de la mano del importante desarrollo en la industria del software, para pasar de ser simples paneles de anunciación y lámparas cableadas hasta complejos sistemas inteligentes que asisten al operador en sus funciones de operación. En el desarrollo de este trabajo se planteó diseñar un Sistema Avanzado de Alarmas para el Reactor Nuclear de Investigación RA6 contemplando las nuevas tecnologías existentes para incorporar mejoras a la actual sala de control. Para ello se trabajó siguiendo la metodología propuesta por la guía de diseño de sistemas de alarmas ANSI / ISA- SP-18. Para asistir al diseño y la verificación del sistema se utilizó un modelo termohidráulico de la planta desarrollado en Matlab/Simulink. Entre las nuevas herramientas incorporadas en el prototipo final obtenido se pueden mencionar: creación de archivos históricos, asignación de prioridades, supresiones de alarmas según estado operativo, filtrado y agrupamiento de alarmas.