Aggregate Programming in Scala: a Core Library and Actor-Based Platform for Distributed Computational Fields

La programmazione aggregata è un paradigma che supporta la programmazione di sistemi di dispositivi, adattativi ed eventualmente a larga scala, nel loro insieme -- come aggregati. L'approccio prevalente in questo contesto è basato sul field calculus, un calcolo formale che consente di definire programmi aggregati attraverso la composizione funzionale di campi computazionali, creando i presupposti per la specifica di pattern di auto-organizzazione robusti. La programmazione aggregata è attualmente supportata, in modo più o meno parziale e principalmente per la simulazione, da DSL dedicati (cf., Protelis), ma non esistono framework per linguaggi mainstream finalizzati allo sviluppo di applicazioni. Eppure, un simile supporto sarebbe auspicabile per ridurre tempi e sforzi d'adozione e per semplificare l'accesso al paradigma nella costruzione di sistemi reali, nonché per favorire la ricerca stessa nel campo. Il presente lavoro consiste nello sviluppo, a partire da un prototipo della semantica operazionale del field calculus, di un framework per la programmazione aggregata in Scala. La scelta di Scala come linguaggio host nasce da motivi tecnici e pratici. Scala è un linguaggio moderno, interoperabile con Java, che ben integra i paradigmi ad oggetti e funzionale, ha un sistema di tipi espressivo, e fornisce funzionalità avanzate per lo sviluppo di librerie e DSL. Inoltre, la possibilità di appoggiarsi, su Scala, ad un framework ad attori solido come Akka, costituisce un altro fattore trainante, data la necessità di colmare l'abstraction gap inerente allo sviluppo di un middleware distribuito. Nell'elaborato di tesi si presenta un framework che raggiunge il triplice obiettivo: la costruzione di una libreria Scala che realizza la semantica del field calculus in modo corretto e completo, la realizzazione di una piattaforma distribuita Akka-based su cui sviluppare applicazioni, e l'esposizione di un'API generale e flessibile in grado di supportare diversi scenari.

Caratterizzazione sperimentale della produzione in aria di 41-Ar nell'impiego di un ciclotrone per uso biomedico

Negli ultimi anni l'utilizzo di ciclotroni per la produzione di radionuclidi, impiegati nell'ambito della Medicina Nucleare, è diventato un processo sempre più diffuso e numerosi sono i modelli commercialmente disponibili. L'impiego di questo tipo di apparecchiature porta a considerare questioni rilevanti legate alla radioprotezione che coinvolgono una serie di aspetti complessi sia nella fase progettuale del sistema, sia nell'ottenimento delle necessarie autorizzazioni. In particolare, uno dei problemi radioprotezionistici da affrontare è legato alla dispersione in ambiente di aeriformi radioattivi, prodotti dall'interazione di flussi di particelle secondarie con l'aria. In questo lavoro di tesi, svolto presso il Servizio di Fisica Sanitaria dell'Ospedale Sant'Orsola di Bologna, si è cercato di caratterizzare l'emissione di tali gas radioattivi considerando l'effetto del sistema di ventilazione. E' stata eseguita un'estesa campagna di misurazioni in diversi punti di campionamento, collocati lungo il percorso di estrazione dell'aria: dal bunker fino all'immissione in ambiente. Sono stati ideati e realizzati dei compatti sistemi di campionamento che hanno permesso di definire, attraverso un sistema di spettrometria gamma equipaggiato con rivelatore al HPGe, una sistematica procedura per la determinazione di concentrazione di attività. I risultati ottenuti mostrano come, durante la routine di produzione di 18F mediante ciclotrone, il processo più rilevante di attivazione dell'aria sia la produzione di 41Ar (T1/2=109.34 minuti), unico radionuclide identificato in tutte le misurazioni. Infine, sulla base dei dati sperimentali ottenuti, è stata effettuata una valutazione della dose rilasciata alla popolazione locale. Il risultato, pari a 0.19 µSv/anno, può essere considerato trascurabile rispetto alla soglia di "non rilevanza radiologica", a dimostrazione di come le tipiche procedure in ambito di Medicina Nucleare possano essere considerate del tutto giustificate.

Metodi di map-matching per l'identificazione degli itinerari dei ciclisti

Negli ultimi anni si è assistito al considerevole aumento della disponibilità di dati GPS e della loro precisione, dovuto alla diffusione e all’evoluzione tecnologica di smartphone e di applicazioni di localizzazione. Il processo di map-matching consiste nell’integrare tali dati - solitamente una lista ordinata di punti, identificati tramite coordinate geografiche ricavate mediante un sistema di localizzazione, come il GPS - con le reti disponibili; nell’ambito dell’ingegneria dei trasporti, l’obiettivo è di identificare il percorso realmente scelto dall’utente per lo spostamento. Il presente lavoro si propone l’obiettivo di studiare alcune metodologie di map-matching per l’identificazione degli itinerari degli utenti, in particolare della mobilità ciclabile. Nel primo capitolo è esposto il funzionamento dei sistemi di posizionamento e in particolare del sistema GPS: ne sono discusse le caratteristiche, la suddivisione nei vari segmenti, gli errori di misurazione e la cartografia di riferimento. Nel secondo capitolo sono presentati i vari aspetti del procedimento di map-matching, le sue principali applicazioni e alcune possibili classificazioni degli algoritmi di map-matching sviluppati in letteratura. Nel terzo capitolo è esposto lo studio eseguito su diversi algoritmi di map-matching, che sono stati testati su un database di spostamenti di ciclisti nell’area urbana di Bologna, registrati tramite i loro smartphone sotto forma di punti GPS, e sulla relativa rete. Si analizzano altresì i risultati ottenuti in un secondo ambiente di testing, predisposto nell’area urbana di Catania, dove sono state registrate in modo analogo alcune tracce di prova, e utilizzata la relativa rete. La comparazione degli algoritmi è eseguita graficamente e attraverso degli indicatori. Vengono inoltre proposti e valutati due algoritmi che forniscono un aggiornamento di quelli analizzati, al fine di migliorarne le prestazioni in termini di accuratezza dei risultati e di costo computazionale.

Il progetto Webassembly: un bytecode a supporto del web

A fronte di un notevole incremento di funzionalità e strutture, nell'ambiente Web si sono intrapresi numerosi percorsi volti alla creazione di progetti che vanno a supportare il sovraccarico riversato sul lavoro che i linguaggi e i software sono tenuti a svolgere. Ad oggi il Javascript è uno dei linguaggi maggiormente utilizzati in ambito Web, e si rivela spesso essenziale al corretto sviluppo di applicazioni particolarmente evolute. Questo linguaggio, come è noto, sposta l’elaborazione del codice sul lato client, quindi sarà il Browser a supportare il carico di lavoro. Inoltre, è proprio quest’ultimo ad essere incaricato della gestione delle risorse computazionali locali, necessarie a tutte le operazioni di interpretazione del codice presente nelle pagine Web. Il crescente numero di connessioni da dispositivi mobili e la complessità dei siti Web, aumentano il rischio di avvicinarsi ad un punto critico relativo alla velocità e alle prestazioni dei Browser, in questa direzione sono stati realizzati progetti come asm.js piuttosto che Typescript in grado di velocizzare o incrementare le funzionalità e le prestazioni del linguaggio Javascript. Webassembly vuole integrare i vantaggi proposti da questi linguaggi tramite una meccanica di conversione dei file in formato binario, il quale essendo molto più leggero e veloce, consente una elaborazione molto più performante da parte dei Browser. Questo documento espone una panoramica sulle funzionalità e la progettazione di questo linguaggio, analizzando elementi lessicali e relativi vantaggi rispetto alle tecnologie diffuse fino ad ora. Il quadro generale di questa tesi ci prepara all’apertura di un nuovo scenario molto più ampio e diverso, sostenuto da un approccio al Web strutturalmente innovativo.

Analisi della polarità su chat di livestreaming

La Sentiment analysis, nata nell'ambito dell’informatica, è una delle aree di ricerca più attive nel campo dell’analisi del linguaggio naturale e si è diffusa ampiamente anche in altri rami scientifici come ad esempio le scienze sociali, l’economia e il marketing. L’enorme diffusione della sentiment analysis coincide con la crescita dei cosiddetti social media: siti di commercio e recensioni di prodotti, forum di discussione, blog, micro-blog e di vari social network. L'obiettivo del presente lavoro di tesi è stato quello di progettare un sistema di sentiment analysis in grado di rilevare e classificare le opinioni e i sentimenti espressi tramite chat dagli utenti della piattaforma di video streaming Twitch.tv. Per impostare ed organizzare il lavoro, giungendo quindi alla definizione del sistema che ci si è proposti di realizzare, sono stati utilizzati vari modelli di analisi in particolare le recurrent neural networks (RNNLM) e sistemi di word embedding (word2vec),nello specifico i Paragraph Vectors, applicandoli, dapprima, su dati etichettati in maniera automatica attraverso l'uso di emoticon e, successivamente, su dati etichettati a mano.

Caratterizzazione della Risposta Idrologica alle Precipitazioni nella Zona d’Innesco di un Debris Flow in Area Dolomitica (Bacino di Pezovico, Cortina d’Ampezzo, BL)

Il presente lavoro riguarda lo studio delle colate detritiche, fenomeno che rappresenta un importante argomento di studio sia per la sua caratterizzazione e analisi a livello scientifico che per attuare una corretta pianificazione e gestione del territorio. Nell’ambiente alpino, ed in particolare nell’area Dolomitica, le colate detritiche rappresentano un fenomeno complesso, le cui caratteristiche di velocità ed intensità, congiuntamente alla difficile previsione temporale, determinano l’alto grado di pericolosità che espone a rischi elevati infrastrutture e persone. Il monitoraggio delle colate detritiche assume quindi una notevole importanza nella determinazione delle condizioni idrologiche e morfologiche che inducono la generazione e la propagazione di tali fenomeni. Il presente lavoro ha come obiettivo la caratterizzazione della risposta idrologica nella zona d’innesco di un canale detritico, localizzato nella Conca Ampezzana. La caratterizzazione è stata definita attraverso l’analisi dei dati ottenuti dal monitoraggio eseguito mediante una stazione di rilevamento appositamente progettata e realizzata.

Caracterización experimental y modelo predictivo del comportamiento térmico de una fachada vegetal

La aplicación de las estrategias que promuevan la eficiencia energética y la sostenibilidad en el sector de la construcción es una tarea de fundamental importancia que estamos llamados a llevar a cabo como ciudadanos, profesionales e investigadores. Esta tesis doctoral se enmarca dentro de los trabajos de investigación llevados a cabo en los últimos años que, en la línea más general de analizar sistemas a la vez energéticamente eficientes y beneficiosos para la mejora del confort de los usuarios, se han centrado en la caracterización de los efectos sobre edificios y medioambiente derivados de la aplicación de fachadas vegetales en el ámbito arquitectónico. La investigación parte del análisis del papel que las envolventes vegetales han tenido en relación a la arquitectura a lo largo de la Historia, para luego examinar su papel actual que, más allá de su reconocido valor estético, cada vez más cobra una función arquitectónica propia. Prueba de ello es la creciente integración de las superficies vegetales experimentada en los últimos años tanto en entornos arquitectónicos como urbanos; reflejo, a su vez, del desarrollo gradual de nuevas investigaciones sobre fachadas vegetales y de la difusión de diferentes sistemas en el mercado. Tras realizar un análisis detallado de los resultados obtenidos hasta el momento en el campo de la investigación y una vez detectadas sus carencias, se procede a plantear el objetivo general de esta tesis: analizar el comportamiento térmico de una solución constructiva que incorpore un elemento vegetal, a través de la monitorización de un prototipo experimental a escala real, así como, generar una herramienta flexible que permita predecir el comportamiento térmico de determinados tipos de fachadas vegetales, posibilitando su utilización en contextos diferentes al de estudio. Con el fin de elegir el sistema de fachada vegetal más adecuado para el estudio experimental, se realizan un análisis y una catalogación de los sistemas de fachadas vegetales existentes en el mercado. Para cada sistema, se destacan las principales características, las ventajas y los inconvenientes. Para evaluar la aplicabilidad del sistema a gran escala, se fijan unos criterios de selección basados en el grado de industrialización, la eficiencia energética y la sostenibilidad. Finalmente, se elige el sistema más adecuado para el estudio experimental: sistema con elementos modulares industrializados prevegetados compuestos por cajas contenedoras de sustrato y vegetación perenne. Como siguiente paso, se procede al diseño del experimento y se da comienzo a la fase experimental que comprende más de tres años, distinguiéndose dos etapas. En ambas, la experimentación se basa en la comparación de dos cerramientos idénticos cuya única diferencia está constituida por una capa de vegetación existente en uno de ellos. En una primera etapa, a través de un tratamiento estadístico de los datos, se analiza el comportamiento energético de un cerramiento sin aislante con el objetivo de caracterizar térmicamente el elemento vegetal (sustrato más vegetación), eliminado las variables relativas a la composición del cerramiento. En una segunda etapa, se monitoriza un cerramiento con aislante con el fin de verificar la efectividad energética del sistema vegetal en cerramientos aislados. Tras corroborar la eficacia energética de dicho sistema, incluso en cerramientos aislados, se concluye el trabajo con el desarrollo de un modelo de predicción del comportamiento térmico de determinados tipos de fachadas vegetales. El modelo, de rápida y sencilla utilización, permite estimar el comportamiento térmico de una fachada vegetal en función de la temperatura exterior, la humedad relativa del aire en el exterior y la irradiancia global. Dicho modelo, desarrollado a partir de los datos tomados durante la monitorización, ha sido validado experimentalmente mostrando un elevado grado de fiabilidad. ABSTRACT Mettere in atto strategie di promozione dell'e_cienza energetica e della sostenibilità nel settore delle costruzioni è un compito di fondamentale importanza che siamo chiamati a svolgere, come cittadini, professionisti e ricercatori. Questa tesi si colloca all'interno delle ricerche che, nella linea generale di sviluppo di sistemi che siano sia effcienti dal punto di vista energetico sia vantaggiosi dal punto di vista del miglioramento del comfort degli utenti, negli ultimi anni si sono occupate di indagare gli effetti sulle costruzioni e sull'ambiente derivati dall'applicazione di facciate verdi negli edifici. La ricerca si sviluppa partendo dall'analisi del ruolo che coperture e facciate verdi hanno avuto nel corso della storia dell'Architettura per poi giungere ad esaminare il loro ruolo nell'attualit_a: oltre a un roconosciuto valore estetico in maniera crescente queste tecnologie sono chiamate a svolgere una funzione architettonica propria. Ciò è dimostrato dalla crescente integrazione di superfici verdi sia a livello architettonico sia a livello urbano registrata negli ultimi anni, che è a sua volta conseguenza del graduale sviluppo di nuove ricerche sulle facciate verdi e della diffusione nel mercato di differenti sistemi. Dopo aver realizzato un'analisi dettagliata dei risultati ottenuti finora nel campo della ricerca e una volta individuate le loro carenze, si procede a fissare l'obiettivo generale di questa tesi: analizzare il comportamento termico di una soluzione costruttiva che incorpora un elemento di vegetale attraverso il monitoraggio di un prototipo sperimentale in scala reale, così come generare uno strumento essibile che consenta di prevedere il comportamento termico di alcuni tipi di facciate verdi, possibilitando il suo uso in contesti diversi da quello studiato. Al fine di scegliere il sistema di facciata verde pi_u adatto allo studio sperimentale, si effettua un'analisi e una catalogazione dei sistemi attualmente esistenti nel mercato. Per ogni sistema si mettono in evidenza le sue principali caratteristiche, i vantaggi e gli svantaggi, e si fissano criteri di selezione basati sul livello di industrializzazione del sistema, sulla sua efficienza energetica e sulla sostenibilità, con il fine ultimo di promuovere l'applicabilità del sistema a larga scala. Infine, si sceglie il sistema più adeguato per lo studio sperimentale: il sistema industrializzato modulare composto da pannelli prevegetati con substrato e vegetazione perenne. Come passo successivo, si procede allo sviluppo dell'esperimento e si dà inizio alla sperimentazione, composta da due fasi, che si sviluppa durante più di tre anni. In entrambe le fasi, la sperimentazione si basa sul confronto di due serramenti identici la cui unica differenza è costituita dallo strato di vegetazione presente in uno di essi. Nella prima fase, attraverso un trattamento statistico dei dati, si analizza il comportamento energetico di un involucro non isolato per caratterizzare termicamente l'elemento vegetale (vegetazione più substrato), eliminando le variabili relative alla composizione del serramento. Nella seconda fase, si studia un involucro isolato con il fine di verificare l'efficacia energetica del sistema verde in serramenti isolati. Dopo aver dimostrato che il sistema è effciente anche quando applicato in involucri isolati, il lavoro si conclude con lo sviluppo di un modello predittivo del comportamento termico di alcuni tipi di facciate verdi. Il modello, veloce e di semplice utilizzo, permette la stima del comportamento termico di una facciata verde conoscendo la temperatura esterna, l'umidità relativa esterna e l'irradianza globale. Questo modello, sviluppato a partire da dati di monitoraggio, è stato validato sperimentalmente mostrando un elevato grado di precisione.

Endometrial response toward bovine herpesvirus 4 infection

Metriti ed endometriti sono le patologie maggiormente responsabili delle perdite economiche negli allevamenti bovini da latte, specialmente nel periodo successivo al parto. Mentre le metriti coinvolgono e si sviluppano in tutto l’utero e sono caratterizzate dalla presenza di sintomi sistemici, le endometriti consistono in una infiammazione che riguarda il solo endometrio, con la presenza di perdite purulente, distruzione della superficie epiteliale, congestione vascolare, edema stromale ed accumulo di linfociti e plasmacellule. Queste patologie, inoltre, possono causare, disfunzione ovarica, con conseguente infertilità e riduzione sia dell’efficienza riproduttiva della vacca sia della produzione stessa di latte. Nonostante queste malattie siano, nella maggior parte dei casi, correlate all’instaurarsi di infezioni batteriche, che possono subentrare nell’utero direttamente durante il parto, il ruolo di alcuni virus nello sviluppo di queste patologie è stato recentemente approfondito e la correlazione tra l’ Herpesvirus Bovino 4 e l’insorgere di metriti ed endometriti è stata dimostrata. L’ Herpesvirus Bovino 4 (BoHV-4) è un gamma-herpesvirus ed il suo genoma è costituito da una molecola lineare di DNA a doppio filamento con una struttura genomica di tipo B, caratterizzata dalla presenza di un’unica lunga sequenza centrale (LUR) fiancheggiata da multiple sequenze poli-ripetute (prDNA). BoHV-4 è stato isolato sia da animali sani sia da animali con differenti patologie, tra cui malattie oculari e respiratorie, ma soprattutto da casi di metriti, endometriti, vaginiti o aborti. Generalmente, il ruolo svolto dal virus in questo tipo di patologie è associato alla compresenza di altri tipi di patogeni, che possono essere virus, come nel caso del Virus Della Diarrea Virale Bovina (BVDV), o più frequentemente batteri. Usualmente, l’iniziale difesa dell’endometrio bovino nei confronti dei microbi si fonda sul sistema immunitario innato e l’attivazione di specifici recettori cellulari determina la sintesi e la produzione di citochine e chemochine pro infiammatorie, che possono essere in grado di modulare la replicazione di BoHV-4. Il genoma di BoHV-4 possiede due principali trascritti per i geni Immediate Early (IE), trai quali ORF50/IE2 è il più importante ed il suo prodotto, Rta/ORF50, è fortemente conservato tra tutti gli Herpesvirus. Esso è responsabile della diretta trans-attivazione di numerosi geni virali e cellulari e può essere modulato da differenti stimoli extracellulari. Precedentemente è stato dimostrato come il TNF-, prodotto dalle cellule stromali e dai macrofagi all’interno dell’endometrio, in conseguenza ad infezione batterica, sia in grado di aumentare la replicazione di BoHV-4 attraverso l’attivazione del pathway di NFkB e direttamente agendo sul promotore di IE2. Per queste ragioni, è risultato di forte interesse investigare quali potessero essere, invece, i fattori limitanti la replicazione di BoHV-4. In questo lavoro è stata studiata la relazione tra cellule endometriali stromali bovine infettate con l’Herpesvirus Bovino 4 e l’interferon gamma (IFN-) ed è stata dimostrata la capacità di questa molecola di restringere la replicazione di BoHV-4 in maniera IDO1 indipendente ed IE2 dipendente. Inoltre, la presenza di alcuni elementi in grado di interagire con l’ IFN-γ, all’interno del promotore di IE2 di BoHV-4, ha confermato questa ipotesi. Basandoci su questi dati, abbiamo potuto supporre l’esistenza di uno stretto vincolo tra l’attivazione dell’asse dell’interferon gamma e la ridotta replicazione di BoHV-4, andando a porre le basi per una nuova efficiente cura e prevenzione per le patologie uterine. Poiché il meccanismo corretto attraverso il quale BoHV-4 infetta l’endometrio bovino non è ancora ben compreso, è stato interessante approfondire in maniera più accurata l’interazione presente tra il virus ed il substrato endometriale, analizzando le differenze esistenti tra cellule infettate e non, in termini di espressione genica. Basandoci su dati preliminari ottenuti attraverso analisi con RNA sequencing (RNAseq), abbiamo visto come numerosi geni risultino over-espressi in seguito ad infezione con BoHV-4 e come, tra questi, la Metalloproteasi 1 sia uno dei più interessanti, a causa delle sue possibili implicazioni nello sviluppo delle patologie dell’endometrio uterino bovino. Successive analisi, effettuate tramite westernblotting e real time PCR, sono state in grado di confermare tale dato, sottolineando l’efficacia di un nuovo approccio sperimentale, basato sul RNAseq, per lo studio dell’insorgenza delle patologie.

La valutazione della sicurezza stradale nelle intersezioni a T

Questo elaborato ha lo scopo di investigare il comportamento degli utenti nel caso di intersezioni a T nelle quali il ramo che gode di diritto di precedenza è quello secondario. In particolare, verrà messo a confronto il comportamento di un campione di utenti in due intersezioni a T situate nel Comune di Castel S. Pietro Terme nella Provincia di Bologna. La prima è stata definita sperimentale in quanto presenta un funzionamento anomalo rispetto alle regole di buona progettazione. La seconda, invece, definita di controllo, è un’intersezione a T con funzionamento standard. L’intersezione sperimentale, definita anche “non autoesplicativa”, presenta un obbligo di dare la precedenza sul ramo principale; al contrario, quella di controllo o “autoesplicativa” viene definita con funzionamento standard in quanto il ramo principale è quello che gode del diritto di precedenza.

Analisi di un Incidente Non Mitigato di Tipo LOCA in un Reattore PWR Mediante il Codice MELCOR 2.1

La presente attività di tesi è stata svolta presso la Divisione di Sicurezza Nucleare dell’ENEA di Bologna ed è stata finalizzata ad analizzare, mediante il codice MELCOR 2.1, le conseguenze di tre incidenti severi non mitigati di tipo LBLOCA in un generico reattore nucleare ad acqua leggera pressurizzata (PWR) da 900 MWe. In particolare sono stati confrontati gli scenari incidentali relativi a tre distinti eventi iniziatori nel circuito di refrigerazione primario: la rottura a ghigliottina della gamba fredda (CL) del loop 1, della gamba calda (HL) del loop 1 e della surge line di connessione con il pressurizzatore. Le analisi MELCOR hanno indagato la progressione incidentale in-vessel, con particolare riferimento alle fenomenologie termoidrauliche e di degradazione del core. MELCOR infatti è un codice integrato che simula le principali fenomenologie riguardanti sequenze incidentali di tipo severo in reattori ad acqua leggera. Durante la prima fase dei tre transitori incidentali risultano predominanti fenomenologie di carattere termoidraulico. In particolare MELCOR predice la rapida depressurizzazione e il conseguente svuotamento del sistema di refrigerazione primario. I tre transitori sono poi caratterizzati dallo scoprimento completo del core a causa dell’indisponibilità del sistema di refrigerazione di emergenza. Il conseguente riscaldamento del core per il calore di decadimento e per ossidazione delle strutture metalliche conduce inevitabilmente alla sua degradazione e quindi al fallimento della lower head del recipiente in pressione del reattore nei tre scenari incidentali in tempi diversi. Durante la prima fase incidentale, di carattere prevalentemente termoidraulico, sono state rilevate le principali differenze fenomenologiche causate dalle differenti posizioni e dimensioni delle rotture. Il transitorio causato dalla rottura della CL si è confermato come il più gravoso, con fallimento anticipato della lower head rispetto agli altri due transitori considerati.

Utilizzo di sensori a basso costo per la localizzazione indoor

I sistemi di localizzazione, negli ultimi anni, sono stati oggetto di numerose ricerche a livello internazionale.Gli sviluppi più importanti hanno avuto inizio nell’ambito stradale con sistemi di navigazione e localizzazione, possibili grazie alle forti capacità del GPS.Infatti il GPS indica l’intero apparato che permette il funzionamento della maggior parte dei navigatori disponibili in commercio, che, però, non sono utilizzabili in ambito indoor, in quanto la ricezione del segnale proveniente dai satelliti GPS diventa scarsa o pressoché nulla. In questo senso, la localizzazione risulta rilevante nel caso di indoor positioning, ossia quando utenti hanno bisogno di conoscere la propria posizione e quella degli altri membri della squadra di soccorso all’interno di un edificio come, ad esempio, i vigili del fuoco durante un’operazione di salvataggio. Sono questi fattori che portano all’idea della creazione di un sistema di localizzazione indoor basato su smartphone o una qualsiasi altra piattaforma disponibile. Tra le diverse tecnologie e architetture legate al posizionamento indoor/outdoor e inerziale, con questa tesi, si vuole esporre la foot-mounted inertial navigation, un sistema che permette di conoscere la propria posizione, sia all’interno di edifici,sia in campi aperti, tramite l’utilizzo di una rete wireless o GPS e l’aiuto di sensori a basso costo.Tuttavia per conoscere la stima ottimale della posizione, della velocità e dell’orientamento corrente di un utente dotato di sensori sarà necessaria l’integrazione di diversi algoritmi, che permettono di modellare e stimare errori o di conoscere e predire la posizione futura dello stesso. Gli scopi principali di questo lavoro sono: 1)Tracciare i movimenti di un utente usando diversi sensori per ottenere una stima ottimale della posizione dello stesso; 2)Localizzare l’utente in 3 dimensioni con precisione; 3)Ottenere una transizione senza interruzioni per un posizionamento continuo tra aree indoor e outdoor;

La resa in italiano del linguaggio giuridico americano nel doppiaggio della serie tv "Le regole del delitto perfetto"

Lo scopo del presente lavoro è analizzare le scelte traduttive adottate nel doppiaggio in italiano della serie televisiva americana “How to get away with murder”, distribuita in Italia con il nome “Le regole del delitto perfetto”. L’analisi verterà sulla resa italiana del lessico giuridico americano. Verranno descritte le caratteristiche principali del sistema di common law americano, con attenzione verso il sistema giudiziario, il sistema precedente giudiziale e il sistema di risoluzione delle controversie. Tale parte del lavoro è volta a dare l’idea, anche solo generale, di come è il sistema giuridico statunitense e dei suoi tratti caratteristici. In seguito si andranno a evidenziare le sostanziali differenze tra i due ordinamenti giuridici, quello statunitense e quello italiano, in modo da definire al meglio ciò che li contraddistingue. Si passerà poi all’analisi della resa italiana del lessico giuridico presente nella serie televisiva. Verrà analizzata, pur nei limiti di un lavoro di tesina triennale, la resa in italiano di alcuni termini giuridici riscontrati in alcuni episodi della serie televisiva, ponendo particolare attenzione al loro significato, al significato del termine usato per tradurli e all’effetto che tale traduzione potrebbe produrre sul pubblico.

“The Normal Heart”: proposta di traduzione commentata di quattro scene del dramma di Larry Kramer

Il presente elaborato offre una proposta di traduzione commentata di quattro scene del dramma di Larry Kramer, “The Normal Heart”. La tesi consiste di tre capitoli: il primo di questi si concentra sulla biografia e sulla produzione artistica dell'autore, con un focus particolare su The Normal Heart, di cui analizzo le tematiche, e sul contesto storico-sociale in cui l'opera si inserisce. Questo capitolo offre inoltre un excursus sulla letteratura sull'AIDS e presenta le quattro scene di cui propongo la traduzione nel secondo capitolo. È nel terzo e ultimo capitolo che viene poi esposta un'analisi commentata della traduzione, in cui sono messe in luce le difficoltà relative alla traduzione e le strategie con le quali ho risolto i problemi traduttivi. In particolar modo, vengono presi in considerazione il rispetto del criterio della “recitabilità” e i problemi relativi alla traduzione del linguaggio colloquiale, delle forme verbali che non hanno equivalenti precisi nella lingua d'arrivo e delle espressioni volgari. Seguono infine le conclusioni, in cui espongo alcune riflessioni personali sul lavoro eseguito.

Interpretare per i rifugiati in Germania: quali persone e strumenti per consentire la comunicazione

Il presente lavoro prende in analisi le modalità di gestione del servizio di interpretazione e assistenza linguistica in Germania per i rifugiati, a seguito dei numerosi arrivi registrati a partire da gennaio 2015 e fino al primo trimestre del 2016. In primo luogo ci si sofferma su quali persone siano le più adatte a consentire la comunicazione, quali caratteristiche umane e competenze professionali sia necessario sviluppare per essere “ponte” tra due lingue, ma soprattutto tra due culture. In secondo luogo ci si sofferma su quali strumenti siano stati ideati e diffusi per facilitare la comunicazione in casi di necessità e per sopperire alla mancanza di professionisti che possano svolgere il servizio di interpretazione per le lingue minoritarie, meno conosciute ma più richieste al momento. Infine si espongono alcune osservazioni in merito a quali possano essere le soluzioni più efficaci e utili sul campo per risolvere la problematica linguistica, che rappresenta il primo passo verso una piena integrazione dei rifugiati nella società.

"El principito ha vuelto" di María Jesús Alvarado: proposta di traduzione

L’oggetto di studio del presente lavoro è la proposta di traduzione del libro El principito ha vuelto della scrittrice canaria María Jesús Alvarado, che non solo è l’autrice di molti racconti e poesie, ma è anche psicologa, cineasta, sceneggiatrice e regista. Questo libro, pubblicato nel 2015 dalla casa editrice Libros de las Malas Compañías e inserito nella collana Caprichos, racconta la storia di un viaggio nel deserto del Sahara intrapreso dalla protagonista insieme con la sua troupe cinematografica, al fine di girare un documentario sul popolo saharawi. La prima parte è dedicata all’autrice e presenta una breve biografia e presentazione dei suoi lavori passati, sia in ambito letterario che cinematografico. La seconda parte illustra un’analisi dettagliata del testo originale. Iniziando dalla collocazione editoriale, proseguirò con la presentazione della trama, dei personaggi, dei temi trattati, dello stile utilizzato, del paratesto e delle illustrazioni del libro. La terza parte riporta interamente la mia proposta di traduzione del testo originale. La quarta parte presenta il commento alla traduzione, comprensivo di analisi degli aspetti morfosintattici, lessicali e stilistici, dei riferimenti culturali e delle illustrazioni del libro. Infine, sono illustrate le conclusioni tratte da quest’esperienza di traduzione.