Su alcune applicazioni del teorema di Stokes

Nel lavoro si dimostrano il Teorema della Divergenza e il Teorema di Stokes e le sue generalizzazioni a una curva chiusa di ordine k e a una varietà M, n-dimensionale, orientata con bordo. Successivamente si espongono due applicazioni alla fisica: l'elettromagnetismo e la formula del rotore. Nel primo caso si mostra come applicando il Teorema alle leggi di Biot-Savarat e di Faraday si ottengono le equazioni di Maxwell; nel secondo invece si osserva come il rotore rappresenti la densità superficiale di circuitazione.

Meccanica classica e meccanica quantistica nel formalismo della geometria differenziale

Si fornisce un'introduzione al formalismo geometrico della meccanica classica e quantistica, studiando dapprima lo spazio delle fasi come varietà simplettica ricavando le equazioni di Hamilton. Si descrivono in seguito gli strumenti necessari per operare in uno spazio di Hilbert, i quali risultano più complessi di quelli utilizzati per descrivere lo spazio delle fasi classico. In particolare notiamo l'esigenza di definire anche una struttura riemanniana sugli spazi complessi per poter ivi definire il prodotto scalare, le parentesi e i commutatori simmetrici.

Studio dell'effetto di diverse condizioni di tostatura sulle proprieta fisico-chimiche e biochimiche di nocciole polacche (coryllus avellana l. Var. Katalonski)

In questo lavoro di tesi è stata valutata l’influenza della tostatura a diverse condizioni di tempo e temperatura sulle principali caratteristiche qualitative di nocciole polacche (Coryllus avellana L.) di varietà Kataloński. In particolare, le prove di tostatura sono state condotte a due differenti temperature, 130 e 160 °C, ognuna delle quali applicata rispettivamente per tre diversi tempi: 40, 50, 60 e 20, 25, 30 minuti. Al fine di definire le condizioni ottimali di tostatura, i campioni ottenuti sono stati sottoposti ad analisi colorimetrica (L*,a*,b*), dell’attività dell’acqua e del contenuto in acqua (%). Inoltre, per ottenere un quadro completo della qualità delle diverse nocciole tostate, è stato valutato anche il loro contenuto in composti bioattivi per mezzo della determinazione del contenuto in fenoli totali (metodo del Folin-Ciocalteu), dei singoli composti fenolici (HPLC-MS) e dell’attività antiossidante (metodo dell’ABTS·+). In seguito ad estrazione della frazione lipidica, è stato determinato anche il contenuto in tocoferoli (HPLC-FLD) e lo stato ossidativo delle nocciole tostate per mezzo dell’analisi del numero di perossidi. Infine è stato studiato anche l’effetto della tostatura sullo sviluppo di composti volatili (GC-MS), caratteristici dell’aroma tipico delle nocciole tostate. Questo studio rappresenta un importante screening di valutazione delle nocciole tostate a diversi tempi e temperature e mostra come la temperatura sia un parametro molto importante, con una forte influenza sulle caratteristiche compositive e sensoriali del prodotto finito. Sulla varietà Kataloński non sono presenti lavori in letteratura, questo studio quindi rappresenta una novità per quanto riguarda questa specifica varietà. Le numerose analisi svolte, poi, consentono un ampio quadro dei fenomeni che si verificano durante la tostatura.

Sistema Multi Smart-Camera per la localizzazione e la guida di un drone

Con un sistema di multivisione correttamente installato e calibrato, si è tracciato il moto di un drone a seguito di operazioni di triangolazione e ne si è controllata automaticamente la traiettoria.

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.

Laplace operator on finite graphs and a network diffusion model for the progression of the Alzheimer disease

Nella tesi viene descritto il Network Diffusion Model, ovvero il modello di A. Ray, A. Kuceyeski, M. Weiner inerente i meccanismi di progressione della demenza senile. In tale modello si approssima l'encefalo sano con una rete cerebrale (ovvero un grafo pesato), si identifica un generale fattore di malattia e se ne analizza la propagazione che avviene secondo meccanismi analoghi a quelli di un'infezione da prioni. La progressione del fattore di malattia e le conseguenze macroscopiche di tale processo(tra cui principalmente l'atrofia corticale) vengono, poi, descritte mediante approccio matematico. I risultati teoretici vengono confrontati con quanto osservato sperimentalmente in pazienti affetti da demenza senile. Nella tesi, inoltre, si fornisce una panoramica sui recenti studi inerenti i processi neurodegenerativi e si costruisce il contesto matematico di riferimento del modello preso in esame. Si presenta una panoramica sui grafi finiti, si introduce l'operatore di Laplace sui grafi e si forniscono stime dall'alto e dal basso per gli autovalori. Al fine di costruire una cornice matematica completa si analizza la relazione tra caso discreto e continuo: viene descritto l'operatore di Laplace-Beltrami sulle varietà riemanniane compatte e vengono fornite stime dall'alto per gli autovalori dell'operatore di Laplace-Beltrami associato a tali varietà a partire dalle stime dall'alto per gli autovalori del laplaciano sui grafi finiti.

Openflow e software-defined networking: l'evoluzione della rete programmabile

Il paradigma “Software-Defined Networking” (SDN) ha suscitato recentemente interesse grazie allo sviluppo e all'implementazione di uno standard tecnologico come OpenFlow. Con il modello SDN viene proposta una rete programmabile tramite la separazione dell’unità di controllo e l'unità di instradamento, rendendo quindi i nodi di rete (come ad es. router o switch) esclusivamente hardware che inoltra pacchetti di dati secondo le regole dettate dal controller. OpenFlow rappresenta lo standard dominante nella tecnologia SDN in grado di far comunicare l'unità controller e l'hardware di uno o più nodi di rete. L'utilizzo di OpenFlow consente maggiore dinamicità e agevolazione nella personalizzazione della rete attraverso un'interfaccia utente, includendo svariate funzioni quali la modifica e l’automatizzazione delle regole di instradamento, la creazione di una rete virtuale dotata di nodi logici o la possibilità di monitorare il traffico accrescendo la sicurezza della propria rete.

Analisi topologico-computazionale della perfusione di tessuti in tomografia computerizzata

Lo scopo di questa tesi è quello di presentare l'applicazione di tecniche legate alla Teoria di Taglia a un problema di analisi di immagini biomediche. Il lavoro nasce dalla collaborazione del gruppo di Matematica della Visione dell'Università di Bologna, con il progetto PERFECT del Centro di Ricerca ARCES. La tesi si pone quindi come analisi preliminare di approccio alternativo ai metodi preesistenti. I metodi sono principalmente di Topologia Algebrica Applicata, ambito emergente e rilevante nel mondo della Matematica Computazionale. Il nucleo dell'elaborazione è costituito dall'analisi di forma dei dati per mezzo di Funzioni di Taglia. Questa nozione è stata introdotta nel 1999 da Patrizio Frosini e in seguito sviluppata principalmente dallo stesso, Massimo Ferri, Claudia Landi e altri collaboratori appartenuti al Gruppo di Ricerca di Matematica della Visione dell'Università di Bologna.

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.

Medicina interventistica: Sviluppo di un concentratore di dati clinico-strumentali con applicazioni in telemedicina

Un limite rilevante delle apparecchiature elettromedicali presenti in una comune sala operatoria/interventistica è rappresentato dal fatto che le informazioni clinico-strumentali che esse sono in grado di fornire vengono gestite localmente in maniera indipendente: ogni fabbricante di apparecchiatura medica, infatti, sviluppa standard proprietari per l’acquisizione, la presentazione e l’archiviazione dei dati. Ci si chiede se sia possibile una gestione globale, sincronizzata e personalizzata, delle informazioni clinico-strumentali acquisibili da diverse strumentazioni presenti nel medesimo contesto operatorio. La soluzione di SparkBio S.r.l. per colmare il gap esistente in materia di gestione di informazioni clinico-strumentali di sala è quella di concentrare le uscite video e le uscite analogiche dei vari dispositivi e visualizzarle contemporaneamente su di un unico monitor master. Il monitor master sarà suddiviso tramite una griglia in diversi settori ed ogni area predisposta per visualizzare il segnale video o analogico di un dispositivo presente in sala. Avendo a disposizione un’apparecchiatura con questa potenzialità, le applicazioni risultano innumerevoli: l’archiviazione di un unico file contenente la registrazione sincronizzata dei segnali delle varie sorgenti permette di documentare l’intera esecuzione della procedura al fine di una sua successiva visione e distribuzione: il confronto congiunto, fatto a posteriori, di parametri acquisiti da strumenti diversi rende possibile valutare particolari eventi; la condivisione con la comunità scientifica rende possibile la diffusione del sapere in materia di chirurgia. Inoltre la disponibilità di una collezione di dati concentrati in un’unica workstation apre la strada ad applicazioni nel campo della telemedicina: la condivisione a distanza delle varie sorgenti raccolte e sincronizzate via WEB, tramite l’integrazione di un software per videoconferenza, permette di realizzare supporto remoto, e-learning, telementoring e teleproctoring. L’obiettivo di questa tesi è analizzare il processo di sviluppo di questo nuovo dispositivo medico denominato “OneView”, per poi passare alla progettazione di scenari specifici applicabili a diverse procedure chirurgiche.

Analisi di algoritmi per reti di sensori radar uwb basati su misure sperimentali

In un sistema radar è fondamentale rilevare, riconoscere e cercare di seguire il percorso di un eventuale intruso presente in un’area di osservazione al fine ultimo della sicurezza, sia che si consideri l’ambito militare, che anche quello civile. A questo proposito sono stati fatti passi avanti notevoli nella creazione e sviluppo di sistemi di localizzazione passiva che possano rilevare un target (il quale ha come unica proprietà quella di riflettere un segnale inviato dal trasmettitore), in modo che esso sia nettamente distinto rispetto al caso di assenza dell’intruso stesso dall’area di sorveglianza. In particolare l’ultilizzo di Radar Multistatico (ossia un trasmettitore e più ricevitori) permette una maggior precisione nel controllo dell’area d’osservazione. Tra le migliori tecnologie a supporto di questa analisi vi è l’UWB (Ultra Wide-Band), che permette di sfruttare una banda molto grande con il riscontro di una precisione che può arrivare anche al centimetro per scenari in-door. L’UWB utilizza segnali ad impulso molto brevi, a banda larga e che quindi permettono una risoluzione elevata, tanto da consentire, in alcune applicazioni, di superare i muri, rimuovendo facilmente gli elementi presenti nell’ambiente, ossia il clutter. Quindi è fondamentale conoscere algoritmi che permettano la detection ed il tracking del percorso compiuto dal target nell’area. In particolare in questa tesi vengono elaborati nuovi algoritmi di Clustering del segnale ricevuto dalla riflessione sull’intruso, utilizzati al fine di migliorare la visualizzazione dello stesso in post-processing. Infine questi algoritmi sono stati anche implementati su misure sperimentali attuate tramite nodi PulsOn 410 Time Domain, al fine ultimo della rilevazione della presenza di un target nell’area di osservazione dei nodi.

Un teorema di immersione di Whitney

Nella tesi vengono introdotte le varietà differenziabili per poter trattare un problema di immergibilità di varietà differenziabili. Viene data una dimostrazione di un teorema di Whitney nel caso di varietà differenziabili compatte. Il teorema stabilisce che per una varietà compatta di dimensione n esiste un embedding nello spazio euclideo di dimensione 2n+1. Whitney stesso ha migliorato questo risultato, dimostrando che una varietà differenziabile può essere immersa tramite un embedding nello spazio euclideo di dimensione 2n. Nella tesi vengono dati alcuni esempi di questo miglioramento del teorema.

Sviluppo e test di una rete di sensori indossabili per il monitoraggio e la riabilitazione di pazienti affetti da morbo di parkinson

Il recente sviluppo commerciale di smartphone, tablet e simili dispositivi, ha portato alla ricerca di soluzioni hardware e software dotate di un alto livello di integrazione, in grado di supportare una potenza di calcolo e una versatilità di utilizzo sempre più crescenti, pur mantenendo bassi i consumi e le dimensioni dei dispositivi. Questo sviluppo ha consentito parallelamente a simili tecnologie di trovare applicazione in tanti altri settori, tra i quali quello biomedicale. Il lavoro esposto in questa tesi si inserisce nel contesto appena descritto e, in particolare, consiste nello sviluppo di un sistema WBAN ideato per garantire maggiore flessibilità, controllo e personalizzazione nella terapia riabilitativa dei pazienti affetti da Morbo di Parkinson. In questo campo è stata dimostrata l'efficacia, in termini di miglioramento delle condizioni di vita dell'individuo, dell'esercizio fisico e in particolare di una serie di fisioterapie riabilitative specifiche. Tuttavia manca ancora uno strumento in grado di garantire più indipendenza, continuità e controllo,per le persone affette da MP, durante l'esecuzione di questi esercizi; senza che sia strettamente necessario l'intervento di personale specializzato per ogni seduta fisioterapeutica. Inoltre manca un sistema che possa essere comodamente trasportato dal paziente nelle attività di tutti i giorni e che consenta di registrare e trasmettere eventi particolari legati alla patologia, come blocchi motori e cadute accidentali. Il presente lavoro di tesi tratta della realizzazione di un Firmware per la gestione di un Nodo Centrale che funge da master in una rete WBAN a tre nodi. L'obbiettivo è quello di integrare in tale firmware le funzioni di acquisizione dati dai sensori on-board, comunicazione tra i nodi della rete e gestione delle periferiche hardware secondarie; in particolare per lo sviluppo è stato usato un Sistema Operativo Real-Time (RTOS) del quale sono esposti vantaggi e svantaggi dell’utilizzo.

English as a lingua franca (elf): Un caso di studio sulle linee guida per gli autori di articoli scientifici.

La lingua inglese ha subito negli ultimi secoli una diffusione senza precedenti e viene oggi utilizzata in tutto il mondo come mezzo di comunicazione. Da questo fenomeno inedito emergono nuove prospettive di ricerca; le lingue sono infatti in continua evoluzione e si modificano attraverso l’uso. La lingua inglese, così largamente utilizzata in tutto il mondo, si sta quindi trasformando, e presenta oggi ai ricercatori aspetti originali ed innovativi. L’utilizzo dell’inglese come mezzo di comunicazione tra parlanti appartenenti a diverse linguaculture viene chiamato “ELF”, English as a Lingua Franca. Lo scopo di questa tesi è di esporre i punti fondamentali delle ricerche degli ultimi anni sull’argomento e di realizzare un piccolo studio di caso su questo tema. Lo studio avrà come oggetto le linee guida per gli autori di articoli scientifici fornite da un campione di 100 riviste specialistiche, che sono state esaminate al fine di individuare riferimenti alla lingua inglese, alle sue varietà e a parlanti nativi e non nativi. L’obbiettivo sarà quindi quello di ottenere un idea generale sulla posizione dei parlanti non nativi all’interno della comunità scientifica.

Simulated switching of the resting state functional connectivity in mouse brain using a real mesoscale connectome

Capire come modellare l'attività del cervello a riposo, resting state, è il primo passo necessario per avvicinarsi a una reale comprensione della dinamica cerebrale. Sperimentalmente si osserva che, quando il cervello non è soggetto a stimoli esterni, particolari reti di regioni cerebrali presentano un'attività neuronale superiore alla media. Nonostante gli sforzi dei ricercatori, non è ancora chiara la relazione che sussiste tra le connessioni strutturali e le connessioni funzionali del sistema cerebrale a riposo, organizzate nella matrice di connettività funzionale. Recenti studi sperimentali mostrano la natura non stazionaria della connettività funzionale in disaccordo con i modelli in letteratura. Il modello implementato nella presente tesi per simulare l'evoluzione temporale del network permette di riprodurre il comportamento dinamico della connettività funzionale. Per la prima volta in questa tesi, secondo i lavori a noi noti, un modello di resting state è implementato nel cervello di un topo. Poco è noto, infatti, riguardo all'architettura funzionale su larga scala del cervello dei topi, nonostante il largo utilizzo di tale sistema nella modellizzazione dei disturbi neurologici. Le connessioni strutturali utilizzate per definire la topologia della rete neurale sono quelle ottenute dall'Allen Institute for Brain Science. Tale strumento fornisce una straordinaria opportunità per riprodurre simulazioni realistiche, poiché, come affermato nell'articolo che presenta tale lavoro, questo connettoma è il più esauriente disponibile, ad oggi, in ogni specie vertebrata. I parametri liberi del modello sono stati scelti in modo da inizializzare il sistema nel range dinamico ottimale per riprodurre il comportamento dinamico della connettività funzionale. Diverse considerazioni e misure sono state effettuate sul segnale BOLD simulato per meglio comprenderne la natura. L'accordo soddisfacente fra i centri funzionali calcolati nel network cerebrale simulato e quelli ottenuti tramite l'indagine sperimentale di Mechling et al., 2014 comprovano la bontà del modello e dei metodi utilizzati per analizzare il segnale simulato.