Analisi e sviluppo di uno strumento di verifica di consistenza a supporto della metodologia SODA

Scopo di questa tesi è analizzare e sviluppare la parte preposta al controllo dell’integrità dei dati (Check&SODA), facente parte di un nuovo plugin per piattaforma Eclipse che supporti il progettista durante le attività di progettazione con SODA, tramite una componente grafica Graph&SODA.

Ontologie per il Web Semantico: un'analisi comparativa

Il lavoro svolto in questa tesi è stato quello di analizzare il Web Semantico e i suoi linguaggi di rappresentazione delle informazioni. Inoltre sono state introdotte le ontologie evidenziando il loro ruolo all’interno del Web Semantico. Infine è stato fatto uno studio riguardo le ontologie attualmente sviluppate, allo scopo di portare a termine un’analisi comparativa delle stesse.

Misure di segnali fluorescenti per l'analisi in microscopia dell'espressione genica in biologia sintetica

Protocolli e metodologie di caratterizzazione di un sistema di misura di segnali fluorescenti in microscopia ottica

Analisi di performance di un terminal aeroportuale e sistemi a coda: studio teorico e applicazione numerica per la mobilità land-side dell'aeroporto `G.Marconi' di Bologna

Questa tesi si propone di indagare l'impatto di alcuni scenari di sviluppo aeroportuale legati alla prevista implementazione di un sistema di trasporto APM - People Mover, in termini di performance del terminal passeggeri dell'Aeroporto `G.Marconi' di Bologna, per fornire soluzioni efficaci alla mobilità. Il background teorico è rappresentato dai risultati ottenuti dalla ricerca sperimentale e ormai acquisiti dalla trattazione classica per code markoviane avanzate (bulk queus), mentre il metodo messo a punto, del tutto generale,parte dagli arrivi schedulati e attraverso una serie di considerazioni econometriche costruisce una serie di scenari differenti,implementati poi attraverso la simulazione dinamica con l'utilizzo del software ARENA. Le principali grandezze di stato descrittive dei processi modellizzati ottenute in output vengono confrontate e valutate nel complesso, fornendo in prima approssimazione previsioni sull'efficacia del sistema previsto. Da ultimo, vengono proposti e confrontati i due approcci forniti tanto dalla manualistica di settore quanto da contributi di ricerca per arrivare a definire un dimensionamento di massima di strutture per la mobilità (una passerella di collegamento del terminal alla stazione APM) e una verifica della piattaforma per l'attesa ad essa contigua.