Interrogazione visuale per basi di dati a grafo: il sistema GraphVista

Oggi l’esigenza di permettere all’utente di riuscire a formulare interrogazioni su database a grafo in maniera più semplice e soprattutto intuitiva ha portato gli istituti di ricerca a proporre metodi di interrogazione visuale. Uno dei sistemi che sono stati proposti è GraphVista. Tale sistema si basa sull’idea di dividere l’interrogazione in due macro-fasi. La prima fase permette di avvicinarsi al risultato richiesto escludendo da successive analisi dati che sicuramente non potranno far parte del risultato finale, mentre la seconda fase permette all’utente di essere protagonista. Infatti ad esso è concessa la possibilità di manipolare a proprio piacimento i risultati ottenuti dalla prima fase al fine di “ricercare” da sé le informazioni desiderate. Il tutto viene supportato grazie a un’interfaccia intuitiva ed efficace che permette all’utente di navigare interattivamente all’interno di una base di dati a grafo. Le caratteristiche dell’interfaccia e la possibilità di formulare interrogazioni visuali fanno in modo che l’utente non necessiti di conoscere alla perfezione un linguaggio di query specifico. Nel corso di questa tesi viene descritto il sistema GraphVista e la tecnologia sulla quale si fonda. Infine, viene effettuata una comparazione sull’efficacia e la semplicità d’uso del sistema GraphVista rispetto alla formulazione di query tramite un linguaggio standard come SPARQL.

Successioni di polinomi di tipo binomiale e operatori delta

In questa tesi riportiamo le definizioni ed i risultati principali relativi alla corrispondenza tra le successioni di polinomi di tipo binomiale (particolari basi dello spazio dei polinomi a coefficienti reali) e gli operatori delta, cioè operatori lineari sullo spazio dei polinomi che commutano con gli operatori di traslazione e il cui nucleo è costituito dai polinomi costanti. Nel capitolo 1 richiamiamo i concetti fondamentali sull'algebra delle serie formali e definiamo l'algebra degli operatori lineari invarianti per traslazione, dimostrando in particolare l'isomorfismo tra queste algebre. Nel capitolo 2, dopo aver dimostrato l'unicità della successione di base relativa ad un operatore delta, ricaviamo come esempio le successioni di base di tre operatori delta, che useremo durante tutto il capitolo: l'operatore derivata, l'operatore di differenza in avanti e l'operatore di differenza all'indietro. Arriviamo quindi a dimostrare un importante risultato, il Primo Teorema di Sviluppo, in cui facciamo vedere come le potenze di un operatore delta siano una base per l'algebra degli operatori invarianti per traslazione. Introducendo poi le successioni di Sheffer, possiamo dimostrare anche il Secondo Teorema di Sviluppo in cui esplicitiamo l'azione di un operatore invariante per traslazione su un polinomio, tramite un operatore delta fissato e una sua successione di Sheffer. Nell'ultima parte della tesi presentiamo i formalismi e alcune semplici operazioni del calcolo umbrale, che useremo per determinare le cosiddette costanti di connessione, ovvero le costanti che definiscono lo sviluppo di una successione binomiale in funzione di un'altra successione binomiale usata come base dello spazio dei polinomi.

Studio della sintesi di alcol furfurilico da furfurale mediante catalisi basica eterogenea

La messa a punto di processi in grado di utilizzare le biomasse lignocellulosiche per la produzione di molecole piattaforma, utilizzabili per la sintesi di intermedi per la chimica fine, l’industria polimerica ed i combustibili, è attualmente un argomento di ricerca di grande interesse. Tra le molecole più studiate vi è la furfurale (FU), che si può ottenere mediante disidratazione dei monosaccaridi pentosi contenuti nei materiali lignocellulosici. Il prodotto di riduzione della furfurale, l’alcol furfurilico (FAL), è commercialmente interessante perché trova applicazione nell’industria polimerica e viene utilizzato come intermedio nella produzione di lisina, vitamina C, lubrificanti e agenti dispersanti. In letteratura sono riportati numerosi processi che permettono di ottenere questo prodotto, utilizzando la riduzione catalitica con H2 in pressione, che però presentano problemi di selettività, costo, sostenibilità e tossicità del catalizzatore utilizzato. La possibilità di effettuare la riduzione selettiva della furfurale senza fare ricorso all’idrogeno molecolare, utilizzando un processo di H-transfer e catalizzatori eterogenei a base di ossidi misti, risulta quindi di estremo interesse perché permette di eliminare i suddetti problemi. Lo scopo di questa tesi è stato quello di ottimizzare il processo, confrontando catalizzatori basici, quali MgO, CaO e SrO ottenuti tramite calcinazione a diverse temperature dei rispettivi precursori. In particolare, è stata valutata l’influenza che la temperatura di calcinazione, il tempo e la temperatura di reazione hanno sulla reattività e la stabilità dei sistemi catalitici sintetizzati. La caratterizzazione dei catalizzatori tramite diffrazione ai raggi X (XRD), analisi termiche (TGA, DTA) e misure di area superficiale con tecnica BET ha permesso di correlare le proprietà chimico-fisiche dei materiali con la loro attività catalitica.

Progetto e sviluppo di un automa per la gestione ed il controllo di sistemi a pilotaggio remoto

L’attenzione di questa tesi si pone sulla progettazione e lo sviluppo di un automa per il controllo di sistemi a pilotaggio remoto. Punto di partenza dell'intero progetto è stata l'analisi del quadrirotore programmato ed utilizzato dai ricercatori del progetto SHERPA. Le funzionalità evidenziate dall'analisi sono state poi elaborate secondo l'approccio con Attuatore Generalizzato ed implementate in Codesys. Questo software si compone di una parte di controllo, una di simulazione ed una o più interfacce grafiche dedicate all'interazione con l'utente. L'utilizzo di Codesys ha permesso di implementare un automa modulare e riusabile, base di partenza per i futuri progetti di automi aerei. L'automa realizzato consente infine di simulare il comportamento di un generico sistema a pilotaggio remoto e di osservarne la sequenza logica con cui le azioni vengono eseguite.

Ottimizzazione e progettazione di un sistema di cogenerazione statica di energia elettrica tramite celle ad effetto Seebeck

La presente trattazione descrive l’ottimizzazione del prototipo di un generatore termoelettrico da integrare in caldaie a biomassa. La tecnologia termoelettrica consente di generare potenza elettrica a partire da un flusso di calore. Sebbene tale tecnologia presenti caratteristiche di elevata affidabilità e silenziosità, essa richiede ulteriori sforzi tecnologici nella ricerca dell’integrazione ottimale con un impianto termico, ed è inoltre necessaria una progettazione accurata dell’elettronica di controllo. Nella prima sezione del testo vengono descritti i principi fisici alla base di questa tecnologia e le tecniche per la conversione della potenza generata dai moduli termoelettrici (o ad effetto Seebeck) al fine di renderla fruibile da una tipica utenza domestica. Nel secondo capitolo si riporta lo stato dell’arte dell’applicazione della tecnologia termoelettrica in caldaie a biomassa e alcuni casi di implementazione recenti, sottolineando le configurazioni utilizzate, i principali problemi riscontrati nello sviluppo e nella sperimentazione, e le modifiche conseguentemente adottate per superarli. Il terzo capitolo analizza il prototipo sviluppato presso il Dipartimento di Ingegneria Industriale dell’Università di Bologna e descrive il processo di dimensionamento dei componenti meccanici e le proposte di ottimizzazione a seguito dei risultati dei primi collaudi. Viene infine sviluppato un modello matematico per confrontare, in funzione dei costi di produzione e di esercizio, le possibilità di sostituzione dei metodi di generazione di energia elettrica convenzionali con l’impianto di cogenerazione termoelettrica realizzato, considerando anche aspetti di impatto ambientale. Tali analisi e ottimizzazioni consistono in un primo miglioramento necessario a rendere la tecnologia termoelettrica applicabile alle caldaie a biomassa stand-alone e a permettere una generazione continua di energia elettrica nelle regioni in cui le infrastrutture sono poco affidabili.

Sviluppo di una fascia addominale per angiografia con CO2

La scelta del mezzo di contrasto in angiografia è rilevante e richiede un’attenta valutazione della qualità diagnostica delle immagini e degli effetti collaterali. Essenziale è analizzare il rischio che comporta l’utilizzo dei vari mezzi di contrasto a base di iodio, come ad esempio la nefropatia. Al contrario l’anidride carbonica, riconosciuta come unico agente di contrasto sicuro, sempre più, viene utilizzata in tutti i vasi del corpo al di sotto del diaframma. L'obiettivo principale di questo lavoro, svolto in collaborazione con l’azienda bolognese Angiodroid srl, è quello di realizzare un dispositivo medico in grado migliorare la qualità delle immagini ottenute con CO2 a livello addominale. Infatti, col recente utilizzo della CO2 anche nel distretto addominale si riduce drasticamente l’utilizzo di grandi quantità di iodio, ma, in molti pazienti, il movimento della aria intestinale che ha coefficiente di assorbimento simile all’anidride carbonica, rende l’immagine inefficiente. Il progetto consiste in una fascia addominale composta da tre camere d’aria gonfiabili manualmente, che comprimendo l’addome con pressioni di 120-180 mmHg, spostano l’aria e riducono il movimento intestinale, e quindi gli artefatti. L’uso di questa semplice fascia, migliorando le immagini dei distretti addominale e viscerale, potrebbe permettere una più rapida affermazione dell’angiografia con CO2 anche in procedure come EVAR e PTA iliache. Per individuare la procedura d’utilizzo più adeguata e migliorare il dispositivo secondo le necessità cliniche, la fascia è stata provata in alcune sale angiografiche dell’Emilia Romagna, Lombardia e Campania.

Analisi e ottimizzazione del flusso di approvvigionamento in una produzione su commessa: il caso CT Pack S.r.l.

La tesi ha l'obiettivo di analizzare e ottimizzare i flussi di approvvigionamento in un'azienda che produce su commessa: CT Pack S.r.L, specializzata nella realizzazione di macchine automatiche per il packaging di biscotti, gelato e cioccolato. Per raggiungere l'obiettivo si è preso come riferimento il modello proposto dal BPR (Business Process Reengineering): sono stati analizzati i principali attori coinvolti, in particolare fornitori e magazzino, mediante l'uso di KPI definiti ad hoc. Sulla base di questi sono stati individuati due processi critici: il primo riguarda la gestione del magazzino, che presenta un'elevata quantità di codici non movimentati anche a causa del processo di gestione del materiale avanzato al termine di ciascuna commessa; il secondo riguarda il materiale a consumo, che impiega i magazzinieri per un tempo eccessivo, è caratterizzato da giacenze per il 30% non movimentate e da supermarket collocati in officina ridondanti e caratterizzati da bassi tassi di utilizzo (anche sotto il 50%). Per risolvere questi problemi ed effettuare una riprogettazione si fa affidamento agli strumenti proposti dal project management: si imposta quindi un progetto che ha l'obiettivo di ridurre nel breve periodo il valore di magazzino mediante lo smaltimento attraverso diverse vie di codici non utilizzati e agisce nel lungo periodo per evitare che le criticità si ripropongano. Mediante la riprogettazione della gestione dei resi di produzione si prevede un maggior controllo, grazie al lavoro congiunto di ufficio tecnico e ufficio acquisti. La nuova gestione del materiale a consumo ha in se alcune delle tecniche proposte dalla lean production (il kanban, per esempio) e integra il fornitore nella catena di approvvigionamento, garantendo un maggior controllo sulle quantità, un risparmio di circa 7 h/mese di lavoro per i magazzinieri e una riduzione delle giacenze del 46%.

Caratterizzazione tecnologica di lieviti isolati dal processo di lavorazione delle olive

In questa tesi si sono analizzati campioni di olio di oliva ottenuti anche mediante processo di co- frangitura tra olive e sottoprodotto del pomodoro, al fine di ottenere un olio ricco in licopene. Appena prodotti, gli oli di oliva possono mostrare un aspetto opalescente a causa della presenza di particelle solide e micro-gocce di acqua di vegetazione, che possono contenere microrganismi, principalmente lieviti, provenienti dalla carposfera delle olive che passano nell’olio durante la loro frantumazione. A seconda delle specie di lievito e delle specifiche attività metaboliche possono influenzare anche negativamente la qualità dell’olio. In questo contesto, le attività di laboratorio alla base di questo elaborato sono state finalizzate alla caratterizzazione tecnologica di 30 ceppi di lieviti isolati da olio di oliva prodotto presso il Campus di Scienze degli Alimenti dal gruppo di ricerca della dott.ssa Bendini. In particolare, gli isolati sono stati caratterizzati mediante analisi RAPD-PCR e se ne sono valutate alcune attività enzimatiche quali l’attività proteasica, lipasica, β-glucosidasica, pectinasica e poligalatturonasica e la capacità di degradare alcuni composti fenolici. Sebbene i risultati di questa sperimentazione siano preliminari, sono promettenti in quanto da tale matrice si sono isolati numerosi ceppi che presentano un’ampia e differenziata gamma di attività enzimatiche che potrebbero essere sfruttate per il recupero e/o valorizzazione di componenti organiche ad alto valore dei sottoprodotti dell’industria alimentare.

Tecniche innovative di modellazione diretta nell'early stage design

Partendo da un’analisi dei problemi che si incontrano nella fase di conceptual design, si presentano le diverse tecniche di modellazione tridimensionale, con particolare attenzione al metodo subdivision e agli algoritmi che lo governano (Chaikin, Doo – Sabin). Vengono poi proposti alcuni esempi applicativi della modellazione free form e skeleton, con una successiva comparazione, sugli stessi modelli, delle sequenze e operazioni necessarie con le tradizionali tecniche di modellazione parametrica. Si riporta un esempio dell’utilizzo del software IronCAD, il primo software a unire la modellazione parametrica e diretta. Si descrivono le limitazioni della modellazione parametrica e di quella history free nella fase concettuale di un progetto, per arrivare a definire le caratteristiche della hybrid modeling, nuovo approccio alla modellazione. Si presenta brevemente il prototipo, in fase di sviluppo, che tenta di applicare concretamente i concetti dell’hybrid modeling e che vuole essere la base di partenza per una nuova generazione di softwares CAD. Infine si presenta la possibilità di ottenere simulazioni real time su modelli che subiscono modifiche topologiche. La simulazione real time è permessa dalla ridefinizione in forma parametrica del problema lineare elastico che viene successivamente risolto mediante l’applicazione congiunta delle R – Functions e del metodo PGD. Seguono esempi di simulazione real time.

Imaging TC ed analisi tessiturale: caratterizzazione del parenchima polmonare di pazienti con broncopneumopatia cronica ostruttiva

La caratterizzazione del parenchima polmonare è un aspetto cruciale per l’identificazione dell’enfisema e dell’air trapping in pazienti affetti da broncopneumopatia cronica ostruttiva (BPCO). L’innovazione presente in questo lavoro di tesi è quella di utilizzare a questo scopo l’analisi tessiturale mediante il metodo delle matrici di co-occorrenza su immagini di tomografia computerizzata (TC) acquisite in inspirio ed espirio co-registrate. La co-registrazione che ha portato le immagini acquisite in espirio sullo stesso sistema di riferimento di quelle acquisite in inspirio è avvenuta utilizzando la trasformazione diffeomorfa B-Spline SyN, implementata nel software ANTs, ed è stata applicata sia alle immagini TC che alle features estratte da esse. Dalle matrici di co-occorrenza è stata calcolata la feature Energia, che misura l’uniformità dei livelli di grigio contenuti nell’immagine, e quindi la sua omogeneità. Partendo dal fatto che le aree parenchimali affette da enfisema e air trapping hanno alti livelli di omogeneità dovuti alla presenza dell’aria intrappolata al loro interno, l’idea alla base di questo lavoro è stata quella di identificare queste aree attraverso gli alti valori che l’Energia assume in loro corrispondenza. Sono state quindi stabilite sperimentalmente alcune soglie basate sui valori assunti dall’Energia in inspirio e in espirio. Sulla base di queste il parenchima polmonare è stato clusterizzato in diverse aree identificanti i tessuti sani, quelli affetti da enfisema e quelli affetti dall’air trapping. La clusterizzazione ottenuta è risultata coerente con la reale distribuzione dell’enfisema e dell’air trapping nei pazienti analizzati, dimostrando la validità della tecnica utilizzata e aprendo nuovi scenari futuri alla caratterizzazione del parenchima polmonare in questa patologia.

Effetti della cristallizzazione salina sul debonding di compositi fibrorinforzati a matrice cementizia (FRCM) applicati alla muratura

L’utilizzo di compositi fibrorinforzati per il rinforzo e l’adeguamento di strutture esistenti in calcestruzzo armato e in muratura ha raggiunto una grande popolarità negli ultimi decenni. Tra i materiali compositi, i fibrorinforzati a matrice cementizia (fiber reinforced cementitious matrix, FRCM) rappresentano una novità nel mondo del rinforzo e la letteratura disponibile a riguardo è ancora molto limitata. Il presente lavoro si inserisce all’interno di un contesto di campagne sperimentali volte ad approfondire la conoscenza su questi materiali. Uno dei problemi di maggiore importanza nell’utilizzo dei compositi FRCM è costituito dalla valutazione della resistenza al distacco (debonding) del composito dal supporto su cui è applicato. Nel caso di strutture in muratura, i cicli di cristallizzazione salina sono una della cause principali di degrado della murature. In questa tesi vengono analizzati gli effetti della cristallizzazione salina sul debonding di compositi FRCM, con fibre di acciaio galvanizzato a matrice a base di calce idraulica, applicati alla muratura.

Pianificazione di coperture fotogrammetriche mediante RPAS

Il seguente elaborato di tesi tratta il problema della pianificazione di voli fotogrammetrici a bassa quota mediante l’uso di SAPR, in particolare è presentata una disamina delle principali applicazioni che permettono di programmare una copertura fotogrammetrica trasversale e longitudinale di un certo poligono con un drone commerciale. Il tema principale sviluppato è la gestione di un volo fotogrammetrico UAV mediante l’uso di applicativi software che permettono all’utente di inserire i parametri di volo in base alla tipologia di rilievo che vuole effettuare. L’obbiettivo finale è quello di ottenere una corretta presa fotogrammetrica da utilizzare per la creazione di un modello digitale del terreno o di un oggetto attraverso elaborazione dati in post-processing. La perfetta configurazione del volo non può prescindere dalle conoscenze base di fotogrammetria e delle meccaniche di un veicolo UAV. I capitoli introduttivi tratteranno infatti i principi della fotogrammetria analogica e digitale soffermandosi su temi utili alla comprensione delle problematiche relative al progetto di rilievo fotogrammetrico aereo. Una particolare attenzione è stata posta sulle nozioni di fotogrammetria digitale che, insieme agli algoritmi di Imagine Matching derivanti dalla Computer Vision, permette di definire il ramo della Fotogrammetria Moderna. Nei capitoli centrali verranno esaminate e confrontate una serie di applicazioni commerciali per smartphone e tablet, disponibili per sistemi Apple e Android, per trarne un breve resoconto conclusivo che le compari in termini di accessibilità, potenzialità e destinazione d’uso. Per una maggiore comprensione si determinano univocamente gli acronimi con cui i droni vengono chiamati nei diversi contesti: UAV (Unmanned Aerial Vehicle), SAPR (Sistemi Aeromobili a Pilotaggio Remoto), RPAS (Remotely Piloted Aicraft System), ARP (Aeromobili a Pilotaggio Remoto).

Produzione di micro-supercapacitori allo stato semisolido per applicazioni portatili

La seguente tesi prevede la costruzione e caratterizzazione di un micro-supercapacitore asimmetrico composto da un anodo a base di ZnO ed un catodo a base di grafene ossido ridotto (rGO); la combinazione di due materiali con differente natura di accumulo di carica permette quindi di ottenere dispositivi con migliori performance elettrochimiche. Entrambi gli elettrodi sono stati depositati per via elettrochimica su substrati flessibili di PET-ITO. L'ottimizzazione delle proprietà dello ZnO è stata fatta tramite l'aggiunta di molecole di tensioattivi durante la deposizione dello stesso. I risultati ottenuti mostrano un effettivo miglioramento delle proprietà elettrochimiche e della trasparenza dei film di ZnO prodotto grazie all'effetto di tali tensioattivi. Inoltre anche le proprietà di rGO sono state ottimizzate allo scopo di ottenere buone proprietà elettrochimiche abbinate all'elevata trasparenza del film prodotto. Infine sono stati costruiti micro-supercapacitori allo stato semisolido con differenti agenti gelificanti (silice e Nanoclay) ed il loro funzionamento è stato dimostrato.

Progetto urbanistico di sviluppo di aree site in comune di Imola con inserimento di parco tematico e centro commerciale: Il Parco dei Motori

«Apriamo il Parco dei motori. Solo così Imola e Bologna vivono» Con queste parole, perentorie, il Direttore dell’ ANCE Bologna Carmine Preziosi ha presentato alla stampa nel settembre del 2013 l’idea della quale questa tesi fa parte integrante. Mai si è riusciti davvero a sfruttare a livello continuo e deciso la nomea di “terra dei motori” che l’Emilia Romagna possiede. Quale migliore luogo di Imola, con il suo storico tracciato, per tentare di rilanciare il turismo e creare un nuovo polo attrattivo tra la costa Adriatica e le grandi città della Regione base di tante case automobilistiche? L’individuazione dell’area tramite dialoghi con interlocutori REALMENTE interessati, approfondimenti, studi sociali, del territorio, dell’ambiente, normativi hanno portato alla progettazione urbanistica e di dettaglio (parco tematico compreso in tutti i suoi aspetti fondamentali grazie al rapporto con alcune delle più grandi aziende del mondo del settore) di un lavoro che si presenta finito per essere presentato alle autorità locali per una seria e decisa discussione a riguardo della fattibilità. Tale progetto creerebbe un’area di turismo e di utilità per la collettività del luogo, presentando, oltre al parco e al suo resort, un centro commerciale, un parco verde attrezzato e una futura area di espansione ad uso del Comune, il tutto in una zona adiacente all’ autostrada e ben collegata alla città stessa nonché alle principali vie di comunicazione.

QR-VEY: Una piattaforma software per la creazione di sondaggi basata sulla tecnologia del QR-Code

Le metodologie per la raccolta delle idee e delle opinioni si sono evolute a pari passo con il progresso tecnologico: dalla semplice comunicazione orale si è passati alla diffusione cartacea, fino a che l'introduzione e l'evoluzione di internet non hanno portato alla digitalizzazione e informatizzazione del processo. Tale progresso ha reso possibile l'abbattimento di ogni barriera fisica: se in precedenza la diffusione di un sondaggio era limitata dall'effettiva possibilità di distribuzione del sondaggio stesso, lo sviluppo della rete globale ha esteso tale possibilità (virtualmente) a tutto il mondo. Nonostante sia un miglioramento non indifferente, è importante notare come la valorizzazione della diffusione di un sondaggio abbia inevitabilmente portato a trascurarne le proprietà e i vantaggi intrinsechi legati alla sua diffusione prettamente locale. Ad esempio, un sondaggio che mira a valutare la soddisfazione degli utenti riguardo alla recente introduzione di una nuova linea di laptop ottiene un guadagno enorme dall'informatizzazione, e dunque delocalizzazione, del processo di raccolta dati; dall'altro lato, un sondaggio che ha come scopo la valutazione dell'impatto sui cittadini di un recente rinnovamento degli impianti di illuminazione stradale ha un guadagno pressoché nullo. L'idea alla base di QR-VEY è la ricerca di un ponte tra le metodologie classiche e quelle moderne, in modo da poter sfruttare le proprietà di entrambe le soluzioni. Tale ponte è stato identificato nella tecnologia del QR-Code: è possibile utilizzare un generico supporto che presenti proprietà di localizzazione, come un foglio cartaceo, ma anche un proiettore di una conferenza, come base per la visualizzazione di tale codice, ed associare alla scansione dello stesso funzionalità automatizzate di raccolta di dati e opinioni.