Analisi geochimica delle acque iperacide del lago craterico del vulcano Kawah Ijen (Java, Indonesia).

I laghi vulcanici sono corpi idrici che si posizionano all’interno di crateri originatisi da eruzioni idrotermali, idrovulcaniche o magmatiche. Dato il particolare ambiente di formazione di questi bacini, le condizioni fisico-chimiche delle loro acque riflettono l’influenza dei diversi “input” vulcanici quali gas e fluidi che risultano dall’interazione tra le acque sotterranee e i fluidi rilasciati da un corpo magmatico in profondità. Il presente lavoro consiste nella caratterizzazione geochimica delle acque del lago craterico del Kawah Ijen e nella definizione dei principali processi che la controllano, come i processi di diluizione, degassamento e precipitazione di fasi minerali. Tale definizione è la base conoscitiva necessaria per una più realistica interpretazione delle eventuali variazioni geochimiche spazio-temporali

Aspetti fondamentali per l'analisi cinetica di reazioni fotocatalitiche.

La conoscenza e la determinazione dell’equazione cinetica è indispensabile per lo studio, la progettazione e l’ottimizzazione di qualsiasi reattore chimico. Normalmente l’analisi cinetica viene eseguita con reattori che operano in maniera quanto più prossima a condizioni ideali in modo da rendere più facile e meno affetta da errori l’interpretazione dei risultati sperimentali. In fotocatalisi è invece di fatto impossibile realizzare, anche in presenza di una perfetta miscelazione, un sistema ideale in cui si abbia un’uniforme distribuzione di tutti i parametri che influenzano la velocità di reazione. Infatti in un reattore fotocatalitico il campo di radiazione è intrinsecamente non uniforme poiché l’assorbimento della radiazione e quindi la sua attenuazione sono necessari per l’attivazione della reazione. Pertanto l’impossibilità di realizzare un sistema fotocatalitico che operi in condizioni quanto più possibile prossime all’idealità e l’incapacità di misurare sperimentalmente i valori locali di velocità di reazione e di velocità di assorbimento dei fotoni possono rendere complessa una corretta analisi cinetica. In questo lavoro vengono studiate le modalità con cui condurre comunque una rigorosa analisi cinetica di un sistema fotocatalitico slurry, nel quale il fotocalizzatore è disperso come polvere fine in sospensione nella soluzione reagente. La reazione studiata è quella di mineralizzazione dell’acido formico. Sono stati impiegati due reattori con geometrie ed illuminazioni differenti: un reattore piano illuminato con luci LED ed un reattore anulare con lampada lineare fluorescente blacklight. È stata verificata la validità di una particolare equazione cinetica, che tiene conto dell’effetto non lineare della velocità specifica (cioè per unità di massa di catalizzatore) di assorbimento dei fotoni e delle concentrazioni del reagente, dell’ossigeno e del fotocatalizzatore. Sono state inoltre determinate le condizioni critiche che possono portare ad errori nell’analisi cinetica ed è stata dimostrata l’utilità di un modello matematico che tiene conto dei bilanci di energia raggiante, di materia nonché del campo di moto. Il modello matematico, in cui compare un solo parametro aggiustabile (il tempo caratteristico di reazione od equivalentemente la costante cinetica), è in grado di riprodurre molto soddisfacentemente i risultati sperimentali in tutte le diverse condizioni operative: diversa geometria di reattore, diversa illuminazione, differente spessore ottico, diverse contrazioni di substrato e di fotocatalizzatore. Infine è stato mostrato come l’equazione cinetica ad una sola costante cinetica, che è stata adottata, descriva meglio la cinetica della reazione fotocatalitica in esame di altre equazioni a due o più costanti cinetiche spesso utilizzate in fotocatalisi e basate sulla teoria di Langmuir-Hinshelwood, a dimostrazione di un diverso meccanismo di reazione.

Comunicazioni sicure su canali eterogenei: un'analisi sistematica di SSL da Java a Jolie

All’interno di questa tesi è stata affrontata la tematica della realizzazione di comuni- cazioni sicure, in modo da ottenere l'indipendenza di queste ultime dal canale utilizzato, con l'ausilio di strumenti in grado di fornire supporto per la creazione di applicativi orientati allo scambio di dati e messaggi, quali i linguaggi di programmazione Java e Jolie, il quale è basato sul precedente. Sono state inizialmente analizzate le principali caratteristiche e le problematiche più importanti che è necessario dover risolvere in modo da poter arrivare al risultato desiderato. Successivamente, è stato dato un ampio sguardo ad una delle scienze più applicate per risolvere i problemi tipici che affliggono questo tipo di comunicazioni, la crittografia. Sono stati elencati gli strumenti messi a disposizione ed il loro funzionamento. La crittografia viene poi applicata al protocollo SSL, il quale rappresenta la soluzione maggiormente diffusa, sia sul Web che in altri ambiti, per proteggere le informazioni personali che transitano tra gli end-point di una comunicazione. Sono state elencate le principali caratteristiche, alcuni cenni riguardanti la nascita e lo sviluppo ed è stato descritto il funzionamento di questo protocollo, soprattutto per quanto riguarda la sua fase preliminare, che è una delle parti che lo caratterizzano maggiormente. In seguito, è stata analizzata la soluzione fornita all’interno delle librerie del linguaggio Java per realizzare comunicazioni indipendenti dal mezzo di comunicazione che soddisfino le politiche dettate dal protocollo SSL. Questa soluzione è rappresentata dalla classe SSLEngine, che è quindi stata esaminata, a partire dal ciclo di vita e dall'inizializzazione, fino ad arrivare all'interazione all'interno di un applicazione. Quanto esplorato in precedenza viene poi applicato a Jolie, un linguaggio di programmazione basato sulle comunicazioni e sviluppato in Java, all'interno dell'Università di Bologna. Dopo uno sguardo generale alle sue caratteristiche è stata approfondita la gestione dei protocolli, e di conseguenza, l'introduzione di SSL all'interno di essi, realizzata tramite la classe SSLProtocol. Questa classe contiene ed implementa i concetti analizzati nel capitolo riguardante Java, adattandoli all'architettura ed alla progettazione pensata appositamente per Jolie; è stata quindi effettuata un'analisi del codice e della gestione della classe SSLEngine per realizzare comunicazioni sicure. Infine, per verificare l’effettivo funzionamento, sono stati creati due semplici casi d’uso per poter sfruttare i vantaggi offerti da Jolie, il quale è particolarmente indicato per la creazione di applicazioni orientate ai servizi.

Alla scoperta di ItaSA: analisi di una community italiana di fansubbing

Questa tesi presenta un'analisi della community italiana di fansubbing di Italian Subs Addicted, nota come ItaSA. Dopo un'introduzione generale sul fenomeno del fansubbing, ovvero la traduzione amatoriale di sottotitoli, si passa a un'analisi della community stessa, della sua organizzazione interna e del test per diventare traduttori. Nel capitolo 4 vengono presentate le regole per la traduzione e la creazione di sottotitoli, con il supporto di screenshot di varie serie TV, e si ha la descrizione della traduzione di una puntata della serie TV "True Detective" in tempo reale. Il capitolo 5 tratta il rapporto tra gli utenti e lo staff della community, un elemento peculiare che contraddistingue il fansubbing dalla produzione di sottotitoli tradizionali. Il capitolo 6 analizza brevemente il controverso tema della legalità dei sottotitoli. Infine, nella conclusione ho inserito una questione che negli ultimi mesi è stata molto dibattuta nella community, ovvero le conseguenze dell’imminente avvento di Netflix, un servizio di TV online, sul futuro del fansubbing.

Analisi delle problematiche nella pianificazione di una rotta di un volo di linea a corto-medio raggio

Dietro ad ogni volo di linea è presente una serie di attività collaterali fondamentali, quali ad esempio un'analisi dettagliata della tratta da percorrere al fine di pianificare la rotta ottimale. In questa tesi verranno pertanto evidenziate le varie problematiche e le difficoltà che si possono riscontrare nel processo di pianificazione di una rotta. Prima verranno introdotti gli organi che regolamentano l’aviazione civile mondiale ed in seguito l’organizzazione di una tipica compagnia aerea charter, focalizzando l’attenzione sul dipartimento delle operazioni di volo che è responsabile delle attività di pianificazione. Verranno poi analizzate le limitazioni che si presentano con un velivolo di corto-medio raggio, effettuando un’analisi della pianificazione vera e propria con utilizzo dei software di pianificazione del volo e di performance di decollo, insieme ad approfondimenti sui punti salienti di cui bisogna tener conto. Infine verranno esposte le attività tipiche di analisi dell’aeroporto e il processo di categorizzazione di esso. Le informazioni così ottenute saranno finalmente utilizzate per effettuare uno studio di una rotta caratteristica nelle operazioni charter a medio raggio.

Allosaurus fragilis nelle collezioni del Museo di Paleontologia dell'universita di Modena e Reggio-Emilia: Analisi e descrizione.

Allosaurus fragilis (Theropoda: Carnosauria) è tra i dinosauri del Giurassico Superiore meglio conosciuti grazie a numerosi scheletri rinvenuti a partire dal secolo scorso. Le collezioni del Museo Universitario Paleontologico del Dipartimento di Scienze Chimiche e Geologiche dell'Università di Modena e Reggio Emilia ospitano uno scheletro costituito da reperti originali provenienti dal Cleveland-Lloyd Dinosaur Quarry (Utah) ad oggi non descritto in dettaglio. Il temporaneo disallestimento dello scheletro per la realizzazione di una nuova struttura museale ha permesso di esaminare in dettaglio i singoli elementi scheletrici. La storia di come e quando il materiale sia giunto a Modena rimane incerta, e per questo lavoro si è raccolta tutta la documentazione storica per completare le informazioni relative all'esemplare. In questa tesi vengono inoltre descritti alcuni degli elementi più diagnostici al fine di verificare se lo scheletro rappresenta uno o più individui di Allosaurus fragilis, la specie più abbondante e meglio documentata del Cleveland-Lloyd Dinosaur Quarry. Per questo obiettivo le ossa sono state confrontate con esemplari di riferimento in letteratura e inquadrate all'interno del contesto tafonomico del sito di ritrovamento. Durante le fasi di studio, i reperti esaminati sono stati acquisiti come modelli tridimensionali ad alta risoluzione mediante tecniche fotogrammetriche. Questo per garantire fruibilità ai singoli elementi anche in seguito al riallestimento dello scheletro per fini espositivi. I dati raccolti in questa tesi, ed in particolare 1. l’analisi del contesto tafonomico e tassonomico del Cleveland-Lloyd Dinosaur Quarry; 2. il confronto morfometrico tra le ossa presenti a Modena e quelle descritte in letteratura, e 3. le caratteristiche specifiche dei reperti esaminati, permettono di chiarire numerosi aspetti legati alla storia del reperto e al numero di individui rappresentati dallo scheletro di Allosaurus fragilis del Museo di Modena.

Analisi petrografica delle ultramafiti del Passo Val Clapa (Austroalpino superiore, Alta Val di Non)

Questo elaborato ha come obiettivo l'analisi petrografica di rocce ultramafiche facenti parte del basamento metamorfico cristallino affiorante in Alta Val di Non (Provincia autonoma di Trento). Tali rocce appartengono all'Unità di Ultimo (Falda del Tonale, Austroalpino superiore), caratterizzata da corpi ultramafici che affiorano al contatto tra i sottostanti paragneiss a granato e cianite e le soprastanti migmatiti. Il metamorfismo e l'anatessi registrati dalle rocce dell'Unità di Ultimo hanno età Ercinica (Carbonifero Sup.). Lo studio si è concentrato su un corpo ultramafico situato in Alta Val di Bresimo, in località Passo Val Clapa, costituito da una lente di harzburgite a granato attraversato da livelli di olivin-websterite a granato e anfibolo. L'harzburgite è costituita al 65% da olivina, al 20% da serpentino (cresciuto a spese dell'olivina) e al 15% da ortopirosseno; sono presenti spinelli e clinopirosseni accessori. Nel campione analizzato, il granato è sostituito da aggregati policristallini costituiti da kelifite e da anfibolo secondario. La websterite è costituita al 40% da pirosseni (orto e clinopirosseni in uguale quantità), al 25% da anfibolo primario, al 25% da granato, al 5% da olivina e al 5% da minerali opachi. Sono presenti strutture coronitiche attorno ai granati (costituite da kelifite e anfibolo); si nota clorite cresciuta a spese di anfibolo e pirosseni e hyddingsite cresciuta a spese dell'olivina. L'olivin-websterite mostra gli stessi minerali indice riscontrati nell'harzburgite ospitante, segno che entrambi i corpi hanno seguito la medesima evoluzione P-T. In una prima fase la pirossenite si trovava, come la peridotite, in facies a spinello: ciò è confermato dalla presenza di spinelli relitti al nucleo dei granati. Questi ultimi si sono formati a spese dello spinello durante l'aumento di P, una volta superata la soglia di transizione tra le due facies. Le corone kelifitiche, presenti sia nella harzburgite che nella olivin-websterite, rappresentano un'evidenza di metamorfismo retrogrado.

Analisi petrografica di inclusi in depositi piroclastici del Monte Vesuvio

Il lavoro svolto mira alla classificazione dei litici presi in carica dal magma durante le eruzioni del Monte Somma-Vesuvio

Analisi e Benchmarking del Sistema HIVE

E' stata effettuata l'analisi del sistema HIVE su piattaforma Hadoop (installato su un cluster) e sfruttando il benchmark TPC-H ne sono stati valutati i tempi di esecuzione delle query modificando la size del database e il formato di memorizzazione dei file: si è utilizzato il formato standard (AVRO) di tipo sequenziale e il formato PARQUET che memorizza i dati per colonna invece che per riga.

Sviluppo di un modulo di visualizzazione, memorizzazione e analisi dati in real-time con elevato parallelismo

Progettazione e implementazione dei moduli di visualizzazione, memorizzazione e analisi di un sistema software di acquisizione dati in real-time da dispositivi prodotti da Elements s.r.l. La tesi mostra tutte le fasi di analisi, progettazione, implementazione e testing dei moduli sviluppati.

Analisi delle prestazioni della piattaforma semantica smart-m3 mediante il benchmark lubm

Il software Smart-M3, ereditato dal progetto europeo SOFIA, conclusosi nel 2011, permette di creare una piattaforma d'interoperabilità indipendente dal tipo di dispositivi e dal loro dominio di utilizzo e che miri a fornire un Web Semantico di informazioni condivisibili fra entità software e dispositivi, creando ambienti intelligenti e collegamenti tra il mondo reale e virtuale. Questo è un campo in continua ascesa grazie al progressivo e regolare sviluppo sia della tecnologia, nell'ambito della miniaturizzazione dei dispositivi, che delle potenzialità dei sistemi embedded. Questi sistemi permettono, tramite l'uso sempre maggiore di sensori e attuatori, l'elaborazione delle informazioni provenienti dall’esterno. È evidente, come un software di tale portata, possa avere una molteplicità di applicazioni, alcune delle quali, nell’ambito della Biomedica, può esprimersi nella telemedicina e nei sistemi e-Heath. Per e-Health si intende infatti l’utilizzo di strumenti basati sulle tecnologie dell'informazione e della comunicazione, per sostenere e promuovere la prevenzione, la diagnosi, il trattamento e il monitoraggio delle malattie e la gestione della salute e dello stile di vita. Obiettivo di questa tesi è fornire un set di dati che mirino ad ottimizzare e perfezionare i criteri nella scelta applicativa di tali strutture. Misureremo prestazioni e capacità di svolgere più o meno velocemente, precisamente ed accuratamente, un particolare compito per cui tale software è stato progettato. Ciò si costruisce sull’esecuzione di un benchmark su diverse implementazioni di Smart-M3 ed in particolare sul componente centrale denominato SIB (Semantic Information Broker).

Analisi e progetto di un convertitore ZETA per la correzione del fattore di potenza

Questa tesi ha studiato a fondo le modalità di funzionamento del convertitore ZETA. Si è visto che la presenza dei due magnetici determina una condizione di funzionamento non convenzionale (lo stesso accade nel SEPIC) poco studiata in letteratura. Questa condizione, corrispondente al modo discontinuo nei più elementari convertitori, in cui la corrente si annulla sia nel transistor che nel diodo, dà invece luogo ad un ricircolo di corrente pressochè costante in una maglia che comprende entrambe le induttanze. Questa corrente testimonia un intrappolamento di energia magnetica con relativa perdita per dissipazione che presumibilmente degrada l’efficienza del convertitore. Questo è potuto avvenire perchè non vi è nulla che impedisca il flusso di una corrente negativa sui singoli induttori quando la somma algebrica dei due risulti comunque positiva o nulla (diodo in conduzione). Questo problema si può riscontrare sia nel funzionamento in continua (sempre almeno uno fra transistor e diodo in conduzione) che in discontinua (con un intervallo di tempo in cui non conducono nessuno dei due). Per ovviare a questo problema le soluzioni proposte in questa tesi sono quelle di aggiungere un ulteriore diodo rettificatore in serie agli avvolgimenti e/o di gestire il rapporto di induttanze dei due avvolgimenti in modo che nella condizione nominale di funzionamento raggiungano contemporaneamente la condizione di inversione della corrente. Queste possibilità sono state esplorate con successo nell’utilizzo del convertitore ZETA per applicazioni di correzione del fattore di potenza PFC in cui si è proposto un insieme di equazioni di dimensionamento che portano al progetto del convertitore al fine di ottenere le forme d’onda desiderate.

Un'analisi dell'impatto dell'informatica sul mercato del lavoro

In questa analisi si cercherà di comprendere cosa caratterizza questa l'ondata di progresso tecnologico che sta cambiando il mercato del lavoro. Il principale aspetto negativo di questo progresso si chiama "Technological Unemployment". Benché gli esperti si trovino in disaccordo su quali siano le cause della persistente alta disoccupazione, Brynjolfsson e McAfee puntano il dito contro l'automazione che ha soppiantato i lavori ripetitivi delle aziende. Tuttavia, è anche vero che il progresso ha sempre portato aumenti di produttività, e soprattutto nuovi tipi di occupazioni che hanno compensato la perdita di posti di lavoro, nel medio-lungo termine. Keynes evidenzia che la disoccupazione dovuta alla scoperta di strumenti economizzatori di manodopera procede con ritmo più rapido di quello con cui riusciamo a trovare nuovi impieghi per la manodopera stessa. Da ciò si crea ansia per il futuro, più o meno motivata. Gli stessi esperti sono spaccati a metà tra chi ha fiducia nei possibili risvolti positivi del progresso e chi invece teme possa comportare scenari catastrofici. Le macchine ci rubano lavoro o ci liberano da esso? Con questa ricerca ci si pone l'obiettivo di analizzare le effettive prospettive dei prossimi decenni. Nel capitolo 2 che è il corpo della tesi prenderemo soprattutto in conto il lavoro accademico di Frey ed Osborne dell'Oxford Martin School, intitolato "The future of employment: how susceptible are jobs to computerisation?" (2013). Essi sono stati tra i primi a studiare e quantificare cosa comporteranno le nuove tecnologie in termini di impiego. Il loro obiettivo era individuare le occupazioni a rischio, da qui a vent'anni, nel mercato del lavoro degli Stati Uniti e la relazione che intercorre tra la loro probabilità di essere computerizzati e i loro salari e livello d'istruzione medi, il tutto valutato attraverso l'ausilio di una nuova metodologia che si vedrà nel dettaglio. A conclusioni simili alle loro, per certi aspetti, è successivamente giunto anche Autor; tra l'altro viene spesso citato per altre sue opere dagli stessi Frey e Osborne, che usano le sue categorizzazioni per impostare la struttura del loro calcolo dell'automatizzabilità dei lavori utilizzando i recenti miglioramenti nelle scienze ingegneristiche quali ML (Machine Learning ad esempio Data mining, Machine vision, Computational statistics o più in generale AI) e MR (Mobile robotics) come strumenti di valutazione. Oltre alle sue ricerche, si presenteranno brevemente i risultati di un recente sondaggio tenuto dal Pew Research Center in cui importanti figure dell'informatica e dell'economia esprimono il loro giudizio sul futuro panorama del mondo del lavoro, considerando l'imminente ondata di innovazioni tecnologiche. La tesi si conclude con un'elaborazione personale. In questo modo si prenderà coscienza dei problemi concreti che il progresso tecnologico potrebbe procurare, ma anche dei suoi aspetti positivi.

Progetto di un circuito di condizionamento del segnale per sistemi di analisi reologica

L'elaborato riguarda il progetto di un circuito di condizionamento del segnale per sistemi di misura reologica. Il circuito è stato studiato per essere interfacciato con un sistema di misura in fase di studio all'Università di Bologna, sebbene il suo utilizzo nei sistemi di analisi nel dominio delle frequenze sia del tutto generale. Il sistema di misura esistente compie un'analisi chimico-fisica di alimenti, generalmente liquidi, in modo da caratterizzare nel dominio delle frequenze la risposta elettrica ad uno stimolo sinusoidale a frequenza variabile. In particolare, il sistema genera due segnali X(f) ed Y(f). Tuttavia, in molti casi di interesse la dinamica del segnale risulta molto piccola rispetto al range massimo del segnale. Lo scopo del circuito di condizionamento è quello di aumentare la dinamica dei segnali X(f) ed Y(f) in modo da rendere i grafici più leggibili. Tale obiettivo è stato ottenuto mediante la progettazione di un opportuno stadio di amplificazione a guadagno programmabile. Il sistema è controllato da un microcontrollore dotato di interfaccia USB con cui comunica con un PC. Le misure effettuate mostrano che il circuito progettato è in grado di amplificare correttamente la dinamica dei segnali acquisiti nel range 0-VDD.

Analisi di affidabilità di turboshaft per elicotteri monomotori/bimotori condotta su una flotta di operatore aereo

Lo studio condotto si prefigge di comprendere i punti critici ed i malfunzionamenti dei motori, pertanto la loro affidabilità. L’elaborato prende in esame i motori Turbomeca Arriel2 e Arrius2 e li analizza dividendo inizialmente lo studio in due fasi: l’analisi degli eventi e l’analisi dei power-check. La successiva interazione tra le due parti dell’analisi ha permesso di trovare alcune correlazioni tra il singolo evento e le prestazioni del motore. Inoltre, per i motori Arriel2, è stato possibile condurre anche un'analisi di prevedibilità che ha portato allo sviluppo della “Advanced Allert Matrix”.