Una applicazione context aware per il riconoscimento del tipo di mobilità

Con l'aumento del numero di sensori e ricevitori presenti sui dispositivi mobili attuali, è possibile lo sviluppo di nuove applicazioni in grado di fornire dati utili sul contesto in cui si trova un utente in un determinato momento. In questa tesi viene descritta la realizzazione di un servizio per dispositivi Android in grado di riconoscere il tipo di mobilità dell'utente. La motivazione principale di questo progetto è stata la scarsità di soluzioni specifiche per questo tipo di riconoscimento contestuale. Sono state quindi realizzate una libreria Java e un'applicazione Android in grado di fornire tale funzionalità. La tecnica impiegata per il riconoscimento è derivata da una ricerca dei dottori Luca Bedogni e Marco Di Felice e del professore Luciano Bononi, dell'Università di Bologna. Tale tecnica sfrutta le misurazioni di accelerometro e giroscopio del dispositivo per rilevare pattern di movimento e associarli ai vari tipi di mobilità dell'utente. Per mostrare un possibile impiego di questo servizio, è stata realizzata un'applicazione che sfrutta i dati forniti dal servizio di riconoscimento per la gestione dello stato di alcune funzionalità del dispositivo. Inoltre, è stata effettuata una analisi statistica della precisione effettiva di questo sistema di riconoscimento, per evidenziarne i punti di forza e i limiti rispetto alle soluzioni già esistenti. E' stato osservato che il consumo energetico di questo sistema è minore rispetto ad applicazioni basate su servizi di geolocalizzazione, e che la sua precisione è accettabile rispetto ad altre soluzioni già esistenti.

Complessi tetrazolici di Ru(II) come fotoassorbitori per celle solari di tipo DSSC

Questo lavoro di tesi sperimentale è stato dedicato alla sintesi di alcuni nuovi complessi tetrazolici di Ru(II) e, in collaborazione con il personale dell’istituto ISTEC-CNR di Faenza, al loro impiego come fotoassorbitori per celle solari di tipo DSSC. L’idea progettuale alla base di questa attività è scaturita dalla volontà di modificare la struttura di due coloranti di riferimento (N719 e N749) sostituendo i gruppi tiocianato (SCN-) coordinati al centro metallico con leganti tetrazolici opportunamente funzionalizzati. In questo elaborato si riporta la descrizione e la discussione dettagliata della sintesi dei complessi, della loro caratterizzazione e delle performances delle celle DSSC contenenti tali complessi come fotoassorbitori.

Espressione eterologa e purificazione della istone deacetilasi umana 1 (HDAC1)

La proteina umana HDAC1 fa parte della famiglia delle HDAC (Istone Deacetilasi); questi enzimi, ad azione deacetilasica, catalizzano la reazione di rimozione di un gruppo acetile a livello degli istoni, componenti fondamentali della cromatina, la cui struttura influenza il ciclo cellulare e la regolazione dell’espressione genica. L’importanza della proteina in questione, a scopo terapeutico, risiede nello studio degli inibitori ad essa associati, i quali risultano utili a livello farmacologico, come coadiuvanti nelle terapie per la cura di tumori. La produzione di HDAC1 ha previsto l’utilizzo di due diversi ceppi del batterio Escherichia coli, denominati TOP10 e BW25993, che sono serviti come sistemi “ospiti” per l’inserimento del vettore di espressione pBAD-HDAC1 contenente la porzione di DNA che codifica per la proteina ricombinante. Sono state determinate le condizioni più idonee, per entrambi i sistemi analizzati, in modo da massimizzare l’espressione della proteina indotta mediante aggiunta di arabinosio al terreno di coltura. A seconda della combinazione ceppo-vettore, infatti, il livello di espressione ottenuto cambia significativamente. In seguito, gli estratti proteici totali sono stati sottoposti a purificazione mediante diversi passaggi cromatografici ed è stata determinata la resa finale del processo. La caratterizzazione della proteina ricombinante purificata ha evidenziato una forma aggregata, di tipo ottamerico, che potrebbe influenzare l’attività enzimatica. Per questo motivo sono stati portati avanti numerosi tentativi di dissociazione dell’oligomero incubando HDAC1 con diversi agenti. Un effetto disaggregante è stato osservato solo in presenza di due detergenti, SDS (anionico) e CTAB (cationico), i quali hanno permesso di ottenere la proteina in forma monomerica. Tra i due detergenti, l’SDS è risultato più efficace, mentre per il CTAB si richiedono ulteriori indagini ed approfondimenti. Altri studi, infine, sono auspicabili ai fini di migliorare ulteriormente la fase di espressione, in modo da rendere il protocollo di produzione adatto ad un’applicazione a livello industriale.

Qualita di nuove accessioni di fragola (fragaria x ananassa) in funzione del tipo di materiale di propagazione: Aspetti analitici e sensoriali

La ricerca è stata svolta presso il Consiglio per la Ricerca e la Sperimentazione in Agricoltura - Unità di Ricerca per la Frutticoltura di Forlì (CRA-FRF) ed ha riguardato lo studio delle caratteristiche qualitative e di alcuni composti bioattivi dei frutti di 10 diverse accessioni varietali di fragola (6 varietà: Alba, Nora, Garda, Jonica, Brilla, Pircinque; 4 selezioni in avanzata fase di studio ottenute nell’ambito dei programmi di breeding pubblico-privati condotti e coordinati dal CRA-FRF: CE 51, CE 56, VR 177.2, VR 4) coltivate per un biennio nello stesso ambiente (cesenate). Sono state considerate due differenti tipologie di piante: frigoconservata (tipologia tradizionale) e fresca “cima radicata” (tipologia innovativa che si sta sempre più affermando presso i produttori). L’obiettivo principale di questa tesi è finalizzato alla caratterizzazione qualitativa e nutrizionale dei frutti raccolti dalle due tipologie di pianta. L’interesse di monitorare l’effetto di questa innovativa tecnica di coltivazione deriva dalla sua sempre maggiore affermazione in quanto consente una significativa riduzione dei costi di produzione. Lo studio delle 10 accessioni di fragola (tra cui quelle che attualmente stanno dominando lo standard varietale del Nord Italia) può permettere di aggiungere informazioni importanti sulla loro caratterizzazione qualitativa, in particolare sulle caratteristiche sensoriali mediante un approccio quantitativo descrittivo. Infine, la ripetizione dello studio per due annate differenti può consentire di valutare l’influenza del fattore “anno” sui caratteri studiati.

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.

Vergleichende Analyse der Textsorte Audioguide im deutschen Sprachraum und Anwendungsmöglichkeiten auf die Übersetzung eines Multimedia-Guides aus dem Italienischen ins Deutsche (Analisi contrastiva dell'audioguida come tipo testuale nelle aree germanofone e possibili applicazioni alla traduzione di una guida multimediale dall'italiano al tedesco)

La parte centrale di questo elaborato consiste nella traduzione della guida multimediale della Biblioteca Malatestiana di Cesena dall’italiano al tedesco che include un'audioguida e un Ibook. Siccome non è stato possibile reperire materiale teorico sulle convenzioni testuali e la traduzione di audioguide, è stata condotta un’analisi contrastiva di sette audioguide delle aree germanofone (Germania, Austria, Svizzera e Alto Adige) con l’obiettivo di individuare le caratteristiche testuali comuni. In una fase successiva è stato effettuato un confronto tra i risultati dell’analisi contrastiva e il testo di partenza per individuare le possibilità di applicazione dei risultati. Infine, vengono commentate anche le scelte traduttive in generale, legate soprattutto a fattori sintattici e pragmatici.

Implementazione dell'algoritmo filtered back-projection (FBP) per architetture low-power di tipo systems-on-chip

Il presente lavoro di tesi, svolto presso i laboratori dell'X-ray Imaging Group del Dipartimento di Fisica e Astronomia dell'Università di Bologna e all'interno del progetto della V Commissione Scientifica Nazionale dell'INFN, COSA (Computing on SoC Architectures), ha come obiettivo il porting e l’analisi di un codice di ricostruzione tomografica su architetture GPU installate su System-On-Chip low-power, al fine di sviluppare un metodo portatile, economico e relativamente veloce. Dall'analisi computazionale sono state sviluppate tre diverse versioni del porting in CUDA C: nella prima ci si è limitati a trasporre la parte più onerosa del calcolo sulla scheda grafica, nella seconda si sfrutta la velocità del calcolo matriciale propria del coprocessore (facendo coincidere ogni pixel con una singola unità di calcolo parallelo), mentre la terza è un miglioramento della precedente versione ottimizzata ulteriormente. La terza versione è quella definitiva scelta perché è la più performante sia dal punto di vista del tempo di ricostruzione della singola slice sia a livello di risparmio energetico. Il porting sviluppato è stato confrontato con altre due parallelizzazioni in OpenMP ed MPI. Si è studiato quindi, sia su cluster HPC, sia su cluster SoC low-power (utilizzando in particolare la scheda quad-core Tegra K1), l’efficienza di ogni paradigma in funzione della velocità di calcolo e dell’energia impiegata. La soluzione da noi proposta prevede la combinazione del porting in OpenMP e di quello in CUDA C. Tre core CPU vengono riservati per l'esecuzione del codice in OpenMP, il quarto per gestire la GPU usando il porting in CUDA C. Questa doppia parallelizzazione ha la massima efficienza in funzione della potenza e dell’energia, mentre il cluster HPC ha la massima efficienza in velocità di calcolo. Il metodo proposto quindi permetterebbe di sfruttare quasi completamente le potenzialità della CPU e GPU con un costo molto contenuto. Una possibile ottimizzazione futura potrebbe prevedere la ricostruzione di due slice contemporaneamente sulla GPU, raddoppiando circa la velocità totale e sfruttando al meglio l’hardware. Questo studio ha dato risultati molto soddisfacenti, infatti, è possibile con solo tre schede TK1 eguagliare e forse a superare, in seguito, la potenza di calcolo di un server tradizionale con il vantaggio aggiunto di avere un sistema portatile, a basso consumo e costo. Questa ricerca si va a porre nell’ambito del computing come uno tra i primi studi effettivi su architetture SoC low-power e sul loro impiego in ambito scientifico, con risultati molto promettenti.

Besafe: un'applicazione Android per la rilevazione di aggressioni attraverso il riconoscimento del tipo di mobilità

Tematiche di violenza e aggressione sono oggi di estrema attualità e sempre più spesso se ne sente parlare al telegiornale o in programmi specializzati. Aggressione per molestie, furto o per scopi razziali; le motivazioni e i casi d'interesse sono vari e spesso hanno inizio senza alcun apparente motivo e la sensazione di sentirsi sempre meno al sicuro, anche appena usciti di casa, può degenerare ad una vera e propria paranoia. L'unica cosa che è sempre al nostro fianco, oggi giorno, sono i nostri smartphone, che risultano sempre più sofisticati e intelligenti; perché, allora, non provare ad usarli come protezione? L'obiettivo su cui si è incentrata questa tesi è, appunto, il riconoscimento di un'aggressione basata sull'analisi della situazione in cui si trova l'utente, attraverso l'uso dei sensori messi a disposizione dagli odierni smartphone in circolazione. Esistono già numerose applicazioni per la sicurezza personale, ma il metodo utilizzato per la segnalazione di un'aggressione è sempre basato sulla pressione di un pulsante o un'azione particolare che l'utente deve svolgere. L'applicazione creata in questo studio, invece, cerca di riconoscere le situazioni di pericolo osservando i movimenti dell'utente e basa il riconoscimento sulla presenza di situazioni fuori dalla normale quotidianità che, attraverso dei "controlli di conferma", permettono di riconoscere il pericolo in maniera completamente autonoma. Si è deciso di approcciarsi ad un riconoscimento autonomo, in quanto, non sempre si ha la possibilità, o il tempo, di prendere in mano il proprio smartphone per avvisare del pericolo e molte volte il panico potrebbe far perdere la lucidità alla vittima, il cui primo pensiero è quello di difendersi e scappare e non utilizzare il dispositivo. Altre volte, distrarsi anche per un secondo, potrebbe essere fatale per la propria sicurezza. Per questo motivo si è ricercato un'approccio di riconoscimento basato "sull'osservazione" di ciò che sta accadendo, piuttosto che sull'attesa di un segnale. L'obiettivo di riconoscimento prefissato è stato quello delle aggressioni in strada e i sensori utilizzati a questo scopo sono stati: accelerometro, giroscopio, GPS e microfono. Attraverso la combinazione di questi sensori, infatti, è stato possibile riconoscere cadute (di forte entità), urla e probabili spinte/strattoni. Si sono studiate, per tanto, le caratteristiche che collegassero queste tipologie di situazioni per ogni sensore preso in esame, costruendo un'approccio di riconoscimento risultato valido per gli obiettivi minimi prefissati.

Studio di un azionamento brushless di tipo predittivo per la trazione in un veicolo elettrico ibrido

Nel campo dell’automotive, negli ultimi anni, gli sviluppi sono stati consistenti: infatti sono state introdotte sul mercato molte novità, tra le quali vetture con propulsione elettrica o ibrida. Il controllo del motore termico durante il moto è studiato da moltissimi anni, mentre il controllo di un motore elettrico è tuttora in fase di continua ricerca e sviluppo. Infatti, con l’introduzione di tecniche vettoriali, si sono ottenuti notevoli miglioramenti a livello di qualità di utilizzo del motore elettrico stesso. In particolare, l’introduzione di un nuovo metodo di controllo che prende il nome di “controllo predittivo” cerca di ottimizzare ulteriormente la propulsione elettrica. Oggetto di studio in questa tesi è il controllo predittivo implementato per la regolazione delle correnti di statore in un motore brushless. Dopo una presentazione di carattere generale, che spazia dalle tipologie di vetture elettriche alle batterie utilizzate a bordo, passando dai vari tipi di propulsori elettrici verosimilmente utilizzabili, viene descritto, a livello teorico, il sistema utilizzato nelle simulazioni in questa tesi, prestando particolare attenzione alla macchina sincrona brushless a magneti permanenti ed al suo controllo vettoriale oltre che alla tecnica per un corretto deflussaggio. Successivamente sono descritti il controllo predittivo di corrente utilizzato nelle simulazioni, con un occhio di riguardo alla compensazione del ritardo di calcolo necessario per ottimizzare ulteriormente il controllo del motore di trazione elettrico, e la modellizzazione del veicolo elettrico ibrido in ambiente Simulink di Matlab, rimandando alle Appendici A e B per la eventuale consultazione dei codici implementati. Infine sono presentati i risultati ottenuti con vari tipi di prove per verificare se effettivamente il veicolo esegue ciò che è richiesto.

Studio e progettazione di giunti incollati di tipo strutturale per applicazioni aeronautiche

Il presente elaborato è stato approfondito e sviluppato presso lo stabilimento della Blackshape Aircraft S.p.A. sito in Monopoli (Bari). L’obiettivo è stato principalmente orientato sull’individuazione di un metodo di progettazione di giunzioni incollate fra laminati in CFRP basato su di un modello matematico in grado di prevederne la resistenza. Per realizzare tale studio sono stati necessari approfondimenti preliminari relativi al comportamento meccanico dei laminati in materiale composito e agli studi condotti da Hart-Smith sulla teoria degli incollaggi. E’ stato determinato un metodo analitico per il calcolo della lunghezza di sovrapposizione degli aderenti. Il criterio di resistenza del giunto individuato, basato sulla teoria del cedimento multiassiale di Von Mises, è stato approvato dalla Agenzia Europea per la Sicurezza Aerea, EASA. A livello numerico-pratico è stato preso in esempio il giunto fra i gusci di fusoliera relativi al nuovo velivolo Blackshape con certificazione VLA (Very Light Aircraft).

Sviluppo ed analisi di un sistema dual-fuel diesel/benzina per combustioni di tipo RCCI

Nel presente lavoro è progettato e sviluppato un sistema dual-fuel diesel/benzina per combustioni di tipo RCCI, e sono esposti i risultati sperimentali in termini di prestazioni ed emissioni. E' inoltre descritto e implementato un algoritmo di stima dell'MFB50 a partire dalla sola misura della velocità motore.

Sviluppo di una architettura di controllo per velivoli di tipo multi-rotore

Studio e Progettazione di un sistema di sicurezza ed una legge di controllo per UAV di tipo quadcopter.

Modellizzazione e simulazione di convertitori di tipo Z-Source

analisi dell'approccio semplificato e introduzione ad un nuovo approccio, considerando le tensioni sui condensatori e le correnti sulle induttanze non più costanti. determinazione e analisi dei ripple di corrente sulle induttanze e tensioni sulle capacità. confronto fra i risultati teorici del nuovo approccio e quelli ottenuti attraverso le simulazioni effettuate con Simulink. analisi di funzionamento e dimensionamento dei componenti

Edge states and zero modes in quadratic fermionic models on a 1-D lattice

In una formulazione rigorosa della teoria quantistica, la definizione della varietà Riemanniana spaziale su cui il sistema è vincolato gioca un ruolo fondamentale. La presenza di un bordo sottolinea l'aspetto quantistico del sistema: l'imposizione di condizioni al contorno determina la discretizzazione degli autovalori del Laplaciano, come accade con condizioni note quali quelle periodiche, di Neumann o di Dirichlet. Tuttavia, non sono le uniche possibili. Qualsiasi condizione al bordo che garantisca l'autoaggiunzione dell' operatore Hamiltoniano è ammissibile. Tutte le possibili boundary conditions possono essere catalogate a partire dalla richiesta di conservazione del flusso al bordo della varietà. Alcune possibili condizioni al contorno, permettono l'esistenza di stati legati al bordo, cioè autostati dell' Hamiltoniana con autovalori negativi, detti edge states. Lo scopo di questa tesi è quello di investigare gli effetti di bordo in sistemi unidimensionali implementati su un reticolo discreto, nella prospettiva di capire come simulare proprietà di edge in un reticolo ottico. Il primo caso considerato è un sistema di elettroni liberi. La presenza di edge states è completamente determinata dai parametri di bordo del Laplaciano discreto. Al massimo due edge states emergono, e possono essere legati all' estremità destra o sinistra della catena a seconda delle condizioni al contorno. Anche il modo in cui decadono dal bordo al bulk e completamente determinato dalla scelta delle condizioni. Ammettendo un' interazione quadratica tra siti primi vicini, un secondo tipo di stati emerge in relazione sia alle condizioni al contorno che ai parametri del bulk. Questi stati sono chiamati zero modes, in quanto esiste la possibilità che siano degeneri con lo stato fondamentale. Per implementare le più generali condizioni al contorno, specialmente nel caso interagente, è necessario utilizzare un metodo generale per la diagonalizzazione, che estende la tecnica di Lieb-Shultz-Mattis per Hamiltoniane quadratiche a matrici complesse.

Stime Integrali su Gruppi di Tipo H e Principio Forte di Continuazione Unica

Lo scopo di questa tesi è dimostrare il Principio Forte di Continuazione Unica per opportune soluzioni di un'equazione di tipo Schrödinger Du=Vu, ove D è il sub-Laplaciano canonico di un gruppo di tipo H e V è un potenziale opportuno. Nel primo capitolo abbiamo esposto risultati già noti in letteratura sui gruppi di tipo H: partendo dalla definizione di tali gruppi, abbiamo fornito un'utile caratterizzazione in termini "elementari" che permette di esplicitare la soluzione fondamentale dei relativi sub-Laplaciani canonici. Nel secondo capitolo abbiamo mostrato una formula di rappresentazione per funzioni lisce sui gruppi di tipo H, abbiamo dimostrato una forma forte del Principio di Indeterminazione di Heisenberg (sempre nel caso di gruppi di tipo H) e abbiamo fornito una formula per la variazione prima dell'integrale di Dirichlet associato a Du=Vu. Nel terzo capitolo, infine, abbiamo analizzato le proprietà di crescita di funzioni di frequenza, utili a dimostrare le stime integrali che implicano in modo piuttosto immediato il Principio Forte di Continuazione Unica, principale oggetto del nostro studio.