Onde gravitazionali - teoria e rivelazione

Nel redarre la tesi si è perseguito l'intento di illustrare la teoria alla base delle onde gravitazionali e dei metodi che ne consentono la rivelazione. È bene tenere presente che con il seguente elaborato non si sta proponendo, in alcun modo, una lettura da sostituire ad un testo didattico. Pur tuttavia, si è cercato di presentare gli argomenti in maniera tale da emulare l'itinerario formativo di uno studente che, per la prima volta, si approcci alle nozioni, non immediatamente intuitive, ivi descritte. Quindi, ogni capitolo è da interpretarsi come un passo verso la comprensione dei meccanismi fisici che regolano produzione, propagazione ed infine rivelazione delle perturbazioni di gravità. Dopo una concisa introduzione, il primo capitolo si apre con il proposito di riepilogare i concetti basilari di geometria differenziale e relatività generale, gli stessi che hanno portato Einstein ad enunciare le famose equazioni di campo. Nel secondo si introduce, come ipotesi di lavoro standard, l'approssimazione di campo debole. Sotto questa condizione al contorno, per mezzo delle trasformazioni dello sfondo di Lorentz e di gauge, si manipolano le equazioni di Einstein, ottenendo la legge di gravitazione universale newtoniana. Il terzo capitolo sfrutta le analogie tra equazioni di campo elettromagnetiche ed einsteiniane, mostrando con quanta naturalezza sia possibile dedurre l'esistenza delle onde gravitazionali. Successivamente ad averne elencato le proprietà, si affronta il problema della loro propagazione e generazione, rimanendo sempre in condizioni di linearizzazione. È poi la volta del quarto ed ultimo capitolo. Qui si avvia una dissertazione sui processi che acconsentono alla misurazione delle ampiezze delle radiazioni di gravità, esibendo le idee chiave che hanno condotto alla costruzione di interferometri all'avanguardia come LIGO. Il testo termina con uno sguardo alle recenti scoperte e alle aspettative future.

Un algoritmo di rotazione di immagini per la decorazione digitale ceramica

L'attività di tesi è stata svolta presso la divisione System Ceramics della società System Group S.p.A. di Fiorano Modenese (MO) che si occupa dello sviluppo di soluzioni per l'industria ceramica, tra cui la decorazione delle piastrelle. Tipicamente nelle industrie ceramiche la movimentazione dei pezzi è effettuata tramite nastro trasportatore e durante il trasporto i pezzi possono subire leggeri movimenti. Se il pezzo non viene allineato alla stampante prima della fase di decorazione la stampa risulta disallineata e vi possono essere alcune zone non stampate lungo i bordi del pezzo. Perciò prima di procedere con la decorazione è fondamentale correggere il disallineamento. La soluzione più comune è installare delle guide all'ingresso del sistema di decorazione. Oltre a non consentire un’alta precisione, questa soluzione si dimostra inadatta nel caso la decorazione venga applicata in fasi successive da stampanti diverse. Il reparto di ricerca e sviluppo di System Ceramics ha quindi ideato una soluzione diversa e innovativa seguendo l'approccio inverso: allineare la grafica via software a ogni pezzo in base alla sua disposizione, invece che intervenire fisicamente modificandone la posizione. Il nuovo processo di stampa basato sull'allineamento software della grafica consiste nel ricavare inizialmente la disposizione di ogni piastrella utilizzando un sistema di visione artificiale posizionato sul nastro prima della stampante. Successivamente la grafica viene elaborata in base alla disposizione del pezzo ed applicata una volta che il pezzo arriva presso la zona di stampa. L'attività di tesi si è focalizzata sulla fase di rotazione della grafica ed è consistita nello studio e nell’ottimizzazione del prototipo di applicazione esistente al fine di ridurne i tempi di esecuzione. Il prototipo infatti, sebbene funzionante, ha un tempo di esecuzione così elevato da risultare incompatibile con la velocità di produzione adottata dalle industrie ceramiche.

Smart City e Analisi di Big Data da Tracce Vodafone di Dispositivi Mobili

I dispositivi mobili, dagli smartphone ai tablet, sono entrati a far parte della nostra quotidianità. Controllando l’infrastruttura delle comunicazioni, rispetto a qualsiasi altro settore, si ha un maggiore accesso a informazioni relative alla geo-localizzazione degli utenti e alle loro interazioni. Questa grande mole di informazioni può aiutare a costruire città intelligenti e sostenibili, che significa modernizzare ed innovare le infrastrutture, migliorare la qualità della vita e soddisfare le esigenze di cittadini, imprese e istituzioni. Vodafone offre soluzioni concrete nel campo dell’info-mobilità consentendo la trasformazione delle nostre città in Smart City. Obiettivo della tesi e del progetto Proactive è cercare di sviluppare strumenti che, a partire da dati provenienti dalla rete mobile Vodafone, consentano di ricavare e di rappresentare su cartografia dati indicanti la presenza dei cittadini in determinati punti d’interesse, il profilo di traffico di determinati segmenti viari e le matrici origine/destinazione. Per fare questo verranno prima raccolti e filtrati i dati della città di Milano e della regione Lombardia provenienti dalla rete mobile Vodafone per poi, in un secondo momento, sviluppare degli algoritmi e delle procedure in PL/SQL che siano in grado di ricevere questo tipo di dato, di analizzarlo ed elaborarlo restituendo i risultati prestabiliti. Questi risultati saranno poi rappresentati su cartografia grazie a QGis e grazie ad una Dashboard aziendale interna di Vodafone. Lo sviluppo delle procedure e la rappresentazione cartografica dei risultati verranno eseguite in ambiente di Test e se i risultati soddisferanno i requisiti di progetto verrà effettuato il porting in ambiente di produzione. Grazie a questo tipo di soluzioni, che forniscono dati in modalità anonima e aggregata in ottemperanza alle normative di privacy, le aziende di trasporto pubblico, ad esempio, potranno essere in grado di gestire il traffico in modo più efficiente.

Scheduling di applicazioni periodiche con durata variabile

In questa tesi presentiamo una strategia, e la relativa implementazione, per il problema dell’allocazione e schedulazione, su risorse unarie, di applicazioni multi-task periodiche, composte da attività che interagiscono fra loro e la cui durata è incerta. Lo scopo che ci si propone di raggiungere, è l’implementazione di una strategia di allocazione schedulazione che garantisca robustezza ed efficienza, in quei contesti in cui la conoscenza a priori è limitata e in cui le applicazioni si ripetono indefinitamente nel tempo. Per raggiungere questo scopo, sarà usato un approccio ibrido fra statico e dinamico. Staticamente è generata una soluzione del problema, sfruttando la programmazione a vincoli, in cui le durate delle attività sono arbitrariamente fissate. Questa soluzione, non rappresenta la soluzione del nostro problema, ma è utilizzata per generare un ordinamento delle attività, che compongono le applicazioni periodiche. Dinamicamente, sfruttando l’ordinamento ottenuto, è effettuata l’allocazione e la schedulazione effettiva delle applicazioni periodiche, considerando durate variabili per le attività. L’efficienza ottenuta applicando il nostro approccio è valutata effettuando test su una vasta gamma di istanze, sia industriali, sia sintetiche appositamente generate. I risultati sono confrontati con quelli ottenuti, per le stesse istanze, applicando un approccio puramente statico. Come si vedrà, in alcuni casi, è possibile anche quadruplicale la velocità di completamento delle applicazioni trattate.

Fondamenti teorici della teoria classica del campo elettromagnetico

In questo lavoro vogliamo studiare l'evoluzione dell'elettromagnetismo classico ed i fondamenti teorici della teoria classica del campo elettromagnetico. Riprenderemo i risultati sperimentali principali costruendo una teoria coerente dell'interazione elettromagnetica sfruttando il formalismo Lagrangiano già sviluppato per i sistemi meccanici. Lo studio delle proprietà del campo elettromagnetico è di fondamentale importanza per la fisica teorica: la sua relativa semplicità lo rende un buon candidato per lo sviluppo del formalismo necessario alla descrizione dei sistemi ad infiniti gradi di libertà. Questo servirà inoltre come punto di partenza per lo sviluppo di teorie di campo quantistiche più avanzate.

Solving the logically constrained multiple choice multiple knapsack problem: A real case

In questa tesi viene analizzato un problema di ottimizzazione proposto da alcuni esercizi commerciali che hanno la necessita` di selezionare e disporre i propri ar- ticoli in negozio. Il problema nasce dall’esigenza di massimizzare il profitto com- plessivo atteso dei prodotti in esposizione, trovando per ognuno una locazione sugli scaffali. I prodotti sono suddivisi in dipartimenti, dai quali solo un ele- mento deve essere selezionato ed esposto. In oltre si prevede la possibilita` di esprimere vincoli sulla locazione e compatibilita` dei prodotti. Il problema risul- tante `e una generalizzazione dei gia` noti Multiple-Choice Knapsack Problem e Multiple Knapsack Problem. Dopo una ricerca esaustiva in letteratura si `e ev- into che questo problema non `e ancora stato studiato. Si `e quindi provveduto a formalizzare il problema mediante un modello di programmazione lineare intera. Si propone un algoritmo esatto per la risoluzione del problema basato su column generation e branch and price. Sono stati formulati quattro modelli differenti per la risoluzione del pricing problem su cui si basa il column generation, per individuare quale sia il piu` efficiente. Tre dei quattro modelli proposti hanno performance comparabili, mentre l’ultimo si `e rivelato piu` inefficiente. Dai risul- tati ottenuti si evince che il metodo risolutivo proposto `e adatto a istanze di dimensione medio-bassa.

Meccanismi di Gamification per interfacce human-vehicle

L’obiettivo principale di questa tesi è utilizzare le tecniche di gamification più importanti nella progettazione ed implementazione di un’interfaccia Human-Vehicle per creare un software che possa rendere la guida di un’automobile elettrica più efficace ed efficiente da parte del guidatore. Per lo sviluppo del software è stato svolto uno studio specifico sulla gamification, sulle interfacce Human-Vehicle e sulle macchine elettriche attualmente in produzione. Successivamente è stata svolta la fase di progettazione in cui sono stati creati dei mockup relativi all’interfaccia grafica ed è stato svolto un focus group. Infine è stato implementato il vero e proprio software di simulazione EcoGame ed è stato effettuato un test utenti.

Realizzazione di un sistema per l’incremento della leggibilità dei contenuti Web Testuali

Nel primo capitolo parleremo dell'accessibilità ai siti web siccome con la crescita dei contenuti multimediali e dei contenuti dinamici, non vengono sempre presi in causa le disabilità che una persona può avere nel visualizzare determinati contenuti. Si tratterà di crescita del web 2.0 e nascita del web 3.0. La transcodifica dei contenuti e i problemi che ogni persona in base alla sua disabilità può riscontrare usando apparecchi differenti per l'accesso ai dati. Parleremo dell'evoluzione dell'uso dei siti in versione mobile cosi da fare un paragono con l'usabilità tra desktop e mobile. Nel secondo capitolo andremo ad analizzare tutte le specifiche che siamo andati a prendere in considerazione per lo sviluppo di questa estensione. Guarderemo quali sono le motivazioni che ci hanno portato allo sviluppo di un'estensione di questo tipo. Verranno anche descritte tutte le scelte progettuali prese in via di sviluppo per migliorare l'usabilità e l'utilizzo dei dati raccolti, per fornire un servizio più efficiente all'utente. Nel terzo capitolo andremo a spiegare tutta l'implementazione effettuata per ExTraS con tutte le funzionalità considerate e scelte in base ai problemi più importanti di accessibilità attualmente riscontrati nel mondo del web da persone con diversi gradi di disabilità. Le principali disabilità che vengono prese in considerazione per l'utilizzo di questo addon sono persone che soffrono di ipovisione, daltonismo. L'ultimo paragrafo di questo capitolo descriverà test effettuati con utenti reali e con utenti simulati. Il test con utenti simulati è stato effettuato grazie al lavoro di tesi effettuato da Alberto Fariselli il quale ha integrato ExTraS creando un simulatore basato sul Q-learning.

L'approccio di Trading mean reverting evidenze statistiche

Analisi di una strategia di trading mean reverting al fine di valutare la fattibilita del suo utilizzo intraday nel mercato telematico azionario italiano. Panoramica sui sistemi di meccanizzazione algoritmica e approfondimento sull'HFT.

Il Museo Ebraico di Berlino. Proposta di traduzione dal Tedesco di alcune pagine del sito web

Questo elaborato finale intende presentare una proposta di traduzione di una parte del sito internet del celebre Museo ebraico di Berlino progettato da Daniel Libeskind, architetto statunitense di origine polacca. Il presente elaborato si articola nelle seguenti sezioni: il primo capitolo si concentrerà sulla teoria dei siti internet e sulla loro organizzazione, focalizzando l’interesse sulle modalità di scrittura dei siti web, nel secondo capitolo, verranno presentate la vita e le opere di Daniel Libeskind con una breve introduzione al Museo Ebraico. Seguirà poi un'analisi testuale e nel quarto capitolo la proposta di traduzione. Nel quinto capitolo verranno analizzate le strategie adottate nella traduzione. L’elaborato si concluderà con alcune considerazioni finali, e con indicazioni sulla bibliografia e sitografia.

La letteratura per ragazzi e Lemony Snicket: proposta di traduzione di “The Beatrice Letters”

L’obiettivo del presente elaborato è quello di fornire una proposta di traduzione del libro per ragazzi “The Beatrice Letters” dell’autore statunitense Lemony Snicket, pubblicato dalla casa editrice HarperCollins nel 2006. Nel primo capitolo vengono enunciati i propositi dell’elaborato, mentre il secondo capitolo ospita una panoramica della letteratura per ragazzi, a cui segue una presentazione della teoria della traduzione con particolare attenzione alla metodologia legata alla letteratura per l’infanzia. Il terzo capitolo si sofferma invece sulla figura dell’autore e sulle sue opere per poter comprendere appieno il testo in esame. Il capitolo contiene anche la proposta di traduzione vera e propria, corredata da relativo commento che analizza le principali problematiche traduttive riscontrate. Infine, i capitoli successivi presentano una breve conclusione oltre che la bibliografia e sitografia consultate.

Bed management: studio di fattibilità per la creazione di un modello applicabile al sistema sanitario emiliano-romagnolo

Da qualche anno gli standard di posti letto ospedalieri tendono a ridursi. È in corso un processo di ristrutturazione e riorganizzazione dell’azione ospedaliera che trova le sue ragioni nella necessità di calare la spesa del servizio sanitario. Questo fatto porta alla conclusione che la risorsa “posti letto” stia diventando sempre di più una risorsa limitata, che necessiti di una gestione attenta, precisa e ponderata. Da un punto di vista manageriale, capire le inefficienze e i modi in cui questa risorsa si interfaccia con la restante realtà ospedaliera è cruciale per poter attuare giuste politiche sanitarie. L’obiettivo di questa tesi consiste nella valutazione delle specifiche per la costruzione di un modello da applicare al sistema sanitario emiliano-romagnolo, compiendo una gap analysis su dati ufficiali forniti direttamente dal SS dell’Emilia-Romagna. Per la creazione del modello applicato ai posti letto ospedalieri il lavoro è proceduto prendendo in considerazione l’attuale modello in uso in regione [3] “Pianificazione tattica delle sale operatorie: un modello di ottimizzazione in ambito regionale. Margherita Vitali. 2014”. La creazione del modello oggetto di questa tesi è avvenuta attraverso l’ampliamento del modello [3]. Le modifiche proposte hanno avuto come scopo l’ottenimento di un modello dipendente dalla risorsa posti letto a valle delle sale operatorie. I vincoli aggiuntivi conferiscono una maggiore completezza al modello [3] ampliandone le vedute sulla filiera ospedaliera.

Modelli matematici per l'ottimizzazione del trasporto multimodale

Modello su AMPL per ottimizzare la scelta del trasporto in base al tragitto, all'orario di partenza e all'intervallo di tempo considerato.

Implementazione di sistemi per visible light communication su Raspberry Pi

Grazie all'enorme sviluppo dei LED, le comunicazioni tramite luce visibile stanno acquisendo sempre maggiore importanza. Obiettivo di questa tesi è implementare su schede a basso costo (come Rasperry Pi) un sistema di trasmissione e ricezione basato appunto sulla visible light communication. Dopo un primo tentativo di trasferire il codice OpenVLC, sviluppato dal centro di ricerca spagnolo IMDEA Network, su Rasperry Pi, si è deciso di intraprendere una nuova strada e si è implementato un trasmettitore VLC in Simulink di Matlab e una prima bozza di ricevitore che sfrutta la SPI (serial-parallel interface). I primi risultati mostrano il corretto funzionamento del sistema anche se con data rate molto basse. Sviluppi futuri prevederanno l'ottimizzazione del sistema.

Strategie di intervento per la difesa del mare e della costa dagli inquinamenti accidentali di idrocarburi

Il presente lavoro di tesi nasce dall’esigenza di comprendere e studiare come viene affrontata, e gestita, l’emergenza in mare derivante dallo sversamento accidentale, o volontario, di idrocarburi; il sistema di risposta nazionale a questo genere di emergenze si sviluppa su più livelli e per ogni livello sono individuati gli organi responsabili e i relativi compiti. Le azioni da intraprendere sono specificate negli elaborati di pianificazione redatti dall’Agenzia Nazionale di Protezione Civile, dal Ministero dell’Ambiente e della Tutela del territorio e del Mare, dalle Capitanerie di Porto Locali, dalle Province e dai Comuni; i primi 3 si occupano dell’emergenza in mare, mentre le Province e i Comuni si occupano degli interventi da attuare sulla costa in seguito allo spiaggiamento degli idrocarburi. La regione Emilia-Romagna, in particolare, non possiede elaborati di pianificazione per la gestione del rischio di inquinamento costiero; per questo motivo, sulla base delle indicazioni riportate negli elaborati di pianificazione nazionale e consultando elaborati già esistenti di altre regioni adriatiche, è stata redatta una proposta di linee guida per la redazione di un Piano Comunale d’Emergenza che preveda il rischio di inquinamento costiero. Per poter prevedere quale tecnica di bonifica sarà possibile applicare ad uno sversamento di idrocarburi, esistono software che modellano i processi chimico-fisici che la sostanza subisce con il passare del tempo. Ogni tecnica ha dei limiti sia di efficienza che di applicabilità; essi sono principalmente dovuti alle condizioni meteomarine e ai processi che la sostanza subisce nel tempo una volta sversata; la conoscenza di questi limiti permette di effettuare, nella maggior parte delle situazioni, la scelta della tecnica di intervento più appropriata ed efficiente a seconda della situazione. La tesi è strutturata come segue. Nel Capitolo 1 sono descritte le problematiche e le cause relative agli incidenti in mare che comportano il rilascio di idrocarburi in esso e gli effetti che questi hanno sull’ambiente e i cambiamenti che la sostanza subisce una volta sversata in mare. Nel Capitolo 2 sono descritte le strategie di intervento per il recupero degli idrocarburi sversati in mare e le tecniche di bonifica attuabili sulla costa impattata dallo sversamento. Nel Capitolo 3 è illustrato il sistema di risposta nazionale all’emergenza derivante dallo sversamento in mare di idrocarburi; ad ogni livello è dedicato un paragrafo del Capitolo 3. Inoltre sono presentate delle linee guida per la redazione di un Piano Comunale d’Emergenza che preveda il Rischio di Inquinamento Costiero da idrocarburi e altre sostanza nocive. Nel Capitolo 4 è illustrato il software ADIOS 2 che permette di modellare i processi chimico-fisici che la sostanza subisce quando viene sversata in mare e di simulare l’utilizzo di alcune strategie di intervento. Nel Capitolo 5 sono riportate le considerazioni conclusive e i risultati ottenuti.