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).

Presentazioni di gruppi con generatori e relazioni

La struttura di gruppo è una delle strutture algebriche più semplici e importanti della matematica. Un gruppo si può descrivere in vari modi: uno dei più interessanti è la presentazione per generatori e relazioni. Sostanzialmente presentare un gruppo per generatori e relazioni significa dire quali specifiche ”regole di calcolo” e semplificazione valgono nel gruppo in considerazione oltre a quelle che derivano dagli assiomi di gruppo. Questo porta in particolare alla definizione di gruppo libero. Un gruppo libero non ha regole di calcolo oltre quelle derivanti dagli assiomi di gruppo. Ogni gruppo è un quoziente di un gruppo libero su un appropriato insieme di generatori per un sottogruppo normale, generato dalle relazioni. In questa tesi si ricordano le definizioni più importanti ed elementari della teoria dei gruppi e si passa in seguito a discutere il gruppo libero e le presentazioni di gruppi con generatori e relazioni, dando alcuni esempi. La tesi si conclude illustrando l’algoritmo di Coxeter e Todd, per enumerare le classi laterali di un sottogruppo quando si ha un gruppo presentato per generatori e relazioni.

Sistemi naturali di fitodepurazione a flusso orizzontale sub-superficiale: Analisi teorico-sperimentale

Il lavoro di tesi riguarda i sistemi naturali di fitodepurazione, focalizzandosi in particolare sui sistemi a flusso orizzontale sub-superficiale. Vengono esposte la loro applicabilità e diffusione e le principali normative di riferimento. Vengono trattati i principali parametri progettuali e metodi di dimensionamento e inoltre si svolge lo studio di uno specifico sito sperimentale.

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

Azioni di gruppi topologici su varietà

Studio dei gruppi topologici, ovvero degli spazi topologici che possiedono anche una struttura di gruppo; le due strutture sono legate dal fatto che le applicazioni di gruppo sono continue.

Invarianti polinomiali sotto l'azione di gruppi finiti

Il teorema di Chevalley-Shephard-Todd è un importante risultato del 1954/1955 nella teoria degli invarianti polinomiali sotto l'azione del gruppo delle matrici invertibili. Lo scopo di questa tesi è presentare e dimostrare il teorema nella versione in cui l'anello dei polinomi ha come campo base R e di vedere alcuni esempi concreti di applicazione del teorema. Questa dimostrazione può essere generalizzata facilmente avendo come campo base un qualsiasi campo K di caratteristica 0.

Gruppi superiori di omotopia

Tesi compilativa riguardo definizione, proprietà e metodi di calcolo di Gruppi superiori di omotopia. Argomenti:definizioni, gruppi delle sfere, proprietà, sospensione, proiezioni di rivestimento, spazi fibrati, approssimazione cellulare, gruppi stabili di omotopia, esempi.

Gruppi liberi e giochi di parole

La struttura di gruppo è una delle strutture algebriche più semplici e fondamentali della matematica. Un gruppo si può descrivere in vari modi. Noi abbiamo illustrato la presentazione tramite generatori e relazioni, che consiste sostanzialmente nell'elencare le "regole di calcolo" che valgono nel gruppo considerato, oltre a quelle che derivano dagli assiomi di gruppo. L'idea principale di questa tesi è quella di mostrare come un argomento così tecnico e specifico possa essere reso "elementare" e anche divertente. Siamo partiti dalla costruzione di un gioco, inventando regole da aggiungere di volta in volta. Abbiamo poi tentato di spiegare il medesimo concetto da un punto di vista teorico, tramite la teoria dei gruppi liberi. Si tratta di gruppi che hanno un insieme di generatori soddisfacenti unicamente alle relazioni che sono conseguenza degli assiomi di gruppo.Ogni gruppo è un quoziente di un gruppo libero su un appropriato insieme di generatori per un sottogruppo normale, generato dalle relazioni. Infine si è illustrato il problema della parola formulato da Max Dhen nel 1911, e si è visto come tale problema è risolubile per i gruppi liberi.

Studio della trasformazione di 1,2-propandiolo ad acido propionico

Il presente lavoro ha riguardato lo studio della trasformazione one-pot in fase gas di 1,2-propandiolo ad acido propionico, impiegando il pirofosfato di vanadile (VPP), (VO)2P2O7, e due differenti sistemi a base di bronzi di tungsteno con struttura esagonale (HTB), gli ossidi misti W1V0,3 e W1Mo0,5V0,1. Il processo richiede un catalizzatore con due differenti funzionalità: una acida, principalmente di tipo Brønsted, fornita nel VPP dai gruppi P-OH presenti sulla sua superficie, e negli HTB dai gruppi W-OH sulla loro superficie e dagli ioni H+ nei canali esagonali dell’ossido; e una ossidante, fornita nel VPP dal V, e negli HTB da V e Mo incorporati nella struttura esagonale. I risultati delle prove di reattività hanno consentito di dedurre gli aspetti principali dello schema della reazione one-pot di disidratazione-ossidazione dell’1,2-propandiolo ad acido propionico. I catalizzatori provati non possiedono la combinazione ottimale di proprietà acide e redox necessarie per ottenere elevate rese in acido propionico. Le scarse proprietà ossidanti portano a un accumulo di propionaldeide, che reagisce con l’1,2-propandiolo a dare diossolani, e inoltre dà luogo alla formazione di altri sottoprodotti. È perciò necessario incrementare le proprietà ossidanti del catalizzatore, in modo da accelerare la trasformazione della propionaldeide ad acido propionico, ed evitare quindi che le proprietà acide del catalizzatore, necessarie per compiere il primo stadio di disidratazione di 1,2-propandiolo, siano causa di reazioni parassite di trasformazione dell’aldeide stessa.

Algebre di Lie e gruppi risolubili e nilpotenti: un parallelismo

Tesi in algebra che propone uno studio parallelo di risolubilità e nilpotenza nei gruppi e nelle algebre di Lie. Vengono descritte dapprima le algebre di Lie in modo da fornire una conoscenza preliminare riguardo a questa struttura algebrica. In seguito esse vengono messe a confronto con i gruppi sotto l'aspetto appunto di risolubilità e nilpotenza.

Progettazione e realizzazione di gruppi funzionali di un impianto automatico nel settore food

Questo elaborato tratta della progettazione e della realizzazione di una serie di gruppi funzionali di un impianto automatico per l'applicazione, tramite colla, di carta assorbente o pluriball all'interno di vaschette alimentari. Il sistema progettato si inserisce all'interno di una linea produttiva, tipicamente tra una macchina termoformatrice e una tranciatrice.