Confronto simulativo tra architetture per la mobilità: analisi simulatore MIPv6 e confronto con ABPS

Il presente elaborato tratta il lavoro di studio, analisi e sperimentazione effettuato dal sottoscritto, Giovanni Sitta, in conclusione al Corso di Laurea Magistrale in Informatica presso l'Università degli Studi di Bologna. Questo ha dapprima previsto un periodo di approfondimento di alcune architetture di supporto alla mobilità dei terminali di rete, in particolare di due protocolli allo stato dell'arte, Mobile IPv6 (MIPv6) e Locator/Identifier Separation Protocol (LISP), e di una terza architettura sperimentale denominata Always Best Packet Switching (ABPS). Sono stati in seguito esaminati tre simulatori, uno per ciascuna architettura di supporto alla mobilità considerata, realizzati come estensioni della libreria INET del framework OMNeT++, assicurandosi che fossero conformi alle specifiche del protocollo implementato (almeno entro i limiti di semplificazione rilevanti ai fini del lavoro), e correggendone eventuali problematiche, mancanze e anomalie in caso questi non le rispettassero. Sono poi stati configurati alcuni scenari simulativi utilizzando le tre librerie, in prima battuta di natura molto semplice, utilizzati per verificare il corretto funzionamento dei simulatori in condizioni ideali, e successivamente più complessi, allestendo un ambiente di esecuzione più verosimile, dotato di un maggior numero di host connessi alla rete e di ostacoli per i segnali radio usati nelle comunicazioni wireless. Tramite i risultati sperimentali ottenuti da queste simulazioni è stato infine possibili realizzare un confronto tra le prestazioni di MIPv6, LISP e ABPS.

Vortici in He II superfluido

Studio delle principali proprietà dei fluidi e dei vortici classici. Teorie sui gas di Bose ideali e debolmente interagenti. Proprietà dell'He II. La superfluidità. Cenni alla teoria di Landau e soluzione vorticosa della GPE. Fenomenologia dei vortici quantizzati e quantizzazione della circolazione.

Electronic properties of Van der Waals heterostructures

L’interazione spin-orbita (SOI) nel grafene è attualmente oggetto di intensa ricerca grazie alla recente scoperta di una nuova classe di materiali chiamati isolanti topologici. Questi materiali, la cui esistenza è strettamente legata alla presenza di una forte SOI, sono caratterizzati dall’interessante proprietà di avere un bulk isolante ed allo stesso tempo superfici conduttrici. La scoperta teorica degli isolanti topologici la si deve ad un lavoro nato con l’intento di studiare l’influenza dell’interazione spin-orbita sulle proprietà del grafene. Poichè questa interazione nel grafene è però intrinsecamente troppo piccola, non è mai stato possibile effettuare verifiche sperimentali. Per questa ragione, vari lavori di ricerca hanno recentemente proposto tecniche volte ad aumentare questa interazione. Sebbene alcuni di questi studi abbiano mostrato un effettivo aumento dell’interazione spin-orbita rispetto al piccolo valore intrinseco, sfortunatamente hanno anche evidenziato una consistente riduzione della qualità del grafene. L’obbiettivo che ci si pone in questa tesi è di determinare se sia possibile aumentare l’interazione spin-orbita nel grafene preservandone allo stesso tempo le qualità. La soluzione proposta in questo lavoro si basa sull’utilizzo di due materiali semiconduttori, diselenio di tungsteno WSe2 e solfuro di molibdeno MoS2, utilizzati da substrato su cui sopra verrà posizionato il grafene formando così un’eterostruttura -nota anche di “van der Waal” (vdW)-. Il motivo di questa scelta è dovuto al fatto che questi materiali, appartenenti alla famiglia dei metalli di transizione dicalcogenuri (TMDS), mostrano una struttura reticolare simile a quella del grafene, rendendoli ideali per formare eterostrutture e ancora più importante, presentano una SOI estremamente grande. Sostanzialmente l’idea è quindi di sfruttare questa grande interazione spin-orbita del substrato per indurla nel grafene aumentandone così il suo piccolo valore intrinseco.

La traduzione, un viaggio: binari di comunicazione. Proposta di traduzione del documentario "C'era una volta un trenino azzurro"

Il presente elaborato nasce dalla proposta di traduzione del documentario “C’era una volta un trenino azzurro”, il quale ripercorre il tragitto del trenino che fino al 1968 collegava le città umbre di Spoleto e Norcia e che è oggi una via di mobilità dolce promossa in particolar modo dalla Confederazione Mobilità Dolce (Co.Mo.Do.). La varietà dei paesaggi attraversati, le difficoltà tecniche e gli astuti escamotage messi in atto per superarle sono stati il punto di partenza per una riflessione metaforica in cui quest’avventuroso viaggio si riflette nell’altrettanto interessante e complesso viaggio della traduzione. Allo stesso modo, il genere audiovisivo del documentario viene descritto sulla base di un confronto tra i suoi elementi e le caratteristiche fondamentali dell’attività di traduzione. Inoltre, si osservano brevemente i caratteri della traduzione audiovisiva, con un’attenzione particolare alle tecniche del voice-over e della sottotitolazione. Per concludere, viene analizzata la traduzione proposta, seguendo le fasi attraverso cui il lavoro è stato svolto.

Fluency in interpreting: a native-like quality factor

Lo studio si occupa di fluency e analizza alcuni aspetti che la definiscono (pause vuote, pause piene, segnali discorsivi, riformulazioni). Si analizzano frequenza e durata di tali fenomeni, attraverso due corpora di produzioni orali di due gruppi di parlanti della lingua inglese: gli studenti italiani del corso di Mediazione Linguistica Interculturale della Scuola di Lingue, Letterature, Interpretazione e Traduzione di Forlì, Università di Bologna, e partecipanti britannici di un programma radiofonico. Si è ritenuto utile comparare le produzioni orali di studenti della lingua inglese a quelle di oratori pubblici madrelingua. Si è cercato di bilanciare i due corpora in termini di genere. Sono stati utilzzati i software Praat, per identificare la morfologia e la durata delle variabili, e Notetab Light, per l'annotazione dei corpora. I risultati della ricerca mostrano che le differenze maggiori tra i due gruppi risiedono nella durata delle pause vuote e nella frequenza, durata e e varietà di suoni delle pause piene, oltre a sillabe aggiuntive, sillabe allungate e riformulazioni. Le sillabe aggiuntive appaiono tipiche della produzione orale degli studenti italiani, in quanto, per la maggior parte, le parole della lingua italiana terminano con un suono vocalico. E' inoltre emersa una questione di genere. Le parlanti di sesso femminile, in entrambi i corpora, impiegano maggiormente le variabili della fluency prese in esame, rispetto ai parlanti di sesso maschile. Sulla base di questa ricerca e ricerche future si potranno ideare moduli di insegnamento dell'inglese basati sulla fluency come fattore primario di competenza linguistica. Il Capitolo 1 introduce lo studio. Il Capitolo 2 presenta lo stato dell'arte sul tema. Il Capitolo 3 presenta la metodologia dello studio. Il Capitolo 4 è dedicato a illustrare e discutere i risultati della ricerca. Il Capitolo 5 presenta considerazioni conclusive e future prospettive per l'insegnamento dell'inglese e per la ricerca.

Caratteristiche di emissione delle regioni HII

Le regioni HII sono nubi di idrogeno ionizzato da stelle di recente formazione, massicce e calde. Tali stelle, spesso raggruppate in ammassi, emettono copiosamente fotoni di lunghezza d’onda λ ≤ 912 Å, capaci di ionizzare quasi totalmente il gas che le circonda, composto prevalentemente da idrogeno, ma in cui sono presenti anche elementi ionizzati più pesanti, come He, O, N, C e Ne. Le dimensioni tipiche di queste regioni vanno da 10 a 100 pc, con densità dell’ordine di 10 cm−3. Queste caratteristiche le collocano all’interno del WIM (Warm Ionized Medium), che, insieme con HIM (Hot Ionized Medium), WNM (Warm Neutral Medium) ed CNM (Cold Neutral Medium), costituisce la varietà di fasi in cui si presenta il mezzo interstellare (ISM, InterStellar Medium). Il tema che ci prestiamo ad affrontare è molto vasto e per comprendere a fondo i processi che determinano le caratteristiche delle regioni HII sarebbero necessarie molte altre pagine; lo scopo che questo testo si propone di raggiungere, senza alcuna pretesa di completezza, è dunque quello di presentare l’argomento, approfondendone ed evidenziandone alcuni particolari tratti. Prima di tutto descriveremo le regioni HII in generale, con brevi indicazioni in merito alla loro formazione e struttura. A seguire ci concentreremo sulla descrizione dei processi che determinano gli spettri osservati: inizialmente mostreremo quali siano i processi fisici che generano l’emissione nel continuo, concentrandoci poi su quello più importante, la Bremmstrahlung. Affronteremo poi una breve digressione riguardo al processo di ricombinazione ione-elettrone nei plasmi astrofisici ed alle regole di selezione nelle transizioni elettroniche, concetti necessari per comprendere ciò che segue, cioè la presenza di righe in emissione negli spettri delle regioni foto-ionizzate. Infine ci soffermeremo sulle regioni HII Ultra-Compatte (UC HII Region), oggetto di numerosi recenti studi.

Immersioni possibili di oggetti impossibili

Fin dall'antichità, arte e geometria sono state spesso accostate, ma mai come nel caso delle opere di Maurits Cornelis Escher. Le celebri litografie del grafico olandese, infatti, traggono quasi sempre ispirazione dal mondo geometrico, in particolare le cosiddette ''stampe impossibili'', in cui compaiono edifici irrealizzabili, costruzioni illusorie e fenomeni che non rispettano le leggi della fisica. Oltre che su illusioni ottiche, esse sono basate su concetti matematici veri e propri, così come vedremo durante l'elaborato. Questa tesi, partendo dal Capitolo 8 del libro Yearning for the impossible di John Stillwell, studia gli spazi in cui immergere le costruzioni impossibili di Escher per renderle realizzabili, basandosi in particolare sul concetto di varietà topologica e di proiezione di rivestimento. Dopo un primo capitolo introduttivo sulla vita di Escher e sulle opere che andremo ad approfondire, la trattazione procede con un capitolo in cui si definiscono alcuni strumenti matematici: essi saranno utilizzati per giustificare la consistenza dei soggetti delle litografie precedentemente mostrate. Nell'ultima sezione ci dedichiamo a mostrare come tali strumenti matematici possano rendere possibili le visioni del grafico olandese, esplicando caso per caso come intervengano nella realizzazione e come conducano a un risultato impossibile nella realtà tridimensionale in cui viviamo ma non nello spazio in cui vengono immerse.

Analysis of the scale effect in different computed tomography systems on the evaluation of bone tissue parameters

Tra le patologie ossee attualmente riconosciute, l’osteoporosi ricopre il ruolo di protagonista data le sua diffusione globale e la multifattorialità delle cause che ne provocano la comparsa. Essa è caratterizzata da una diminuzione quantitativa della massa ossea e da alterazioni qualitative della micro-architettura del tessuto osseo con conseguente aumento della fragilità di quest’ultimo e relativo rischio di frattura. In campo medico-scientifico l’imaging con raggi X, in particolare quello tomografico, da decenni offre un ottimo supporto per la caratterizzazione ossea; nello specifico la microtomografia, definita attualmente come “gold-standard” data la sua elevata risoluzione spaziale, fornisce preziose indicazioni sulla struttura trabecolare e corticale del tessuto. Tuttavia la micro-CT è applicabile solo in-vitro, per cui l’obiettivo di questo lavoro di tesi è quello di verificare se e in che modo una diversa metodica di imaging, quale la cone-beam CT (applicabile invece in-vivo), possa fornire analoghi risultati, pur essendo caratterizzata da risoluzioni spaziali più basse. L’elaborazione delle immagini tomografiche, finalizzata all’analisi dei più importanti parametri morfostrutturali del tessuto osseo, prevede la segmentazione delle stesse con la definizione di una soglia ad hoc. I risultati ottenuti nel corso della tesi, svolta presso il Laboratorio di Tecnologia Medica dell’Istituto Ortopedico Rizzoli di Bologna, mostrano una buona correlazione tra le due metodiche quando si analizzano campioni definiti “ideali”, poiché caratterizzati da piccole porzioni di tessuto osseo di un solo tipo (trabecolare o corticale), incluso in PMMA, e si utilizza una soglia fissa per la segmentazione delle immagini. Diversamente, in casi “reali” (vertebre umane scansionate in aria) la stessa correlazione non è definita e in particolare è da escludere l’utilizzo di una soglia fissa per la segmentazione delle immagini.

Das Osterreichische Deutsch: analisi della variante austriaca alla luce della concezione del tedesco come lingua pluricentrica

Il presente elaborato propone un’analisi del tedesco standard austriaco e prende le mosse da un argomento di attualità, ovvero la discussione sulla necessità di meglio preservare i tratti caratteristici di questa varietà linguistica, di fronte alla tendenza, riscontrabile soprattutto tra i più giovani, a utilizzare sempre più spesso termini ed espressioni tipiche del tedesco parlato in Germania. Questo fenomeno è strettamente legato all’influenza dei moderni mezzi di comunicazione e all’ampia disponibilità di materiale doppiato, che contribuisce a diffondere la varietà caratteristica del nord della Germania negli altri paesi di lingua tedesca. Dopo aver fornito alcune informazioni di carattere storico e spiegato alcune nozioni di linguistica, la riflessione si concentra sul concetto di lingua pluricentrica e sugli spunti che quest’ultimo offre in ambito formativo, sia per la formazione scolastica dei madrelingua che nel campo dell’insegnamento del tedesco come lingua straniera.

Kiffe Kiffe demain di Faiza Guene: il langage de quartier nella traduzione in italiano

Questa tesi ha lo scopo di fornire una panoramica sul fenomeno del langage de quartier.Sarà analizzato in prima istanza il contesto storico-sociale nel quale questo fenomeno si è sviluppato; in seguito il lettore sarà invitato a focalizzare la propria attenzione sullo studio linguistico di questa varietà giovanile e infine, sarà presa in considerazione la difficoltà legata alla traduzione di un linguaggio così particolare in italiano.

Lo spettro di un anello e i suoi punti

L'elaborato tratta argomenti di geometria algebrica. Si analizzeranno nel dettaglio lo spettro di un anello commutativo con unità e la sua topologia e si vedrà come cambia la nozione di varietà algebrica con l'introduzione degli schemi. Verranno poi definiti i punti di uno schema (punti chiusi e punti generici) terminando la discussione con l'analisi delle varietà su un campo non algebricamente chiuso e del funtore dei punti associato ad uno schema.

La funzione di Möbius di un insieme parzialmente ordinato

Nel 1837 il matematico A.F. Möbius definì la funzione aritmetica mu(n) che vale 0 se n è divisibile per il quadrato di un numero primo, (-1)^k se n è il prodotto di k primi distinti e \mu(1)=1. Essa ricopre un ruolo di fondamentale importanza per quanto riguarda la distribuzione dei numeri primi, nonché per la sua duttilità nella risoluzione di diversi problemi di conteggio grazie alla formula di inversione di Möbius, che può essere pensata come un analogo formale del teorema fondamentale del calcolo integrale. Una sorprendente varietà di problemi di calcolo combinatorio si rivelano essere nient'altro che casi particolari di un problema più generale che riguarda la possibilità di invertire una somma fatta sugli elementi di un insieme parzialmente ordinato. L'obiettivo di questo elaborato è quello di illustrare come sia possibile generalizzare il concetto di funzione aritmetica estendendolo a quello di funzione di un'algebra di incidenza. Le algebre di incidenza hanno catturato l'interesse di svariati matematici a partire dagli anni '60 del secolo scorso, e si svilupparono come ambiente naturale nel quale generalizzare la formula di inversione di Mobius. La funzione di Möbius della teoria dei numeri, definita originariamente sull'insieme dei numeri interi positivi ordinato per divisibilità, può quindi essere definita su generici insiemi parzialmente ordinati.

Analisi del ventriloquismo temporale mediante rete neurale.

La percezione coerente del mondo esterno è basata sull'integrazione della grande varietà di input provenienti dalle differenti modalità sensoriali. Il processo di elaborazione delle diverse informazioni recepite, fin dalle prime fasi, è caratterizzato da meccanismi ancora in fase di studio, che, però, possono essere rilevati tramite l’utilizzo di modelli computazionali basati su una rete neurale specifica. In questa Tesi si è preso in considerazione il modello neurale elaborato per simulare gli aspetti spaziali e temporali di illusioni audiovisive, quali l’effetto ventriloquismo e la fission illusion, in modo da poter svolgere un’analisi computazionale del ventriloquismo temporale. Il principale effetto di questo fenomeno consiste nello spostamento dell’istante di occorrenza di uno stimolo visivo verso quello di un segnale acustico presentato in prossimità temporale. Il modello, basato principalmente sul fatto che i neuroni visivi e uditivi comunicano tramite sinapsi eccitatorie e che i campi recettivi spazio-temporali sono differenti per le due modalità sensoriali, è in grado di riprodurre i principali effetti dell’integrazione temporale tra gli stimoli, dando luogo all'effetto illusorio. Si è adattato il modello in modo da rilevare, quantificare e misurare l’estensione del ventriloquismo temporale per diverse disposizioni spaziali e temporali di presentazione degli stimoli. L’analisi è stata ripetuta variando i principali parametri, in modo da rilevare la sensibilità del modello e, quindi, fare valutazioni sui fattori particolarmente influenzanti il fenomeno, confrontando poi i risultati con i dati in letteratura.

Studio del campo di velocità per fluidi in moto laminare all'interno di condotti

Lo scopo di questa tesi è quello di ottenere una rappresentazione grafica del profilo di velocità di un fluido all’interno di un condotto. In particolare si studieranno le equazioni di bilancio facendo alcune ipotesi semplificative riguardo il moto del fluido. Si considererà un moto laminare in condizione di completo sviluppo dinamico e convezione forzata. Grazie a queste ipotesi si riuscirà ad ottenere un’equazione semplificata di Navier-Stokes, che permetterà di calcolare l’andamento della velocità all’interno di condotti con qualsiasi forma della sezione. In questo caso si confronterà il profilo di velocità di un condotto a sezione circolare con uno a sezione circolare forata come in uno scambiatore di calore a tubi concentrici. Per risolvere l’equazione di Navier-Stokes e stampare l’andamento delle velocità all’interno della sezione del condotto si è utilizzato il software “Mathematica”, che è stato appreso durante l’attività di tirocinio curriculare. Questo software offre un supporto notevole allo studio matematico di qualsiasi problema. Permette inoltre di avere un riscontro grafico dei risultati ottenuti, direttamente nell’interfaccia utilizzata per la stesura del codice. Per rappresentare il profilo di velocità sarà inoltre utilizzato il metodo degli elementi finiti all’interno di Mathematica, che permetterà di ottenere una soluzione più uniforme e vicina alla realtà. Il metodo degli elementi finiti (FEM) permette di semplificare lo studio del moto di un fluido, in quanto ci dà la possibilità di avere un sistema di equazioni algebriche che ne descrivono il moto, invece di equazioni differenziali e le sue relative condizioni al contorno. Sarà quindi brevemente descritto questo metodo che è stato di grande aiuto tramite l’implementazione della “mesh” su Mathematica.

Tecniche di misura della risposta impulsiva di ambienti indoor in ambito acustico

Questo elaborato si pone l’obiettivo principale di formulare una metodologia volta alla misura sperimentale della risposta impulsiva di ambienti indoor in ambito acustico. Lo studio della risposta impulsiva di una stanza trova diverse applicazioni nell’ambito dell’ingegneria acustica. Essa contiene infatti informazioni sulla geometria della stanza stessa, che può essere ricostruita con appositi algoritmi. È sovente impiegata anche in campo architettonico per progettare interventi di correzione o ottimizzazione acustica. In questo elaborato si darà spazio ad una terza applicazione: si utilizzerà la risposta impulsiva misurata in una determinata stanza per aggiungere effetti ambientali a suoni registrati in camere anecoiche. Per perseguire quest’obiettivo, nel capitolo 1 si richiamano i concetti di base riguardo i sistemi LTI, funzioni di trasferimento e risposta impulsiva, approfondendo gli aspetti legati alle tecniche tradizionalmente usate per la misura della risposta impulsiva in ambito acustico. Si pone poi la base teorica del metodo sperimentale che sarà sviluppato nel corso dell’elaborato, fondato sulla stima numerica dello spettro di segnali ad energia finita. Nel secondo capitolo s’illustra l’impostazione della catena di misura, chiarendo le scelte hardware intraprese, le motivazioni di tali scelte, il funzionamento generale dei dispositivi impiegati e le condizioni ottimali di misura. Il capitolo 3 rappresenta il cuore di questo elaborato, nel quale viene illustrata l’implementazione vera e propria della metodologia della misura della risposta impulsiva, a partire dal settaggio degli strumenti utilizzati, alla realizzazione del codice MATLAB per l’elaborazione dei dati, per giungere infine all’analisi dei risultati sperimentali ottenuti. Con il quarto ed ultimo capitolo si introduce il concetto di equalizzazione e si implementa una prima e grossolana soluzione al problema degli effetti distorcenti introdotti dai dispositivi non ideali.