Metodi e strumenti per il posizionamento indoor

Oggigiorno, la maggior parte della popolazione trascorre buona parte della giornata all’interno di edifici, e sempre di più sono le applicazioni che, anche in ambiente indoor, necessitano di accedere ad informazioni relative alla posizione. Tuttavia, mentre per quanto riguarda il posizionamento in ambiente outdoor il GPS è ormai uno standard de facto, in ambiente indoor il segnale satellitare risulta scarso se non inesistente, e non riesce dunque ad incontrare le necessità di grande precisione richieste. La ricerca di un efficiente sistema di posizionamento indoor è dunque un problema che richiede una rapida soluzione. L’obiettivo di questa tesi è illustrare i principi alla base del posizionamento, e fornire alcune soluzioni al problema del posizionamento indoor.

Analisi e implementazione di applicazione mobile per il supporto agli studenti di programmazione

La tesi tratta il processo di analisi, progettazione e implementazione dell'applicazione del corso di laurea di Programmazione, in ambiente iOS. L'applicazione fornirà i servizi, ora offerti dal portale del corso di laurea, ottimizzati per dispositivi mobili.

Studi sul guadagno dei fotomoltiplicatori per il luminometro LUCID dell'esperimento ATLAS a LHC

Dall'inizio del 2013 il Large Hadron Collider (LHC) non produce dati (fase di shut down) per effettuare operazioni di consolidamento e manutenzione. Nella primavera del 2015 ritornerà in funzione con energia e luminosità maggiori. La fase di shut down è sfruttata anche per migliorare le prestazioni dei vari rivelatori che operano in LHC, così che possano acquisire dati in modo efficiente alla riaccensione. Per quanto riguarda il monitor di luminosità LUCID, che fa parte dell'esperimento ATLAS, sono stati sostituiti i rivelatori principali (i fotomoltiplicatori) e l'elettronica. Numerosi considerazioni rispetto alla durata dei nuovi sensori nell'ambiente di LHC tra il 2015 e il 2018, nonché sulla misura della luminosità durante il run II, hanno portato alla conclusione che i nuovi PMT dovranno operare ad un guadagno di math 10^5. E' stato dunque necessario, una volta identificati ed acquistati i nuovi sensori, qualificarne il funzionamento individuale e determinare la tensione di lavoro corrispondente al guadagno desiderato. La prima parte di tali misure, effettuate interamente a Bologna, riguarda la misura della corrente di buio e l'andamento della dipendenza del guadagno dei PMT dalla tensione applicata. La seconda parte riguarda invece lo studio di diversi metodi per le misure del guadagno assoluto, e la loro applicabilità durante la fase di funzionamento di LHC. Durante la presa dati, infatti, sarà essenziale essere in grado di monitorare continuamente il guadagno di ciascun sensore al fine di mantenerlo costante. Le misure di guadagno assoluto presentate in questa tesi sono state effettuate in parte a Bologna, sfruttando il metodo del singolo fotoelettrone, e in parte presso il CERN, utilizzando una sorgente radioattiva, il Bismuto 207.

Test hardware del secondo batch di schede ROD per il layer 2 del pixel detector dell'esperimento ATLAS al CERN

In questa tesi viene seguito il lavoro di test delle schede ROD del layer 2 del Pixel Detector dell’ esperimento ATLAS, che mira a verificare la loro corretta funzionalità, prima che vengano spedite nei laboratori del CERN. Queste nuove schede gestiscono i segnali in arrivo dal Pixel Detector di ATLAS, per poi inviarli ai computer per la successiva elaborazione. Le schede ROD andranno a sostituire le precedenti schede SiROD nella catena di acquisizione dati dell’esperimento, procedendo dal nuovo strato IBL, e proseguendo con i tre layer del Pixel Detector, corroborando l’aggiornamento tecnologico e prestazionale necessario in vista dell’incremento di luminosità dell’esperimento.

ExoTCP: uno stack di rete minimale e userspace specializzato per il protocollo HTTP

In questo lavoro verrà presentato ExoTCP, uno stack di rete minimale e userspace specializzato per il protocollo HTTP. Verrà inoltre presentato Eth, un server web zerocopy che utilizza ExoTCP per servire contenuti statici. L'obiettivo del lavoro è riuscire ad ottenere prestazioni migliori di quelle di un server web tradizionale che si appoggia ai servizi offerti dal sistema operativo per accedere alla rete.

Progettazione e sviluppo di un prototipo di dispositivo wearable per il monitoraggio dell'attivita elettro-meccanica del cuore

Il presente lavoro di tesi è finalizzato allo sviluppo di un dispositivo indossabile, e minimamente invasivo, in grado di registrare in maniera continua segnali legati all’attività elettromeccanica del muscolo cardiaco, al fine di rilevare eventuali anomalie cardiache. In tal senso il sistema non si limita alla sola acquisizione di un segnale ECG, ma è in grado di rilevare anche i toni cardiaci, ovvero le vibrazioni generate dalla chiusura delle valvole cardiache, la cui ampiezza è espressione della forza contrattile (funzione meccanica) del cuore. Il presente lavoro di tesi ha riguardato sia la progettazione che la realizzazione di un prototipo di tale dispositivo ed è stato svolto presso il laboratorio di Bioingegneria del Dipartimento di Medicina Specialistica Diagnostica e Sperimentale dell’Università di Bologna, sito presso l’Azienda Ospedaliero-Universitaria Policlinico Sant’Orsola-Malpighi. Il sistema finale consiste in un dispositivo applicabile al torace che, attraverso una serie di sensori, è in grado di rilevare dati legati alla meccanica del cuore (toni cardiaci), dati elettrici cardiaci (ECG) e dati accelerometrici di attività fisica. Nello specifico, il sensing dei toni cardiaci avviene attraverso un accelerometro in grado di misurare le vibrazioni trasmesse al torace. I tracciati, raccolti con l’ausilio di una piattaforma Arduino, vengono inviati, tramite tecnologia Bluetooth, ad un PC che, attraverso un applicativo software sviluppato in LabVIEW™, ne effettua l’analisi, il salvataggio e l’elaborazione in real-time, permettendo un monitoraggio wireless ed in tempo reale dello stato del paziente.

Dispositivi indossabili per il monitoraggio elettroencefalografico

Dispositivi indossabili che permettono di monitorare parametri vitali con facilità, di peso e dimensioni ridotti. Con l’avanzare della tecnologia siamo in grado ora anche di analizzare i complessi segnali del nostro cervello e di andare incontro a molteplici benefici: come il miglioramento della nostra salute, riducendo lo stress e aumentando la capacità di concentrazione. Il mondo dei dispositivi indossabili è in via di sviluppo e permette un semplice utilizzo a qualsiasi utente, con tali dispositivi saremo in grado di capire le funzionalità del nostro cervello e come il mondo che ci circonda ne influenza notevolmente l’attività e di conseguenza il funzionamento efficiente. Tali dispositivi di semplice utilizzo e non ingombranti interagiscono direttamente con i nostri smartphone , aiutandoci a conoscere il nostro cervello e di utilizzarlo sempre al meglio sfruttando le sue potenzialità. Siamo comunque in un mondo complesso “il cervello” e non è compito facile creare dei dispositivi che possano controllare azioni come il pensiero, il linguaggio o le emozioni ,anche perché è un organo che differisce da persona a persona e inoltre per le sue numerose pieghe è come se mettessimo a confronto le impronta digitali di ogni singola persona. Infatti la maggior parte di tali dispositivi si interfacciano con il nostro cervello attraverso dei sensori che registrano i segnali soprattutto nella fronte o dietro le orecchie in modo da poter essere utilizzato da tutti gli utenti. Segue la trattazione della tesi dove saranno affrontati gli argomenti nel seguente modo : capitolo 1 : struttura e fenomeni connessi all’ attività cerebrale capitolo 2 : modalità di acquisizione dell’attività elettrica cerebrale capitolo 3 : dispositivo indossabile Muse capitolo 4: il sistema Biopac gli ultimi due capitoli mostrano come i due dispositivi indossabili presentati per il monitoraggio EEG, differiscono sia per quanto riguarda la modalità di acquisizione dei segnali elettrici , sia dalle informazioni ottenute e lo scopo dell’utilizzo di tali dispositivi, anche se lo scopo finale di entrambi è quello di migliorare le capacità del nostro cervello.

Progettazione e realizzazione di uno smart distributed system per il controllo degli accessi in ambito aziendale

Il lavoro svolto è dedicato alla realizzazione ed implementazione di un sistema distribuito "smart" per il controllo degli accessi. Il progetto sviluppato è inquadrato nel contesto di "SPOT Software", che necessita di migliorare il processo aziendale di controllo accessi e gestione presenze al fine di aumentarne usabilità ed efficienza. Saranno affrontate in generale le tematiche di Internet of Things, Smart Building, Smart City e sistemi embedded, approfondendo il ruolo delle tecnologie di comunicazione NFC e BLE, al centro di questo lavoro. Successivamente sarà discussa la progettazione di ognuno dei tre nodi del sistema, motivando le scelte tecnologiche e progettuali: Web application, Smart device e Smartphone app.

Progettazione di un'applicazione di tipo "gesture-based" per il controllo di velivoli senza pilota a bordo

Progettazione e programmazione di un interfaccia per il controllo col movimento della mano di un simulatore di UAV.

Impiego di regolatori ripetitivi per il controllo di convertitori elettronici di potenza per l'interfacciamento con la rete elettrica

L’obiettivo di tesi consiste nel valutare il funzionamento di regolatori ripetitivi per il controllo di un inverter utilizzato come filtro attivo al fine di eliminare le armoniche di corrente prodotte da un carico distorcente trifase connesso in rete. È descritto lo schema di simulazione realizzato in ambiente Simulink di Matlab per poter individuare una possibile implementazione del controllo. È descritta l’attività di prototipazione rapida svolta mediante il sistema dSPACE per poter verificare sperimentalmente il funzionamento del controllo con regolatore ripetitivo su un modello di impianto reale costituito da inverter, carico distorcente e rete.

Coca cola hbc italia: Modello per il calcolo di inventory stock target e production cycles ottimali

Approccio unificato alla gestione e alla valutazione del planning in stabilimenti e magazzini, presso Coca Cola HBC Italia

Studio di fattibilità di una nuova tipologia di argano per il sollevamento di carichi nel settore off-shore

Studio di una nuova tipologia di argano per il sollevamento di carichi nel settore off-shore. In particolare, un argano funzionalmente identico ad uno in fase di realizzazione in azienda è stato modellato al CAD 3D e verificato strutturalmente utilizzando Ansys Workbench, software adatto per analisi F.E.M.. Ottenuti i risultati, ne è stato fatto un confronto con quelli relativi all'argano esistente (argano di ‟Moho‟); nello specifico sono stati comparati gli stress ottenuti nelle varie parti dei due argani (tamburo, spalla, flange, alette di rinforzo, albero) in seguito all‟applicazione di 4 casi di carico differenti (E‟, E‟‟, P‟, P‟‟).

Circuiti per il miglioramento della qualità di sorgenti dc

Tutti gli apparati elettronici richiedono un'alimentazione in tensione continua. Qualunque sia la fonte di energia elettrica, una batteria (in DC) o la rete di distribuzione (in AC), l’alimentatore ha il compito di regolare la tensione continua di uscita per consentire il corretto funzionamento del dispositivo alimentato. La stabilizzazione della tensione DC in uscita deve avvenire nonostante la presenza di ripple e di disturbi sulla alimentazione primaria, di ampie variazioni sulle correnti assorbite dal carico, di ampie escursioni di temperatura e deve essere garantita nel tempo, anche a fronte di sostituzione di alcuni componenti del circuito. In questa tesi si prenderanno in considerazione i regolatori lineari. Sebbene si tratti di circuiti che operano in condizioni di linearità e quindi, quasi per definizione, poco efficienti, in realtà il loro impiego diventa quasi obbligatorio per applicazioni in cui è richiesta una tensione di alimentazione poco rumorosa. Se utilizzati a valle di un alimentatore switching possono aumentare notevolmente la qualità della tensione di uscita operando con livelli di efficienza e di dissipazione del tutto accettabili e con minimo aumento di costo del sistema. Gli alimentatori lineari non sono dunque “superati” dai più recenti alimentatori switching ma sono, piuttosto, “alternativi” e, in molti alimentatori moderni, di complemento. Per questo motivo, anche di recente, sono stati sviluppati e trovano importanti quote di mercato innovative architetture di regolatori lineari dalle prestazioni molto migliorate e vi sono circuiti come il regolatore di John Linsley Hood che non possono non suscitare il più vivo interesse della comunità audiofila

Studio e analisi di software per il porting di codice a 64 bit

XCModel è un sistema CAD, basato su NURBS, realizzato ed utilizzato in ambiente accademico. È composto da quattro pacchetti per la modellazione 2D, 3D e la resa foto-realistica, ognuno dotato di una propria interfaccia grafica. Questi pacchetti sono in costante evoluzione: sia per le continua evoluzioni dell’hardware che ai cambiamenti degli standard software. Il sistema nel complesso raccoglie la conoscenza e l’esperienza nella modellazione geometrica acquisita nel tempo dai progettisti. XCModel, insieme ai suoi sottosistemi, sono stati progettati per diventare un laboratorio di insegnamento e ricerca utile a sperimentare ed imparare metodi ed algoritmi nella modellazione geometrica e nella visualizzazione grafica. La natura principalmente accademica, e la conseguente funzione divulgativa, hanno richiesto continui aggiornamenti del programma affinché potesse continuare a svolgere la propria funzione nel corso degli anni. La necessità di continuare a ad evolversi, come software didattico, anche con il moderno hardware, è forse il principale motivo della scelta di convertire XCModel a 64 bit; una conversione che ho svolto in questa tesi. Come molte altre applicazioni realizzate a 32 bit, la maggior parte del codice viene eseguito correttamente senza problemi. Vi sono però una serie di problematiche, a volte molto subdole, che emergono durante la migrazione delle applicazioni in generale e di XCModel in particolare. Questa tesi illustra i principali problemi di portabilità riscontrati durante il porting a 64 bit di questo pacchetto seguendo il percorso da me intrapreso: mostrerò gli approcci adottati, i tool utilizzati e gli errori riscontrati.

Schemi concettuali e specializzazione dell'interprete: Una proposta per il settore moda

L’idea di sviluppare il presente lavoro è scaturita da alcune considerazioni sulla metodologia di preparazione dell’interprete. In particolare è nata dalla consapevolezza che la sfida principale di questa professione risiede nel fatto di dover gestire, durante l’intera carriera, un confronto impari con una quantità potenzialmente infinita di concetti e termini nuovi da assimilare. Ciò è dovuto in primis all’intrinseca vastità della lingua, principale strumento di comunicazione, e implica che ogni volta l’interprete si trovi a operare in uno degli innumerevoli contesti estremamente eterogenei in cui può essere richiesto il suo servizio, caratterizzati ciascuno da una propria cultura e da un suo lessico settoriale sul quale è necessario prepararsi, spesso disponendo solo di pochi giorni per farlo. Una delle strategie possibili per fare fronte in modo efficace al costante flusso di informazioni da assimilare è la specializzazione, ovvero lo studio approfondito e a lungo termine di uno o più settori tematici, con l’acquisizione graduale della relativa terminologia settoriale nelle varie lingue di lavoro. Il presente lavoro propone l’utilizzo di sistemi di rappresentazione grafica della conoscenza come strumenti a supporto di questo processo di specializzazione, con l’aiuto dei quali mettere a fuoco e fissare sia la componente concettuale, sia quella terminologica relativa ad un dominio specifico. A mo’ di esempio è stato scelto il settore moda, poiché ritenuto particolarmente adeguato agli scopi proposti. Il software utilizzato è la versione freeware di MindMaple. L’elaborato è suddiviso in due parti: la prima ne descrive l’impianto teorico e comprende la descrizione dei processi di categorizzazione della realtà da un punto di vista psicologico-cognitivo (cap.1), integrata da una panoramica delle diverse tipologie di sistematizzazione della conoscenza, dei loro ambiti di applicazione (cap.2), e soffermandosi infine sull’approfondimento dei vari tipi di schemi: mentali, concettuali, ecc.(cap.3) Nella seconda parte del lavoro viene dapprima fornita una descrizione generale del dominio al quale appartiene l’argomento dello schema, ossia il settore moda, esponendo le ragioni di tale scelta e soffermandosi su alcune particolarità del lessico settoriale (cap. 4). L’ultimo capitolo è infine dedicato alla presentazione dell’elaborato grafico con un’ introduzione sulle funzionalità principali del software utilizzato, la descrizione dello schema nei vari suoi aspetti, come la struttura e le fasi di sviluppo, nonché alcuni esempi concreti relativi a problematiche terminologiche incontrate sia in fase di sistematizzazione del lessico che durante la ricerca di equivalenti interlinguistici.