Analisi efficiente di tracce prodotte da un simulatore di protocolli di rete

Questa tesi consiste nello sviluppo di codice per un applicativo esistente. Tale applicativo si occupa di simulazione di protocolli di rete su varie topologie di rete. La parte di cui si occupa questa tesi è la fase di analisi dei file di traccia generati. Tale fase è una delle tre fasi dell'applicativo. I file di traccia contengono informazioni che permettono di stimare due grandezze, copertura e ritardo. Per copertura si intende una media fra tutte le coperture. Ogni copertura sarà relativa ad uno specifico nodo della rete. Per copertura di uno specifico nodo della rete si intende la parte di messaggi arrivati a quel nodo relativamente a tutti i messaggi generati all'interno della rete. Per ritardo si intende la media del numero di salti che avvengono per arrivare ai vari nodi che compongono la rete. I valori calcolati, mediante le informazioni contenute nei trace file, vengono poi memorizzati su dei file. Oltre al calcolo di queste specifiche grandezze, la tesi include anche una possibile soluzione relativa al parallelismo dei processi. Tale soluzione mira ad avere un numero, stabilito in base alla memoria principale libera, di processi che vengono eseguiti in maniera parallela.

Analisi delle proprieta' non termiche degli ammassi di galassie

In questa tesi si studiano gli aspetti dell’emissione non termica degli ammassi di galassie e le proprietà in confronto all’emissione termica dell’ICM, in particolare verranno messe a confronto le proprietà nella banda radio ed X. Si considerano in particolare le radiosorgenti diffuse: gli aloni, i relitti, i mini aloni e si mostra come l’andamento dello spettro radio degli aloni sia ripido alle alte frequenze; inoltre si nota che merger (scontri) recenti tra ammassi, sembrano fornire energia agli aloni ed ai relitti e dunque come conseguenza di ciò le proprietà nella banda radio e nei raggi X negli ammassi siano collegate tra di loro. I risultati sperimentali consentono di ipotizzare che gli ammassi con aloni e relitti siano caratterizzati da una forte attività dinamica che è collegata ai processi di merging. Si può vedere che i mini aloni sono le uniche sorgenti diffuse che non sono associate a merger tra ammassi. Si discute degli elettroni relativistici negli aloni radio, nei relitti radio e nei mini aloni radio. Trattando i campi magnetici degli ammassi, la loro origine e la polarizzazione che essi producono si evince che misurando la percentuale di polarizzazione si può stimare il grado d’ordine del campo magnetico in una radiosorgente. Se l’ICM in un ammasso possiede un forte effetto sulle strutture delle radiogalassie, la probabilità di formare radiosorgenti sembra non essere influenzata dall’ambiente dell’ammasso, ma soltanto dai merger degli ammassi. Nel secondo capitolo in particolare, si approfondisce invece la radiazione di sincrotrone.  

Meccanismi di produzione di energia in astrofisica

Prima di fornire una formulazione esaustiva dell'onda d'urto, è d'uopo definire il gas come oggetto fisico e le sue principali caratteristiche. Quanto si farà nei paragrafi seguenti quindi, sarà tentare di formalizzare il sistema gassoso dal punto di vista fisico e matematico. Sarà necessario introdurre un modello del sistema (par. 1.1) che ci permetta di lavorare a livello statistico sull'insieme di particelle che lo compongono per caratterizzare le funzioni termodinamiche classiche come medie temporali. Tramite queste considerazioni si stabilirà quali sono le quantità che si conservano nel moto di un fluido e si vedrà che tali leggi di conservazione formano un sistema di 5 equazioni differenziali parziali in 6 incognite. Tramite la linearizzazione di questo sistema si individueranno delle soluzioni chiamate onde sonore che danno un'indicazione sul modo in cui si propagano delle perturbazioni all'interno di un fluido; in particolar modo saranno utili per la determinazione del numero di Mach che rende possibile la distinzione tra due regimi: subsonico e supersonico (par. 1.2). Sarà possibile, a questo punto, indagare il fenomeno dell'onda d'urto (par. 2.1) e, nel dettaglio, due casi particolarmente utili in contesto astrofisico quali: l'onda d'urto per un gas politropico (par. 2.2), un'onda d'urto sferica che avanza verso il suo centro (2.2). Lo scopo di questa trattazione è indagare, o se non altro tentare, quanto avviene in un'esplosione di Supernova (par. 3). Relativamente a questo fenomeno, ne viene data una classificazione sommaria (par. 3.1), mentre particolare attenzione sarà rivolta alle Supernovae di tipo Ia (par. 3.2) che grazie alla loro luminosità standard costituiscono un punto di riferimento nell'Universo visibile.

Sintesi e proprietà di biochar da biomasse residuali

Il termine biochar definisce il prodotto solido derivante dalla pirolisi di un qualsiasi materiale organico, con lo specifico scopo di essere applicato nei suoli sia per fini agronomici che di gestione ambientale. Un suo utilizzo in maniera "responsabile" richiede però una piena comprensione delle sue proprietà e dei meccanismi che controllano la sua attività nel terreno, che dipendono dalla biomassa di partenza e dalle condizioni di sintesi tramite pirolisi. Infatti le condizioni di pirolisi, in particolare la temperatura di processo e il tempo di residenza, determinano biochar con caratteristiche differenti. In questo lavoro di tesi sono stati prodotti biochar da due diverse tipologie di biomassa residuale ampiamente disponibili (stocchi di mais e pollina). Per ciascuna biomassa sono state scelte tre condizioni di pirolisi (400°C x 20 minuti, 500°C x 10 minuti e 600°C x 5 minuti). Sui biochar ottenuti sono state effettuate le seguenti determinazioni: analisi elementare, Pirolisi‐GC‐MS, idrocarburi policiclici aromatici (IPA), acidi grassi volatili (VFA), azoto ammoniacale (N‐NH4 +), pH, conduttività elettrica e ritenzione idrica. Infine i biochar sintetizzati sono stati utilizzati per fare due test di germinazione per valutare l'effetto sulla formazione delle prime strutture di crescita delle plantule, tramite test di tossicità brevi con piastre Petri. Il primo test è stato condotto a concentrazione crescente di miscele acqua/biochar (2, 5, 40 e 100 g/L sulla base delle quantità di biochar utilizzate come ammendante nel suolo), sulla germinazione seguendo la metodologia normata dalla ISO 11269:2012. I semi utilizzati nel primo test sono stati quelli del crescione (Lepidium sativum L.) come specie dicotiledone, e del sorgo (Sorghum saccharatum M.) come monocotiledone. Il secondo saggio di tossicità eseguito è stato quello descritto dalla normativa in materia UNI 11357, valutando l'eventuale effetto di tossicità alla massima concentrazione delle varie tipologie di biochar, utilizzando come specie dicotiledoni il cetriolo (Cucumis sativus L.) ed il crescione (Lepidium sativum L.), come monocotiledone il sorgo (Sorghum saccharatum M.). Per i biochar da stocchi di mais, rappresentativi di biomasse erbacee e con diverso grado di carbonizzazione, non si osservano effetti apprezzabili alle condizioni di uso agricolo. Nel caso dei biochar da pollina si osservano invece inibizioni alla germinazione sin dalle concentrazioni più basse. In particolare, quello pirolizzato a 400°C mostra un potenziale effetto tossico più marcato, probabilmente associato ad un contenuto di IPA e VFA superiore a quello degli altri biochar.

Modelli termici per componenti elettronici di potenza

L'elaborato illustra una serie di modelli termici, che si differenziano principalmente per la loro accuratezza e velocità di calcolo, per essere in grado di scegliere il modello più adatto da utilizzare in relazione all'applicazione prevista e alle esigenze richieste. Per una migliore comprensione del problema, vengono introdotti inizialmente alcuni concetti generali legati alle temperature in gioco nei componenti elettronici di potenza e alla trasmissione del calore, poi si passa alla determinazione della sorgente del calore (ovvero le perdite) in un modulo IGBT. Vengono quindi descritti alcuni modelli che siano in grado di rappresentare il sistema in esame dal punto di vista termico. Infine viene implementato in Simulink uno dei modelli proposti, mettendo così in pratica gran parte dei concetti esposti. Per il calcolo delle perdite, per i modelli e per la simulazione ci si è concentrati su un determinato componente elettronico di potenza per entrare nel cuore di un problema termico. È stato scelto l’IGBT perché è un dispositivo relativamente nuovo, in continuo miglioramento ed è sempre più utilizzato.

Valutazione sperimentale della stabilita motoria tramite misure inerziali in soggetti con esito di ictus

L’ictus rappresenta una delle principali cause di invalidità poiché compromette la deambulazione, incrementando l’incidenza di cadute nei soggetti colpiti. Lo studio della stabilità motoria è fondamentale per l’identificazione dei soggetti a rischio di caduta. I diversi indicatori clinici attualmente utilizzati negli ospedali non sono in grado di fornire una valutazione quantitativo predittiva della stabilità della deambulazione. Lo scopo di questa tesi è indagare una serie di misure sperimentali e valutarne il possibile utilizzo ad integrazione o sostituzione di scale cliniche per l’analisi della stabilità motoria e la prevenzione del rischio di cadute. Analizzando il segnale di accelerazione del centro di massa corporeo di 33 soggetti post stroke sono stati ottenuti gli indici strumentali di interesse. Il corpo centrale di questa tesi consiste nell'analisi statistica condotta tramite modelli di regressione lineare che mettono in correlazione parametri clinici (acquisiti per mezzo di test e questionari) e indici strumentali. Lo studio presente ha reso note importanti correlazioni tra parametri clinici e strumentali, che permettono di affermare l’utilità di tali indici strumentali per una valutazione dei soggetti a rischio di caduta.

Progetto concettuale, ottimizzazione e modellazione CAD di motore Stirling per applicazioni aerospaziali

Nei decenni passati sono stati svolti numerosi studi su sistemi di generazione di potenza elettrica da applicare al settore spaziale, in particolar modo a satelliti e sonde. Ne sono un esempio le analisi riportate dalla Nasa oppure quelle condotte in paesi come il Giappone dall’agenzia spaziale JAXA. Uno dei sistemi spesso utilizzati per generare potenza elettrica si basa sull’applicazione di motori Stirling accoppiati ad un generatore lineare; la differenza di temperatura necessaria per il funzionamento del motore è ottenuta tramite il calore fornito dai radioisotopi di plutonio 238, mentre il raffreddamento del motore avviene mediante scambio termico con l’ambiente esterno.

Simulazione di front-end GPS per la verifica di algoritmi di navigazione per satelliti LEO

Descrizione di un software di simulazione, realizzato attraverso la programmazione in Labview, che estrapola i dati immagazzinati nei file RINEX di navigazione e di osservazione della missione GRACE e li invia con le stesse modalità con cui lo farebbe il ricevitore OEM615 della NovAtel. L'obiettivo è creare un software che permetta di testare, nell'ambito della missione ESEO dell'ESA, il ricevitore GPS che farà parte del payoload della stessa missione, costituita da un micro-satellite che orbiterà in orbita bassa LEO, e che sarà composto da un ricevitore OEM615, da un'antenna GPS e da un processore di navigazione.

Implementazione di protocolli automatici per la caratterizzazione di microchip mediante interfaccia labview

Uno dei principali passi della catena di produzione di circuiti integrati è quello di testare e valutare una serie di chip campione per verificare che essi rientrino nei valori e nelle specifiche scelte. Si tratta di un passaggio molto importante che determina le caratteristiche del prodotto nella realtà, mostrando le proprie capacità o i propri limiti, permettendo così di valutare un’eventuale produzione su larga scala. Ci permette inoltre di stimare quali dei chip rispetto agli altri presi in esame è migliore in alcuni aspetti, oppure quale risulta più lontano dalle specifiche volute. Il lavoro alle spalle di questa tesi è proprio questo: si è cercato di caratterizzare un microchip chiamato Carbonio, nato nei laboratori della II Facoltà di Ingegneria di Cesena, creando un banco di misura automatico, tramite l’ausilio del software Labview e di una scheda hardware realizzata ad hoc, che desse la possibilità di eseguire alcuni test consecutivi su ogni singolo circuito integrato in modo da caratterizzarlo estrapolando tutte le informazioni cercate e verificandone il funzionamento. Tutti i valori estratti sono stati poi sottoposti a una breve analisi statistica per stabilire per esempio quale circuito integrato fosse meno immune ai disturbi dovuti al rumore elettrico oppure per eseguire un’indagine al fine di vedere come i valori dei parametri scelti si disponessero rispetto ai lori rispettivi valori medi.

Add-on in blender per la deformazione di mesh poligonali

L’idea da cui nasce questa tesi è quella di introdurre in Blender un Add-on in linguaggio Python che permetta di applicare alcune deformazioni di tipo surface-based a mesh poligonali. Questa tipologia di deformazioni rappresentano l’alternativa alle deformazioni di mesh poligonali tramite rigging ( cioè l’aggiunta di uno scheletro per controllare e per animare la mesh) e caging (cioè l’utilizzo di una struttura di controllo di tipo reticolare che propaga la sua deformazione su un oggetto in essa immerso), che di solito sono le prescelte in computer animation e in modellazione. Entrambe le deformazioni indicate sono già estremamente radicate in Blender, prova ne è il fatto che esiste più di un modificatore che le implementa, già integrato in codice nativo. Si introduce inizialmente la tecnica di deformazione di mesh poligonali tramite elasticità discreta, che è stata realizzata, quindi, presenteremo diverse metodologie di deformazione. Illustreremo poi come modellare, creare ed editare delle mesh in Blender. Non ci soffermeremo su dettagli puramente dettati dall’interfaccia utente, cercheremo invece di addentrarci nei concetti e nelle strutture teoriche, allo scopo di avere le basi logiche per definire una Add-on che risulti veramente efficace e utile all’interno del sistema di modellazione. Approfondiremo la struttura di due modificatori chiave per la deformazioni di mesh : Lattice Modifier e Mesh Deform Modifier che implementano una metodologia di tipo space-based. Infine ci concentreremo sulla parte di scripting Python in Blender. Daremo un’idea delle strutture dati, dei metodi e delle funzioni da utilizzare per interagire con l’ambiente circostante, con i singoli oggetti ed in particolare con le Mesh e daremo un esempio di script Python. Andremo infine a descrivere l’implementazione della deformazione elastica mediante add-on Python in Blender.

Ottimizzazione di una microrete con unità di generazione da FER ed accumulo

Le microreti caratterizzate da unità di generazione con Fonti Energetiche Rinnovabili (FER), sono oggetto di crescente interesse in due contesti molto diversi tra loro: l’integrazione della Generazione Diffusa (GD) in reti di distribuzione pubbliche nei paesi sviluppati e l’elettrificazione di zone rurali attualmente non servite dalla rete elettrica. L’introduzione dei sistemi di accumulo nelle microreti rende possibile la compensazione della variabilità delle FER trasformando le microreti in sistemi di produzione che nel complesso risultano completamente regolabili. L’obiettivo del presente lavoro di tesi è dimostrare come le microreti possono svolgere un ruolo fondamentale per lo sviluppo delle infrastrutture elettriche nei paesi in via di sviluppo e nelle economie emergenti ponendo le basi per l’elettrificazione di aree remote e scarsamente popolate ad oggi non connesse alla rete di distribuzione dell’energia.

Simulazioni di named data networking per reti veicolari

Le reti veicolari, anche dette VANET, sono da tempo oggetto di studio. Durante il periodo di ricerca svolto presso l'Università della California Los Angeles (UCLA) è stato possibile studiare i protocolli adatti allo scambio di contenuti fra i veicoli secondo il paradigma del Named Data Networking (NDN). Il Named Data Networking rappresenta un nuovo modello di comunicazione per il reperimento dei contenuti all'interno della rete. Nelle VANET ogni veicolo è potenzialmente un fornitore di contenuti, oltre che un richiedente. L'infrastruttura di riferimento posta all'interno del campus universitario permette il reperimento di dati necessario allo studio del problema, non solo da un punto di vista pratico ma anche da un punto di vista teorico. Infatti, data la tipologia dei test e le difficoltà intrinseche che essi comportano, l'attività di simulazione svolge un ruolo importante per lo sviluppo e lo studio del protocollo all'interno delle reti veicolari. L'attività di ricerca svolta si articola nei seguenti aspetti: introduzione al nuovo paradigma di comunicazione: principi del Named Data Networking, funzionamento di NDN, reti veicolari, applicabilità di NDN alle VANET; modelli di mobilità per le reti veicolari: linee guida per la costruzione di un modello di mobilità, situazione attuale dei modelli disponibili, simulatori di rete, strumenti utilizzati e il loro funzionamento; attività di simulazione: pianificazione e implementazione di diverse tipologie di scenari di reti veicolari; analisi dei dati raccolti dalla fase precedente: vengono elaborati i dati raccolti e si cerca di catturarne gli aspetti più significativi. L'obiettivo è quello di condurre uno studio di fattibilità sull'applicazione di NDN alle reti mobili, in particolare alle reti veicolari in ambito urbano. Al momento in cui è iniziata la collaborazione con il gruppo di ricerca del Network Research Lab di UCLA, era da poco stata rilasciata la prima versione di NDN contenente l'estensione pensata per il veicolare, quindi non erano presenti in letteratura studi condotti per questo tipo di scenari. Lo scopo è quello di estrarre informazioni e ricavarne significative indicazioni sulle prestazioni del sistema.

Controllo del moto di una macchina automatica flessibile per il packaging

In questo studio viene sviluppato il controllo del moto di una macchina automatica per il packaging destinata a linee di media produttività con cambi formato rapidi. Il lavoro comprende la realizzazione di simulazioni dei gruppi macchina, la progettazione dei profili di moto da assegnare ai loro motori ed, infine, l'analisi dinamica e la verifica degli attuatori stessi.

Sviluppo di mobile app con tecnologie web: Tizen come caso di studio

Lo scopo di questa tesi è quello di valutare l’utilizzo di tecnologie Web, per la creazione di applicazioni per dispositivi mobile, come alternativa allo sviluppo di applicazioni tramite linguaggi nativi. Tra i vari dispositivi mobile esistenti, quello che trova maggior interesse nello sviluppo della tesi è sicuramente lo smartphone, il più recente tra questi dispositivi, che rispetto agli altri dispositivi è caratterizzato da una maggior complessità dovuta a funzionalità e capacità più elevate. Quindi in questa tesi verrà analizzato l’aspetto legato alle applicazioni utilizzate da questo dispositivo mobile. Si è deciso di strutturare la tesi in diversi capitoli, che verranno illustrati qui in seguito, al fine di creare un percorso concettuale per arrivare ad analizzare l’argomento chiave della tesi, le applicazioni mobile basate su tecnologie Web, perciò nei primi due capitoli verrano trattati argomenti riguardanti il mondo dei dispositivi mobile, con particolare riguardo per lo smartphone, con lo scopo di dare una visione dell’ambiente che circonda questo argomento di tesi. Negli ultimi capitoli si entrerà nel cuore della tesi, dove verrà trattato l’argomento chiave nel dettaglio, con la specifica analisi di Tizen come caso di studio. Inoltre si è deciso di approfondire gli aspetti legati a questo argomento di tesi sviluppando un piccola applicazione, con lo scopo di andare a sperimentare le nozioni acquisite durante tutto questo percorso di studio.

La politica energetica nei paesi emergenti (Brics): il caso India

la tesi analizza e sviluppa le politiche energetiche nei paesi emergenti con particolare riferimento al caso indiano