BIRD-A: una piattaforma per la creazione di interfacce Web basate su ontologie per l'authoring di dati RDF

Lo scopo del progetto Bird-A è di mettere a disposizione uno strumento basato su ontologie per progettare un'interfaccia web collaborativa di creazione, visualizzazione, modifica e cancellazione di dati RDF e di fornirne una prima implementazione funzionante. La visione che sta muovendo la comunità del web semantico negli ultimi anni è quella di creare un Web basato su dati strutturati tra loro collegati, più che su documenti. Questo modello di architettura prende il nome di Linked Data ed è basata sulla possibilità di considerare cose, concetti, persone come risorse identificabili tramite URI e di poter fornire informazioni e descrivere collegamenti tra queste risorse attraverso l'uso di formati standard come RDF. Ciò che ha però frenato la diffusione di questi dati strutturati ed interconnessi sono stati gli alti requisiti di competenze tecniche necessarie sia alla loro creazione che alla loro fruizione. Il progetto Bird-A si prefigge di semplificare la creazione e la fruizione di dati RDF, favorendone la condivisione e la diffusione anche fra persone non dotate di conoscenze tecniche specifiche.

Cookgle, architettura a basso livello di un motore di ricerca per ricette culinarie

La realizzazione di un motore di ricerca per uno specifico ambito documentale comporta molte scelte. Questo documento intende esplicarne problemi riscontrati e soluzioni ottenute durante la realizzazione di un motore di ricerca per ricette culinarie. Questa dissertazione illustra il problema sia da un punto di vista architetturale che implementativo, in particolare, la tesi tratta sia del design pattern MVC, usato come base del progetto, che di algoritmi di stemming e ranking.

Cookgle, motore di ricerca per ricette culinarie

Cookgle e il prototipo di un motore di ricerca per ricette culinarie. Scopo della dissertazione e mostrare i punti chiave e i problemi riscontrati durante la progettazione dell'applicativo per l'architettura ad alto livello. Questo concept rappresenta il primo mattone delle successive costruzioni, volte ad ottenere un motore di ricerca per ricette culinarie in grado di indicizzare tutte le ricette presenti nel web.

Bed management: studio di fattibilità per la creazione di un modello applicabile al sistema sanitario emiliano-romagnolo

Da qualche anno gli standard di posti letto ospedalieri tendono a ridursi. È in corso un processo di ristrutturazione e riorganizzazione dell’azione ospedaliera che trova le sue ragioni nella necessità di calare la spesa del servizio sanitario. Questo fatto porta alla conclusione che la risorsa “posti letto” stia diventando sempre di più una risorsa limitata, che necessiti di una gestione attenta, precisa e ponderata. Da un punto di vista manageriale, capire le inefficienze e i modi in cui questa risorsa si interfaccia con la restante realtà ospedaliera è cruciale per poter attuare giuste politiche sanitarie. L’obiettivo di questa tesi consiste nella valutazione delle specifiche per la costruzione di un modello da applicare al sistema sanitario emiliano-romagnolo, compiendo una gap analysis su dati ufficiali forniti direttamente dal SS dell’Emilia-Romagna. Per la creazione del modello applicato ai posti letto ospedalieri il lavoro è proceduto prendendo in considerazione l’attuale modello in uso in regione [3] “Pianificazione tattica delle sale operatorie: un modello di ottimizzazione in ambito regionale. Margherita Vitali. 2014”. La creazione del modello oggetto di questa tesi è avvenuta attraverso l’ampliamento del modello [3]. Le modifiche proposte hanno avuto come scopo l’ottenimento di un modello dipendente dalla risorsa posti letto a valle delle sale operatorie. I vincoli aggiuntivi conferiscono una maggiore completezza al modello [3] ampliandone le vedute sulla filiera ospedaliera.

Analisi e confronto di elettrodi per l'acquisizione di biopotenziali nei sistemi indossabili

L’uso di sistemi wearable nell’ambito dell’acquisizione dei segnali biomedici è oggigiorno oggetto di grande interesse. Il loro uso si estende dal monitoraggio di parametri vitali per finalità cliniche al controllo delle dinamiche funzionali del corpo umano nel vivere quotidiano, grazie agli specifici segnali emessi dall’organismo, quali ECG ed EMG. Questa tesi, in particolar modo, riguarda le acquisizioni di segnali EMG, ovvero quelli emessi dalla muscolatura in concomitanza di movimenti, e descrive le modalità con cui essi possono essere acquisiti tramite elettrodi dry ed elettrodi wet. Nello specifico, i risultati ottenuti dai diversi approcci vengono confrontati e viene dimostrato il fatto che vi siano consistenti potenzialità nello sviluppo di sistemi per il riconoscimento di gesti che facciano affidamento sugli elettrodi dry, i quali presentano notevoli vantaggi applicativi rispetto alla controparte di tipo wet, la cui affidabilità in tale ambito è stata ampiamente confermata nel corso degli ultimi anni.

PhiloEditor 3.0 : un web editor per la ricerca filologica

All'interno della presente dissertazione vengono illustrate le scelte progettuali e l'implementazione dell'applicazione "PhiloEditor 3.0", un web editor per lo studio filologico delle variati d'autore.

Recente evoluzione tecnologica dei Defibrillatori Impiantabili per stimolazione cardiaca

Il cuore è uno dei principali organi vitali dell’organismo umano e la sua fisiologica attività è indispensabile per sostenere uno stile di vita conforme alle esigenze del singolo individuo. Le aritmie cardiache, alterazioni del ritmo, possono compromettere o limitare la vita di un paziente che ne è affetto. Specifiche aritmie cardiache vengono trattate con l’impianto di dispositivi cardiaci impiantabili, i defibrillatori, che generano una stimolazione elettrica nel tessuto cardiaco allo scopo di ripristinare un ritmo cardiaco fisiologico. Il presente elaborato descrive come tali dispositivi siano in grado di correggere le aritmie cardiache, garantendo la sicurezza del paziente e permettendogli di svolgere le normali attività quotidiane . Il primo capitolo andrà ad analizzare il cuore dal punto di vista anatomico e fisiologico per capirne il funzionamento non affetto da patologie. Il secondo capitolo concentrerà l’analisi sui defibrillatori impiantabili per stimolazione cardiaca (ICD), facendo luce sulla storia, sulle funzioni primarie,sui componenti interni,sulle patologie legate all’utilizzo,sulle tipologie presenti in commercio e sul metodo d’impianto. Il terzo capitolo è incentrato sul monitoraggio remoto degli ICD (home-monitoring), attraverso il quale il paziente può trasmettere per via transtelefonica al centro cardiologico di riferimento i dati tecnici e clinici desumibili dall’interrogazione del dispositivo impiantato, senza necessità di ricorrere al controllo ambulatoriale tradizionale. L’home-monitoring nei pazienti portatori di dispositivo impiantabile si è dimostrato efficace per l’individuazione di malfunzionamenti e di instabilità cliniche in misura sovrapponibile rispetto al controllo ambulatoriale tradizionale, offrendo però significativi vantaggi in termini di qualità della vita e di gestione delle risorse sanitarie. Infine saranno presentate le conclusioni di tale elaborato.

Effetto di composti d'aroma sulla risposta fisiologica di Listeria monocytgenes

La citofluorimetria è una tecnica applicata per misurare le caratteristiche fisiche, morfologiche e fisiologiche di cellule microbiche ed ha il pregio di generare un dato per ogni singola particella (cellula) analizzata. Poiché è noto che l’assenza di sviluppo in piastra non implica necessariamente l’assenza di forme microbiche vitali, questa tecnica ha un grande potenziale nello studio dei trattamenti termici che mirano alla stabilizzazione ed alla sicurezza igienico-sanitaria dei prodotti alimentari. Infatti, nel contesto industriale la tendenza è quella di ridurre l’entità di questi trattamenti (tempi/temperature). Ciò può avvenire anche grazie all’utilizzo di composti d’aroma, la cui attività antimicrobica è ben documentata, poiché il trattamento termico, incrementando la tensione di vapore di queste sostanze, ne potenzia l’attività antimicrobica. Questa tesi è incentrata su due aspetti: da una parte, l’effetto dell’esposizione di L. monocytogenes a diverse concentrazioni di timolo e carvacrolo (terpenoidi prevalenti in oli essenziali di Labiatae tra cui timo e origano), dall’altra la valutazione degli effetti di trattamenti termici subletali (45, 50, 55°C), anche in presenza di composti d’aroma, sulla disattivazione e sul successivo recupero di L. monocytogenes. I risultati hanno confermato la forte sinergia tra trattamento termico e presenza di sostanze terpeniche. È stato inoltre dimostrato che la presenza di tali composti incide drasticamente sulle potenzialità di recupero degli eventuali sopravvissuti dopo il trattamento termico. I risultati a volte discordanti tra l’analisi citofluorimetrica (focalizzata sull’integrità della membrana) e i conteggi in piastra hanno evidenziato come i due approcci debbano essere utilizzanti in modo complementare. L’utilizzo di altri coloranti legati ad altre funzioni biologiche e metaboliche permetterà l’ottenimento di informazioni aggiuntive circa la risposta fisiologica di questo microrganismo.

Confronto della prestazione applicativa di assorbitori UV in film plastici sottili per uso agricolo

Con il presente progetto di tesi si è voluto mettere a confronto due assorbitori UV in film di polietilene per uso agricolo. I film sono stati prodotti con un estrusore multistrato e sono stati caratterizzati, in analisi elementare per la determinazione del contenuto totale di azoto e in cromatografia liquida per la determinazione specifica del contenuto dei due assorbitori UV. I film sono stati esposti in condizioni sperimentali diverse: esposizione in stufa a 60°C con ventilazione forzata, esposizione alla luce artificiale e conservazione a temperatura ambiente. Ad intervalli di tempo prestabiliti sui campioni sono state fatte le seguenti valutazioni: determinazione delle proprietà meccaniche, analisi spettrofotometriche (FT-IR e UV) e determinazione qualitativa della migrazione dell’additivo. Alla fine del periodo di tesi si è potuto concludere che i due UVA mostrano la stessa compatibilità con la matrice polimerica, ma presentano una diversa fotostabilità. L’UVA normalmente impiegato in questo settore infatti ha una fotostabilità leggermente superiore a quella del nuovo UVA testato.

Esprimere incertezza, ipotesi, dubbi in RDF con le Congetture

La semantica di RDF non permette di esprimere punti di vista contraddittori sullo stesso set di dati. Il problema consiste sostanzialmente nell’impossibilità di esprimere, in RDF, affermazioni il cui valore di verità sia sconosciuto, oppure in contrasto con quello di altre affermazioni, senza però asserirle, poichè questo le renderebbe indubbiamente vere. Nel corso del tempo, partendo dalla necessità di esprimere statement su altri statement, sono stati prodotti diversi approcci, nessuno dei quali sembra dare una risposta convincente all’esigenza che potremmo riassumere nel poter esprimere senza asserire. Nel presente lavoro, dopo un'analisi dei differenti approcci al problema, e dei relativi risultati, verranno presentate le "Congetture": una nuova proposta di estensione di RDF 1.1 che permette l’espressione di grafi il cui valore di verità è sconosciuto. Le Congetture sono una notazione per esprimere, senza asserire, named graphs in RDF, unitamente ad un meccanismo per affermarne la verità chiamato "collasso alla realtà". Una Congettura collassata è allo stesso tempo un grafo congetturale e un grafo asserito, ed è un modo semplice per gestire situazioni che, espresse inizialmente sotto forma di congetture, devono successivamente essere considerare vere. La proposta è costruita attorno a due concetti principali: 1) la Congettura: un concetto il cui valore di verità non è disponibile; 2) il collasso alla realtà: un meccanismo per asserire pienamente, in RDF, quando necessario, il valore di verità della Congettura. Verranno analizzati scenari avanzati quali Congetture di Congetture, Congetture di collassi e collassi a cascata. Verrà delineata la semantica formale completa della proposta, estendendo la simple interpretation di RDF 1.1, dimostrando che le Congetture sono pienamente compatibili con RDF. Le Congetture, con un'estensione minima del modello, aggiungono ad RDF la possibilità di esprimere, senza asserire, incertezze, ipotesi e dubbi.

Studio e progettazione di edificio industriale in carpenteria metallica

La tesi ha come oggetto lo studio e la progettazione di un edificio industriale in carpenteria metallica localizzato a Bologna. Definizione ed analisi dei carichi con successiva progettazione e verifica del manto di copertura costituito da un doppio laminato in acciaio strutturale zincato preverniciato che racchiude uno strato di poliuretano espanso ad alta densità con funzione isolante. Progettazione e verifica degli arcarecci in base alla larghezza della fascia di loro pertinenza e ai carichi gravanti sulla copertura. Progettazione e verifica della trave reticolare calcolando singolarmente ed in modo distinto le prime 3 capriate come rappresentative di tutte le tipologie di combinazione di carico a seconda che gli arcarecci che gravano sulla capriata appoggino su 2 o 3 capriate. Progettazione e verifica delle aste della trave reticolare che in relazione all’estesa luce di interasse dei portali verrà realizzata in parte tramite l’adozione di saldature ed in parte tramite bullonature.Progettazione e verifica della baraccatura laterale con scelta del pacchetto coibentato, dell’arcareccio di gronda e di parete e dimensionamento del rompitratta. Progettazione e verifica delle colonne laterali sulle quali grava il peso della sovrastante trave reticolare in combinazione all’azione di taglio e momento provocato dal vento. Progettazione e verifica dei montanti di facciata, o false colonne. Verifica della colonna angolare che sarà soggetta ad uno stato di sollecitazione pluriassiale dovuta all’azione del vento. Progetto e verifica del controventamento di falda e dei controventamenti di parete per limitare il più possibile l’inflessione e lo sbandamento dei correnti superiori delle capriate. Verifica di tutti i collegamenti della capriata: per facilitare le operazioni di trasporto e montaggio si è scelto di dividere la capriata in due metà interamente saldate.Verifica del collegamento di base tra pilastro e plinto di fondazione. Progetto e verifica del plinto di fondazione.

Valutazione speditiva di vulnerabilità sismica di un edificio in c.a. e successiva validazione tramite modello agli elementi finiti

Il presente lavoro di tesi si è posto sostanzialmente due obbiettivi principali. Il primo è stato quello di valutare in maniera speditiva la vulnerabilità sismica dell’Edificio 5 - BO0960005 in uso alla polizia di stato, mediante il metodo RE.SIS.TO. Il secondo obiettivo è stato quello di validare tramite modellazione agli elementi finiti, i risultati ottenuti con la metodologia speditiva. In particolare è stato confrontato il rapporto PGAc/PGAd della struttura ottenuto con l’approccio speditivo, con quello ottenuto tramite un’analisi pushover. L’Edificio 5 – BO0960005 oggetto di studio, è composto da tre unità strutturali in c.a., denominate U.S.1, U.S.2 e U.S.3, separate da giunti sismici. Gli studi effettuati successivamente, quindi, considereranno ciascuna unità strutturale indipendente dalle altre. Come precedentemente esposto, la prima parte dell’elaborato tratta la valutazione speditiva della vulnerabilità sismica, attraverso l’utilizzo della classificazione RE.SIS.TO, il quale è in grado di definire il livello di criticità del fabbricato. Nell’applicazione del metodo è stato ottenuto un livello di sicurezza, pari all’88% per l’U.S.1, al 353% per l’U.S.2 e al 109% per l’U.S.3. La seconda parte della tesi è incentrata sull’implementazione dell’analisi pushover di tipo “cerniere concentrate” su un modello agli elementi finiti realizzato attraverso il software commerciale MidasGen. Essendo i risultati delle analisi PO una serie di curve di capacità, al fine di effettuare il confronto finale, si ha che in questo formato risulta impossibile ottenere una stima della PGA che porta a collasso la struttura. Per stimare da tale grandezza è stato utilizzato il Capacity Spectrum Method (CSM). Nell’ultima parte dell’elaborato vengono confrontati i valori di livelli di sicurezza ottenuti dalle due metodologie, dai quali si è potuta accertare la buona approssimazione della metodologia speditiva RE.SIS.TO nell’ambito della valutazione di vulnerabilità sismica.

Sviluppo di un editor di metadati per Simplex

Il presente lavoro si basa su un progetto applicativo chiamato Simplex, un editor per documenti legislativi redatti nel formato Akoma Ntoso, basato su standard XML e nato con lo scopo di ovviare ai problemi del suo predecessore LIME. Obiettivo principale del lavoro è la creazione di un componente fondamentale nell'editor Simplex, ovvero l'editor di metadati. Come suggerito dal nome, il componente ha il compito di interfacciarsi con il documento che si sta elaborando e in particolar modo con i metadati che descrivono la natura del documento, dando la possibilità all'utente di modificare questi ultimi. Durante lo sviluppo di questo progetto sono state create e definite le basi applicative su cui la tesi si è incentrata. Questo progetto è stato sviluppato tenendo in considerazione anche delle possibili future implementazioni che verranno discusse nel capitolo dedicato agli sviluppi futuri.

Indicatori di rischio di scompenso cardiaco in pazienti con dispositivi impiantabili e in monitoraggio remoto

L'incidenza complessiva dell'insufficienza cardiaca a livello globale sta aumentando, sia a causa della crescente aspettativa di vita per i pazienti che ricevono una diagnosi, sia per un progressivo invecchiamento della popolazione. Nonostante i continui progressi clinici, questa patologia continua ad avere una alta mortalità e a causare una forte sintomatologia nei pazienti che ne sono affetti. Per questo motivo e per il forte peso che questa patologia ha sulla sanità si è reso necessario cercare di prevenire eventi di scompenso cardiaco o di peggioramento della condizione di insufficienza cardiaca. Questo elaborato si sofferma inizialmente sull'insufficienza cardiaca, sulla sua patologia, le sue classificazioni, la sua epidemiologia e sui dispostivi impiantabili utilizzati nel trattamento di quest'ultima. Successivamente sono stati analizzati cinque studi clinici longitudinali, di cui uno monoparametrico e gli altri multiparametrici, caratterizzati dal monitoraggio remoto di alcuni parametri vitali con l'obiettivo di individuare, e quindi prevenire, eventi avversi o un peggioramento della condizione di insufficienza cardiaca.

Legami tra la misura di Lebesgue e la misura di Hausdorff n-dimensionale

Si vuole definire una misura sullo spazio R^n, cioè la misura di Hausdorff, che ci permetta di assegnare le nozioni di "lunghezza", "area", "volume" ad opportuni sottoinsiemi di R^n. La definizione della misura di Hausdorff sarà basata sulla richiesta che il ricoprimento segua la geometria locale dell'insieme da misurare. In termini matematici, questa richiesta si traduce nella scelta di ricoprimenti di diametro "piccolo". Si darà risalto al fatto che le due misure coincidano sui Boreliani di R^n e si estenderanno le relazioni tra le due misure su R^n ad un generico spazio di Banach. Nel primo capitolo, si danno delle nozioni basilari di teoria della misura, in particolare definizioni e proprietà che valgono per le misure di Hausdorff. Nel secondo capitolo, si definiscono le misure di Hausdorff, si dimostra che sono misure Borel-regolari, si vedono alcune proprietà di base legate a trasformazioni insiemistiche, si dà la definizione di dimensione di Hausdorff di un insieme e si mostrano esempi di insiemi "non regolari", cioè la cui dimensione non è un numero naturale. Nel terzo capitolo, si dimostra il Teorema di Ricoprimento di Vitali, fondato sul principio di massimalità di Hausdorff. Nel quarto capitolo, si dimostra che per ogni insieme Boreliano di R^n, la misura di Lebesgue e la misura di Hausdorff n-dimensionali coincidono. A tale scopo, si fa uso del Teorema del Ricoprimento di Vitali e della disuguaglianza isodiametrica, che verrà a sua volta dimostrata utilizzando la tecnica di simmetrizzazione di Steiner. Infine, nel quinto capitolo, si osserva che molte delle definizioni e proprietà viste per le misure di Hausdorff in R^n sono generalizzabili al contesto degli spazi metrici e si analizza il legame tra la misura di Hausdorff e la misura di Lebesgue nel caso di uno spazio di Banach n-dimensionale.