Un approccio per la disambiguazione di autori di articoli scientifici: algoritmo e implementazione

Dalla necessità di risolvere il problema della disambiguazione di un insieme di autori messo a disposizione dall'Università di Bologna, il Semantic Lancet, è nata l'idea di progettare un algoritmo di disambiguazione in grado di adattarsi, in caso di bisogno, a qualsiasi tipo di lista di autori. Per la fase di testing dell'algoritmo è stato utilizzato un dataset generato (11724 autori di cui 1295 coppie da disambiguare) dalle informazioni disponibili dal "database systems and logic programming" (DBLP), in modo da essere il più etereogeneo possibile, cioè da contenere il maggior numero di casi di disambiguazione possibile. Per i primi test di sbarramento è stato definito un algoritmo alternativo discusso nella sezione 4.3 ottenendo una misura di esattezza dell'1% ed una di completezza dell'81%. L'algoritmo proposto impostato con il modello di configurazione ha ottenuto invece una misura di esattezza dell'81% ed una di completezza del 70%, test discusso nella sezione 4.4. Successivamente l'algoritmo è stato testato anche su un altro dataset: Semantic Lancet (919 autori di cui 34 coppie da disambiguare), ottenendo, grazie alle dovute variazioni del file di configurazione, una misura di esattezza del 84% e una di completezza del 79%, discusso nella sezione 4.5.

Emulazione distribuita di reti di telecomunicazioni su piattaforma mininet

Dopo aver introdotto i concetti di Software Defined Networking, il protocollo Openflow ed il software di emulazione di reti Mininet, vengono mostrati lo svolgimento ed i risultati di una serie di test effettuati su reti emulate, mettendo in pratica i concetti precedentemente introdotti. Infine si sono utilizzate le conoscenze apprese per sviluppare una rete distribuita su più piattaforme Mininet.

Sviluppo di un ambiente per il progetto di strutture aerospaziali basate su elementi a forbice

L'obiettivo di questo elaborato è sviluppare un ambiente Matlab per il progetto ed il disegno di strutture utilizzabili in campo aerospaziale, basate su elementi a forbice. Questi elementi presentano la possibilità di espandersi così che una struttura con ridotto ingombro in posizione retratta può espandersi fino ad aumentare le sue dimensioni di diverse volte. Per la progettazione di questo ambiente è stato necessario studiare le relazioni geometriche che regolano i movimenti di questi elementi. Sono poi state implementate delle funzioni in ambiente Matlab® per studiare il movimento di questi elementi, partendo dalla simulazione del singolo elemento, per poi passare a strutture sempre più complicate realizzate come assemblaggio di più strutture elementari. Inoltre è stata progettata e implementata un’interfaccia grafica intuitiva con lo scopo di facilitare il compito del progettista. L’ambiente realizzato permette il progetto e il disegno di alcune semplici strutture, ma può essere ulteriormente sviluppato per implementare un numero sempre maggiore di strutture basate su elementi a forbice. Grazie all’ambiente realizzato, inserendo pochi parametri di progetto nell’apposita interfaccia, si può ottenere il dimensionamento di una struttura, la sua visualizzazione e simulare la sua espansione. Anche se l’ambiente è stato pensato per gestire una grande varietà di soluzioni costruttive, ne sono state implementate due: una struttura piana basata sulla ripetizione circolare di un elemento a forbice e una struttura tridimensionale basata su una serie di corone circolari disposte nello spazio. Queste, seppur non riconducibili a precise realizzazioni aerospaziali, possono essere la base per la progettazione di reali applicazioni come ad esempio satelliti espandibili nel caso 3D. La tesi presenta quindi: un’analisi delle relazioni geometriche che stanno alla base del movimento degli elementi a forbice, una descrizione delle funzioni implementate per simulare le due strutture prese in esame, la presentazione di quali caratteristiche sono state implementate nell’interfaccia grafica e come questa è stata implementata in Matlab, un cenno alle conclusioni che si possono trarre e ad alcuni possibili sviluppi.

Studio e ottimizzazione di un propulsore Diesel applicato a un drone

Progettazione di un motore Diesel 2 tempi sulla base commerciale di un TM100Kb a benzina di derivazione karting. Il motore è capace di 5kW di potenza ad un peso contenuto. La progettazione è orientata agli aspetti sia termodinamici che dinamici. Si effettua una serie di verifiche per capire l'efficienza e l'uso di componenti originali.

Ideazione di sistemi distribuiti collaborativi basati su realta aumentata mobile: Un caso di studio, con approfondimento relativo al livello della cooperazione

Dall'inizio del nuovo millennio lo sviluppo di tecnologie nel campo del mobile computing, della rete internet, lo sviluppo dell'Internet of things e pure il cloud computing hanno reso possibile l'innovazione dei metodi di lavoro e collaborazione. L'evoluzione del mobile computing e della realtà aumentata che sta avvenendo in tempi più recenti apre potenzialmente nuovi orizzonti nello sviluppo di sistemi distribuiti collaborativi. Esistono oggi diversi framework a supporto della realtà aumentata, Wikitude, Metaio, Layar, ma l'interesse primario di queste librerie è quello di fornire una serie di API fondamentali per il rendering di immagini 3D attraverso i dispositivi, per lo studio dello spazio in cui inserire queste immagini e per il riconoscimento di marker. Questo tipo di funzionalità sono state un grande passo per quanto riguarda la Computer Graphics e la realtà aumentata chiaramente, però aprono la strada ad una Augmented Reality(AR) ancora più aumentata. Questa tesi si propone proprio di presentare l'ideazione, l'analisi, la progettazione e la prototipazione di un sistema distribuito situato a supporto della collaborazione basato su realtà aumentata. Lo studio di questa applicazione vuole mettere in luce molti aspetti innovativi e che ancora oggi non sono stati approfonditi né tanto meno sviluppati come API o forniti da librerie riguardo alla realtà aumentata e alle sue possibili applicazioni.

Integrazione tra Sistemi di Autenticazione Dipartimentale e d'Ateneo

Il documento illustra il lavoro di analisi dei requisiti, progettazione, implementazione e valutazione di un sistema per l’autenticazione degli utenti delle workstation della sede di Scienze del Dipartimento di Informatica — Scienza ed Ingegneria (DISI) che si integri al sistema di autenticazione d’Ateneo. Il sistema descritto è entrato in produzione il 24 settembre 2014 ed è tuttora operante. Il lavoro percorre le modalità di gestione degli account utente in uso presso il DISI e le nuove modalità di organizzazione del DSA d’Ateneo discutendo le motivazioni per cui le soluzioni standard non possono essere adottate nel caso esposto. Analizzato il processo di login dei sistemi Unix e le librerie coinvolte verrà esposto il nuovo progetto, le particolarità dello sviluppo delle nuove librerie PAM e di Name Service Switch e la loro modalità di funzionamento e configurazione all’interno del cluster Unix. In conclusione vengono presentate una serie di valutazioni che mostrano i vantaggi e il rispetto dei requisiti della nuova implementazione.

Applicazioni di tecniche di data mining di dati di chimica clinica

Coniato negli anni‘90 il termine indica lo scavare tra i dati con chiara metafora del gold mining, ossia la ricerca dell’oro. Oggi è sinonimo di ricerca di informazione in vasti database, ed enfatizza il processo di analisi all’interno dei dati in alternativa all’uso di specifici metodi di analisi. Il data mining è una serie di metodi e tecniche usate per esplorare e analizzare grandi set di dati, in modo da trovare alcune regole sconosciute o nascoste, associazioni o tendenze.

Tessuti urbani. Progetto per la stazione di Rimini

Progetto di riqualificazione urbana nell'area della stazione ferroviaria dismessa. Intervento che tende a ricucire il territorio riminese fisicamente diviso dalla linea ferroviaria, che va ad integrare una serie di servizi e costruire una maglia urbana caratterizzata da maglie regolari secondo il principio insediativo utilizzato in progetti esempio quali l'area Bicocca e ex Zuccherificio di Gregotti.

Metodo della parametrice per operatori parabolici

In questa tesi viene presentato il metodo della parametrice, che è utilizzato per trovare la soluzione fondamentale di un operatore parabolico a coefficienti hölderiani. Inizialmente si introduce un operatore modello a coefficienti costanti, la cui soluzione fondamentale verrà utilizzata per approssimare quella dell’operatore parabolico. Questa verrà trovata esplicitamente sotto forma di serie di operatori di convoluzione con la soluzione fondamentale dell’operatore a coefficienti costanti. La prova di convergenza e regolarità della serie si basa sullo studio delle proprietà della soluzione fondamentale dell’operatore a coefficienti costanti e degli operatori di convoluzione utilizzati. Infine, si applicherà il metodo della parametrice per trovare la soluzione fondamentale di un’equazione di Fokker-Planck sempre a coefficienti hölderiani.

Alla scoperta di ItaSA: analisi di una community italiana di fansubbing

Questa tesi presenta un'analisi della community italiana di fansubbing di Italian Subs Addicted, nota come ItaSA. Dopo un'introduzione generale sul fenomeno del fansubbing, ovvero la traduzione amatoriale di sottotitoli, si passa a un'analisi della community stessa, della sua organizzazione interna e del test per diventare traduttori. Nel capitolo 4 vengono presentate le regole per la traduzione e la creazione di sottotitoli, con il supporto di screenshot di varie serie TV, e si ha la descrizione della traduzione di una puntata della serie TV "True Detective" in tempo reale. Il capitolo 5 tratta il rapporto tra gli utenti e lo staff della community, un elemento peculiare che contraddistingue il fansubbing dalla produzione di sottotitoli tradizionali. Il capitolo 6 analizza brevemente il controverso tema della legalità dei sottotitoli. Infine, nella conclusione ho inserito una questione che negli ultimi mesi è stata molto dibattuta nella community, ovvero le conseguenze dell’imminente avvento di Netflix, un servizio di TV online, sul futuro del fansubbing.

Analisi delle problematiche nella pianificazione di una rotta di un volo di linea a corto-medio raggio

Dietro ad ogni volo di linea è presente una serie di attività collaterali fondamentali, quali ad esempio un'analisi dettagliata della tratta da percorrere al fine di pianificare la rotta ottimale. In questa tesi verranno pertanto evidenziate le varie problematiche e le difficoltà che si possono riscontrare nel processo di pianificazione di una rotta. Prima verranno introdotti gli organi che regolamentano l’aviazione civile mondiale ed in seguito l’organizzazione di una tipica compagnia aerea charter, focalizzando l’attenzione sul dipartimento delle operazioni di volo che è responsabile delle attività di pianificazione. Verranno poi analizzate le limitazioni che si presentano con un velivolo di corto-medio raggio, effettuando un’analisi della pianificazione vera e propria con utilizzo dei software di pianificazione del volo e di performance di decollo, insieme ad approfondimenti sui punti salienti di cui bisogna tener conto. Infine verranno esposte le attività tipiche di analisi dell’aeroporto e il processo di categorizzazione di esso. Le informazioni così ottenute saranno finalmente utilizzate per effettuare uno studio di una rotta caratteristica nelle operazioni charter a medio raggio.

Piattaforme per Internet of Things: Windows IoT Core come caso di studio

Questa tesi si pone l'obiettivo di esplorare alcuni aspetti di uno dei settori più in crescita in questi anni (e nei prossimi) in ambito informatico: \textbf{Internet of Things}, con un occhio rivolto in particolar modo a quelle che sono le piattaforme di sviluppo disponibili in questo ambito. Con queste premesse, si coglie l'occasione per addentrarsi nella scoperta della piattaforma realizzata e rilasciata da pochi mesi da uno dei colossi del mercato IT: Microsoft. Nel primo capitolo verrà trattato Internet of Things in ambito generale, attraverso una panoramica iniziale seguita da un'analisi approfondita dei principali protocolli sviluppati per questa tecnologia. Nel secondo capitolo verranno elencate una serie di piattaforme open source disponibili ad oggi per lo sviluppo di sistemi IoT. Dal terzo capitolo verrà incentrata l'attenzione sulle tecnologie Microsoft, in particolare prima si tratterà Windows 10 in generale, comprendendo \emph{UWP Applications}. Di seguito, nel medesimo capitolo, sarà focalizzata l'attenzione su Windows IoT Core, esplorandolo dettagliatamente (Windows Remote Arduino, Modalità Headed/Headless, etc.). Il capitolo a seguire concernerà la parte progettuale della tesi, comprendendo lo sviluppo del progetto \textbf{Smart Parking} in tutte le sue fasi (dei Requisiti fino ad Implementazione e Testing). Nel quinto (ed ultimo) capitolo, saranno esposte le conclusioni relative a Windows IoT Core e i suoi vantaggi/svantaggi.

Estrazione di parametri elettromiografici per la quantificazione di un percorso riabilitativo basato su elettroterapia

L'elettromiografia di superficie (sEMG) è la tecnica non invasiva che si occupa della misura e analisi dell'attività elettrica associata alla contrazione del muscolo scheletrico, che viene prelevata tramite elettrodi superficiali. Si vuole dimostrare come questa metodologia rappresenti un valido strumento di monitoraggio quantitativo da affiancare ad un trattamento di elettroterapia. Si sono effettuate rilevazioni elettromiografiche su sette pazienti presso centri fisioterapici e si sono estratti una serie di parametri numerici dal segnale elettromiografico (Media Lavoro, Media Riposo, Deviazione Lavoro, Deviazione Riposo, Tempo Inizio, Tempo Rilassamento, MVC, IEMG) in grado di fornire una misura oggettiva dell'andamento del percorso di riabilitazione. Con il test statistico ANOVA per misure ripetute si è visto come alcuni di questi parametri subiscono miglioramenti statisticamente significativi in seguito alla terapia. Dopo aver messo in evidenza l'impossibilità di estrarre il segnale grezzo, quindi effettuare un'analisi in frequenza, si è proposta un'elaborazione completa del segnale elettromiografico a partire da un tracciato grezzo acquisito su un soggetto sano, mostrando in particolare la possibilità di calcolare ulteriori parametri in frequenza. Si è inoltre sottolineata la necessità di ripetere uno studio analogo su un gruppo di soggetti superiore e che preveda il monitoraggio dell'impedenza di contatto elettrodo-cute.

Aspetti della certificazione di un sistema a pilotaggio remoto (SAPR) ad ala fissa

La rapida diffusione di Sistemi Aerei a Pilotaggio Remoto che si è verificata negli ultimi anni ha portato alla necessità di regolamentare ed armonizzare il loro utilizzo. I vari enti regolatori nazionali hanno dovuto trovare una soluzione a fronte di una serie di incidenti che hanno portato alla luce le lacune normative ed organizzative che ancora esistevano in materia. In Italia, in particolare, l’Ente Nazionale Aviazione Civile (ENAC) ha introdotto da fine 2013 un regolamento, più volte aggiornato e in parte ancora in fase di definizione, che impone delle rigide norme agli operatori dei mezzi a pilotaggio remoto. La presente attività riporta quindi lo sviluppo di un processo di certificazione di un Sistema Aereo a Pilotaggio Remoto ad ala fissa con peso massimo al decollo superiore a 25 kg, che si possa adattare alle più recenti norme presenti nel regolamento. Si presenta quindi lo sviluppo del Manuale di volo e del documento di Valutazione del rischio del mezzo, seguiti dallo studio del programma di attività sperimentale necessario per la certificazione. Infine, nella parte finale dell’elaborato si presentano dei test di volo effettuati seguendo il piano di sperimentazione strutturato e atti a dimostrare l’efficacia di tale pianificazione. Tali voli sono stati condotti infatti con un velivolo con caratteristiche similari a quelle del mezzo oggetto di studio, ma avente dimensioni e peso minori.

Validazione sperimentale delle prestazioni di un velivolo elettrico

A seguito di uno studio preliminare basato su modelli matematici che permettono di stimare valori indicativi dei coefficienti aerodinamici di un velivolo elettrico, è stata effettuata una serie di prove sperimentali per caratterizzare il pacco batteria del suddetto e le sue prestazioni in termini di autonomia oraria e chilometrica. E' stato quindi fatto un confronto tra i valori attesi dall'applicazione teoria ed i risultati ottenuti sperimentalmente.