Analisi e nuove applicazioni delle Real-time Silent Speech BCIs

Il fatto che il pensiero sia più rapido della comunicazione verbale o scritta è un concetto ormai consolidato. Ricerche recenti, però, si stanno occupando di sviluppare nuove tecnologie in grado di tradurre l’attività neurale in parole o testi in tempo reale. È proprio questo il campo delle Real-time Silent Speech Brain-Computer Interfaces, ovvero sistemi di comunicazione alternativi, basati sulla registrazione e sull’interpretazione di segnali neurali, generati durante il tentativo di parlare o di scrivere. Queste innovazioni tecnologiche costituiscono un traguardo fondamentale per la vita delle persone con paralisi o con patologie neurologiche che determinano l’inabilità a comunicare. L’obiettivo di questo elaborato è quello di descrivere due applicazioni innovative nell’ambito delle Real-time Silent Speech-BCIs. I metodi di BCI confrontati nel presente elaborato sintetizzano il parlato attraverso la rilevazione invasiva o parzialmente invasiva dell’attività cerebrale. L’utilizzo di metodi invasivi per la registrazione dell’attività cerebrale è giustificato dal fatto che le performance di acquisizione del segnale ottenute sono tali da controbilanciare i rischi associati all’operazione chirurgica necessaria per l’impianto. Le tecniche descritte sfruttano delle Reti Neurali Ricorrenti (RNNs), che si sono dimostrate le più efficaci nel prevedere dati sequenziali. Gli studi presentati in questa tesi costituiscono un passaggio fondamentale nel progresso tecnologico per il ripristino della comunicazione in tempo reale e sono i primi a riportare prestazioni di sintesi paragonabili a quelle del linguaggio naturale.

Modellazione CFD dell'Idrogeno Gassoso nell’Impiego come Combustibile Sintetico in Motori ad Accensione Comandata

L’aumento della quantità di inquinanti emessi in atmosfera, legati all’attività antropica che si è osservato negli ultimi anni, ha portato all’emanazione di normative allo scopo di migliorare la qualità dell’aria e mitigare il cambiamento climatico. I settori responsabili di queste emissioni sono molteplici ma quello dei trasporti risulta essere uno dei maggiori indagati, condizione che ha portato ad una maggiore complessità dei motori a combustione interna, cercando così di ridurre l’impatto che hanno sull’ambiente, il clima e la salute umana. Nonostante tutto, l’abbassamento continuo dei limiti massimi, relativi alla quantità di sostanze che possono essere emesse dai veicoli, ha spinto le case automobilistiche a ricercare nuovi sistemi di propulsione. In questo contesto di riduzione degli inquinanti, sta assumendo una posizione di rilievo la scelta di utilizzare l’idrogeno come combustibile alternativo, concetto che verrà approfondito in questa tesi. Tenendo presente che un ciclo motore è suddiviso in 4 fasi: aspirazione, compressione, espansione e scarico, nell’elaborato di questa tesi, verranno analizzate la sola compressione e successiva combustione sfruttando il software di simulazione AVL FIRE. Lo studio prevede la realizzazione di un modello in grado di descrivere e simulare in maniera realistica il fenomeno di combustione dell’idrogeno e la definizione di una procedura per la caratterizzazione dei parametri di iniezione, prestando particolare attenzione all’influenza che questi hanno sul processo di formazione della miscela in modo da giungere ad una configurazione ottimale. Inizialmente sarà utilizzata una geometria con un iniettore a foro singolo posizionato centralmente, la quale progressivamente verrà modificata allo scopo di ottenere una rappresentazione sempre più simile alla condizione reale.

Modelli matematici nella crescita e nel trattamento dei tumori

Questa tesi tratta di alcuni semplici modelli matematici, formulati in termini di equazioni differenziali ordinarie, riguardanti la crescita dei tumori e possibili trattamenti per contrastarla. Nel primo capitolo viene data un'introduzione sulla stabilità dei punti di equilibrio di sistemi di equazioni differenziali ordinarie, mentre nel secondo capitolo vengono affrontati e confrontati tre modelli ad una equazione: il modello esponenziale, il modello logistico e il modello di Gompertz. Si introducono poi due modelli a due equazioni differenziali: uno riguardante l'angiogenesi a due compartimenti e l'altro riguardante un modello lineare-quadratico applicato alla radiobiologia. Viene fatto poi un accenno ad un modello con equazioni alle derivate parziali. Infine, nell'ultimo capitolo, viene introdotto un modello a tre equazioni differenziali ordinarie a tre compartimenti in cui viene studiata l'interazione tra tre popolazioni di cellule: cellule immunitarie effettrici, cellule ospiti e cellule tumorali.

Dispositivi cardiaci impiantabili senza batteria: le nuove frontiere per l'autoalimentazione

Il testo esamina tre studi svolti nello sviluppo di sistemi di autoalimentazione per pacemaker e defibrillatori impiantabili, volti a risolvere il problema della longevità della batteria. Sono state inizialmente approfondite le modalità di generazione del battito cardiaco, regolato dal passaggio del potenziale d’azione e presentati i tipi di scompenso cardiaco esponendo le modifiche che questi causano alla forma d’onda dell’ECG. Successivamente sono state descritte le tecnologie adottate per trattare i disturbi del ritmo cardiaco, pacemaker e defibrillatori impiantabili. Vengono dunque introdotti gli studi che presentano le innovazioni più recenti che riguardano la possibilità di autoalimentare i dispositivi cardiaci impiantabili. Il primo mostra la realizzazione di un trasduttore di energia meccanica in elettrica che utilizza una lamina di materiale piezoelettrico. Tale dispositivo è stato testato con successo in vitro ed in vivo. Nel secondo studio viene invece sfruttato un dispositivo automatico di un orologio per convertire l’accelerazione generata dal cuore in energia elettrica. Sono stati realizzati tre prototipi ed eseguiti test in vitro ed in vivo. Il terzo studio si focalizza su una microturbina che sfrutta il flusso sanguigno per generare energia elettrica. È stato eseguito un test in vivo su un suino nel quale il sistema è stato connesso ad un pacemaker senza batteria. Questo è riuscito ad aumentare i battiti al minuto producendo più energia di quella necessaria, con il difetto della formazione di trombi. La tesi si conclude con una valutazione critica dei metodi illustrati e la proposta di potenziali sviluppi miglioramenti.

Asynchronous Contact Tracing, Fighting Pandemics with Internet of Things

La pandemia da COVID-19 ha cambiato le nostre vite obbligandoci a vivere mesi di lockdown, distanziamento sociale ed uso delle mascherine. Il distanziamento sociale e l'uso delle mascherine, anche dopo la prima fase della pandemia, sono state le contromisure principali in quanto permettevano di limitare i contagi permettendo comunque alla gente di uscire di casa. Tutte queste contromisure hanno creato gravi danni all'economia del paese e alla vita personale dei cittadini. Dalla fase iniziale della pandemia si è capito che per gestirla al meglio era necessario effettuare il numero maggiore di tamponi possibili per monitorare al meglio la diffusione del virus ma ciò non era possibile in quanto non esistevano le tecnologie necessarie per testare milioni di persone al giorno. Da questa necessità sono nati i sistemi di Contact Tracing, sistemi che permettono di monitorare in modo anonimo e protetto i contatti sociali delle persone così da capire se sono entrate in contatto con persone infette dal COVID-19 e solo in quel caso effettuare un tampone in modo tale da verificare se sono stati contagiati o meno. Tutti i sistemi di Contact tracing sviluppati ad oggi hanno mostrato problemi relativi alla protezione dei dati, alla scarsa ed inefficace comunicazione e non hanno ridotto al meglio il numero di tamponi effettuati per rilevare realmente coloro che erano stati contagiati avendo quindi uno scarso utilizzo soprattutto a causa della poca fiducia degli utenti riguardo l'utilizzo dei loro dati ed al fatto che dovevano autodichiararsi positivi. Con questa tesi presenterò una nuova tecnica per effettuare il Contact Tracing che combina l'utilizzo del Group Testing all'utilizzo dell'IoT e delle reti per tracciare i contatti tra gli utenti ed il virus chiamata Asynchronous Contact Tracing. Mostrerò come è stato progettato e sviluppato e mostrerò le performance grazie a degli esperimenti reali.

Impossible Space circolare per favorire la locomozione naturale

In questa relazione di tesi verrà affrontato il problema della locomozione naturale in ambienti virtuali che possiedono una grandezza maggiore dello spazio reale nel quale l'utente si muove. Negli anni sono stati sviluppati numerosi metodi di navigazione, ma tra tutti la locomozione naturale è il sistema che porta un livello di immersione maggiore nello spazio virtuale, più di qualsiasi altra tecnica. In questo lavoro di tesi verrà proposto un algoritmo in grado di favorire la locomozione naturale all'interno di lunghi spazi chiusi, andando a modificare la geometria dello spazio virtuale (che andrà ad assumere una forma circolare) e mantendendo comunque un certo grado di realismo dal punto di vista dell'utente. L'obiettivo è quello di tradurre uno spazio virtuale chiuso e lungo (caso comune: un corridoio) in una forma circolare inscritta in una stanza di 2x2m, con un approccio simile a quello degli impossible spaces, con l'obiettivo di studiare in futuro entro quale percentuale di sovrapposizione l'utente si accorge di trovarsi in una geometria impossibile. Nel primo capitolo verranno introdotti i concetti chiave di VR e AR, nonché un'introduzione all'Engine Unity e al software Blender. Nel secondo capitolo si tratterà di computer graphics, quindi si introdurranno i concetti base della grafica 3D con un focus sulla matematica alla base di ogni processo grafico. Nel terzo capitolo verrà affrontano il concetto di embodiment, quindi la percezione del proprio corpo, l'importanza dell'immersitvità dei sistemi virtuali e verrà descritto un paper precedentemente realizzato riguardante tale concetto. Nel capitolo quattro si parlerà del movimento all'interno dei sistemi di realtà virtuale, della locomozione naturale e delle tecniche per rendere tale metodo più accessibile. Nel capitolo cinque infine verrà descritto l'algoritmo realizzato e verranno mostrati i risultati.

Proof of Location through a Blockchain Agnostic Smart Contract Language: Design and Evaluation over Algorand and Ethereum

Le applicazioni che offrono servizi sulla base della posizione degli utenti sono sempre più utilizzate, a partire dal navigatore fino ad arrivare ai sistemi di trasporto intelligenti (ITS) i quali permetteranno ai veicoli di comunicare tra loro. Alcune di questi servizi permettono perfino di ottenere qualche incentivo se l'utente visita o passa per determinate zone. Per esempio un negozio potrebbe offrire dei coupon alle persone che si trovano nei paraggi. Tuttavia, la posizione degli utenti è facilmente falsificabile, ed in quest'ultima tipologia di servizi, essi potrebbero ottenere gli incentivi in modo illecito, raggirando il sistema. Diviene quindi necessario implementare un'architettura in grado di impedire alle persone di falsificare la loro posizione. A tal fine, numerosi lavori sono stati proposti, i quali delegherebbero la realizzazione di "prove di luogo" a dei server centralizzati oppure collocherebbero degli access point in grado di rilasciare prove o certificati a quegli utenti che si trovano vicino. In questo lavoro di tesi abbiamo ideato un'architettura diversa da quelle dei lavori correlati, cercando di utilizzare le funzionalità offerte dalla tecnologia blockchain e dalla memorizzazione distribuita. In questo modo è stato possibile progettare una soluzione che fosse decentralizzata e trasparente, assicurando l'immutabilità dei dati mediante l'utilizzo della blockchain. Inoltre, verrà dettagliato un'idea di caso d'uso da realizzare utilizzando l'architettura da noi proposta, andando ad evidenziare i vantaggi che, potenzialmente, si potrebbero trarre da essa. Infine, abbiamo implementato parte del sistema in questione, misurando i tempi ed i costi richiesti dalle transazioni su alcune delle blockchain disponibili al giorno d'oggi, utilizzando le infrastrutture messe a disposizione da Ethereum, Polygon e Algorand.

I marchi DOP E IGP nel continente africano: due casi studio

Nei paesi in via di sviluppo la protezione delle indicazioni geografiche (IG) è considerata uno strumento utile e necessario per sostenere i prodotti di origine e per rafforzare i sistemi di produzione agroalimentare. Queste, infatti, grazie all’utilizzo di disciplinari di produzione e all’imposizione di determinati criteri riguardanti le tecniche di coltivazione, lavorazione e trasformazione del prodotto, permettono di rispettare standard qualitativi elevati. Ciò non determina solamente una maggiore qualità dei prodotti, e conseguente prestigio di questi, ma comporta anche una serie di benefici a livello economico, umanitario e di sviluppo. Infatti, grazie alla tutela conferita dalle IG i produttori sono in grado di ottenere una maggior consapevolezza riguardo ai sistemi di produzione, di migliorare le condizioni dei propri lavoratori/lavoratrici e, ottenendo un marchio di qualità, sono in grado di ricavare un prezzo di vendita più elevato, riscuotendo un maggiore guadagno. Sono pertanto stati presi in esame due prodotti che hanno già ottenuto una IG, Poivre de Penja e Rooibos, al fine di valutare i benefici e vantaggi ottenuti in seguito a tali certificazioni tramite una descrizione dello stato dell’arte dei loro disciplinari ed articoli.

Valorizzazione della sansa d'oliva: estrazione ed analisi della frazione fenolica

Il presente elaborato di tesi espone uno studio scientifico che ha come obbiettivo quello di valutare un metodo sostenibile per il recupero della frazione fenolica presente nella sansa d’oliva vergine, il sottoprodotto solido dell’industria olearia. L’attività di ricerca ha riguardato prove sperimentali di estrazione di tali composti minori polari da sanse d’oliva vergini successivamente caratterizzate con metodi analitici (Folin-Ciocâlteu, UHPLC-DAD). Lo scopo finale di questo studio è l’ottenimento di un estratto idroalcolico caratterizzato per il contenuto in componenti polari ad attività riducente, quali le molecole fenoliche; si intende quindi ottenere un semilavorato ad alto valore aggiunto che possa essere conferito successivamente all’industria alimentare, cosmetica, farmaceutica, per la produzione di prodotti funzionali con proprietà bioattive. Questo studio è orientato verso un concetto di innovazione di metodi efficaci per la valorizzazione di questi scarti. Il lavoro compiuto ha confermato la possibilità di valorizzare la sansa d’oliva in maniera sostenibile in un’ottica di economia circolare, con ottenimento di estratti idro-alcolici interessanti in termini di contenuto in composti ad attività riducente riconducibili, con molta probabilità, soprattutto a molecole a struttura fenolica. Gli studi preliminari sulle sanse hanno permesso di individuare il campione ideale da sottoporre al processo di valorizzazione, ovvero la sansa trifasica ma, salvo un costo maggioritario in termini energetici durante la fase di evaporazione dell’estratto filtrato, grazie al metodo messo a punto, possono essere valorizzate sanse sia bifasiche che trifasiche denocciolate. Le tecnologie considerate, quali ad esempio presse, sistemi di centrifugazione ed evaporazione e solventi “green’’ quali l’etanolo, suggeriscono la possibilità di uno scale-up a livello industriale per la produzione di estratti caratterizzati per il contenuto in composti riducenti e fenolici.

Integrazione di algoritmi di visione basati su flusso ottico per il controllo di un velivolo senza pilota

Il lavoro svolto in questa tesi si colloca nell’area della robotica aerea e della visione artificiale attraverso l’integrazione di algoritmi di visione per il controllo di un velivolo senza pilota. Questo lavoro intende dare un contributo al progetto europeo SHERPA (Smart collaboration between Humans and ground-aErial Robots for imProving rescuing activities in Alpine environments), coordinato dall’università di Bologna e con la compartecipazione delle università di Brema, Zurigo, Twente, Leuven, Linkopings, del CREATE (Consorzio di Ricerca per l’Energia e le Applicazioni Tecnologiche dell’Elettromagnetismo), di alcune piccole e medie imprese e del club alpino italiano, che consiste nel realizzare un team di robots eterogenei in grado di collaborare con l’uomo per soccorrere i dispersi nell’ambiente alpino. L’obiettivo di SHERPA consiste nel progettare e integrare l’autopilota all’interno del team. In tale contesto andranno gestiti problemi di grande complessità, come il controllo della stabilità del velivolo a fronte di incertezze dovute alla presenza di vento, l’individuazione di ostacoli presenti nella traiettoria di volo, la gestione del volo in prossimità di ostacoli, ecc. Inoltre tutte queste operazioni devono essere svolte in tempo reale. La tesi è stata svolta presso il CASY (Center for Research on Complex Automated Systems) dell’università di Bologna, utilizzando per le prove sperimentali una PX4FLOW Smart Camera. Inizialmente è stato studiato un autopilota, il PIXHAWK, sul quale è possibile interfacciare la PX4FLOW, in seguito sono stati studiati e simulati in MATLAB alcuni algoritmi di visione basati su flusso ottico. Infine è stata studiata la PX4FLOW Smart Camera, con la quale sono state svolte le prove sperimentali. La PX4FLOW viene utilizzata come interfaccia alla PIXHAWK, in modo da eseguire il controllo del velivolo con la massima efficienza. E’ composta da una telecamera per la ripresa della scena, un giroscopio per la misura della velocità angolare, e da un sonar per le misure di distanza. E’ in grado di fornire la velocità di traslazione del velivolo, e quest’ultima, integrata, consente di ricostruire la traiettoria percorsa dal velivolo.

Sistemi per la realizzazione di combustioni ad accensione per compressione mediante il controllo della reattività

Studio della combustione RCCI analizzando combinazioni di carburante, forma che ottimizza la combustione e sistemi per abbattere le emissioni di HC e CO.

Caratterizzazione energetica di sistemi a microcontrollore basati su tecnologia fram

In questo elaborato si riporta la caratterizzazione energetica di un sistema a microcontrollore basato su tecnologia FRAM. Sono state analizzate le innovazioni e i vantaggi portati dall'introduzione della memoria FRAM, le migliori configurazioni di funzionamento del microcontrollore studiato al fine di raggiungere consumi energetici di sistema il più basso possibile.