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.

Risolubilità delle equazioni polinomiali

Scopo di questo elaborato è studiare la risolubilità per radicali di un polinomio a coefficienti in un campo di caratteristica zero attraverso lo studio del gruppo di Galois del suo campo di spezzamento. Dopo aver analizzato alcuni risultati su gruppi risolubili e gruppi semplici, vengono studiate le estensioni radicali e risolubili. Viene inoltre dimostrato su un campo K di caratteristica zero il Teorema di Galois, che caratterizza i polinomi risolubili per radicali f a coefficienti in K attraverso la risolubilità del gruppo di Galois G(L/K), dove L è il campo di spezzamento di f. La tesi contiene anche un'esposizione sintetica del metodo introdotto da Lagrange per la risoluzione di equazioni polinomiali di cui si conosca il gruppo di Galois.

Feminisation des noms de metier et redaction epicene : Le point sur les propositions faites dans les pays francophones

La tesi affronta la tematica del sessismo linguistico e analizza le proposte elaborate dalle autorità dei paesi francofoni (Belgio, Francia, Québec, Svizzera) per far fronte a questo problema e garantire una migliore rappresentazione delle donne nella lingua. Dopo una breve spiegazione sul sessismo linguistico, la tesi si sofferma sui decreti, le guide e le circolari ministeriali proposti nel tempo dai singoli paesi, mettendo in luce una sempre maggiore attenzione da parte delle autorità a questa tematica delicata. L'elaborato si conclude con un confronto fra le proposte dei vari paesi, da cui emerge come il Québec sia il paese più all'avanguardia in materia di femminizzazione dei nomi di mestiere, titolo, grado e funzione e la Svizzera lo stato più attivo in quanto a redazione non discriminatoria dei testi.

O avesso do avesso. Una letteratura di São Paulo

La città di São Paulo è la più grande megalopoli dell’emisfero sud. Alle sue dimensioni esagerate corrisponde una complessità sociale che è difficile afferrare e comprendere nella sua interezza. Questo lavoro analizza come la letteratura brasiliana contemporanea affronti il problema della rappresentazione della megalopoli. Allo stesso tempo, ci si propone di indagare in che modo la scrittura risenta del contesto in cui viene prodotta mettendo in relazione la forma caotica e dispersiva della città con la frammentazione riscontrata nelle opere letterarie. In particolare, sono state analizzate le opere di João Antônio e Luiz Ruffato in cui la città appare non solo come scenario delle vicende narrate, ma come protagonista della narrazione. Nei primi due capitoli sono stati affrontati temi di carattere urbanistico, politico, economico e sociale per descrivere alcune delle dinamiche che nel secolo scorso hanno interessato São Paulo, trasformando la città da piccolo centro di provincia in enorme megalopoli. Privilegiando un approccio di tipo culturale, nel descrivere il processo storico sono stati presi in considerazione testi letterari, film e documenti fotografici oltre che contributi provenienti dalla sociologia e da altre aree delle scienze umane. Quando sono state trattate questioni che hanno interessato l’intero Brasile, come l’abolizione della schiavitù e l’insorgere negli ultimi decenni del preoccupante fenomeno della violenza urbana, è stato necessario uscire dalla dimensione locale per accennare al Paese come Stato nazionale. In questi casi, si è cercato di non cadere nella trappola di un discorso che rappresenti la realtà brasiliana come omogenea. Piuttosto, attraverso una prospettiva critica, si è cercato di far emergere alcune delle molteplici sfaccettature del Brasile, dando particolare rilievo a quelle voci che nel discorso ufficiale sono state emarginate. Lo stesso vale per São Paulo. La tesi sostenuta in questo lavoro è che non esista una São Paulo unica né unitaria; esiste una città diversa a seconda dell’angolo da cui la si osserva. Ciò diventa evidente nelle opere letterarie analizzate nel III capitolo: i racconti di João Antônio, il romanzo di Luiz Ruffato, le mini cronache raccolte per strada di Fernando Bonassi. Senza ambire a un’impossibile visione d’insieme, ognuna di queste opere mette in scena frammenti della realtà paulistana e crea una cartografia propria della città.

La superficie di Boy: una immersione del piano proiettivo nello spazio ordinario

È ben noto che non è possibile definire un embedding dello spazio proiettivo P^2(R) in R^3. Werner Boy nel 1901 provò per via teorica l’esistenza di un’immersione di P^2 in R^3: l’immagine di tale immersione è nota come superficie di Boy. Successivamente tale immersione venne fornita esplicitamente e si dimostrò che la superficie di Boy poteva essere ottenuta deformando la superficie romana di Steiner. Quest’ultima è una rappresentazione di P^2(R) in R^3 che non è tuttavia un’immersione, per la presenza di punti singolari detti pinch points.

Proposta di sopratitolaggio dallo slovacco in italiano dello spettacolo teatrale “Michelangelo – Affresco sul cammino di un artista”

Questa tesi si prefigge lo scopo di rendere possibile la comprensione ad un pubblico italiano dello spettacolo teatrale in lingua slovacca Michelangelo – Freska o ceste umelca (Michelangelo – Affresco sul cammino di un artista) attraverso la sopratitolazione. Il regista della rappresentazione teatrale, Peter Weinciller, oltre a dirigere la compagnia Teatro Colorato sul territorio slovacco, è riuscito a portare le opere di successo anche all’estero, per cui si è reso necessario l’ausilio di un mezzo che potesse renderlo possibile. Per poter compiere questa mediazione, ci si è avvalsi dei sopratitoli, uno strumento di recente introduzione nel mondo della traduzione audiovisiva. Questa tecnica, che deriva dalla più conosciuta sottotitolazione, permette di rendere accessibile ad un pubblico mondiale rappresentazioni teatrali in lingua originale. Durante il lavoro si è cercato di capire a fondo il testo di partenza per poter rendere nella miglior maniera possibile il contenuto e le emozioni che include e che intende suscitare. Nonostante le difficoltà incontrate nella traduzione dal punto di vista linguistico, si è cercato di rendere fruibile al pubblico la migliore mediazione possibile dalla lingua slovacca, essendo comunque consapevoli che il soggetto e la collocazione temporale e spaziale dell’opera abbiano avvantaggiato un pubblico italiano. In conclusione, si è riusciti a proporre un lavoro che ha permesso una perfetta mediazione di uno spettacolo che altrimenti non avrebbe avuto la possibilità di essere rappresentato su territorio non slovacco.

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.

Ottimizzazione e validazione di un protocollo di acquisizione dati per un sistema di impedenziometria

Il seguente progetto di tesi si basa sull’ottimizzazione del protocollo impiegato da un impedenziometro per l’analisi spettrale della pelle, con l’obiettivo di individuare la presenza di un tumore. Il lavoro è poi proseguito con la validazione dello strumento per mezzo di un lavoro di misura su resistenze semplici e impedenze complesse.

Caratterizzazione biomeccanica di vertebre umane

Le fratture vertebrali sono tra le principali cause dell’incremento della mortalità. Queste sono dovute principalmente a traumi, tumori o particolari patologie metaboliche che colpiscono l’osso. Il tratto maggiormente interessato è quello toraco-lombare in quanto deve sopportare la maggior parte dei carichi. Risulta quindi necessario comprendere come la colonna vertebrale risponde ai carichi così da studiare e sviluppare nuovi protocolli e trattamenti per disordini del tratto spinale. Informazioni quantitative possono essere ottenute mediante test in vitro. Questi hanno alcune limitazioni dovute principalmente alla difficoltà di misurare le tensioni e le deformazioni in zone diverse dalla superficie, alla complessità e al costo delle prove. Un altro limite delle prove in vitro è rappresentato dal fatto che ciascun campione può essere testato a rottura una volta sola. Queste problematiche possono essere superate con l’utilizzo contemporaneo di modelli matematici e test in vitro. In particolare i test in vitro sono utilizzati in fase di validazione del modello matematico, ovvero nella determinazione di quanto il modello è una rappresentazione del comportamento reale che si sta simulando. Il presente lavoro di tesi si inserisce in un progetto di caratterizzazione di vertebre toraco-lombari utilizzate per la validazione di un modello agli elementi finiti. In particolare l’obiettivo dello studio è stata la realizzazione di prove meccaniche in modo da replicare l’anterior wedge fracture. Tali prove sono state effettuate presso il Laboratorio di Biomeccanica del Dipartimento di Ingegneria Industriale dell’Università di Bologna. Gli spostamenti registrati durante le prove sono stati utilizzati dal Laboratorio di Tecnologia Medica dell’Istituto Ortopedico Rizzoli come condizioni al contorno per la realizzazione di un modello FE. Una volta validato e messo a punto, il modello sarà utilizzato per valutare lo stato di salute della colonna vertebrale in vivo.

Information and communication technologies nella gestione integrata del diabete mellito: stato dell'arte, progetto Metabo come caso di studio

Il Diabete, modello paradigmatico delle malattie croniche, sta assumendo negli ultimi anni le proporzioni di una pandemia, che non ha intenzione di arrestarsi, ma del quale, con l’aumento dei fattori di rischio, aumentano prevalenza e incidenza. Secondo stime autorevoli il numero delle persone con diabete nel 2035 aumenterà fino a raggiungere i 382 milioni di casi. Una patologia complessa che richiede lo sforzo di una vasta gamma di professionisti, per ridurre in futuro in maniera significativa i costi legati a questa patologia e nel contempo mantenere e addirittura migliorare gli standard di cura. Una soluzione è rappresentata dall'impiego delle ICT, Information and Communication Technologies. La continua innovazione tecnologica dei medical device per diabetici lascia ben sperare, dietro la spinta di capitali sempre più ingenti che iniziano a muoversi in questo mercato del futuro. Sempre più device tecnologicamente avanzati, all’avanguardia e performanti, sono a disposizione del paziente diabetico, che può migliorare tutti processi della cura, contenendo le spese. Di fondamentale importanza sono le BAN reti di sensori e wearable device, i cui dati diventano parte di un sistema di gestione delle cure più ampio. A questo proposito METABO è un progetto ICT europeo dedicato allo studio ed al supporto di gestione metabolica del diabete. Si concentra sul miglioramento della gestione della malattia, fornendo a pazienti e medici una piattaforma software tecnologicamente avanzata semplice e intuitiva, per aiutarli a gestire tutte le informazioni relative al trattamento del diabete. Innovativo il Clinical Pathway, che a partire da un modello Standard con procedimenti semplici e l’utilizzo di feedback del paziente, viene progressivamente personalizzato con le progressive modificazioni dello stato patologico, psicologico e non solo. La possibilità di e-prescribing per farmaci e device, e-learning per educare il paziente, tenerlo sotto stretto monitoraggio anche alla guida della propria auto, la rendono uno strumento utile e accattivante.

Elettrosintesi di catalizzatori Rh-Al2O3 su schiume FeCrAl per la produzione di syngas

La preparazione di catalizzatori attivi nella reazione di ossidazione parziale catalitica del metano a base di Rh, è stata condotta utilizzando tecniche di sintesi elettrochimiche su schiume metalliche a base di FeCrAlY. Sono stati depositati precursori a base di Rh/Al (Al2O3) e successivamente comparati ai catalizzatori a base idrotalcitica Rh/Mg/Al, precedentemente studiati. La precipitazione dei composti di Al ed idrotalciti sono stati ottenute tramite la tecnica di elettrogenerazione di basi. Sono state svolte prove di Linear Sweep Voltammetry (LSV) in soluzioni di KNO3 per determinare i potenziali ai quali si ottiene la riduzione dei nitrati, individuando il potenziale di sintesi a -1,2V. Tramite la tecnica potenziostatica (CronoAmperometria, CA) è stato possibile ottenere indicazioni sulle correnti in gioco durante la riduzione dei nitrati per tutto il tempo di reazione. Sono state eseguite successivamente cronoamperometrie in soluzione di Al(NO3)3 0,06M nelle condizioni -1,2V per tempi variabili, per poter determinare il grado di ricoprimento e l’adesione dei rivestimenti in ossoidrossido di alluminio su differenti supporti, partendo da geometrie semplici, come lamine metalliche in lega FeCrAlY, e passando mano a mano a geometrie più complesse, come fibre metalliche e schiume dello stesso materiale. La sintesi dei precursori catalitici è stata ottenuta su schiume di FeCrAlY in cronoamperometria utilizzando come specie in soluzione i nitrati dei metalli da depositare sottoforma di osso idrossidi. la sintesi viene effettuata successivamente su una cella in flusso più innovativa che da risultati migliori sia di ricoprimento che sulle percentuali di Rh depositato. Le schiume ottenute sono state successivamente caratterizzate, tramite analisi SEM-EDS, per poi essere calcinate a 900°C e provate, per determinarne l’attività nella reazione di ossidazione parziale catalitica del metano ad una temperatura di 750°C.

Progettazione di un sistema di cogenerazione statica di energia elettrica tramite celle ad effetto Seebeck

Studio di fattibilità di un sistema di cogenerazione termico ed elettrico stand-alone sfruttando il fenomeno dell'effetto Seebeck. In particolare è stata esaminata la sezione di produzione di potenza elettrica. Nella prima parte è trattata l'analisi della tecnologia riguardante i moduli TEG esplicitandone ogni aspetto caratteristico ed è stato inserito un riepilogo delle maggiori sperimentazioni in questo ambito. Nella seconda parte è affrontata la fase di studio preliminare. Sulla base dei dati di progetto ci si è soffermati sui vincoli dimensionali dei componenti direttamente interessati da scambi termodinamici. Nella terza parte è descritta la struttura del prototipo ed è mostrata una analisi economica preliminare di carattere indicativo. I risultati ottenuti mostrano il campo di applicabilità al quale questa soluzione tecnologica deve riferirsi per risultare conveniente.

Beam Halo Monitor: il nuovo rivelatore di alone del fascio per l'esperimento CMS a LHC

In questa tesi sono le descritte le fasi progettuali e costruttive del Beam Halo Monitor (BHM), un rivelatore installato sull'esperimento CMS, durante il primo lungo periodo di shutdown di LHC, che ha avuto luogo tra il 2013 ed il 2015. BHM è un rivelatore ad emissione di luce Cherenkov ed ha lo scopo di monitorare le particelle di alone prodotte dai fasci di LHC, che arrivano fino alla caverna sperimentale di CMS, ad ogni bunch crossing (25 ns). E' composto da 40 moduli, installati alle due estremità di CMS, attorno alla linea di fascio, ad una distanza di 1.8 m da questa. Ciascun modulo è costituito da un cristallo di quarzo, utilizzato come radiatore ed un fotomoltiplicatore. Sono descritte in maniera particolare le prove eseguite sui moduli che lo compongono: la caratterizzazione dei fotomoltiplicatori ed i test di direzionalità della risposta. Queste costituiscono la parte di lavoro che ho svolto personalmente. Inoltre sono descritte le fasi di installazione del rivelatore nella caverna sperimentale, a cui ho preso parte ed alcuni test preliminari per la verifica del funzionamento.

Non-Gaussianities from a sudden change in the inflaton speed of sound

Il concetto di inflazione e' stato introdotto nei primi anni ’80 per risolvere alcuni problemi del modello cosmologico standard, quali quello dell’orizzonte e quello della piattezza. Le predizioni dei piu' semplici modelli inflazionari sono in buon accordo con le osservazioni cosmologiche piu'recenti, che confermano sezioni spaziali piatte e uno spettro di fluttuazioni primordiali con statistica vicina a quella gaussiana. I piu' recenti dati di Planck, pur in ottimo accordo con una semplice legge di potenza per lo spettro a scale k > 0.08 Mpc−1 , sembrano indicare possibili devi- azioni a scale maggiori, seppur non a un livello statisticamente significativo a causa della varianza cosmica. Queste deviazioni nello spettro possono essere spiegate da modelli inflazionari che includono una violazione della condizione di lento rotolamento (slow-roll ) e che hanno precise predizioni per lo spettro. Per uno dei primi modelli, caratterizzato da una discontinuita' nella derivata prima del potenziale proposto da Starobinsky, lo spettro ed il bispettro delle fluttuazioni primordiali sono noti analiticamente. In questa tesi estenderemo tale modello a termini cinetici non standard, calcolandone analiticamente il bispettro e confrontando i risultati ottenuti con quanto presente in letteratura. In particolare, l’introduzione di un termine cinetico non standard permettera' di ottenere una velocita' del suono per l’inflatone non banale, che consentira' di estendere i risultati noti, riguardanti il bispettro, per questo modello. Innanzitutto studieremo le correzioni al bispettro noto in letteratura dovute al fatto che in questo caso la velocita' del suono e' una funzione dipendente dal tempo; successivamente, cercheremo di calcolare analiticamente un ulteriore contributo al bispettro proporzionale alla derivata prima della velocita' del suono (che per il modello originale e' nullo).

Esistenza della versione regolare della probabilità condizionata

Ci proponiamo di affrontare il problema dell'esistenza di una versione regolare della probabilità condizionata a una sigma algebra. In particolare dimostreremo che esiste nel caso in cui la sigma algebra sia numerabilmente generata e la probabilità regolare. Da questo risultato verificheremo l'eistenza in spazi polacchi