Sviluppo di algoritmi per l'automazione di misure industriali

Oggi, grazie al continuo progredire della tecnologia, in tutti i sistemi di produzione industriali si trova almeno un macchinario che permette di automatizzare determinate operazioni. Alcuni di questi macchinari hanno un sistema di visione industriale (machine vision), che permette loro di osservare ed analizzare ciò che li circonda, dotato di algoritmi in grado di operare alcune scelte in maniera automatica. D’altra parte, il continuo progresso tecnologico che caratterizza la realizzazione di sensori di visione, ottiche e, nell’insieme, di telecamere, consente una sempre più precisa e accurata acquisizione della scena inquadrata. Oggi, esigenze di mercato fanno si che sia diventato necessario che macchinari dotati dei moderni sistemi di visione permettano di fare misure morfometriche e dimensionali non a contatto. Ma le difficoltà annesse alla progettazione ed alla realizzazione su larga scala di sistemi di visione industriali che facciano misure dimensioni non a contatto, con sensori 2D, fanno sì che in tutto il mondo il numero di aziende che producono questo tipo di macchinari sia estremamente esiguo. A fronte di capacità di calcolo avanzate, questi macchinari necessitano dell’intervento di un operatore per selezionare quali parti dell’immagine acquisita siano d’interesse e, spesso, anche di indicare cosa misurare in esse. Questa tesi è stata sviluppata in sinergia con una di queste aziende, che produce alcuni macchinari per le misure automatiche di pezzi meccanici. Attualmente, nell’immagine del pezzo meccanico vengono manualmente indicate le forme su cui effettuare misure. Lo scopo di questo lavoro è quello di studiare e prototipare un algoritmo che fosse in grado di rilevare e interpretare forme geometriche note, analizzando l’immagine acquisita dalla scansione di un pezzo meccanico. Le difficoltà affrontate sono tipiche dei problemi del “mondo reale” e riguardano tutti i passaggi tipici dell’elaborazione di immagini, dalla “pulitura” dell’immagine acquisita, alla sua binarizzazione fino, ovviamente, alla parte di analisi del contorno ed identificazione di forme caratteristiche. Per raggiungere l’obiettivo, sono state utilizzate tecniche di elaborazione d’immagine che hanno permesso di interpretare nell'immagine scansionata dalla macchina tutte le forme note che ci siamo preposti di interpretare. L’algoritmo si è dimostrato molto robusto nell'interpretazione dei diametri e degli spallamenti trovando, infatti, in tutti i benchmark utilizzati tutte le forme di questo tipo, mentre è meno robusto nella determinazione di lati obliqui e archi di circonferenza a causa del loro campionamento non lineare.

Tecniche di ottimizzazione del software per sistemi su singolo chip per applicazioni di Nomadic Computing

I moderni sistemi embedded sono equipaggiati con risorse hardware che consentono l’esecuzione di applicazioni molto complesse come il decoding audio e video. La progettazione di simili sistemi deve soddisfare due esigenze opposte. Da un lato è necessario fornire un elevato potenziale computazionale, dall’altro bisogna rispettare dei vincoli stringenti riguardo il consumo di energia. Uno dei trend più diffusi per rispondere a queste esigenze opposte è quello di integrare su uno stesso chip un numero elevato di processori caratterizzati da un design semplificato e da bassi consumi. Tuttavia, per sfruttare effettivamente il potenziale computazionale offerto da una batteria di processoriè necessario rivisitare pesantemente le metodologie di sviluppo delle applicazioni. Con l’avvento dei sistemi multi-processore su singolo chip (MPSoC) il parallel programming si è diffuso largamente anche in ambito embedded. Tuttavia, i progressi nel campo della programmazione parallela non hanno mantenuto il passo con la capacità di integrare hardware parallelo su un singolo chip. Oltre all’introduzione di multipli processori, la necessità di ridurre i consumi degli MPSoC comporta altre soluzioni architetturali che hanno l’effetto diretto di complicare lo sviluppo delle applicazioni. Il design del sottosistema di memoria, in particolare, è un problema critico. Integrare sul chip dei banchi di memoria consente dei tempi d’accesso molto brevi e dei consumi molto contenuti. Sfortunatamente, la quantità di memoria on-chip che può essere integrata in un MPSoC è molto limitata. Per questo motivo è necessario aggiungere dei banchi di memoria off-chip, che hanno una capacità molto maggiore, come maggiori sono i consumi e i tempi d’accesso. La maggior parte degli MPSoC attualmente in commercio destina una parte del budget di area all’implementazione di memorie cache e/o scratchpad. Le scratchpad (SPM) sono spesso preferite alle cache nei sistemi MPSoC embedded, per motivi di maggiore predicibilità, minore occupazione d’area e – soprattutto – minori consumi. Per contro, mentre l’uso delle cache è completamente trasparente al programmatore, le SPM devono essere esplicitamente gestite dall’applicazione. Esporre l’organizzazione della gerarchia di memoria ll’applicazione consente di sfruttarne in maniera efficiente i vantaggi (ridotti tempi d’accesso e consumi). Per contro, per ottenere questi benefici è necessario scrivere le applicazioni in maniera tale che i dati vengano partizionati e allocati sulle varie memorie in maniera opportuna. L’onere di questo compito complesso ricade ovviamente sul programmatore. Questo scenario descrive bene l’esigenza di modelli di programmazione e strumenti di supporto che semplifichino lo sviluppo di applicazioni parallele. In questa tesi viene presentato un framework per lo sviluppo di software per MPSoC embedded basato su OpenMP. OpenMP è uno standard di fatto per la programmazione di multiprocessori con memoria shared, caratterizzato da un semplice approccio alla parallelizzazione tramite annotazioni (direttive per il compilatore). La sua interfaccia di programmazione consente di esprimere in maniera naturale e molto efficiente il parallelismo a livello di loop, molto diffuso tra le applicazioni embedded di tipo signal processing e multimedia. OpenMP costituisce un ottimo punto di partenza per la definizione di un modello di programmazione per MPSoC, soprattutto per la sua semplicità d’uso. D’altra parte, per sfruttare in maniera efficiente il potenziale computazionale di un MPSoC è necessario rivisitare profondamente l’implementazione del supporto OpenMP sia nel compilatore che nell’ambiente di supporto a runtime. Tutti i costrutti per gestire il parallelismo, la suddivisione del lavoro e la sincronizzazione inter-processore comportano un costo in termini di overhead che deve essere minimizzato per non comprometterre i vantaggi della parallelizzazione. Questo può essere ottenuto soltanto tramite una accurata analisi delle caratteristiche hardware e l’individuazione dei potenziali colli di bottiglia nell’architettura. Una implementazione del task management, della sincronizzazione a barriera e della condivisione dei dati che sfrutti efficientemente le risorse hardware consente di ottenere elevate performance e scalabilità. La condivisione dei dati, nel modello OpenMP, merita particolare attenzione. In un modello a memoria condivisa le strutture dati (array, matrici) accedute dal programma sono fisicamente allocate su una unica risorsa di memoria raggiungibile da tutti i processori. Al crescere del numero di processori in un sistema, l’accesso concorrente ad una singola risorsa di memoria costituisce un evidente collo di bottiglia. Per alleviare la pressione sulle memorie e sul sistema di connessione vengono da noi studiate e proposte delle tecniche di partizionamento delle strutture dati. Queste tecniche richiedono che una singola entità di tipo array venga trattata nel programma come l’insieme di tanti sotto-array, ciascuno dei quali può essere fisicamente allocato su una risorsa di memoria differente. Dal punto di vista del programma, indirizzare un array partizionato richiede che ad ogni accesso vengano eseguite delle istruzioni per ri-calcolare l’indirizzo fisico di destinazione. Questo è chiaramente un compito lungo, complesso e soggetto ad errori. Per questo motivo, le nostre tecniche di partizionamento sono state integrate nella l’interfaccia di programmazione di OpenMP, che è stata significativamente estesa. Specificamente, delle nuove direttive e clausole consentono al programmatore di annotare i dati di tipo array che si vuole partizionare e allocare in maniera distribuita sulla gerarchia di memoria. Sono stati inoltre sviluppati degli strumenti di supporto che consentono di raccogliere informazioni di profiling sul pattern di accesso agli array. Queste informazioni vengono sfruttate dal nostro compilatore per allocare le partizioni sulle varie risorse di memoria rispettando una relazione di affinità tra il task e i dati. Più precisamente, i passi di allocazione nel nostro compilatore assegnano una determinata partizione alla memoria scratchpad locale al processore che ospita il task che effettua il numero maggiore di accessi alla stessa.

Il teatro sugli scaffali. Genesi e storia di una biblioteca specialistica (1931-2009)

la ricerca ha avuto per oggetto la ricostruzione della storia e del patrimonio della biblioteca privata specializzata di San Genesio fondata nel 1931 presso la Casa "Lyda Borelli" per artisti drammatici di Bologna. La biblioteca si presenta oggi come uno dei centri di documentazione teatrale più antichi e significativi del panorama italiano: oltre 10.000 monografie, per la maggior parte concernenti testi e studi specialistici, un fondo antico (pre 1831) di oltre 2.000 volumi, una ricca collezione di periodici sul mondo dello spettacolo in collezione completa, una raccolta di copioni teatrali manoscritti e dattiloscritti di oltre 1.000 unità. La biblioteca, inoltre, comprende l'archivio storico della Casa che conserva la documentazione riguardante la vita dell'Istituto dalla sua nascita, nel 1917, numerosi fondi aggregati appartenuti a rilevanti personaggi dello spettacolo e un patrimonio fotografico unico in Italia. La tesi sintetizza i due principali filoni di ricerca seguiti durante il percorso dottorale. Il primo è quello della ricognizione delle fonti archivistiche, sia interne sia esterne all'istituto, al fine di dettagliare la lunga storia della biblioteca San Genesio, mai oggetto di altra ricostruzione complessiva. Questo obiettivo è stato raggiunto mediante la consultazione dell'intero patrimonio documentario conservato presso l'Archivio storico di Casa "Lyda Borelli" e di numerosi fondi archivistici, concernenti attori e personaggi in rapporto con la Casa, presenti in altri istituti pubblici e privati. I documenti interni alla Casa sono stati intrecciati con altri con cui sono speculari, conservati in altre istituzioni. La seconda parte della ricerca si è concentrata sull'analisi del fondo librario antico. La ricchezza della collezione, costituita da oltre trecento testi teatrali pubblicati nel XVI e XVII secolo, ha offerto un ampio campione d'indagine per ricostruire l'evoluzione dell'editoria specializzata nei primi secoli della stampa tipografica. A tal fine è stato redatto un catalogo, in cui la descrizione bibliografica è accompagnata dall'analitica registrazione degli elementi paratestuali presenti, quali dediche, avvisi ai lettori, indici, errata corrige, marginalia, note di possesso ed ex libris, elementi oggetto di forte interesse nei più accreditati e moderni studi bibliologici e di storia del libro sia italiani sia stranieri. A completamento del catalogo sono stati compilati numerosi indici al fine di moltiplicare le chiavi d'accesso e di lettura del fondo (per autori secondari, luoghi di stampa, editori e tipografi, marche tipografiche e possessori), dotando il catalogo di un apparato fotografico dei frontespizi. Questi elementi aggiuntivi rendono l'elaborato un repertorio unico per le edizioni teatrali e una fonte importante per gli studiosi della stampa in antico regime tipografico.

Il rapporto tra azione causale ed azione cartolare

Il presente lavoro affronta la questione del rapporto tra l’azione cartolare e l’azione causale nell’ambito dei titoli cambiari; nonché il problema della relazione, di diritto sostanziale, che intercorre tra i menzionati titoli ed i rapporti causali che soggiacciono alla loro emissione e circolazione; con costante riferimento sia al diritto italiano che al diritto paraguaiano. Vengono così analizzati i concetti tradizionali della causa della cambiale e della convenzione esecutiva, per poi passare alla analisi della funzione economica tipica dei titoli cambiari e, segnatamente, la previsione del loro rilascio o negoziazione nell’economia del rapporto fondamentale. Si affrontano, così, i noti problemi della novazione e della dazione in pagamento attuate mediante questi titoli, tenendo in particolare considerazione anche la struttura delegatoria che presentano alcuni di essi. Particolare attenzione viene dedicata al fatto che, nella maggior parte dei casi, le parti non prevedono specificamente l’incidenza del rilascio o girata del titolo cambiario sul rapporto sottostante. Per questa ragione, si mette in luce che nella maggior parte dei casi la fattispecie configura una modificazione della relazione causale intercorrente tra le parti, proprio per l’assenza di pattuizione espressa al riguardo. Strettamente connesso con quest’aspetto risulta l’esame dell’emissione dei titoli cambiari solvendi causa, problematica nell’ambito della quale non si è mancato di tener conto della disciplina antiriciclaggio e dei moderni contributi dottrinari sull’oggetto dell’obbligazione pecuniaria. Viene, infine, vagliata anche l’incidenza dell’ulteriore circolazione del titolo sul rapporto causale che giustifica il suo possesso da parte del girante; per poi passare, come conclusione del lavoro, a stabilire l’interpretazione non solo processuale ma anche sostanziale che deve darsi, alla luce dei risultati raggiunti, alla disciplina degli artt. 66 della legge cambiaria e 58 della legge assegni.

Libertà di manifestazione del pensiero e tecniche argomentative delle Corti costituzionali

La ricerca consta di quattro capitoli: nella prima parte si analizzano, in prospettiva empirica, i canoni argomentativi utilizzati dalla Corte costituzionale italiana. Tali canoni possono essere generalmente distinti in due grandi famiglie: giuridico-interpretativi per un verso, e ed empirico fattuali per un altro. In un secondo capitolo si è visto come la Corte costituzionale italiana ha frutto uso di questi canoni nella sua giurisprudenza italiana in tema di diritto soggettivo di libertà di espressione e di mezzi di comunicazione del pensiero. Nel primo caso la Corte costituzionale ha fatto ricorso a canoni interpretativi testuali, mentre nel secondo ad argomentazioni empiriche spesso accompagnate da un giudizio di proporzionalità sull'intervento legislativo. Nella terza parte del lavoro si è invece descritta la giurisprudenza della Corte Suprema americana: è stata analizzata l'evoluzione delle tecniche argomentativi in tema di libertà di espressione: partendo dall'ad hoc balancing e dal definitional balancing si è giunti alla descrizione dei diversi livelli di scrutinio e alla progressiva concettualizzazione delle categorie espressive. Infine nel quarto capitolo si sono messe a confronto le due giurisprudenze: si è potuto così notare che la progressiva categorizzazione del diritto di libertà negli Stati Uniti ha dato esiti maggiormente garantisti, mentre più liberisti in relazione alle concrete dinamiche di formazione del discorso pubblico. Viceversa, in Italia i canoni testuali hanno originato una giurisprudenza più restrittiva quanto al diritto soggettivo e più egualitaria quanto al sistema della libertà di espressione. In ogni caso, entrambe le esperienze evidenziano il ruolo di policy-maker delle Corti costituzionali nei moderni ordinamenti liberal-democratici.

Modificazioni soggettive del rapporto obbligatorio e garanzie reali

Lo studio del lato soggettivo del rapporto è centrale nella teoria dell’obbligazione. Ci si chiede se la modificazione di una o anche di entrambe le parti del rapporto determini sempre la sua estinzione o se, invece, si conservi la sua unitarietà oggettiva. La risposta a questo interrogativo è stata diversa a seconda delle diverse epoche storiche. Nel diritto romano si riteneva che la variazione di qualunque soggetto determinasse l’estinzione del rapporto e la costituzione di una nuova obbligazione (novazione soggettiva). Tale soluzione è stata osteggiata dai codificatori moderni per i quali, in caso di modifica delle personae non si ha estinzione del rapporto, ma solo il mutamento di uno dei suoi elementi. Quanto ai diritti di garanzia, in particolare l’ipoteca, i principi generali essenzali sono la specialità e l’accessorietà. Quest’ultima caratteristica è dirimente in caso di modificazione soggettiva del rapporto e ciò emerge in sede di trattazione delle singole fattispecie del Codice Civile che la determinano, sia quanto al creditore sia quanto al debitore. Per velocizzare il subentro nel credito, nel 2007 è stato approvato il decreto Bersani (sulla portabilità del mutuo) che ha consentito di rimuovere vincoli a tale circolazione, nell’ambito dei rapporti bancari. Le caratteristiche della modificazione del rapporto obbligatorio, tuttavia, possono minare l’efficacia della riforma Bersani. Questo è il motivo per il quale taluni studiosi ritengono necessario procedere a un’ampia rivisitazione dell’intero diritto ipotecario, eliminando, sulla scia di quanto accaduto in altri ordinamenti europei, il requisito dell’accessorietà del vincolo. Nonostante ciò, a causa dei rischi connessi a questa riforma, si ritiene preferibile affinare il meccanismo di perfezionamento della portabilità, eliminandone le criticità, senza però pregiudicare le sicurezze dell’attuale sistema giuridico, di cui l’accessorietà dell’ipoteca rispetto al credito costituisce un importante caposaldo.

Ricerca di criteri analitico-progettuali per la riqualificazione paesaggistica di strutture e infrastrutture in aziende agricole multifunzionali.

Obiettivo generale dello studio è rivolto alla definizione di linee d’indirizzo volte alla riqualificazione paesaggistica, per l’integrazione ed il recupero delle corti e degli edifici moderni dei centri aziendali agricoli a carattere multifunzionale in territorio rurale, attraverso soluzioni appropriate sia sul piano tecnologico-formale che su quello economico-funzionale. Con riferimento ad un’area studio sovracomunale della provincia di Bologna (Regione Emilia-Romagna), si è determinato, quale obiettivo specifico, l’individuazione delle possibili soluzioni di riqualificazione, da realizzarsi in economia, cioè primariamente attraverso i mezzi e le competenze normalmente disponibili in un’azienda agricola di questo tipo. A seguito del riconoscimento dei caratteri specifici e dei tipi edilizi degli edifici rurali tradizionali nella pianura emiliano romagnola, dell’identificazione delle metodologie d’indagine dei caratteri degli edifici rurali in letteratura, nonché dell’analisi della normativa di riferimento in materia di aziende multifunzionali, sono state definite le aziende studio, appartenenti ad aree geografiche differenti. La metodologia d’indagine individuata è stata condotta per la determinazione delle tipologie costruttive, dei materiali utilizzati e dei requisiti delle aziende, in relazione alle diverse specificità, alla definizione funzionale degli spazi costruiti, degli spazi aperti e delle differenti relazioni fra essi e l’identificazione ed analisi dei percorsi delle diverse tipologie di fruitori. L’identificazione delle criticità dei caratteri architettonici riscontrate, sia negli edifici agricoli sia nella corte, ha condotto al riconoscimento degli ambiti di intervento per la progettazione delle soluzioni di riqualificazione funzionale e paesaggistica, attraverso lo studio delle possibili soluzioni per la schermatura o rivalorizzazione sia degli edifici moderni di servizio all’agricoltura (analizzando le potenzialità progettuali offerte dalle pareti verdi, dai brise soleil, dalle facciate ventilate o da intonaci e tinteggiature), sia per la riqualificazione dei percorsi e degli aspetti paesaggistici (intervenendo sulla proposta di materiali da pavimentazione, e delle essenze da utilizzare), da realizzarsi in economia, ma comparati con alternative proposte di tipo commerciale.

Aggregazione delle query per sistemi pub/sub: il progetto SALES

I sistemi mobili rappresentano una classe di sistemi distribuiti caratterizzata dalla presenza di dispositivi portatili eterogenei quali PDA, laptop e telefoni cellulari che interagiscono tra loro mediante una rete di interconnessione wireless. Una classe di sistemi mobili di particolare interesse è costituita dai sistemi basati sul modello di interazione publish/subscribe. Secondo tale schema, i nodi all'interno di una rete possono assumere due ruoli differenti: i produttori di informazione, chiamati publisher, ed i consumatori di informazione, chiamati subscriber. Tipicamente, l'interazione tra essi è mediata da un gestore di eventi che indirizza correttamente le informazioni ricevute dai publisher verso i subscriber interessati, sulla base degli interessi espressi da questi ultimi tramite sottoscrizioni. Nella progettazione di sistemi mobili, a differenza di quelli tradizionali basati su nodi fissi, bisogna tenere conto di problemi quali la scarsa capacità computazionale dei dispositivi e la limitata larghezza di banda delle reti wireless. All'interno di tale ambito, stanno recentemente assumendo sempre maggiore importanza i sistemi context-aware, ovvero sistemi mobili che sfruttano i dati provenienti dall'ambiente circostante e dai dispositivi stessi per adattare il proprio comportamento e notificare agli utenti la presenza di informazioni potenzialmente utili. Nello studio di questi sistemi, si è notato che i nodi che si trovano nella stessa area geografica generano tipicamente delle sottoscrizioni che presentano tra loro un certo grado di similarità e coperture parziali o totali. Il gruppo di ricerca del DEIS dell’Università di Bologna ha sviluppato un'infrastruttura di supporto per sistemi mobili context-aware, chiamata SALES. Attualmente il sistema progettato non considera le similarità delle sottoscrizioni e quindi non sfrutta opportunamente tale informazione. In questo contesto si rende necessario l'adozione di opportune tecniche di aggregazione delle sottoscrizioni atte ad alleggerire la computazione dei nodi mobili e le comunicazioni tra loro. Il lavoro presentato in questa tesi sarà finalizzato alla ricerca, all'adattamento ed all'implementazione di una tecnica di aggregazione delle sottoscrizioni. Tale tecnica avrà lo scopo di rilevare e sfruttare le similarità delle sottoscrizioni ricevute dal sistema al fine di ridurne il numero; in questo modo, quando un nodo riceverà un dato, il processo di confronto tra l'insieme delle sottoscrizioni memorizzate e il dato ricevuto sarà più leggero, consentendo un risparmio di risorse computazionali. Inoltre, adattando tali tecniche, sarà possibile modulare anche il traffico dati scaturito dalle risposte alle sottoscrizioni. La struttura di questa tesi prevede un primo capitolo sui sistemi context-aware, descrivendone le principali caratteristiche e mettendo in luce le problematiche ad essi associate. Il secondo capitolo illustra il modello di comunicazione Publish/Subscribe, modello di riferimento per i moderni sistemi context-aware e per i sistemi mobili in generale. Il terzo capitolo descrive l'infrastruttura SALES sulla quale si è progettata, implementata e testata la soluzione proposta in questa tesi. Il quarto capitolo presenta le principali tecniche di aggregazione delle sottoscrizioni e spiega come possono essere adattate al contesto di questa tesi. Il quinto capitolo effettua l'analisi dei requisiti per comprendere meglio il comportamento della soluzione; seguono la progettazione e l’implementazione della soluzione su SALES. Infine, il sesto capitolo riporta in dettaglio i risultati ottenuti da alcuni degli esperimenti effettuati e vengono messi a confronto con quelli rilevati dal sistema di partenza.

Quantum field theory of (p,0)-forms on kaehler manifolds

In questa tesi abbiamo studiato la quantizzazione di una teoria di gauge di forme differenziali su spazi complessi dotati di una metrica di Kaehler. La particolarità di queste teorie risiede nel fatto che esse presentano invarianze di gauge riducibili, in altre parole non indipendenti tra loro. L'invarianza sotto trasformazioni di gauge rappresenta uno dei pilastri della moderna comprensione del mondo fisico. La caratteristica principale di tali teorie è che non tutte le variabili sono effettivamente presenti nella dinamica e alcune risultano essere ausiliarie. Il motivo per cui si preferisce adottare questo punto di vista è spesso il fatto che tali teorie risultano essere manifestamente covarianti sotto importanti gruppi di simmetria come il gruppo di Lorentz. Uno dei metodi più usati nella quantizzazione delle teorie di campo con simmetrie di gauge, richiede l'introduzione di campi non fisici detti ghosts e di una simmetria globale e fermionica che sostituisce l'iniziale invarianza locale di gauge, la simmetria BRST. Nella presente tesi abbiamo scelto di utilizzare uno dei più moderni formalismi per il trattamento delle teorie di gauge: il formalismo BRST Lagrangiano di Batalin-Vilkovisky. Questo metodo prevede l'introduzione di ghosts per ogni grado di riducibilità delle trasformazioni di gauge e di opportuni “antifields" associati a ogni campo precedentemente introdotto. Questo formalismo ci ha permesso di arrivare direttamente a una completa formulazione in termini di path integral della teoria quantistica delle (p,0)-forme. In particolare esso permette di dedurre correttamente la struttura dei ghost della teoria e la simmetria BRST associata. Per ottenere questa struttura è richiesta necessariamente una procedura di gauge fixing per eliminare completamente l'invarianza sotto trasformazioni di gauge. Tale procedura prevede l'eliminazione degli antifields in favore dei campi originali e dei ghosts e permette di implementare, direttamente nel path integral condizioni di gauge fixing covarianti necessari per definire correttamente i propagatori della teoria. Nell'ultima parte abbiamo presentato un’espansione dell’azione efficace (euclidea) che permette di studiare le divergenze della teoria. In particolare abbiamo calcolato i primi coefficienti di tale espansione (coefficienti di Seeley-DeWitt) tramite la tecnica dell'heat kernel. Questo calcolo ha tenuto conto dell'eventuale accoppiamento a una metrica di background cosi come di un possibile ulteriore accoppiamento alla traccia della connessione associata alla metrica.

Verso una teoria delle differenze tra documenti semi-strutturati

I sistemi di versionamento moderni quali "git" o "svn" sono ad oggi basati su svariati algoritmi di analisi delle differenze (detti algoritmi di diffing) tra documenti (detti versioni). Uno degli algoritmi impiegati con maggior successo a tal proposito è il celebre "diff" di Unix. Tale programma è in grado di rilevare le modifiche necessarie da apportare ad un documento al fine di ottenerne un altro in termini di aggiunta o rimozione di linee di testo. L'insieme di tali modifiche prende nome di "delta". La crescente richiesta e applicazione dei documenti semi-strutturati (ed in particolar modo dei documenti XML) da parte della comunità informatica soprattutto in ambito web ha motivato la ricerca di algoritmi di diffing più raffinati che operino al meglio su tale tipologia di documenti. Svariate soluzioni di successo sono state discusse; algoritmi ad alte prestazioni capaci di individuare differenze più sottili della mera aggiunta o rimozione di testo quali il movimento di interi nodi, il loro riordinamento finanche il loro incapsulamento e così via. Tuttavia tali algoritmi mancano di versatilità. L'incapsulamento di un nodo potrebbe essere considerata una differenza troppo (o troppo poco) generale o granulare in taluni contesti. Nella realtà quotidiana ogni settore, pubblico o commerciale, interessato a rilevare differenze tra documenti ha interesse nell'individuarne sempre e soltanto un sottoinsieme molto specifico. Si pensi al parlamento italiano interessato all'analisi comparativa di documenti legislativi piuttosto che ad un ospedale interessato alla diagnostica relativa alla storia clinica di un paziente. Il presente elaborato di tesi dimostra come sia possibile sviluppare un algoritmo in grado di rilevare le differenze tra due documenti semi-strutturati (in termini del più breve numero di modifiche necessarie per trasformare l'uno nell'altro) che sia parametrizzato relativamente alle funzioni di trasformazione operanti su tali documenti. Vengono discusse le definizioni essenziali ed i principali risultati alla base della teoria delle differenze e viene dimostrato come assunzioni più blande inducano la non calcolabilità dell'algoritmo di diffing in questione.

Modernismi Litici 1922-1942. La pietra nell'Architettura Moderna

Leggere il progetto del Moderno e le sue culture costruttive in relazione alla storia e allo sviluppo della tecnologia, consente di esplorare alcuni aspetti dell’Architettura Moderna in Europa. Oltre alla più famosa, e maggiormente studiata, triade dei materiali ‘moderni’ – l’acciaio, il calcestruzzo e il vetro – la pietra ha svolto un importante ruolo nella definizione sia dello stile che della costruzione moderna. La costruzione in pietra è stata sempre associata alla tradizione e quindi deliberatamente dimenticata dal Movimento Moderno, durante la fase cruciale della modernizzazione della società e quindi dell’architettura e della costruzione. La pietra tuttavia testimonia la delicata transizione dalla tradizionale arte del costruire alle nuove tecnologie. La ricerca ha studiato l’evoluzione delle tecniche costruttive in pietra in Francia ed in Italia, durante gli anni ’20 e ’30, in relazione alle nuove tecniche industrializzate e i linguaggi delle avanguardie. La ricerca è partita dallo studio dei manuali, delle riviste e dei progetti presentati sulle loro pagine. In Italia e in Francia il rivestimento in pietra si afferma come un sistema costruttivo ‘razionale’, dove la costruzione moderna converge lentamente verso nuove soluzioni; questo sistema ha avuto negli anni ’20 e ’30 un ruolo centrale, nel quale è stato possibile un dialogo, senza contraddizioni, tra i materiali ‘moderni’ e la pietra. L’evoluzione dalle tradizionali tecniche costruttive verso i nuovi sistemi tecnologici, ha determinato una nuova costruzione in pietra che è alla base di una modernità che non rifiuta questo materiale tradizionale, ma lo trasforma secondo i nuoci principi estetici.

Sviluppo di un sistema per l'ottimizzazione della dose in radioterapia tramite "dose-painting" basato sui voxel

Il presente lavoro è stato svolto presso la struttura di Fisica Medica dell'Azienda Ospedaliera IRCCS "Arcispedale S. Maria Nuova" di Reggio Emilia e consiste nello sviluppo di un sistema per l'ottimizzazione della dose in Radioterapia tramite dose-painting basato sui voxel. Il dose painting è una tecnica di pianificazione del trattamento di radioterapia che si basa sull'assegnazione o ridistribuzione della dose secondo le informazioni biologiche e metaboliche che i moderni sistemi di imaging sono in grado di fornire. La realizzazione del modulo di calcolo BioOPT è stata possibile grazie all'utilizzo dei due software open-source Plastimatch e CERR, specifici per l'elaborazione e la registrazione di immagini mediche di diversi tipi e formati e per la gestione, la modifica e il salvataggio di piani di trattamento di radioterapia creati con la maggior parte dei software commerciali ed accademici. Il sistema sviluppato è in grado di registrare le immagini relative ad un paziente, in generale ottenute da diverse tipologie di imaging e acquisite in tempi diversi ed estrarre le informazioni biologiche relative ad una certa struttura. Tali informazioni verranno poi utilizzate per calcolare le distribuzioni di dose "ottimale" che massimizzano il valore delle funzioni radiobiologiche utilizzate per guidare il processo di redistribuzione della dose a livello dei voxel (dose-painting). In questo lavoro il modulo è stato utilizzato principalmente per l'ottimizzazione della dose in pazienti affetti da Glioblastoma, un tumore cerebrale maligno tra i più diffusi e mortali. L'ottimizzatore voxel-based, infatti, è stato sviluppato per essere utilizzabile all'interno di un progetto di ricerca finanziato dal Ministero della Salute per la valutazione di un programma di terapia che include l'uso di un innovativo acceleratore lineare ad alto rateo di dose per la cura di tumori cerebrali in fase avanzata. Al fine di migliorare il trattamento radiante, inoltre, lo studio include la somministrazione della dose tramite dose-painting con lo scopo di verificarne l'efficacia. I risultati ottenuti mostrano che tramite il modulo sviluppato è possibile ottenere distribuzioni di dose eterogenee che tengono conto delle caratteristiche biologiche intratumore stimate a partire dalle immagini multimodali. Inoltre il sistema sviluppato, grazie alla sua natura 'open', è altamente personalizzabile a scopi di ricerca e consente di simulare distribuzioni di dose basate sui voxel e di confrontarle con quelle ottenute con i sistemi commerciali ad uso clinico, che non consentono questo tipo di ottimizzazioni.

Sviluppo di sistemi per l'analisi della combustione in tempo reale per motori endotermici alternativi

I moderni motori a combustione interna diventano sempre più complessi L'introduzione della normativa antinquinamento EURO VI richiederà una significativa riduzione degli inquinanti allo scarico. La maggiore criticità è rappresentata dalla riduzione degli NOx per i motori Diesel da aggiungersi a quelle già in vigore con le precedenti normative. Tipicamente la messa a punto di una nuova motorizzazione prevede una serie di test specifici al banco prova. Il numero sempre maggiore di parametri di controllo della combustione, sorti come conseguenza della maggior complessità meccanica del motore stesso, causa un aumento esponenziale delle prove da eseguire per caratterizzare l'intero sistema. L'obiettivo di questo progetto di dottorato è quello di realizzare un sistema di analisi della combustione in tempo reale in cui siano implementati diversi algoritmi non ancora presenti nelle centraline moderne. Tutto questo facendo particolare attenzione alla scelta dell'hardware su cui implementare gli algoritmi di analisi. Creando una piattaforma di Rapid Control Prototyping (RCP) che sfrutti la maggior parte dei sensori presenti in vettura di serie; che sia in grado di abbreviare i tempi e i costi della sperimentazione sui motopropulsori, riducendo la necessità di effettuare analisi a posteriori, su dati precedentemente acquisiti, a fronte di una maggior quantità di calcoli effettuati in tempo reale. La soluzione proposta garantisce l'aggiornabilità, la possibilità di mantenere al massimo livello tecnologico la piattaforma di calcolo, allontanandone l'obsolescenza e i costi di sostituzione. Questa proprietà si traduce nella necessità di mantenere la compatibilità tra hardware e software di generazioni differenti, rendendo possibile la sostituzione di quei componenti che limitano le prestazioni senza riprogettare il software.

Polinomi di Bernstein e curve di Bezier

Questo lavoro si pone come obiettivo l'approfondimento della natura e delle proprietà dei polinomi espressi mediante la base di Bernstein. Introdotti originariamente all'inizio del '900 per risolvere il problema di approssimare una funzione continua su un intervallo chiuso e limitato della retta reale (Teorema di Stone-Weierstrass), essi hanno riscosso grande successo solo a partire dagli anni '60 quando furono applicati alla computer-grafica per costruire le cosiddette curve di Bezier. Queste, ereditando le loro proprietà geometriche da quelle analitiche dei polinomi di Bernstein, risultano intuitive e facilmente modellabili da un software interattivo e sono alla base di tutti i più moderni disegni curvilinei: dal design industriale, ai sistemi CAD, dallo standard SVG alla rappresentazione di font di caratteri.

Pllm-gestione del ciclo di vita di un impianto. Il caso dell' azienda ospedaliera di Perugia

Obiettivo della presente tesi è l’ipotesi di applicazione dell’approccio PLLM (Plant Lifecycle Management) in un contesto sanitario sfruttando moderni metodi di organizzazione e coordinamento delle fasi del ciclo di vita di un impianto e nuove tecnologie per la realizzazione di un database informatizzato per la gestione dei dati e delle informazioni all’interno di una struttura sanitaria, nel caso specifico del Blocco Operatorio ‘Vittorio Trancanelli’ dell’Azienda Ospedaliera di Perugia. Per raggiungere tale obiettivo ho prima di tutto analizzato il contesto aziendale, studiate le realtà esistenti, per poi affrontare in dettaglio le variabili del problema. I dati ottenuti in seguito all’attività di ricerca sono stati utilizzati per conoscere e avere una dimensione della mole di informazioni e beni che vengono annualmente smistati e gestiti quotidianamente all’interno della struttura ospedaliera per andare ad analizzare più nello specifico la strutturazione e la complessità di un impianto complesso quale il Blocco Operatorio “Vittorio Trancanelli”. In ultima istanza sono state redatte delle metodologie per la corretta implementazione della piattaforma gestionale in ottica PLLM al fine di garantire una snella e tempestiva fruizione della documentazione utile alla corretta gestione del ciclo di vita di un impianto complesso.