Aviation English: una lingua per volare Analisi linguistica della comunicazione in aviazione civile

La tesi si propone l'obiettivo di esaminare le caratteristiche della lingua dell'aviazione, il cosiddetto Aviation English (AE), rivolgendo un'attenzione particolare alle dinamiche delle interazioni verbali che avvengono tra piloti e controllori del traffico aereo. A partire da un breve excursus sui diversi tipi di linguaggi, da quelli specialistici alle lingue controllate, si cercherà di fornire una chiara definizione dell'AE, delineando gli aspetti che lo rendono una vera e propria lingua e non una semplice varietà di inglese. La tesi passerà in rassegna tutte le convenzioni e le regole che compongono questa lingua e che rendono la comunicazione in volo efficace a livello internazionale. Si vedrà anche come la comunicazione in aviazione sia suscettibile a molti fattori linguistici (e non), il che comporta per gli operatori del settore, l'obbligo di conoscerla a fondo, più della loro stessa lingua madre. In conclusione, si eseguirà un'analisi conversazionale di una comunicazione terra-bordo-terra realmente avvenuta in un'emergenza. Più precisamente, si tratta dell'estratto del volo US Airways 1549, diventato famoso come "il miracolo dell'Hudson". Questo permetterà di mettere in risalto le regole dell'AE, applicate in un caso concreto, quanto singolare, e notare come queste siano efficaci nel gestire, a livello comunicativo e operativo, gli imprevisti.

Un framework per l'analisi di big data con elevata eterogeneità all'interno di multistore

I big data sono caratterizzati dalle ben note 4v: volume, velocità, veracità e varietà. Quest'ultima risulta di importanza critica nei sistemi schema-less, dove il concetto di schema non è rigido. In questo contesto rientrano i database NoSQL, i quali offrono modelli dati diversi dal classico modello dati relazionale, ovvero: documentale, wide-column, grafo e key-value. Si parla di multistore quando ci si riferisce all'uso di database con modelli dati diversi che vengono esposti con un'unica interfaccia di interrogazione, sia per sfruttare caratteristiche di un modello dati che per le maggiori performance dei database NoSQL in contesti distribuiti. Fare analisi sui dati all'interno di un multistore risulta molto più complesso: i dati devono essere integrati e va ripristinata la consistenza. A questo scopo nasce la necessità di approcci più soft, chiamati pay-as-you-go: l'integrazione è leggera e incrementale, aggira la complessità degli approcci di integrazione tradizionali e restituisce risposte best-effort o approssimative. Seguendo tale filosofia, nasce il concetto di dataspace come rappresentazione logica e di alto livello dei dataset disponibili. Obiettivo di questo lavoro tesi è studiare, progettare e realizzare una modalità di interrogazione delle sorgenti dati eterogenee in contesto multistore con l'intento di fare analisi situazionali, considerando le problematiche di varietà e appoggiandosi all'integrazione fornita dal dataspace. Lo scopo finale è di sviluppare un prototipo che esponga un'interfaccia per interrogare il dataspace con la semantica GPSJ, ovvero la classe di query più comune nelle applicazioni OLAP. Un'interrogazione nel dataspace dovrà essere tradotta in una serie di interrogazioni nelle sorgenti e, attraverso un livello middleware, i risultati parziali dovranno essere integrati tra loro in modo che il risultato dell'interrogazione sia corretto e allo stesso tempo completo.

Le Coniche dallo spazio al piano

Questa tesi ha lo scopo di presentare le coniche sotto vari punti di vista: come sezioni coniche, dalla scoperta da parte di Menecmo alla visione di Apollonio nella sua opera "Le Coniche"; come luoghi geometrici; come curve algebriche del secondo ordine, sia dal punto di vista affine sia proiettivo.

Il teorema di Sard

Considerata un'applicazione differenziabile F da M a N dove M e N sono due varietà differenziabili, un punto p di M si dice punto regolare di F se il differenziale è suriettivo, si dice punto critico di F se, al contrario, il differenziale non è suriettivo. Un valore critico di F è l'immagine di un punto critico, mentre un valore regolare è un punto di F(M) che non è un valore critico. In questa tesi viene enunciato e dimostrato il teorema di Sard, che afferma che l'insieme dei valori critici di F ha misura nulla secondo Lebesgue in N, e se ne mostrano alcune applicazioni.

Introduzione al Gruppo delle Trecce

L'obiettivo di questa tesi è fornire un'introduzione al gruppo delle trecce. In particolare, tale gruppo verrà presentato prima come gruppo astratto, poi tramite l'ausilio di trecce geometriche, mostrandone successivamente alcune proprietà algebriche. Viene infine trattato il legame tra il gruppo delle trecce e altri due gruppi, il mapping class group del disco bidimensionale puntato e il gruppo degli automorfismi treccia del gruppo libero. Nell'appendice si può trovare una breve introduzione al calcolo del gruppo fondamentale (teorema di Van Kampen).

ALBARUS. Il recupero di un nucleo rurale abbandonato all'interno di un programma di riqualificazione e valorizzazione del Parco Storico di Monte Sole.

La tesi si incentra sulla grande varietà di tipologie edilizie dell’insediamento appenninico che in passato non sono state coinvolte nelle dinamiche e nelle strategie politiche di sviluppo ma sono state protagoniste di avvenimenti bellici e di stragi che le hanno trasformate in veri e propri luoghi di memoria. Tale riflessione prende in considerazione il Parco Storico di Monte Sole, cuore dell’Appennino bolognese. Infatti, i manufatti edilizi di queste aree sono testimonianze che l’epoca ha tramandato senza interrogarsi sulla loro utilizzazione futura e che, ad oggi, risultano avulse dal loro valore originario. La tesi propone di rivitalizzare e rifunzionalizzare questi luoghi, per trasformali in nuovi poli attrattori del territorio. Dopo una prima parte di introduzione e di analisi sull’area del Parco, per contribuire a far crescere una più matura consapevolezza del valore culturale degli antichi edifici, viene realizzato un abaco di tutti i beni culturali presenti all’interno dell’area di studio. Nella parte di progetto, sono state individuate alcune priorità progettuali suddivise in maniera tematica, in relazione alle modalità di intervento per la gestione del territorio e la sua tutela. Questi lineamenti strategici sono stati poi applicati ad un ambito di intervento che ha favorito la comprensione della direzione verso cui è necessario impostare la pianificazione operativa. Viene poi preso in considerazione come caso studio specifico il nucleo rurale di Albereda, un insediamento abbandonato caratterizzato da un’antica casa-torre, che viene approfondito con un’ipotesi progettuale volta alla sua riqualificazione e valorizzazione, attraverso l’inserimento e l’innesto di nuovi volumi. Tenendo conto dell’ambito fluviale in cui si inserisce, viene inoltre pianificato un ponte ciclopedonale per mettere in collegamento le sponde opposte del fiume Reno. La rappresentazione è affidata a piante architettoniche, sezioni, viste assonometriche e viste prospettiche.

School Language Brokering: il contributo dei giovani mediatori all’integrazione dei loro compagni

I bambini e adolescenti figli di immigrati ricoprono spesso il ruolo di mediatori linguistici e culturali per le loro famiglie o per altri membri della propria comunità etnico-linguistica. Questo fenomeno prende il nome di Child Language Brokering e si verifica in una grande varietà di contesti, tra i quali la scuola. A causa della scarsa disponibilità di servizi linguistici professionali a disposizione degli istituti scolastici, i bambini si ritrovano molto spesso a mediare a favore dei propri genitori, insegnanti e coetanei. La presente tesi si occuperà di fornire un inquadramento teorico del fenomeno, focalizzandosi in seguito sul CLB in ambito scolastico (anche detto School Language Brokering), per poi analizzare le linee guida che sono state elaborate nel Regno Unito per gestire al meglio le pratiche di mediazione a opera di minori nelle scuole. Infine, si metterà in risalto il prezioso contributo dei broker all’integrazione dei loro coetanei stranieri, sottolineando gli aspetti positivi e negativi che scaturiscono dalle pratiche di brokering.

La classificazione dalla geometria alla didattica

Diversi studi in didattica della matematica sostengono che la performance sia influenzata non solo da fattori cognitivi ma anche da fattori affettivi. È ormai assodato che ogni individuo si approccia ai saperi da acquisire e da insegnare in modi dipendenti da aspetti come le emozioni che ha provato e che prova nei confronti della disciplina, le competenze che crede di possedere, le convinzioni sui contenuti disciplinari da apprendere o da spiegare. La matematica che si studia nella scuola secondaria di secondo grado è lontana dalla matematica contemporanea e dalla ricerca attuale. Questo, unito al fatto che quasi mai si sottolinea il percorso storico che ha portato allo sviluppo di certi strumenti matematici, fa sì che l’idea che uno studente si fa di questa disciplina sia irrealistica: una materia arida, immobile, con risultati indiscutibili e stabiliti nell’antichità più remota. Alla luce di ciò si può pensare di proporre agli studenti di scuola secondaria attività che li stimolino e li motivino, nell’ottica di modificare l'insieme delle loro convinzioni sulla matematica. In questo lavoro mi sono occupata della classificazione delle varietà bidimensionali per poi affrontare il passaggio alle 3-varietà. Si tratta di un problema che presenta diversi motivi di interesse: classico ma risolto in tempi moderni, frutto di un processo di pensiero collettivo e che mostra come la matematica sia una materia in costante evoluzione, nella quale l’approccio interdisciplinare può essere vincente rispetto a quello settoriale. Una prima parte del lavoro è stata dedicata allo studio dei temi topologici e geometrici con riferimento non solo alla genesi e, quando possibile, alla strategia dimostrativa, ma anche alla loro valenza didattica. Una seconda parte è stata dedicata alla selezione e all’analisi di come alcuni di questi contenuti si possano declinare in modo fruibile e fertile per gli studenti di scuola secondaria e alla progettazione di un possibile percorso didattico.

Metodi numerici per la funzione segno di matrice

Per funzioni di matrice intendiamo generalizzazioni di funzioni scalari che permettono di valutare tali funzioni anche per matrici. Esistono numerosi esempi notevoli di funzioni di matrice: tra queste la funzione esponenziale, la radice quadrata e il segno. Quest'ultima è particolarmente utile per la risoluzione di particolari equazioni matriciali come ad esempio le equazioni di Sylvester e le equazioni di Riccati. In questo elaborato introdurremo il concetto di funzione di matrice per poi soffermarci proprio sulla funzione segno. Oltre che a fornire tutte le definizioni necessarie e analizzare le proprietà che ci aiuteranno a comprendere meglio questa funzione, ci interesseremo all'implementazione di algoritmi che possano calcolare o approssimare la funzione segno di matrice. Un primo metodo sfrutterà la decomposizione di Schur: supponendo di conoscere la decomposizione della matrice, e di trovarci in algebra esatta, questo metodo non fornirà un'approssimazione del segno della suddetta matrice ma l'esatto segno della stessa. Il secondo metodo che studieremo si può definire più come una famiglia di metodi. Vedremo infatti tre algoritmi diversi che però sfruttano tutti l'iterazione di Newton, opportunamente adattata al caso matriciale: il metodo di base, convergente globalmente, in cui applicheremo semplicemente questa iterazione, ed altri due che mireranno a risolvere problemi distinti del metodo di base, ovvero il numero di iterazioni necessarie per giungere alla convergenza (introducendo il concetto di riscaling) e l'alto costo computazionale (sacrificando però la convergenza globale). Grazie all'aiuto di Matlab analizzeremo più nello specifico l'efficienza dei vari algoritmi descritti, ed infine vedremo più nello specifico come utilizzare la funzione segno di matrice per risolvere le equazioni algebriche di Sylvester e di Riccati.

Progettazione di serre scolastiche modulari attraverso il riutilizzo di componenti di facciata prefabbricati di Focchi SpA

Questo elaborato è il risultato dell’approfondimento del brief di tirocinio presso Focchi S.p.A. L’idea di progetto è quella di ricavare un prodotto industriale dai rifiuti, dai campioni inutilizzati e dagli avanzi di magazzino. Questo obiettivo richiede ideazione e costituzione di un’architettura prodotto, ma anche selezione dei materiali, implementazione tecnica e inserimento nel processo aziendale. Quindi il lavoro è cominciato con una documentazione sull’ambiente delle costruzioni, e i danni ambientali che progettare in maniera non-circolare comporta. Poi è stata studiata l’azienda e il percorso che i materiali fanno durante la produzione. Una volta inquadrato il problema è cominciata la fase di concept. La varietà di materiali ha generato molte idee, quindi ne è stata selezionata una utilizzando criteri misurabili, attraverso il metodo QFD, tenendo conto di vari parametri di natura ambientale, economica e sociale. Il concept selezionato è stato quindi una serra, da donare alle scuole primarie, in cui praticare l’idroponica: la struttura vetrata della serra è simile agli involucri trattati da Focchi e la destinazione didattica garantisce un buon impatto sulla comunità. A questo punto, il progetto è stato sviluppato, tramite uno studio dei dettagli tecnici. Quindi un inquadramento storico-architettonico è stato integrato con una documentazione normativa sulle strutture vetrate, oltre all’analisi del territorio circostante l’azienda in cui individuare possibili beneficiari del progetto. In seguito, c’è stata una fase di sketching, attraverso un’analisi dei requisiti della struttura e dei materiali a disposizione. Oltre ad una soluzione scalabile per il collegamento fra cellule, è stata definita la forma, disegnata con approccio modulare. Le ultime considerazioni riguardo la fattibilità del progetto sono state fatte dal punto di vista logistico ed economico, per un prodotto ormai sufficientemente dettagliato e pronto per l’implementazione.

Teoria spettrale di una passeggiata aleatoria ipoellittica e convergenza all'equilibrio

L'obiettivo dell'elaborato è quello di studiare le proprietà spettrali di un'operatore di Markov associato ad una passeggiata aleatoria ipoellittica dipendente da un parametro h, sufficientemente piccolo, e costruita su una varietà liscia finito-dimensionale, connessa, compatta e senza bordo. Nell'affrontare tale problema si utilizza una tecnica di Rothschild e Stein, basata sulla costruzione di un'algebra di Lie graduata. Si ottiene in questo modo una corrispondenza tra la varietà e l'algebra di Lie, e si utilizza la struttura che quest'ultima presenta per studiare il problema su di essa. Il risultato principale a cui si vuole giungere tramite l'analisi spettale dell'operatore di Markov è una stima, uniforme rispetto ad h, per il tasso di convergenza di tale passeggiata aleatoria verso l'equilibrio, al tendere del numero dei passi all'infinito. Tramite l'approccio utilizzato si giunge inoltre ad un risultato di convergenza della catena di Markov ad una diffusione ipoellittica continua al tendere di h a 0.

Analisi e simulazione di protocolli di accesso multiplo per reti IoT 6G cell-free

Lo scopo delle reti mobili è fornire ai dispositivi wireless accesso a una grande varietà di servizi dati, in un’ampia area geografica. Nonostante le reti cellulari odierne, basate sulla tecnologia Massive MIMO, possano raggiungere elevate performance in condizioni favorevoli (centro cella) esse, presentano all’interno dell’area di copertura, zone soggette a data-rate notevolmente ridotti. In questo elaborato, viene brevemente descritta la rete cell-free; una nuova architettura di rete pensata per superare i vecchi limiti delle reti cellulari tradizionali. Successivamente, vengono presentati attraverso simulazioni i due principali vantaggi che queste nuove reti cell-free offrono. Inoltre, viene analizzato uno schema random access in grado di gestire l’accesso multiplo per queste nuove architetture di rete. Questo schema rappresenta un’estensione di un protocollo già presente in letteratura e perfettamente funzionante per reti Massive MIMO, appartenente alla famiglia dei protocolli Coded Slotted ALOHA. Infine, un'analisi delle prestazioni e alcuni possibili scenari sono stati presentati, con lo scopo di valutare l'effetto che algoritmi di tipo SIC possono avere su queste reti.

L’amica geniale in Spagna e in America Latina

Con questo elaborato si vogliono capire le ragioni alla base del successo di Elena Ferrante e della serie adattata ai romanzi, non solo in Italia, ma anche all’estero e, in particolare, in Spagna e in America Latina. Per farlo si presenterà prima di tutto la scrittrice e verranno presentati il libro e la serie con una breve trama della storia. Successivamente, si presenteranno le varietà linguistiche italiane per capire meglio la funzione che svolge il dialetto nella storia, dopodiché si farà un’analisi comparativa tra l’uso del dialetto napoletano nel libro e nella serie italiana. Infine, si introdurrà prima il tema della traduzione dei dialetti e/o varianti linguistiche e poi si osserverà il successo che ha avuto all’estero l’adattamento della serie, nonostante la mancata trasposizione della variante diatopica.

Dimostrazione di un modello analitico per la stima della produttività in una cella Seru-Seisan multiprodotto

A partire dal 1992, nell’industria elettronica giapponese, ha iniziato a diffondersi il sistema produttivo Seru Seisan: “Seru” in giapponese significa “organismo cellulare” e difatti questa modalità di produzione si basa sulla lavorazione di prodotti all’interno di celle. Esse sono formate da brevi tratti di nastro trasportatore, a seguito dello smantellamento di lunghe linee di assemblaggio, in cui lavorano un numero limitato di operatori multi-skilled. All’interno di un Seru possono essere lavorate più tipologie di prodotto ed ogni prodotto lavorato viene completato all’interno della cella stessa. Questo sistema produttivo a bassa automazione si rivela particolarmente adatto per operazioni di assemblaggio e consente di fronteggiare la dinamicità del mercato caratterizzata da elevata varietà e bassi volumi: il layout di un Seru, infatti, può essere riconfigurato rapidamente e richiede bassi investimenti in attrezzatura. In questo elaborato vengono presentati i Seru Seisan, descrivendone le principali caratteristiche e configurazioni unitamente alla loro origine. Dal momento che molti tentativi di applicazione di tale sistema produttivo risultano infruttuosi, soprattutto al di fuori del Giappone, viene proposto un quadro generale per l’implementazione e un algoritmo euristico per risolvere il problema di formazione e assegnazione degli operatori alle celle, minimizzando il costo totale di cross-training e bilanciando il carico di lavoro. Infine, viene presentato il lavoro di ricerca del presente elaborato che ha l’obiettivo di dimostrare il modello analitico che sta alla base del funzionamento di un Seru Divisionale, arrivando a stimare la produttività di una produzione multiprodotto. La formula a cui si giunge viene testata in due casi numerici reali, mostrando come alla progressiva diminuzione del numero di operatori all’interno di una cella, si ottenga un aumento della produttività della cella stessa.

A structural theorem for co-commutative Hopf algebras

Lo scopo di questa tesi è studiare alcune proprietà di base delle algebre di Hopf, strutture algebriche emerse intorno agli anni ’50 dalla topologica algebrica e dalla teoria dei gruppi algebrici, e mostrare un collegamento tra esse e le algebre di Lie. Il primo capitolo è un’introduzione basilare al concetto di prodotto tensoriale di spazi vettoriali, che verrà utilizzato nel secondo capitolo per definire le strutture di algebra, co-algebra e bi-algebra. Il terzo capitolo introduce le definizioni e alcune proprietà di base delle algebre di Hopf e di Lie, con particolare attenzione al legame tra le prime e l’algebra universale inviluppante di un’algebra di Lie. Questo legame sarà approfondito nel quarto capitolo, dedicato allo studio di una particolare classe di algebre di Hopf, quelle graduate e connesse, che terminerà con il teorema di Cartier-Quillen-Milnor-Moore, un teorema strutturale che fornisce condizioni sufficienti affinché un’algebra di Hopf sia isomorfa all’algebra universale inviluppante dei suoi elementi primitivi.