Lo spettro di alcuni oscillatori non commutativi

Questa tesi si occupa della teoria spettrale di certi sistemi di equazioni ordinarie chiamati oscillatori non commutativi. Dopo avere introdotto i fondamenti necessari per la teoria vengono dimostrati alcuni teoremi qualitativi sullo spettro di tali sistemi.

Terminologia accademico-istituzionale in inglese lingua franca: Revisione del database terminologico dell'università di Bologna.

Il presente lavoro rientra nella cornice dei progetti volti ad agevolare la traduzione e produzione da parte delle Università italiane di contenuti online e documentazione ufficiale anche in ELF, in modo da renderli più facilmente accessibili a livello internazionale. Uno strumento utile a questo scopo, di cui molte università si stanno dotando, è un supporto terminologico relativo al dominio accademico-istituzionale. Questo elaborato si suddivide in sei capitoli. Il primo capitolo, di introduzione, è seguito dal capitolo 2, che presenta la terminologia come disciplina, offre una descrizione dei concetti della terminologia classica rilevanti per il lavoro, seguita da una panoramica degli strumenti di sistematizzazione della conoscenza utilizzati. Il capitolo 3 introduce il processo europeo di riforma dei sistemi di istruzione superiore, che ha motivato la creazione da parte di diverse università europee di strumenti di gestione della terminologia accademico-istituzionale. Vengono anche illustrate alcune Banche Dati terminologiche reperite presso altre università europee. Segue l’analisi dei progetti avviati dall’Università di Bologna, in particolare della Banca Dati di terminologia riferita alla Didattica e all’Organizzazione dell’Ateneo creata dall’Ufficio Relazioni Internazionali. All’interno del capitolo 4 viene descritto il lavoro di analisi delle fonti utilizzate durante la creazione della Banca Dati. Il capitolo 5 introduce le fonti aggiuntive utilizzate nel processo di revisione e compilazione, ovvero i corpora specialistici di dominio accademico-istituzionale, e descrive il processo di analisi metodologica e le modifiche strutturali implementate sulla Banca Dati originale, per poi illustrare le modalità di ricerca e di compilazione dei campi della Banca Dati. L’ultimo capitolo descrive la Banca Dati finale, riassumendo brevemente i risultati del lavoro svolto e presentando la proposta del metodo di assegnazione della tipologia di scheda terminologica a ciascun termine in base alle sue caratteristiche funzionali come punto di riferimento per la successiva compilazione delle restanti sezioni della Banca Dati.

La navigazione neurochirurgica: analisi della tecnologia nello studio di un caso clinico reale

L’avvento delle tecniche di imaging volumetrico, quali la CT (Computed Tomography) e la MRI (Magnetic Resonance Investigation), ha portato ad un crescente interesse verso applicazioni di guida chirurgica che utilizzano processi di allineamento delle immagini diagnostiche provenienti da diverse modalità e di tecniche che ne permettono la visualizzazione in sala operatoria, in modo da fornire al chirurgo il maggior numero di informazioni cliniche possibili durante un intervento. Il crescente interesse verso questo tipo di applicazioni è dovuto anche allo sviluppo di dispositivi di imaging intra-operatorio quali archi a C-mobili radiologici, PC ad alte prestazioni e convertitori A/D 3D con precisione clinicamente accettabile. Questi ultimi due hanno conseguentemente portato a sviluppare ed implementare software dedicati alla pianificazione di un intervento chirurgico, permettendo quindi di elaborare digitalmente le immagini diagnostiche e ricostruire un modello che rappresenta l’effettiva anatomia del paziente. Questo processo nel suo complesso ha portato allo sviluppo di quelli che oggi vengono chiamati sistemi di navigazione chirurgica, abbreviati talvolta in IGSS (Imaging-Guided Surgery Systems), sistemi ovvero che permettono di utilizzare immagini pre-operatorie come guida durante la pratica chirurgica, caratterizzando quindi nuovi metodi di approccio alla chirurgia, le IGS (Image-Guided Surgery) appunto.

Sviluppo di una piattaforma software per acquisizione dati da un sistema di misura di impedenze

Il progetto è il proseguimento di una tesi di laurea1 in cui si è studiato un metodo di analisi della salute della pelle non invasivo. A tale scopo si è approfondito il tema della spettroscopia d'impedenza ed è stato realizzato un sistema per la loro misura. Questo sistema prevede l'utilizzo di una parte analogica formata da un generatore di segnale sinusoidale a frequenza variabile e la circuiteria per estrarre i valori efficaci di tensione e corrente e il valore di fase. La parte digitale, invece, condiziona il segnale del blocco analogico agendo su trimmer digitali, acquisisce i dati e li trasmette tramite la UART. Lo strumento effettuava le misurazioni ed inviava continuamente i dati grezzi al computer, tramite un convertitore UART/USB, risultando poco versatile. L'obiettivo del progetto è realizzare una piattaforma software che comunichi con l'hardware, permettendo la configurazione dello strumento e la manipolazione dei dati grezzi ricevuti, svincolando quindi l'utente dai problemi di basso livello. Si è studiato un protocollo di comunicazione che permette la trasmissione di maggiore informazione e sono stati scelti dei comandi mnemonici che lo strumento possa facilmente interpretare. Il progetto prevede quindi una prima fase di modifica del vecchio firmware, in modo che il microcontrollore possa leggere e comprendere i dati ricevuti tramite la UART. Nella seconda fase si è sviluppato il software utilizzando il linguaggio di programmazione Java. Lo sviluppo comprende lo studio delle librerie grafiche offerte da JavaFX (soprattutto per la rappresentazione dei dati grezzi in grafici a due assi), di un metodo di gestione e salvataggio su disco delle impostazioni del sistema, della comunicazione seriale e infine del sistema software nella sua completezza. Alcune prove sperimentali sono infine state svolte per verificare la funzionalità dei due sistemi, firmware e software.

Uso di 3d slicer in ambito di ricerca clinica: Una revisione critica delle esperienze di riferimento

Negli ultimi 20 anni il progresso tecnologico ha segnato un profondo cambiamento in svariati ambiti tra i quali quello della Sanità in cui hanno preso vita apparecchiature diagnostiche, cosiddette “digitali native”, come la Tomografia Computerizzata (TC), la Tomografia ad Emissione di Positroni (PET), la Risonanza Magnetica Nucleare (RMN), l’Ecografia. A differenza delle diagnostiche tradizionali, come ad esempio la Radiologia convenzionale, che forniscono come risultato di un esame un’immagine bidimensionale ricavata dalla semplice proiezione di una struttura anatomica indagata, questi nuovi sistemi sono in grado di generare scansioni tomografiche. Disporre di immagini digitali contenenti dati tridimensionali rappresenta un enorme passo in avanti per l’indagine diagnostica, ma per poterne estrapolare e sfruttare i preziosi contenuti informativi occorrono i giusti strumenti che, data la natura delle acquisizioni, vanno ricercati nel mondo dell’Informatica. A tal proposito il seguente elaborato si propone di presentare un software package per la visualizzazione, l’analisi e l’elaborazione di medical images chiamato 3D Slicer che rappresenta un potente strumento di cui potersi avvalere in differenti contesti medici. Nel primo capitolo verrà proposta un’introduzione al programma; Seguirà il secondo capitolo con una trattazione più tecnica in cui verranno approfondite alcune funzionalità basilari del software e altre più specifiche; Infine nel terzo capitolo verrà preso in esame un intervento di endoprotesica vascolare e come grazie al supporto di innovativi sistemi di navigazione chirurgica sia possibile avvalersi di 3D Slicer anche in ambiente intraoperatorio

Analisi preliminare di missione per lanci aviotrasportati di microsatelliti

Il presente lavoro di tesi si propone di analizzare e dimensionare una missione in orbita bassa per due microsatelliti di osservazione terrestre. I microsatelliti si stanno attualmente diffondendo su larga scala, grazie principalmente ai vantaggi economici garantiti dal fatto di lavorare con masse ridotte. Parallelamente alla diffusione dei microsatelliti, stanno nascendo numerosi progetti per lo sviluppo di sistemi di aviolancio, che consentono di attuare i vantaggi dei microsatelliti anche nella fase più dispendiosa della missione, cioè la messa in orbita. Vengono, inizialmente, introdotti i sistemi coinvolti nella missione, cioè l’aviolanciatore Pegasus XL, due microsatelliti del peso di 100 kg ciascuno, e un motore elettrico ad effetto Hall per ciascun satellite, usato per il trasferimento orbitale. Si introducono poi brevemente le equazioni del moto del razzo e alcuni cenni di meccanica celeste, specialmente quello che riguarda la definizione dei parametri orbitali. Segue la vera e propria analisi di missione, divisa in due parti: la prima relativa alla fase di aviolancio, con l’obbiettivo di stabilire se effettivamente il lanciatore è in grado di portare il payload prestabilito nell’orbita circolare di parcheggio, e di dimensionare alcune variabili di volo, quali l’angolo di traiettoria iniziale e i due tempi di coasting dovuti allo sgancio degli stadi del razzo; la seconda parte verte invece sull’analisi della missione in orbita, specialmente sul trasferimento a bassa spinta dall’orbita di partenza a quella target, tramite il motore ad effetto Hall. Anche in questo caso si vuole verificare se le prestazioni del motore elettrico sono adeguate al tipo di missione.

Pirateria marittima: Analisi dei profili privatistici

Anche la clausola Institute International Hull Clause contiene la clausola Sue and Labor Clause secondo cui le spese che sono intercorse per cercare di minimizzare la perdita saranno coperte dall’assicuratore. Comunque anche se la Sue and Labor Clause non fosse presente in una polizza assicurativa, l’assicuratore potrebbe avere l’obbligo di rimborsare l’assicurato per le misure prese affinché si evitasse la perdita, come se gli garantisse un benefit. Per meglio comprendere le argomentazioni su esposte, conviene ricordare il caso giudiziario australiano Emperor Goldmining Co. Ltd. v. Switzerland General Ins. Co. Ltd., secondo cui sostanzialmente l’assenza di una clausola Sue and Labour dalla polizza non significa addossare sul ricorrente le spese.

Rilevamento di dettaglio della zona del Passo Val Clapa (Austroalpino superiore, Alta Val di Non)

Questo elaborato ha come obiettivo il rilevamento geologico di dettaglio di alcuni affioramenti del basamento polimetamorfico della Falda del Tonale, nella zona del Passo Val Clapa (Alta Val di Non, TN), e di verificare l’attribuzione delle litologie all’Unità d’Ultimo, di alto grado metamorfico, o a quella del Tonale, di più basso grado. In due affioramenti nelle immediate vicinanze del Passo Val Clapa sono stati rinvenuti principalmente gneiss e gneiss migmatitici a granato e cianite, anfiboliti e miloniti, mentre in un affioramento a E del passo gneiss migmatitici a granato e cianite, migmatiti (stromatiti e nebuliti) e ultramafiti. Le foliazioni, definite dall’orientazione preferenziale dei minerali, indicano due direzioni principali: un’orientazione NNE-SSW, immergente verso ESE, rilevata nelle rocce milonitiche, che è stata correlata alla presenza della linea della Val Clapa; un’orientazione NW-SE, immergente verso NE, insieme ad una blanda piega con asse orientato NNE-SSW, rilevata nelle ultramafiti e nelle loro rocce incassanti. Sono state inoltre misurate le giaciture dei principali set di fratture che interessano gli ammassi ed è stata documentata la presenza di pseudotachiliti all’interno delle miloniti. Il corpo ultramafico è stato cartografato al contatto fra stromatiti e nebuliti e quindi all’interno dell’Unità d’Ultimo. Le miloniti, invece, rimangono di attribuzione incerta, anche se il loro ritrovamento in associazione con anfiboliti retrocesse in facies scisti verdi e di pegmatiti faccia propendere per un’assegnazione all’Unità del Tonale. Un’analisi di dettaglio degli gneiss affioranti nelle vicinanze delle miloniti permetterebbe di classificarli come paragneiss a sillimanite, caratteristici dell’Unità del Tonale, o come paragneiss a granato e cianite, diagnostici dell’Unità d’Ultimo, contribuendo alla corretta attribuzione geologica di questi terreni.

Applicazioni di tecnologie IoT e wearable alla domotica: un caso di studio

Oggigiorno milioni di persone fanno uso di Internet per gli utilizzi più disparati: dalla ricerca di informazioni sul Web al gioco online; dall'invio e ricezione di email all'uso di applicazioni social e tante altre attività. Mentre milioni di dispositivi ci offrono queste possibilità, un grande passo in avanti sta avvenendo in relazione all'uso di Internet come una piattaforma globale che permetta a oggetti di tutti i giorni di coordinarsi e comunicare tra di loro. È in quest'ottica che nasce Internet of Things, l'Internet delle cose, dove un piccolo oggetto come un braccialetto può avere un grande impatto nel campo medico per il monitoraggio da remoto di parametri vitali o per la localizzazione di pazienti e personale e l'effettuazione di diagnosi da remoto; dove un semplice sensore ad infrarosso può allertarci a distanza di una presenza non autorizzata all'interno della nostra abitazione; dove un'autovettura è in grado di leggere i dati dai sensori distribuiti sulla strada. Questa tesi vuole ripercorrere gli aspetti fondamentali di Internet of Things, dai sistemi embedded fino alla loro applicazione nella vita odierna, illustrando infine un progetto che mostra come alcune tecnologie IoT e wearable possano integrarsi nella domotica, come per esempio l'utilizzo di uno smartwatch, come Apple Watch, per il controllo dell'abitazione.

Morphing di immagini digitali

Valutazione della fattibilità dell’alterazione di immagini contenenti il volto di un individuo con il fine di ingannare sistemi automatici per la verifica dell’identità del possessore di un documento elettronico.

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.