Basi ortonormali negli spazi di Hilbert

Questo elaborato presenta gli elementi di base della Teoria degli Spazi di Hilbert, con particolare attenzione al Teorema della Proiezione sui convessi e ai sistemi ortonormali completi.

Ideazione di sistemi distribuiti collaborativi basati su realta aumentata mobile: Un caso di studio, con approfondimento relativo al livello della cooperazione

Dall'inizio del nuovo millennio lo sviluppo di tecnologie nel campo del mobile computing, della rete internet, lo sviluppo dell'Internet of things e pure il cloud computing hanno reso possibile l'innovazione dei metodi di lavoro e collaborazione. L'evoluzione del mobile computing e della realtà aumentata che sta avvenendo in tempi più recenti apre potenzialmente nuovi orizzonti nello sviluppo di sistemi distribuiti collaborativi. Esistono oggi diversi framework a supporto della realtà aumentata, Wikitude, Metaio, Layar, ma l'interesse primario di queste librerie è quello di fornire una serie di API fondamentali per il rendering di immagini 3D attraverso i dispositivi, per lo studio dello spazio in cui inserire queste immagini e per il riconoscimento di marker. Questo tipo di funzionalità sono state un grande passo per quanto riguarda la Computer Graphics e la realtà aumentata chiaramente, però aprono la strada ad una Augmented Reality(AR) ancora più aumentata. Questa tesi si propone proprio di presentare l'ideazione, l'analisi, la progettazione e la prototipazione di un sistema distribuito situato a supporto della collaborazione basato su realtà aumentata. Lo studio di questa applicazione vuole mettere in luce molti aspetti innovativi e che ancora oggi non sono stati approfonditi né tanto meno sviluppati come API o forniti da librerie riguardo alla realtà aumentata e alle sue possibili applicazioni.

Teorema del Viriale

In questo elaborato si presenta il teorema del viriale, introdotto per la prima volta da R. J. E. Clausius nel 1870. É una relazione fra energia cinetica e poteziale totali di un sistema che, se soddisfatta, implica che questo sia in equilibrio. Sono equivalenti le affermazioni: "sistema virializzato" e "sistema in equilibrio". Sebbene in ordine cronologico la prima formulazione del teorema sia stata quella in forma scalare, ricaveremo, per maggiore generalità, la forma tensoriale, dalla quale estrarremo quella scalare come caso particolare. Sono di nostro interesse i sistemi astrofisici dinamici autogravitanti costituiti da N particelle (intese come stelle, gas etc.), perciò la trattazione teorica è dedotta per tali configurazioni. In seguito ci concentreremo su alcune applicazioni astrofisiche. In primo luogo analizzeremo sistemi autogravitanti, per cui l'unica energia potenziale in gioco è quella dovuta a campi gravitazionali. Sarà quindi ricavato il limite di Jeans per l'instabilità gravitazionale, con conseguente descrizione del processo di formazione stellare, la stima della quantità di materia oscura in questi sistemi e il motivo dello schiacciamento delle galassie ellittiche. Successivamente introdurremo nell'energia potenziale un termine dovuto al campo magnetico, seguendo il lavoro di Fermi e Chandrasekhar, andando a vedere come si modifica il teorema e quali sono le implicazioni nella stabilità delle strutture stellari. Per motivi di spazio, queste trattazioni saranno presentate in termini generali e con approssimazioni, non potendo approfondire casi più specifici.

Louder than a bomb: quando le parole sono più forti di una bomba. Proposta di traduzione di testi scelti.

Questo elaborato ha lo scopo di presentare la “slam poetry”, una disciplina con la quale solo recentemente il pubblico italiano si è confrontato. Spiegherò di cosa si tratta, quando e perché si è originata, come si è evoluta e perché ha avuto così tanto successo con alcune categorie di persone. Non mancherà anche una riflessione generale sulla traduzione della poesia e verrà dato abbondante spazio alle propostedi traduzione di alcuni brani di slam poetry, scelti tra quelli partecipanti al concorso di Chicago del 2008, con relativo commento alla traduzione.

Elaborazione del linguaggio naturale nell'IA e tecnologie moderne: Sentiment Analysis come caso di studio.

L'informatica e le sue tecnologie nella società moderna si riassumono spesso in un assioma fuorviante: essa, infatti, è comunemente legata al concetto che ciò che le tecnologie ci offrono può essere accessibile da tutti e sfruttato, all'interno della propria quotidianità, in modi più o meno semplici. Anche se quello appena descritto è un obiettivo fondamentale del mondo high-tech, occorre chiarire subito una questione: l'informatica non è semplicemente tutto ciò che le tecnologie ci offrono, perchè questo pensiero sommario fa presagire ad un'informatica "generalizzante"; l'informatica invece si divide tra molteplici ambiti, toccando diversi mondi inter-disciplinari. L'importanza di queste tecnologie nella società moderna deve spingerci a porre domande, riflessioni sul perchè l'informatica, in tutte le sue sfaccettature, negli ultimi decenni, ha portato una vera e propria rivoluzione nelle nostre vite, nelle nostre abitudini, e non di meno importanza, nel nostro contesto lavorativo e aziendale, e non ha alcuna intenzione (per fortuna) di fermare le proprie possibilità di sviluppo. In questo trattato ci occuperemo di definire una particolare tecnica moderna relativa a una parte di quel mondo complesso che viene definito come "Intelligenza Artificiale". L'intelligenza Artificiale (IA) è una scienza che si è sviluppata proprio con il progresso tecnologico e dei suoi potenti strumenti, che non sono solo informatici, ma soprattutto teorico-matematici (probabilistici) e anche inerenti l'ambito Elettronico-TLC (basti pensare alla Robotica): ecco l'interdisciplinarità. Concetto che è fondamentale per poi affrontare il nocciolo del percorso presentato nel secondo capitolo del documento proposto: i due approcci possibili, semantico e probabilistico, verso l'elaborazione del linguaggio naturale(NLP), branca fondamentale di IA. Per quanto darò un buono spazio nella tesi a come le tecniche di NLP semantiche e statistiche si siano sviluppate nel tempo, verrà prestata attenzione soprattutto ai concetti fondamentali di questi ambiti, perché, come già detto sopra, anche se è fondamentale farsi delle basi e conoscere l'evoluzione di queste tecnologie nel tempo, l'obiettivo è quello a un certo punto di staccarsi e studiare il livello tecnologico moderno inerenti a questo mondo, con uno sguardo anche al domani: in questo caso, la Sentiment Analysis (capitolo 3). Sentiment Analysis (SA) è una tecnica di NLP che si sta definendo proprio ai giorni nostri, tecnica che si è sviluppata soprattutto in relazione all'esplosione del fenomeno Social Network, che viviamo e "tocchiamo" costantemente. L'approfondimento centrale della tesi verterà sulla presentazione di alcuni esempi moderni e modelli di SA che riguardano entrambi gli approcci (statistico e semantico), con particolare attenzione a modelli di SA che sono stati proposti per Twitter in questi ultimi anni, valutando quali sono gli scenari che propone questa tecnica moderna, e a quali conseguenze contestuali (e non) potrebbe portare questa particolare tecnica.

Sviluppo di applicazioni android basate sulla sensoristica

L'obiettivo di questa tesi è quello di fornire le informazioni di base che, un aspirante programmatore Android, deve sapere per scrivere applicazioni che facciano uso dei sensori presenti nei moderni telefoni cellulari (accelerometro, giroscopio, sensore di prossimità, ecc...). La tesi si apre citando qualche aneddoto storico sulla nascita del sistema operativo più famoso al mondo ed elencando tutte le releases ufficiali e le novità che hanno portato dalla 1.0 all'attuale 5.1.1 Lollipop. Verranno analizzate le componenti fondamentali per costruire un applicazione Android: Activities, Services, Content Providers e Broadcast Receivers. Verrà introdotto e approfondito il concetto di sensore, sia punto di vista fisico sia dal punto di vista informatico/logico, evidenziando le tre dimensioni più importanti ovvero struttura, interazione e comportamento. Si analizzeranno tutte i tipi di errori e problematiche reali che potrebbero influire negativamente sui valori delle misurazioni (disturbi, rumori, ecc...) e si propone la moderna soluzione del Sensor Fusion come caso particolare di studio, prendendo spunto dal lavoro di grandi aziende come la Invensense e la Kionix Inc. Infine, si conclude l'elaborato passando dalle parole al codice: verranno affrontate le fasi di analisi e d'implementazione di un'applicazione esemplificativa capace di determinare l'orientamento del dispositivo nello spazio, sfruttando diverse tecniche Sensor Fusion.

Sviluppo di una piattaforma software per acquisizione dati da un sistema di misura di impedenze

Il progetto è il proseguimento di una tesi di laurea1 in cui si è studiato un metodo di analisi della salute della pelle non invasivo. A tale scopo si è approfondito il tema della spettroscopia d'impedenza ed è stato realizzato un sistema per la loro misura. Questo sistema prevede l'utilizzo di una parte analogica formata da un generatore di segnale sinusoidale a frequenza variabile e la circuiteria per estrarre i valori efficaci di tensione e corrente e il valore di fase. La parte digitale, invece, condiziona il segnale del blocco analogico agendo su trimmer digitali, acquisisce i dati e li trasmette tramite la UART. Lo strumento effettuava le misurazioni ed inviava continuamente i dati grezzi al computer, tramite un convertitore UART/USB, risultando poco versatile. L'obiettivo del progetto è realizzare una piattaforma software che comunichi con l'hardware, permettendo la configurazione dello strumento e la manipolazione dei dati grezzi ricevuti, svincolando quindi l'utente dai problemi di basso livello. Si è studiato un protocollo di comunicazione che permette la trasmissione di maggiore informazione e sono stati scelti dei comandi mnemonici che lo strumento possa facilmente interpretare. Il progetto prevede quindi una prima fase di modifica del vecchio firmware, in modo che il microcontrollore possa leggere e comprendere i dati ricevuti tramite la UART. Nella seconda fase si è sviluppato il software utilizzando il linguaggio di programmazione Java. Lo sviluppo comprende lo studio delle librerie grafiche offerte da JavaFX (soprattutto per la rappresentazione dei dati grezzi in grafici a due assi), di un metodo di gestione e salvataggio su disco delle impostazioni del sistema, della comunicazione seriale e infine del sistema software nella sua completezza. Alcune prove sperimentali sono infine state svolte per verificare la funzionalità dei due sistemi, firmware e software.

Studio di ottimizzazione di una turbina idraulica a flusso libero

Progettazione ed ottimizzazione di parte di un sistema pico-idroelettrico ad acqua fluente (potenza < 5 kW) per sfruttare grandi corsi d’acqua.

Revisione della cartografia geologica di dettaglio del'area di Tataouine (Tunisia)

In questa tesi viene proposta una revisione della cartografia geologica del Bacino di Tataouine, nella Tunisia meridionale, mediante la combinazione di sezioni stratigrafiche rilevate in campagna, acquisizione di cartografie a diversa risoluzione presenti in letteratura e applicazione di tecnologie GIS. In particolare, si è cercato di migliorare la risoluzione del materiale cartografico esaminato in specifici settori dell’area di studio fornendo informazioni dettagliate per le singole unità stratigrafiche affioranti. I dati esaminati si riferiscono principalmente alle successioni esposte lungo la scarpata del Dahar, un elemento morfologico sub-verticale che si estende nell’intera area di studio e che rende particolarmente difficile la rappresentazione in pianta delle diverse unità affioranti. A supporto dei dati di campagna (che si riferiscono a 23 sezioni stratigrafiche e 43 punti di controllo) sono stati integrati i dati ottenuti da immagini satellitari ad alta risoluzione. L’utilizzo di ArcMap ha permesso di unire i diversi dataset e ottenere quindi carte geologiche a maggiore risoluzione stratigrafica rispetto a quelle disponibili. L’applicazione della metodologia illustrata in questo progetto, se trasferita ad altri casi studio, potrebbe divenire una modalità operativa utile per ottenere una maggiore risoluzione nella rappresentazione in carta della geologia di un territorio.

Algoritmi di Compressione secondo Lempel Ziv

Molti metodi di compressione lossless si basano sulle idee che nel 1977 i ricercatori israeliani Abraham Lempel e Jacob Ziv hanno presentato nell’articolo “A universal Algorithm for sequential Data Compression”. In questa tesi viene descritto il metodo di fattorizzazione LZ77, illustrato appunto da Lempel e Ziv, e vengono esposte le strutture dati fondamentali per la sua realizzazione. Sono inoltre descritti due algoritmi CPS1 e CPS2 che realizzano LZ77. Infine, sfruttando i dati raccolti sperimentalmente da Al-Haffedh et al. in “A Comparison of Index-Based Lempel-Ziv LZ77 Factorization Algorithms” [2012], gli algoritmi descritti vengono confrontati in termini di spazio e tempo.

Compattezza debole in spazi di Banach riflessivi

Lo scopo di questa tesi è dare la nozione di topologia debole in spazi di Banach e fornire una caratterizzazione della compattezza debole in spazi riflessivi e separabili. Infatti in spazi di Banach riflessivi e separabili la compattezza è equivalente alla compattezza sequenziale, mentre in mancanza delle ipotesi di riflessività e di separabilità dello spazio ciò non è vero.

Controllo di un impianto ad aria compressa per limitare gli avviamenti del compressore mediante regolatore misto retroazione-azione in avanti

Progetto di un sistema di controllo della pressione dellʼaria compressa in un serbatoio. In particolare, dopo aver introdotto gli impianti ad aria compressa e mostrato i vari parametri di tali impianti, si vedrà̀ un modo di progettare un sistema di controllo che permetta di inviare allʼutenza una portata di aria che consenta di mantenere costante la pressione nel serbatoio di accumulo, dal quale lʼutenza preleva la portata. Il sistema permetterà di variare allʼoccorrenza lo spazio nocivo (o volume nocivo) del compressore volumetrico dellʼimpianto, in base a quanto volume dʼaria viene richiesto ad ogni ciclo di mandata dallʼutenza (volume dʼaria per ciclo o portata dʼaria); in generale i compressori di questo tipo di impianti possono essere o volumetrici o rotativi, ma in questo lavoro di tesi ci si concentrerà su compressori volumetrici. Il sistema servirà a fare in modo di mantenere la pressione nel serbatoio costante, per evitare dannose sovrappressioni al suo interno (o al contrario pressioni troppo basse), che con lʼausilio di pressostati inducono lo spegnimento del compressore (pressioni troppo basse al contrario ne inducono lʼaccensione se spento), con successivo riavviamento. Quindi il sistema aiuterà a limitare il più possibile il numero di avviamenti, riducendo il consumo energetico dovuto alle correnti di spunto ed evitando di danneggiare il compressore. Per verificare il corretto funzionamento del sistema si utilizzerà un modello simulato del sistema di controllo della pressione nel serbatoio realizzato in ambiente software Simulink. Verrà infine anche quantificato il risparmio economico che si ottiene con lʼintroduzione del sistema.

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 mediazione linguistica interculturale all'interno della ASL 6 di Livorno

L'elaborato si presenta sotto il profilo si una analisi, principalmente teorica, del servizio di assistenza linguistica fornito agli stranieri non italofoni in seno alla Azienda Sanitaria Locale numero 6 di Livorno. Partendo da una giustificazione di carattere giuridico del diritto all'assistenza da parte dei pazienti stranieri, l'analisi procede a descrivere la mediazione linguistica nell'ambito della ASL6 e dei suoi servizi sociali, lasciando spazio a considerazioni di tipo tecnico sul metodo di interpretazione e mediazione, e sulle scelte dei singoli mediatori. Infine, sono tratte conclusioni di vario carattere sui risultati dello studio. Le informazioni sono state raccolte da sitografia e bibliografia ufficiali, oltre che da interviste svolte sul campo.

Traduzione di racconti brevi arabi

Questo lavoro di traduzione nasce dal mio interesse per la traduzione dall’arabo all’italiano. Purtroppo, attualmente non sono moltissimi i libri tradotti dall’arabo ed è ancora scarso (rispetto ad altri paesi) l’interesse verso la vera letteratura araba, ed in particolar modo verso il genere del racconto breve. Oggigiorno, gli scaffali delle maggiori librerie in Italia riservano un angusto spazio ai libri tradotti dall’arabo. Certo, molto è stato realizzato in comparazione alla prima metà del Novecento, grazie anche all’assegnazione del premio Nobel per la letteratura nel 1988 a Naguib Mahfouz, evento che ha incentivato l’interesse verso gli scrittori in lingua araba. Tuttavia, sono convinta che si può stimolare in misura maggiore la lettura di romanzi e racconti che provengono dal così chiamato “Mondo arabo”, in riferimento a una vasta area geografia che comprende diversi stati, con un differente patrimonio culturale ma accomunati dall’uso della stessa lingua. A questo scopo, ho scelto di tradurre due racconti brevi di due diversi autori, entrambi dall’Egitto tracciando inizialmente la nascita di questo genere sino a delineare il suo valore odierno. Si tratta di due racconti che si allontanano dal modello de Le Mille e una notte, e diversamente da quest’ultime non godono della stessa notorietà. Non presentano tratti di esotismo che tanto affascinano i lettori occidentali e non si inseriscono tra le ultime tendenze letterarie. Si tratta di racconti fuori dagli schemi classici proposti dei racconti arabi già tradotti. Per tali motivi ho deciso di tradurli, in quanto sono convinta fermamente che la letteratura araba non sia solamente Naguib Mahfouz o Khalil Gibran (autori eccezionali senza dubbio), ma sia ricca di molti altri scrittori ancora da essere scoperti.