Un sistema di domotica per il controllo energetico domestico con tecnologie open-source.

Data la sempre maggiore richiesta di fabbisogno energetico, si è sviluppata una nuova filosofia nella gestione dei consumi energetici, il DSM (demand side management), che ha lo scopo di incoraggiare il consumatore ad usare energia in modo più intelligente e coscienzioso. Questo obiettivo, unito all’accumulo di energia da fonti rinnovabili, permetterà un abbassamento dell’utilizzo dell’energia elettrica proveniente dal consumo di fonti non rinnovabili e altamente inquinanti come quelle a combustibili fossili ed una diminuzione sia del consumo energetico, sia del costo per produrre energia che dell’energia stessa. L’home automation e la domotica in ambiente domestico rappresentano un esempio di DSM. L’obiettivo di questa tesi è quello di creare un sistema di home automation utilizzando tecnologie opensource. Sono stati utilizzati device come board Arduino UNO, Raspberry Pi ed un PC con sistema operativo GNU/Linux per creare una simulazione di un sistema di home automation abbinato alla gestione di celle fotovoltaiche ed energy storaging. Il sistema permette di poter spegnere un carico energetico in base a delle particolari circostanze come, per esempio, il superamento di una certa soglia di consumo di energia elettrica. Il software utilizzato è opensource e mira a poter ottimizzare il consumo energetico secondo le proprie finalità. Il tutto a dimostrare che si può creare un sistema di home automation da abbinare con il presente e futuro delle fonti rinnovabili utilizzando tecnologie libere in modo tale da preservare privacy e security oltre che customizzazione e possibilità di adattamento a diverse circostanze. Nella progettazione del sistema è stato implementato un algoritmo per gestire varie situazioni all’interno di un ambiente domestico. La realizzazione di tale algoritmo ha prodotto ottimi risultati nella raggiungimento degli obiettivi prefissati. Il progetto di questa tesi può essere ulteriormente ampliato ed il codice è reperibile in un repository pubblico.

Sistemi operativi real-time su dispositivi embedded - Caso di studio : FreeRTOS su Raspberry Pi

La tesi si concentra sullo studio dell'architettura di un sistema operativo real-time e tratta approfonditamente il dispositivo embedded Raspberry Pi. Successivamente,si procede con l'installazione di BitThunder(un RTOS basato su FreeRTOS) su tale sistema embedded e si attua un test pratico per verificarne il funzionamento.

Monitoraggio attivo di un cluster di Raspberry Pi

In questa tesi viene trattata la selezione ed implementazione di un software che permetta di effettuare il monitoraggio e l'invio di segnalazioni automatiche di allerta per un cluster composto da dispositivi aventi capacità computazionali ridotte.

Modelling and PI Control of an Irrigation Canal

The main goal of this paper is to expose and validate a methodology to design efficient automatic controllers for irrigation canals, based on the Saint-Venant model. This model-based methodology enables to design controllers at the design stage (when the canal is not already built). The methodology is applied on an experimental canal located in Portugal. First the full nonlinear PDE model is calibrated, using a single steady-state experiment. The model is then linearized around a functioning point, in order to design linear PI controllers. Two classical control strategies are tested (local upstream control and distant downstream control) and compared on the canal. The experimental results show the effectiveness of the model.

Interação de níveis de água e densidade de plantas no crescimento e produtividade do feijão-caupi, em Teresina, PI.

O objetivo desse trabalho foi avaliar a influência de níveis de água e densidade de plantas no crescimento (matéria seca e área foliar) e produtividade do feijão-caupi (Vigna unguiculata L. Walp.). O experimento foi conduzido na área experimental da Embrapa Meio-Norte, localizada no município de Teresina, Piauí - Brasil, no período de julho a setembro de 2012.

Rendimento de grãos e eficiência do uso de água no cultivo de milho geneticamente modificado no município de Teresina - PI, Brasil, em condições climáticas contrastantes.

2015

Edafo-climate characteristics of Teresina (PI) specific site-Embrapa Mid-North.

2008

Drought tolerance phenotyping in cereals and legumes at Teresina, PI, specific site.

2008

Typed behavioural equivalences in the Pi-Calculus

In this thesis, I study the notion of program equivalences, i.e. proving that two programs can be used interchangeably without altering the overall observable behaviour. This definition is highly dependent on the contexts in which these programs can be used; does the context have exceptions, parallelism, etc... So proofs also need to be adapted according to the expressiveness of those contexts. This thesis presents on the pi-calculus – a concurrent programming language – under various typing constraints. Types allows us to impose different disciplines like forcing a sequential execution, or ensuring linearity, meaning an object can be used once. In each case, the bisimulation, a standard proof technique for the pi-calculus, needs to be adapted accordingly to obtain a suitable equivalence. We then test how using the modified bisimulations can be used to reason about a language with higher-order functions and references, which once translated into the pi-calculus satisfies the typing constraints.

Progetto DERNetSoft: design e sviluppo di un'app mobile per un futuro più sostenibile

Da anni ormai siamo inconsapevolmente "in guerra" con la natura. Sfruttiamo e sprechiamo risorse naturali senza alcuna considerazione per le conseguenze. Le città sono considerate le principali fonti dei problemi ambientali e la regolamentazione del consumo energetico urbano è fondamentale per affrontare il cambiamento climatico globale. DERNetSoft Inc, start-up californiana, ha intravisto il problema come un’opportunità per creare un proprio business il cui scopo è quello di contribuire a costruire un futuro a basse emissioni di carbonio, fornendo un servizio tecnologico scalabile e conveniente per consentire la riduzione delle emissioni di gas a effetto serra a livello mondiale. Per farlo vengono utilizzati i concetti di DER Energy e Aggregation Energy. Nel volume di tesi si affrontano e descrivono la progettazione di un’applicazione mobile, multipiattaforma, sviluppata con il framework React Native. L’app sviluppata è supportata da un’architettura basata su dei micro servizi implementati tramite il cloud di Google. La principale funzionalità dell’applicazione sviluppata è quella di notificare gli utenti di un evento ELRP che, attraverso incentivi economici, promuove la riduzione del consumo energetico durante i periodi di forte stress o emergenza della rete elettrica.

Immersione di Skorokhod con più marginali

Questo elaborato è incentrato sullo studio di un modello a volatilità locale, formulato da A. Conze e P. Henry-Labordère a partire dalla costruzione di R. Bass per le immersioni di Skorokhod. Dato un processo di prezzi, di cui è noto un numero finito di distribuzioni marginali, si suppone che sia una martingala non negativa esprimibile come funzione del tempo e di un altro processo stocastico (ad esempio un moto Browniano): l'obiettivo è l'individuazione di tale funzione. Per raggiungerlo ci si ricondurrà alla risoluzione di un'equazione di punto fisso, per la cui soluzione verranno forniti risultati di esistenza e unicità. La determinazione di questa funzione sarà funzionale al calcolo delle sensitività del modello.

Verso un mondo produttivo più sostenibile: analisi del grado di adozione e comunicazione di politiche sostenibili da parte di un campione di 100 aziende italiane

La sostenibilità (ambientale, economica e sociale) non rappresenta per le aziende un trend passeggero, ma una direzione da seguire per poter rispondere a norme sempre più stringenti e a consumatori sempre più attenti. La tesi illustra il concetto di sviluppo sostenibile, il quale ha segnato varie tappe della storia tra cui la pubblicazione nel 2015 dell’Agenda 2030 dalle Nazioni Unite e la definizione dei 17 obiettivi di sviluppo sostenibile per contrastare i problemi climatici. Vengono descritti i principali strumenti introdotti dall’Unione Europea per promuovere una crescita verde, utilizzando leve di intervento sia legislative che con incentivi, quali il Green Deal che mira a promuovere attività sostenibili che non generino emissioni di inquinanti, il decreto legislativo che regola l’informativa non finanziaria, il Piano d’Azione della Commissione Europea per finanziare la crescita sostenibile. Quello che le aziende comunicano sui propri siti web è una prima indicazione delle loro politiche in materia di sostenibilità, insieme ai report e alle certificazioni più formali. Lo scopo della tesi è valutare a che punto sono le aziende di diversi settori e dimensioni nella comunicazione di queste tematiche, analizzando un campione di esse, per mezzo di un form progettato per raccogliere e archiviare dati strutturati presi dai siti web. Grazie a questo si arriverà ad un punteggio per ciascuna di esse che rappresenta l’attuale livello comunicativo. Un problema attuale riscontrato è quello del greenwashing: una strategia di marketing, per dimostrare un impegno non reale nei confronti dell’ambiente agli occhi degli stakeholder e per farle guadagnare punti in reputazione e immagine aziendale. Il fine ultimo della tesi è quello di dimostrare che la sostenibilità è una scelta necessaria che va compiuta fin da subito, e non una questione solo delle grandi aziende o dei settori più “verdi”.

Modello di ottimizzazione per l’analisi di più comunità energetiche nella stessa rete di distribuzione con diversi fornitori

La tesi descrive un modello AIMMS di ottimizzazione dei flussi di potenza tra gli utenti di una comunità energetica rinnovabile. Il modello considera la presenza nella stessa rete di distribuzione di più comunità energetiche. Ogni utente può scegliere un fornitore diverso dagli altri anche se partecipa ad una comunità. Sono considerati generatori fotovoltaici e sistemi di accumulo. Per i carichi sono stati generati profili tipici di utenze domestiche. Il modello è in grado di valutare i prezzi delle transazioni di energia interne a ciascuna comunità, in base alle tariffe orarie dei fornitori di energia. Per la rete di distribuzione test IEEE a 123 nodi, la tesi presenta una analisi di sensitività al variare della taglia dei sistemi di accumulo, della potenza di picco dei generatori fotovoltaici, della potenza richiesta dai carichi, del numero di comunità energetiche e dei fornitori.

Il ruolo delle tecniche geomatiche nella realizzazione di Digital Twin City: una sperimentazione sulla città di Bologna

L’incessante urbanizzazione e il continuo aumento della popolazione urbana stanno generando nuove sfide per le pubbliche amministrazioni, le quali necessitano soluzioni per la gestione sostenibile di risorse primarie (cibo, acqua, suolo, fonti energetiche) e la corretta pianificazione delle città, allo scopo di salvaguardare le condizioni ambientali, la salute dei cittadini e il progresso economico: in questo complesso panorama si afferma il concetto di Digital Twin City (DTC) o gemello digitale della città, la controparte virtuale di oggetti e processi in ambiente urbano in grado di comunicare con essi e di simularne, replicarne e predirne i possibili scenari. In questo contesto, un elemento essenziale è costituito dal modello geometrico 3D ad alta fedeltà dell'ambiente urbano, e la Geomatica fornisce gli strumenti più idonei alla sua realizzazione. La presente elaborazione si sviluppa in tre parti: nella prima è stata condotta un’analisi della letteratura sui DTC, in cui sono state evidenziate le sue caratteristiche principali come l’architettura, le tecnologie abilitanti, alcune possibili modellazioni, ostacoli, scenari futuri ed esempi di applicazioni reali, giungendo alla conclusione che un accurato modello 3D della città deve essere alla base dei DTC; nella seconda parte è stata illustrata nel dettaglio la teoria delle principali tecniche geomatiche per la realizzazione di modelli 3D ad alta fedeltà, tra cui le tecniche fotogrammetriche di aerotriangolazione e l’algoritmo Structure from Motion (SfM); nella terza e ultima parte è stata condotta una sperimentazione su tre zone campione del comune di Bologna di cui, grazie ad un dataset di fotogrammi nadirali e obliqui ottenuto da un volo fotogrammetrico realizzato nel 2022, sono state ottenute Reality Meshes e ortofoto/DSM. I prodotti della terza zona sono stati confrontati con i medesimi ottenuti da un dataset del 2017. Infine, sono state illustrati alcuni strumenti di misura e di ritocco dei prodotti 3D e 2D.

Práticas de melhoria da adesão das mulheres ao exame de prevenção do câncer do colo do útero em uma equipe saúde da família no município de Barras - PI

O câncer do colo do útero ainda é um grave problema de saúde pública, sendo a realização do exame Papanicolau de grande importância na prevenção. Este trabalho tem como objetivo aumentar a adesão das mulheres ao exame preventivo do câncer do colo uterino em uma Unidade Básica de Saúde de Barras-PI. Trata-se de um projeto de intervenção que incluirá mulheres na faixa etária de 25 a 64 anos, seguindo as recomendações do Ministério da Saúde. Estão previstas ações de capacitação da equipe saúde da família, busca ativa das mulheres na faixa etária estipulada, ações de educação em saúde e mutirões para realização do exame. Espera-se, através deste trabalho, aumentar a cobertura do exame nesta área, bem como conscientizar a população da importância do rastreio para prevenção do câncer do colo do útero.