Sperimentazione con algoritmi per l'analisi di nuvole di punti per applicazioni di guida autonoma

Al giorno d’oggi quasi tutte le persone possiedono un mezzo motorizzato che utilizzano per spostarsi. Tale operazione, che risulta semplice per una persona, può essere compiuta da un robot o un autoveicolo in modo autonomo? La risposta a questa domanda è si, ma se ad una persona serve solo un po’ di pratica per guidare, questa azione non risulta altrettanto immediata per dei veicoli motorizzati. In soccorso ad essi vi è la Computer Vision, un ramo dell’informatica che, in un certo senso, rende un elaboratore elettronico in grado di percepire l’ambiente circostante, nel modo in cui una persona fa con i propri occhi. Oggi ci concentreremo su due campi della computer vision, lo SLAM o Simultaneous Localization and Mapping, che rende un robot in grado di mappare, attraverso una camera, il mondo in cui si trova ed allo stesso tempo di localizzare, istante per istante, la propria posizione all’interno di esso, e la Plane Detection, che permette di estrapolare i piani presenti all’interno di una data immagine.

Algoritmi euristici per problemi di sequenziamento su una macchina con vincoli sui tempi di completamento

Si analizzano diversi algoritmi euristici volti alla soluzione di problemi di scheduling su macchina singola con vincoli sui tempi di completamento, quali earliness, tardiness, manutenzione, ecc. e ne vengono mostrati i risultati.

Valutazione semplificata del rischio sismico su edifici in muratura secondo il DPCM 09/02/2011: caso di studio di Palazzo del Parlamento detto "FARNESE"

Obiettivo della tesi è la valutazione semplificata della vulnerabilità sismica di Palazzo del Parlamento detto "Farnese", sede del municipio di Campli in provincia di Teramo. Il palazza venne costruito a partire dal XIII sec., presenta una struttura in muratura mista e risulta vincolato ai sensi della normativa di tutela deo Beni Culturali. Per valutare la vulnerabilità è stata condotta un'analisi LV1,mediante l'ausilio di fogli Excel, che ha permesso di ottenere gli indici di sicurezza. A seguito dell'analisi relativa allo stato di fatto sono state avanzate delle ipotesi di intervento e valutati gli indici relativi agli stati di progetto.

Progettazione e sviluppo di un' applicazione mobile basata su Wi-Fi Direct per la comunicazione tra veicoli e pedoni

Questo documento di tesi si incentra principalmente sullo studio delle reti wireless mobili e dei relativi scenari di utilizzo. In particolare, come esse vengono applicate per il riconoscimento e la prevenzione di incidenti stradali. Vista l’importanza di questo problema a livello di sicurezza stradale, ho deciso di sviluppare un' applicazione per smartphone Android, in grado di riconoscere le attività di uso quotidiano dell’utente e associarle a dei comportamenti, come ad esempio quello di un ciclista, di un pedone o di un automobilista. Nel caso in cui, in uno scenario stradale i dispositivi si trovassero ad una distanza ravvicinata, possono comunicare tramite una connessione Wi-Fi Direct il loro ruolo e lanciare messaggi di pericolo per avvisare la loro presenza, in modo da prevenire collisioni stradali. La realtà in cui si vuole collocare questa applicazione è quella che viene chiamata Pedestrian Detection, già idea di General Motors, che la sta sviluppando sui futuri veicoli che metterà in produzione nei prossimi anni e che sicuramente integreranno funzionalità aggiuntive per la segnalazione di pericoli tramite smartphone e Wi-Fi Direct.

Operatori lineari su spazi di Hilbert

La trattazione che segue fornisce un'introduzione agli operatori lineari. Il primo capitolo contiene dei cenni sugli spazi di Hilbert di dimensione infinita, in modo da poter lavorare con operatori definiti non solo su spazi finito dimensionali, che sono generalmente rappresentati da matrici. Nel secondo capitolo si prosegue con lo studio degli operatori lineari limitati, proponendo come esempio l'operatore di proiezione. Viene definito anche l'importante concetto di operatore aggiunto, generalizzato nel capitolo successivo. Il capitolo finale tratta gli operatori non limitati, che possono essere analizzati con più facilità se soddisfano una proprietà topologica, che è la chiusura. Si affronta anche il concetto di spettro di un operatore, soprattutto nel caso di un operatore autoaggiunto, concludendo con l' esempio di un importante operatore, cioè l'operatore differenziale, fondamentale in meccanica quantistica.

My Personal Trainer: applicazione di e-learning per il fitness su piattaforma Android

L’obiettivo della tesi è quello di mettere in pratica e approfondire le conoscenze acquisite durante il percorso universitario, al fine di avvicinarsi a quello che sarà poi il mondo del lavoro. Questa motivazione e la voglia di realizzare qualcosa di concreto hanno portato alla scelta di sviluppare un’applicazione per sistemi mobile, in questo modo è stato necessario affrontare le varie fasi di sviluppo di un software che comprendono in particolare la progettazione e l’implementazione. All'interno della tesi si darà uno sguardo al contesto in cui l’applicazione MyPersonalTrainer vuole andarsi ad inserire, si procederà con la descrizione della fase di progettazione che comprende l'analisi dei requisiti, poi si analizzerà la fase di implementazione e infine verranno effettuate delle considerazioni sui possibili sviluppi futuri.

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.

Il concetto di funzione: storia, applicazioni, sviluppi

Il concetto di funzione è tra i più rilevanti, ma anche tra i più controversi concetti matematici. In questo lavoro di tesi si è esaminato questo concetto a partire dalle sue origini fino ad arrivare alla definizione bourbakista, che è quella insegnata a tutti gli studenti a partire dalla scuola secondaria fino ad arrivare all'università. Successivamente si è analizzato in che modo questo delicato concetto viene presentato agli studenti delle scuole secondarie di secondo grado, osservando come le recenti Indicazioni Nazionali e Linee Guida danno suggerimenti per affrontare questo argomento, anche esaminando alcuni libri di testo. Infine si è descritto come il concetto di funzione abbia preso, in tempi relativamente recenti, un respiro più ampio dando luogo all'analisi funzionale, laddove le funzioni non sono più viste come corrispondenza punto a punto ma come oggetti che vengono osservati globalmente. Si considereranno infatti nuovi spazi i cui elementi sono funzioni.

Distribuzioni di quasi-probabilità: la funzione di Wigner

L'elaborato fornisce una introduzione alla funzione di Wigner, ovvero una funzione di fase che gioca un ruolo chiave in alcuni ambiti della fisica come l'ottica quantistica. Nel primo capitolo viene sviluppato sommariamente l'apparato matematico-fisico della quantizzazione di Weyl e quindi introdotta l'omonima mappa di quantizzazione tra funzioni di fase ed operatori quantistici. Nella seconda parte si delinea la nozione di distribuzione di quasi-probabilit\`a e si danno alcune importanti esemplificazioni della funzione di Wigner per gli autostati dell'oscillatore armonico. Per finire l'ultimo capitolo tratteggia il panorama sperimentale all'interno del quale la funzione di Wigner viene utilizzata.

Studio e prototipazione di un'architettura software di alto livello per lo sviluppo di applicazioni di mixed reality su piattaforma HoloLens

La tesi si pone come obiettivo quello di realizzare un'architettura di alto livello per lo sviluppo di applicazioni dirette alla piattaforma HoloLens. Per conseguire tale risultato si è rivelata necessaria una prima parte di studio dei concetti di mixed reality, con riferimento particolare al caso specifico HoloLens, per poi dirigere l'attenzione alla comprensione dell'architettura di applicazioni olografiche. L'analisi delle API rilasciate per lo sviluppo di applicazioni HoloLens ha permesso di riscontrare varie criticità, alle quali si è posto rimedio tramite l'introduzione di un livello di astrazione, che possa consentire uno sviluppo di applicazioni ad un livello più alto. Si è poi introdotto il concetto di augmented worlds (mondi aumentati), i cui principi cardine hanno fornito le basi per la progettazione e lo sviluppo di un sistema client-server, nel quale il dispositivo HoloLens agisce come un client e la logica di controllo degli elementi del modello dell'applicazione viene gestita lato server.

Successioni di polinomi di tipo binomiale e operatori delta

In questa tesi riportiamo le definizioni ed i risultati principali relativi alla corrispondenza tra le successioni di polinomi di tipo binomiale (particolari basi dello spazio dei polinomi a coefficienti reali) e gli operatori delta, cioè operatori lineari sullo spazio dei polinomi che commutano con gli operatori di traslazione e il cui nucleo è costituito dai polinomi costanti. Nel capitolo 1 richiamiamo i concetti fondamentali sull'algebra delle serie formali e definiamo l'algebra degli operatori lineari invarianti per traslazione, dimostrando in particolare l'isomorfismo tra queste algebre. Nel capitolo 2, dopo aver dimostrato l'unicità della successione di base relativa ad un operatore delta, ricaviamo come esempio le successioni di base di tre operatori delta, che useremo durante tutto il capitolo: l'operatore derivata, l'operatore di differenza in avanti e l'operatore di differenza all'indietro. Arriviamo quindi a dimostrare un importante risultato, il Primo Teorema di Sviluppo, in cui facciamo vedere come le potenze di un operatore delta siano una base per l'algebra degli operatori invarianti per traslazione. Introducendo poi le successioni di Sheffer, possiamo dimostrare anche il Secondo Teorema di Sviluppo in cui esplicitiamo l'azione di un operatore invariante per traslazione su un polinomio, tramite un operatore delta fissato e una sua successione di Sheffer. Nell'ultima parte della tesi presentiamo i formalismi e alcune semplici operazioni del calcolo umbrale, che useremo per determinare le cosiddette costanti di connessione, ovvero le costanti che definiscono lo sviluppo di una successione binomiale in funzione di un'altra successione binomiale usata come base dello spazio dei polinomi.

Valutazione delle prestazioni di reti ad accesso multiplo basate su visible light communication

Nella società odierna, le telecomunicazioni costituiscono un’esigenza fondamentale della vita quotidiana. Difatti, il mercato della ICT (Information and Communications Technology) è in costante espansione, e viene accompagnato da un rapido sviluppo di nuove tecnologie. In particolare, si assiste a un sempre più rilevante ruolo svolto dalle comunicazioni ottiche, ovvero sfruttanti la luce: in questo contesto, il quale comprende diversi rami ingegneristici, si stanno progressivamente affermando nuove forme di comunicazione basate sulla luce visibile, la cosiddetta Visible Light Communication (VLC). Con questa Tesi ci si propone di implementare con Simulink e stateflow di Matlab il livello MAC (Medium Access Control), basato sullo standard IEEE 802.15.7 per le VLC e valutarne le prestazioni. Prescinde da questa Tesi la parte di implementazione su scheda stessa che è lasciata per sviluppi futuri. Nel capitolo uno si introducono le VLC e si discutono i principali scenari attuali dove possono diffondersi. Nel capitolo 2, si mostrano le principali linee guida afferenti agli standard che sono risultate necessarie per sviluppare lo strato MAC. Nei capitoli 3 e 4 si mostra come il layer sviluppato possa essere utilizzato in due principali situazioni: nel capitolo 3 è descritta la realizzazione di una comunicazione punto-punto, ovvero con un trasmettitore e un ricevitore; nel capitolo 4 è descritta l’implementazione di una rete di nodi, ambito in cui il livello MAC risulta indispensabile. Per ognuna delle situazioni si illustrano scelte e caratteristiche dei sistemi simulati e i risultati ottenuti, cercando di coprire diverse eventualità che intercorrono, più in generale, nella gestione e implementazione di sistemi di telecomunicazione wireless.

Studio di un sistema di comunicazione ad alimentazione risonante wireless.

L'elaborato tratta della progettazione di un sistema di alimentazione wireless risonante per i nodi sensori, strumenti fondamentali per il controllo delle strutture(Structural Health Monitoring). Esso si concentra sulla realizzazione di un convertitore flyback risonante (con circuito di snubber incluso per il main switch) in grado di fornire una tensione di 5 Volt in uscita a fronte di una corrente media massima sul carico di 800mA data una tensione di 12 volt in ingresso. Dopo aver introdotto il concetto di Wireless Power Transfer (WPT) e i principi fisici su cui esso poggia (induzione elettromagnetica e risonanza elettromagnetica), si presentano i modelli circuitali più utilizzati in questo ambito. Una volta illustrate le conoscenze allo stato dell'arte dell'accoppiamento induttivo risonante, si analizza il comportamento del modello scelto, al fine di evidenziare i vantaggi dell'utilizzo del circuito alla frequenza di risonanza. Sono state effettuate simulazioni con il simulatore LTspice come controprova. Si passa quindi a dimensionare i vari elementi del circuito a fronte delle specifiche stabilite. Grazie ai risultati ottenuti, si procede alla stesura del Bill Of Materials. La tesi si conclude presentando i possibili campi di ricerca e sviluppo del sistema di alimentazione.

Prototipo di un tracciatore per particelle cariche con risoluzione millimetrica

Questa tesi si inserisce nell’ambito del progetto WA104-NESSiE al CERN per il quale era richiesto lo sviluppo di un tracciatore di particelle cariche da utilizzare in presenza di campi magnetici e avente una risoluzione sulla posizione ricostruita di 1-2 mm. Il lavoro di tesi ha riguardato l'analisi dei dati raccolti con un prototipo del tracciatore composto da barre di scintillatori a sezione triangolare, accoppiati a SiPM i cui segnali sono acquisiti in modalità analogica. Il prototipo è stato esposto a particelle cariche presso la linea di fascio T9 del PS del CERN nel maggio 2016. La catena di analisi è stata validata con dati provenienti da una simulazione Monte Carlo basata su Geant4 che fornisce la risposta del tracciatore al passaggio di particelle cariche (pioni e muoni) a diversi impulsi (1-10 GeV/c). Successivamente, è stata fatta un'analisi preliminare dei dati reali e un confronto con la simulazione Monte Carlo. La risoluzione ottenuta per pioni di 5 GeV è di ∼ 2 mm, compatibile con il valore ottenuto dalla simulazione Monte Carlo di ∼ 1.5 mm. Questi risultati sono stati ricavati analizzando una frazione degli eventi acquisiti durante il test beam. Una misura più accurata della risoluzione del tracciatore può essere ottenuta introducendo alcune correzioni, come ad esempio l’allineamento dei piani, la ricalibrazione dei segnali dei singoli canali e, infine, analizzando l’intero campione.