Simulazione agent-based di un sistema di m-Health per il self-management del diabete di tipo 1

L'obiettivo della tesi è dimostrare l'utilità e i vantaggi che può fornire il Self-Management del diabete mellito di tipo 1 in un sistema di mobile Health a partire da un modello computazionale Agent-Based. Viene quindi affrontata in maniera approfondita la tematica del mobile Health ed il suo sviluppo nei paesi a basso/medio reddito, illustrando i risultati ottenuti dalla ricerca scientifica fino ad oggi, ed il concetto di Self-Management di malattie croniche, un processo di cura caratterizzato dalla partecipazione autonoma del paziente stesso, fornendo una panoramica degli approcci computazionali sviluppati. Viene quindi studiato il diabete mellito in ogni sua caratteristica, seguito dall'illustrazione di diverse applicazioni per la gestione autonoma della suddetta patologia tutt'ora in commercio. Nel caso di studio vengono effettuate diverse simulazioni, tramite la piattaforma di simulazione MASON, per realizzare varie dinamiche della rete fisiologica di un paziente al fine di stabilire feedback qualitativi per il Self-Management della patologia.

I materiali a memoria di forma: caratterizzazione e applicazione nel mondo dell'automazione

L'obiettivo di questo lavoro di tesi è stato studiare le caratteristiche, le proprietà, le applicazioni con conseguenti vantaggi e svantaggi di un particolare tipo di smart materials: i materiali a memoria di forma. Il capitolo 1 tratterà delle leghe metalliche a memoria di forma, il successivo si concentrerà invece sui polimeri a memoria di forma. In ognuno di questi, relativamente al materiale affrontato, si presterà particolare attenzione agli “effetti” che contraddistinguono tali materiali da quelli più comuni, come l’effetto memoria di forma o la superelasticità. Successivamente, nei vari sottoparagrafi, l’attenzione si sposterà sulle tecniche di caratterizzazione, utili per capire le proprietà di una lega o di un polimero rispetto ad un altro, e sulle conseguenti classificazioni di entrambi. Per quanto riguarda i polimeri, si accenneranno certi parametri fondamentali di cui è necessario tener conto per conoscere bene il polimero considerato. La trattazione, in ambedue i casi, terminerà con un focus sulle applicazioni più diffuse e su quelle più interessanti di tali materiali, fornendo dettagli sulle tecnologie utilizzate e sugli stimoli dettati per eccitare i sistemi.

Successioni di polinomi di tipo binomiale e operatori delta

In questa tesi riportiamo le definizioni ed i risultati principali relativi alla corrispondenza tra le successioni di polinomi di tipo binomiale (particolari basi dello spazio dei polinomi a coefficienti reali) e gli operatori delta, cioè operatori lineari sullo spazio dei polinomi che commutano con gli operatori di traslazione e il cui nucleo è costituito dai polinomi costanti. Nel capitolo 1 richiamiamo i concetti fondamentali sull'algebra delle serie formali e definiamo l'algebra degli operatori lineari invarianti per traslazione, dimostrando in particolare l'isomorfismo tra queste algebre. Nel capitolo 2, dopo aver dimostrato l'unicità della successione di base relativa ad un operatore delta, ricaviamo come esempio le successioni di base di tre operatori delta, che useremo durante tutto il capitolo: l'operatore derivata, l'operatore di differenza in avanti e l'operatore di differenza all'indietro. Arriviamo quindi a dimostrare un importante risultato, il Primo Teorema di Sviluppo, in cui facciamo vedere come le potenze di un operatore delta siano una base per l'algebra degli operatori invarianti per traslazione. Introducendo poi le successioni di Sheffer, possiamo dimostrare anche il Secondo Teorema di Sviluppo in cui esplicitiamo l'azione di un operatore invariante per traslazione su un polinomio, tramite un operatore delta fissato e una sua successione di Sheffer. Nell'ultima parte della tesi presentiamo i formalismi e alcune semplici operazioni del calcolo umbrale, che useremo per determinare le cosiddette costanti di connessione, ovvero le costanti che definiscono lo sviluppo di una successione binomiale in funzione di un'altra successione binomiale usata come base dello spazio dei polinomi.

Analisi modellistica di un intenso ciclone di tipo tropicale nel Mediterraneo (7-8 novembre 2014): predicibilità, caratteristiche termodinamiche e confronto con osservazioni da satellite

Il lavoro di tesi riguarda lo studio dettagliato di un ciclone di tipo tropicale (tropical like cyclone, TLC) verificatosi nel Canale di Sicilia nel novembre 2014, realizzato attraverso un'analisi modellistica effettuata con i modelli BOLAM e MOLOCH (sviluppati presso il CNR-ISAC di Bologna) e il confronto con osservazioni. Nel primo capitolo è fornita una descrizione generale dei cicloni tropicali e dei TLC, indicando come la formazione di questi ultimi sia spesso il risultato dell'evoluzione di cicloni extratropicali baroclini nel Mediterraneo; sono identificate le aree geografiche con i periodi dell'anno maggiormente soggetti all'influenza di questi fenomeni, riportando un elenco dei principali TLC verificatisi nel Mediterraneo negli utlimi tre decenni e lo stato dell'arte sullo studio di questi eventi. Nel secondo capitolo sono descritte le modalità di implementazione delle simulazioni effettuate per il caso di studio e presentati i principali prodotti dell'analisi modellistica e osservazioni da satellite. Il terzo capitolo si apre con la descrizione della situazione sinottica e l'analisi osservativa con immagini Meteosat e rilevazioni radar che hanno permesso di ricostruire la traiettoria osservata del TLC. In seguito, viene dapprima fornito l'elenco completo delle simulazioni numeriche, quindi sono presentati alcuni dei più importanti risultati ottenuti, dai quali emerge che la previsione della traiettoria e intensità del TLC differisce notevolmente dalle osservazioni. Tenendo conto della bassa predicibilità che ha caratterizzato l'evento, nel quarto capitolo è descritto il metodo usato per ricostruire in maniera ottimale la traiettoria, utilizzando spezzoni da varie simulazioni, che ha permesso un confronto più realistico con i dati osservati e un'analisi dei processi fisici. Nel quinto capitolo sono riportati i principali risultati di alcuni test mirati a valutare l'impatto di aspetti legati all'implementazione delle simulazioni e ad altre forzanti fisiche.

I Wormholes ed il loro impiego per il viaggio interstellare

Viaggiare da un punto all'altro dell'universo muovendosi in uno spazio-tempo piatto richiede tempi talmente colossali da risultare impossibile per la nostra razza; pertanto, un viaggio interstellare potrebbe essere realizzato solo per mezzo di topologie relativistiche in grado di accorciare la distanza fra i punti dell'universo. Dopo aver dato una serie di motivazioni per cui i buchi neri ed il ponte di Einstein-Rosen non sono adatti ad essere impiegati viene introdotta una particolare classe di soluzioni, presentata per la prima volta da Michael S. Morris e Kip S. Thorne, delle equazioni di Einstein: essa descrive wormholes i quali, almeno in linea di principio, risultano attraversabili dagli esseri umani in quanto non presentano un orizzonte degli eventi sulla gola. Quest'ultima proprietà, insieme alle equazioni di campo di Einstein, pone dei vincoli piuttosto estremi sul tipo di materiale in grado di dar luogo alla curvatura spazio-temporale del wormhole: nella gola del wormhole la materia deve possedere una tensione radiale di enorme intensità, dell'ordine di quella presente nel centro delle stelle di neutroni più massive per gole con un raggio di appena qualche kilometro. Inoltre, questa tensione dev'essere maggiore della densità di energia del materiale: ad oggi non si conosce alcun materiale con quest'ultima proprietà, la quale viola entrambe le "condizioni sull'energia" alla base di teoremi molto importanti e verificati della relatività generale. L'esistenza di questa materia non può essere esclusa a priori, visto che non esiste prova sperimentale o matematica della sua irrealisticità fisica, ma non essendo mai stata osservata è importante assicurarsi di impiegarne il meno possibile nel wormhole: questo ci porterà a mostrare che i wormholes in cui il materiale esotico presenta una densità di energia negativa per gli osservatori statici sono i più adatti al viaggio interstellare.

Analisi del rendimento di sistemi micro ORC di tipo sperimentale

In questo lavoro si analizza il rendimento isoentropico di diversi espansori adottati all’interno di sistemi micro-ORC (Organic Rankine Cycle). Si parte da una descrizione generale dei sistemi ORC, mettendone in evidenza le principali caratteristiche, il layout tipico, le differenze rispetto ad un ciclo Rankine tradizionale, e gli ambiti di utilizzo. Si procede ad una trattazione teorica del rendimento isoentropico del compressore e dell’espansore, specificando le ipotesi adottate nei calcoli e mettendo in luce la relazione tra rendimento isoentropico e politropico nell’uno e nell’altro apparato. Si passa poi alla descrizione delle quattro principali tipologie di espansori presenti in letteratura: scroll, screw, vane e piston, e si prosegue con l'analisi nel dettaglio della letteratura relativa alla valutazione dell’efficienza di questi quando utilizzati all’interno di un sistema micro-ORC. Infine, dopo aver descritto il sistema ORC del laboratorio di via Terracini del DIN, illustrandone layout, componenti principali, potenza scambiata all’interno dei componenti e modalità di calcolo adottata per la valutazione del rendimento isoentropico dell’espansore e del sistema complessivo, si confrontano i dati di efficienza di questo con quelli reperiti in letteratura. Il confronto del rendimento, dell'espansore e complessivo, del sistema del DIN, 33.8% e 1,818% rispettivamente, con quelli degli altri sistemi, è risultato di difficilmente valutazione a causa delle condizioni di forte off-design del sistema stesso. Dalla ricerca è inoltre emerso che i fluidi più utilizzati nella sperimentazione, e dunque capaci di migliori prestazioni, sono R245fa, R134a e R123. Per quel che riguarda infine gli espansori, nel range di potenza di 1-10 kW, lo scroll risulta essere il migliore.