Analisi del protocollo Tor e del simulatore Shadow

L’obiettivo che si pone questa tesi è quello di analizzare alcune soluzioni esistenti riguardo i problemi riguardanti privacy e sicurezza informatica. Nello specifico sarà illustrato il programma Tor, un sistema di comunicazione grazie al quale si garantisce l’anonimato in Internet. Sponsorizzato inizialmente dall’US Naval Research Laboratory, all’origine veniva utilizzato per poter effettuare comunicazioni militari criptate; è stato successivamente un progetto della Electronic Frontier Foundation ed ora è gestito da The Tor Project, un’associazione senza scopo di lucro che si occupa del relativo sviluppo. Le ricerche e gli sviluppi riguardanti questa tecnologia vengono tuttavia resi difficili da problemi di scalabilità e dalla difficoltà di riprodurre risultati affidabili. Nel corso della tesi saranno illustrati gli studi riguardanti il simulatore Shadow, un progetto Open Source gestito da The Tor Project, che permette la simulazione del protocollo Tor. I risultati ottenuti dai test effettuati sul simulatore, possono essere riapplicati in seguito alla rete reale Tor, poiché grazie a Shadow è possibile testare ed ottenere risultati attendibili circa il comportamento e la corretta esecuzione del software Tor.

User testing and analysis di interfacce web e mobile per un merge di sistemi

Testing e Analisi di problemi di usabilità che potrebbero sorgere se due sistemi venissero integrati in un unico nuovo sistema.

Metodi operativi per la riduzione dell'impatto acustico delle operazioni aeroportuali: efficacia delle noise abatement procedures

Il rumore causato dagli aeromobili nelle varie operazioni aeroportuali è uno dei problemi più sentiti dalle popolazioni che risiedono nelle aree adiacenti gli aeroporti.Nonostante i progressi fatti dal punto di vista tecnologico, che hanno portato a una notevole riduzione del fenomeno, il continuo aumento della domanda di traffico aereo ha ridotto l’efficacia di queste migliorie tecniche, anche a causa di una scarsa pianificazione territoriale nel corso degli anni. Ci sono numerosi interventi possibili per ridurre l'inquinamento acustico, in questa tesi vengono analizzate in special modo le NAP e la loro applicazione al caso dell'aeroporto di Bologna.

Thermal inflation and the cosmological moduli problem

Ho studiato la possibilità di soluzione per il problema cosmologico dei moduli (CMP) presente a causa della compattificazione delle dimensioni extra tramite un periodo di inflazione a basse energie (Thermal Inflation). L'elaborato consta di cinque capitoli. Il primo introduce il lettore alla problematica dei moduli partendo dalla teoria Kaluza-Klein. Il secondo riguarda interamente il CMP e altri problemi cosmologici associati ai moduli. Nel terzo viene descritta la thermal inflation e le condizioni di funzionamento. Nel quarto capitolo viene preso in esame il problema di stabilizzazione dei moduli nella teoria di stringa tipo IIB: vengono descritti sia il meccanismo KKTL che il LVS. L'ultimo capitolo consiste nel calcolo della diluizione dei moduli, enunciata prima in un contesto generale e infine applicata al LVS, tramite la thermal inflation. Viene altresì presa in esame la possibilità di due epoche di thermal inflation, al fine di ottenere una diluizione più efficiente dei moduli. In LVS sono presenti due moduli, differenti per massa e vita media. Il più leggero è soggetto al CMP e si trova che, anche dopo due periodi di thermal inflation vi è ancora un numero eccessivo di tali campi, in quanto se da un lato la thermal inflation ne diliusca la densità iniziale, dall'altro ne causa una forte riproduzione, dovuta essenzialmente alle caratteristiche del modulo

Segmentazione di immagini mammografiche con convolutional neural networks

Il tumore al seno si colloca al primo posto per livello di mortalità tra le patologie tumorali che colpiscono la popolazione femminile mondiale. Diversi studi clinici hanno dimostrato come la diagnosi da parte del radiologo possa essere aiutata e migliorata dai sistemi di Computer Aided Detection (CAD). A causa della grande variabilità di forma e dimensioni delle masse tumorali e della somiglianza di queste con i tessuti che le ospitano, la loro ricerca automatizzata è un problema estremamente complicato. Un sistema di CAD è generalmente composto da due livelli di classificazione: la detection, responsabile dell’individuazione delle regioni sospette presenti sul mammogramma (ROI) e quindi dell’eliminazione preventiva delle zone non a rischio; la classificazione vera e propria (classification) delle ROI in masse e tessuto sano. Lo scopo principale di questa tesi è lo studio di nuove metodologie di detection che possano migliorare le prestazioni ottenute con le tecniche tradizionali. Si considera la detection come un problema di apprendimento supervisionato e lo si affronta mediante le Convolutional Neural Networks (CNN), un algoritmo appartenente al deep learning, nuova branca del machine learning. Le CNN si ispirano alle scoperte di Hubel e Wiesel riguardanti due tipi base di cellule identificate nella corteccia visiva dei gatti: le cellule semplici (S), che rispondono a stimoli simili ai bordi, e le cellule complesse (C) che sono localmente invarianti all’esatta posizione dello stimolo. In analogia con la corteccia visiva, le CNN utilizzano un’architettura profonda caratterizzata da strati che eseguono sulle immagini, alternativamente, operazioni di convoluzione e subsampling. Le CNN, che hanno un input bidimensionale, vengono solitamente usate per problemi di classificazione e riconoscimento automatico di immagini quali oggetti, facce e loghi o per l’analisi di documenti.

Generazione intelligente di un orario delle lezioni

Uno dei problemi che affligge le segreterie didattiche almeno una volta l’anno è la creazione di un orario delle lezioni che soddisfi sia docenti che studenti. Questo lavoro viene solitamente svolto a mano dagli addetti ai lavori che, muniti di tanta pazienza e con i dati alla mano, compongono l’orario facendo attenzione a tenere in considerazione tutti i dettagli. Con il lavoro svolto per questa tesi si intende migliorare la situazione attuale, fornendo agli addetti ai lavori uno strumento che sia in grado di generare un orario completo e soddisfacente, a partire dai dati a loro disposizione.

Sperimentazione di tecniche SBR nel trattamento "on site delle acque domestiche" per nuclei isolati e case sparse.

Scopo di questo lavoro di tesi è quello di sperimentare “sul campo’’ la validità e l'efficacia di tecniche SBR per il trattamento delle acque domestiche per case sparse e nuclei isolati. Tuttavia quella SBR, pur essendo una tecnica impiantistica, può soddisfare queste esigenze. Grazie alla presenza di un adeguato volume d'accumulo ed al funzionamento ciclico dell'impianto sono annullati tutti i problemi determinati, nei normali impianti in continuo, dalla discontinuità dell'afflusso di reflui (picchi di portata). L'impianto è studiato per ridurre la necessità di manutenzione al minimo: tutte le apparecchiature tecniche sono collocate in un armadio esterno all'impianto ed in vasca ci sono solo le tubazioni. Ciò esclude ogni presenza interna al serbatoio di apparecchiature elettriche e di parti in movimento soggette a usura. Il vantaggio è evidente nella semplificazione delle operazioni di gestione/controllo/manutenzione dell’impianto che non richiedono, di norma, lo svuotamento della cisterna e consentono operazioni più agevoli e sicure.Tutti i movimenti di processo sono supportati da tre sistemi Air Lift azionati da un unico compressore che provvede anche all'immissione dell'ossigeno attraverso l'aeratore tubolare a membrana nella vasca SBR. Il compressore si caratterizza per lunga vita operativa e assoluta silenziosità di funzionamento. Per verificare l’efficacia del processo depurativo indotto dall’impianto SBR installato dalla GreenSolar abbiamo fatto dei prelievi sul liquame in entrata alla camera SBR e su quello in uscita da essa. I campioni così prelevati sono stati analizzati da un laboratorio autorizzato.I valori limite imposti dal DGR n. 1053 sono ampiamente rispettati, tuttavia i risultati ottenuti non sono soddisfacenti relativamente alle potenzialità dell'impianto.

Protezione di condotte sottomarine con materassi articolati in cls (acbm) e materassi bituminosi sarmac

Tesi svolta in collaborazione con Officine Maccaferri S.p.A e con il LIDR (Laboratorio di Ingegneria Idraulica) dell’Università di Bologna. Descrive caratteristiche tecniche di condotte in acciaio, polietilene ad alta densità (PEAD) e resina poliestere rinforzata con fibre di vetro (PRFV), evidenziando vantaggi/svantaggi del loro impiego. Fornisce una descrizione delle modalità di posa delle condotte in relazione ai fattori che condizionano la scelta della tecnica più idonea. Affronta il problema della stabilizzazione e protezione delle condotte soggette all’azione idrodinamica di onde e correnti nelle zona sotto costa e a possibili fattori di rischio esterni. Descrive tecniche di protezione delle condotte sottomarine: interramento (trenching), ricoprimento con materiale roccioso (rock dumping), stabilizzazione con elementi puntuali di appesantimento (concrete collars).Sono descritte le soluzioni di protezione offerte da Officine Maccaferri: materassi articolati in blocchi di calcestruzzo (ACBM) e materassi in geotessuto riempiti di materiale bituminoso (SARMAC). Essi vengono posati sopra la condotta, in posizione longitudinale o trasversale al suo asse, e hanno duplice scopo: (i) incrementarne il peso e la stabilità ai carichi idrodinamici esercitati da onde e correnti e (ii) proteggere la condotta da urti. Partendo dai risultati del modello sperimentale descritto in Gaeta et al. (2012) che evidenziano problemi di erosione localizzata intorno a condotta posata su fondale mobile protetta con materasso ACBM dovuti alla discontinuità materiale del mezzo si valuta, attraverso uno studio numerico, la opportunità di modificare il materasso, ponendo sotto i blocchetti un geotessile. Utilizzando un modello numerico, COBRAS, per la simulazione 2DV del campo idrodinamico si analizza l’effetto di smorzamento del campo di velocità e di vorticità indotto dall’aggiunta del geotessuto simulato come mezzo poroso. I dati sono stati elaborati con MATLAB per ricavare le mappature attorno alla condotta. I test numerici riguardano 3 configurazioni: SARMAC, ACBM, GEO (ACBM+Geotessuto) poggiate su una condotta di diametro costante e sono state analizzate per 2 condizioni di onde regolari di diversa altezza e periodo. Dagli studi emerge che, per casi di condotta posata su fondo mobile, si consiglia l’utilizzo di materassi SARMAC o materassi ACBM modificati con aggiunta di geotessuto. Inoltre il geotessuto svolge anche funzione filtrante, per cui permette il passaggio dell’acqua ma allo stesso tempo trattiene il materiale solido movimentato, senza pericolo di erosione. La presenza dello strato di geotessile non incide sui parametri caratteristici di stabilità globale del materasso ACBM. Si è compiuta un’analisi comparativa tra SARMAC e ACBM per valutare la convenienza delle due soluzioni. Si propone un esempio di dimensionamento nel caso di protezione di un cavo sottomarino comparando caratteristiche tecniche dei materassi SARMAC e ACBM senza geotessile e facendo valutazioni economiche di massima da cui emerge la maggiore convenienza dei materassi ACBM.

Integrazione di algoritmi di visione basati su flusso ottico per il controllo di un velivolo senza pilota

Il lavoro svolto in questa tesi si colloca nell’area della robotica aerea e della visione artificiale attraverso l’integrazione di algoritmi di visione per il controllo di un velivolo senza pilota. Questo lavoro intende dare un contributo al progetto europeo SHERPA (Smart collaboration between Humans and ground-aErial Robots for imProving rescuing activities in Alpine environments), coordinato dall’università di Bologna e con la compartecipazione delle università di Brema, Zurigo, Twente, Leuven, Linkopings, del CREATE (Consorzio di Ricerca per l’Energia e le Applicazioni Tecnologiche dell’Elettromagnetismo), di alcune piccole e medie imprese e del club alpino italiano, che consiste nel realizzare un team di robots eterogenei in grado di collaborare con l’uomo per soccorrere i dispersi nell’ambiente alpino. L’obiettivo di SHERPA consiste nel progettare e integrare l’autopilota all’interno del team. In tale contesto andranno gestiti problemi di grande complessità, come il controllo della stabilità del velivolo a fronte di incertezze dovute alla presenza di vento, l’individuazione di ostacoli presenti nella traiettoria di volo, la gestione del volo in prossimità di ostacoli, ecc. Inoltre tutte queste operazioni devono essere svolte in tempo reale. La tesi è stata svolta presso il CASY (Center for Research on Complex Automated Systems) dell’università di Bologna, utilizzando per le prove sperimentali una PX4FLOW Smart Camera. Inizialmente è stato studiato un autopilota, il PIXHAWK, sul quale è possibile interfacciare la PX4FLOW, in seguito sono stati studiati e simulati in MATLAB alcuni algoritmi di visione basati su flusso ottico. Infine è stata studiata la PX4FLOW Smart Camera, con la quale sono state svolte le prove sperimentali. La PX4FLOW viene utilizzata come interfaccia alla PIXHAWK, in modo da eseguire il controllo del velivolo con la massima efficienza. E’ composta da una telecamera per la ripresa della scena, un giroscopio per la misura della velocità angolare, e da un sonar per le misure di distanza. E’ in grado di fornire la velocità di traslazione del velivolo, e quest’ultima, integrata, consente di ricostruire la traiettoria percorsa dal velivolo.

Escogitare soluzioni sostenibili

Il caso studio si sviluppa nel quartiere di Corticella (BO) dove è presente un piano PEEP del 1970. Oggetto della tesi è l’edificio in via Byron 10-22. Il lavoro svolto si propone di analizzare la fattibilità di riqualificazione energetica ed architettonica di questo edificio di edilizia residenziale pubblica. Le soluzioni escogitate nel presente progetto si rifanno alla metodologia attuata da un’ESCO secondo le direttive nazionali ed europee che hanno due obiettivi principali: il primo consiste nel trovare una soluzione ai problemi di tipo finanziario e nell’apportare un utile per l’azienda; il secondo mira a un ritorno economico in termini di risparmio di energia per l’utente, per via del miglioramento delle prestazioni energetiche dell’unità abitativa. La metodologia seguita è stata strutturata per fasi successive. In primo luogo si è condotta una ricerca storica sul contesto urbano in cui è inserita l’unità edilizia presa in esame, nonché sul quadro normativo di riferimento e sul metodo di intervento di un’ESCO. In secondo luogo è stata effettuata un’indagine sul confort abitativo tramite questionario. Infine è stato realizzato uno studio sui consumi e sui possibili risparmi a livello energetico ed economico, scegliendo quindi la soluzione di intervento più appropriata. Lo studio non si è però soffermato solo sulla metodologia attuata da un’ESCO: si sono infatti apportati dei miglioramenti architettonici attraverso un’operazione di trasformazione della facciata in prima istanza e, successivamente, mediante un intervenuto sulla copertura, il cui obiettivo era quello di fornire ai condomini uno spazio comune maggiore.

Principi e metodi della robotica evolutiva

L’intelligenza artificiale, ovvero lo studio e la progettazione di sistemi intelligenti, mira a riprodurre alcuni aspetti dell’intelligenza umana, come il linguaggio e il ragionamento deduttivo, nei computer. La robotica, invece, cerca spesso di ricreare nei robot comportamenti adattativi, come l’abilità di manipolare oggetti o camminare, mediante l’utilizzo di algoritmi in grado di generare comportamenti desiderati. Una volta realizzato uno di questi algoritmi specificamente per una certa abilità, si auspica che tale algoritmo possa essere riutilizzato per generare comportamenti più complessi fino a che il comportamento adattativo del robot non si mostri ad un osservatore esterno come intelligente; purtroppo questo non risulta sempre possibile e talvolta per generare comportamenti di maggiore complessità è necessario riscrivere totalmente gli algoritmi. Appare quindi evidente come nel campo della robotica l’attenzione sia incentrata sul comportamento, perché le azioni di un robot generano nuove stimolazioni sensoriali, che a loro volta influiscono sulle sue azioni future. Questo tipo di intelligenza artificiale (chiamata propriamente embodied cognition) differisce da quella propriamente detta per il fatto che l’intelligenza non emerge dall’introspezione ma dalle interazioni via via più complesse che la macchina ha con l’ambiente circostante. Gli esseri viventi presenti in natura mostrano, infatti, alcuni fenomeni che non sono programmati a priori nei geni, bensì frutto dell’interazione che l’organismo ha con l’ambiente durante le varie fasi del suo sviluppo. Volendo creare una macchina che sia al contempo autonoma e adattativa, si devono affrontare due problemi: il primo è relativo alla difficoltà della progettazione di macchine autonome, il secondo agli ingenti costi di sviluppo dei robot. Alla fine degli anni ’80 nasce la robotica evolutiva che, traendo ispirazione dall’evoluzione biologica, si basa sull’utilizzo di software in grado di rappresentare popolazioni di robot virtuali e la capacità di farli evolvere all’interno di un simulatore, in grado di rappresentare le interazioni tra mente e corpo del robot e l’ambiente, per poi realizzare fisicamente solo i migliori. Si utilizzano algoritmi evolutivi per generare robot che si adattano, anche dal punto di vista della forma fisica, all’ambiente in cui sono immersi. Nel primo capitolo si tratterà di vita ed evoluzione artificiali, concetti che verranno ripresi nel secondo capitolo, dedicato alle motivazioni che hanno portato alla nascita della robotica evolutiva, agli strumenti dei quali si avvale e al rapporto che ha con la robotica tradizionale e le sue declinazioni. Nel terzo capitolo si presenteranno i tre formalismi mediante i quali si sta cercando di fornire un fondamento teorico a questa disciplina. Infine, nel quarto capitolo saranno mostrati i problemi che ancora oggi non hanno trovato soluzione e le sfide che si devono affrontare trattando di robotica evolutiva.

Apprendimento robotico

L'elaborato presenta le tecniche di apprendimento principali utilizzate in robotica: l'apprendimento per rinforzo e l'apprendimento per dimostrazione. Nell'ultimo capitolo, invece, si vuole presentare come l'applicazione congiunta di queste tecniche permetta di risolvere problemi di interazione con l'ambiente in modo molto efficiente.

Re_interpretare per vivere. Una nuova unita per s. Maria della misericordia a venezia.

La scelta di Venezia come ambito operativo rientra nella volontà di confrontarsi con il tema del riuso della preesistenza all'interno della città storica. Contemporaneamente ad una permanenza nella città lagunare, la ricerca si è sviluppata sia secondo il fronte teorico che secondo quello progettuale, aventi entrambi per scopo la ricerca di un possibile ambito operativo della storia all'interno del progetto contemporaneo di architettura. Convinti che i problemi dell'oggi siano soltanto riedizioni "moderne" di quelli relativi a secoli precedenti, l'esercizio interpretativo dell'ex unità conventuale di S.Maria della Misericordia a Venezia persegue l'obbiettivo di testare metodi alternativi rispetto agli atteggiamenti estremamente conservativi imperanti nella città storica. La Storia intesa quindi come eterna mutazione, fornisce la base per un metodo basato sulla reinterpretazione della vita all'interno di un luogo come atto progettuale, al fine di generare una nuova unità tra l'uomo contemporaneo ed il contesto stratificato.

Forma della città e forme dell'abitare. Giardino botanico a Mirandola

Il lavoro di tesi ha avuto come oggetto la progettazione di un giardino botanico per Mirandola nella zona del centro storico. Il terremoto è divenuto il pretesto per ridefinire il “limite” tra centro storico e circonvallazione, in passato segnato dalle antiche mura e per riprogettare alcuni luoghi della città avendo come riferimento il testo dell'Hypnerotomachia Poliphili, opera di Giovanni Pico della Mirandola, determinante nella nascita del giardino rinascimentale all'italiana. Il progetto a scala urbana, oltre che nella ridefinizione del limite, consiste nella riqualificazione di tre giardini posti lungo la circonvallazione. L'area di progetto per il giardino botanico è occupata da un edificio storico, prima del terremoto adibito a banca, che diventa elemento di partenza del progetto oltre che ingresso al giardino. Vengono progettate una serie di serre vetrate, per conservare diverse specie di piante, alternate a elementi di collegamento dedicati alla didattica. Nella parte del giardino all'aperto viene creato un percorso sensoriale volto sia alla conservazione che alla didattica e al tempo libero.

A mathematical introduction to Kerr black holes

Lo scopo della tesi è descrivere i buchi neri di Kerr. Dopo aver introdotto tutti gli strumenti matematici necessari quali tensori, vettori di Killing e geodetiche, enunceremo la metrica di Kerr, il teorema no-hair e il frame-dragging. In seguito, a partire dalla metrica di Kerr, calcoleremo e descriveremo le ergosfere, gli orizzonti degli eventi e il moto dei fotoni nel piano equatoriale.