Analisi di vulnerabilità di un ponte ferroviario ad arco in muratura

L'elaborato è sviluppato sullo studio della vulnerabilità sismica globale e locale di un ponte ad arco in muratura.

Implementazione automatica di protocolli di interazione AUML mediante reti di Petri

Questa tesi si basa su una serie di lavori precedenti, volti ad analizzare la correlazione tra i modelli AUML e le reti di Petri, per riuscire a fornire una metodologia di traduzione dai primi alle seconde. Questa traduzione permetterà di applicare tecniche di model checking alle reti così create, al fine di stabilire le proprietà necessarie al sistema per poter essere realizzato effettivamente. Verrà poi discussa un'implementazione di tale algoritmo sviluppata in tuProlog ed un primo approccio al model checking utilizzando il programma Maude. Con piccole modifiche all'algoritmo utilizzato per la conversione dei diagrammi AUML in reti di Petri, è stato possibile, inoltre, realizzare un sistema di implementazione automatica dei protocolli precedentemente analizzati, verso due piattaforme per la realizzazione di sistemi multiagente: Jason e TuCSoN. Verranno quindi presentate tre implementazioni diverse: la prima per la piattaforma Jason, che utilizza degli agenti BDI per realizzare il protocollo di interazione; la seconda per la piattaforma TuCSoN, che utilizza il modello A&A per rendersi compatibile ad un ambiente distribuito, ma che ricalca la struttura dell'implementazione precedente; la terza ancora per TuCSoN, che sfrutta gli strumenti forniti dalle reazioni ReSpecT per generare degli artefatti in grado di fornire una infrastruttura in grado di garantire la realizzazione del protocollo di interazione agli agenti partecipanti. Infine, verranno discusse le caratteristiche di queste tre differenti implementazioni su un caso di studio reale, analizzandone i punti chiave.

Interferometria SAR per lo studio di movimenti e generazione di modelli digitali del terreno in Antartide

Satellite SAR (Synthetic Aperture Radar) interferometry represents a valid technique for digital elevation models (DEM) generation, providing metric accuracy even without ancillary data of good quality. Depending on the situations the interferometric phase could be interpreted both as topography and as a displacement eventually occurred between the two acquisitions. Once that these two components have been separated it is possible to produce a DEM from the first one or a displacement map from the second one. InSAR DEM (Digital Elevation Model) generation in the cryosphere is not a straightforward operation because almost every interferometric pair contains also a displacement component, which, even if small, when interpreted as topography during the phase to height conversion step could introduce huge errors in the final product. Considering a glacier, assuming the linearity of its velocity flux, it is therefore necessary to differentiate at least two pairs in order to isolate the topographic residue only. In case of an ice shelf the displacement component in the interferometric phase is determined not only by the flux of the glacier but also by the different heights of the two tides. As a matter of fact even if the two scenes of the interferometric pair are acquired at the same time of the day only the main terms of the tide disappear in the interferogram, while the other ones, smaller, do not elide themselves completely and so correspond to displacement fringes. Allowing for the availability of tidal gauges (or as an alternative of an accurate tidal model) it is possible to calculate a tidal correction to be applied to the differential interferogram. It is important to be aware that the tidal correction is applicable only knowing the position of the grounding line, which is often a controversial matter. In this thesis it is described the methodology applied for the generation of the DEM of the Drygalski ice tongue in Northern Victoria Land, Antarctica. The displacement has been determined both in an interferometric way and considering the coregistration offsets of the two scenes. A particular attention has been devoted to investigate the importance of the role of some parameters, such as timing annotations and orbits reliability. Results have been validated in a GIS environment by comparison with GPS displacement vectors (displacement map and InSAR DEM) and ICEsat GLAS points (InSAR DEM).

Semplificare l'interazione con l'utente nell'interprete IntML

Si presenta IntML, un linguaggio funzionale di recente introduzione che rende possibile la comunicazione bidirezionale; si descrive il funzionamento del suo interprete, a cui abbiamo aggiunto nuove funzionalita' che semplificano le operazioni di debugging e testing degli algoritmi.

Analisi della stabilità dei risultati dei test di risposta termica: prove in campo, confronto e analisi critica per diversi metodi di esecuzione e modellizzazione

Il Test di Risposta Termica (Thermal Response Test-TRT) (Mogenson,1983) è il test esistente con il più alto grado di accuratezza per la caratterizzazione del reservoir geotermico superficiale. Il test consiste in una simulazione in situ del funzionamento di un sistema a circuito chiuso di sfruttamento dell’energia geotermica, per un periodo limitato di tempo, attraverso l’iniezione o estrazione di calore a potenza costante all’interno del geo-scambiatore (Borehole Heat Exchanger-BHE). Dall’analisi della variazione delle temperature del fluido circolante, è possibile avere una stima delle proprietà termiche medie del volume del reservoir geotermico interessato dal test. Le grandezze principali per la caratterizzazione di un serbatoio geotermico sono la conduttività termica (λ), la capacità termica volumetrica (c), la temperatura indisturbata del suolo (Tg) e la resistenza termica del pozzo (Rb); la loro determinazione è necessaria per il corretto progettazione degli geo-scambiatori. I risultati del TRT sono tuttavia sensibili alle condizioni al contorno spazio-temporali quali ad es.: variazione della temperatura del terreno, movimento d’acqua di falda, condizioni metereologiche, eventi stagionali, ecc. Questo lavoro vuole: i) introdurre uno studio sui problemi di caratterizzazione del reservoir geotermico superficiale, in particolare analizzando l’effetto che il movimento d’acqua di falda ha sui parametri termici; ii) analizzare la sensitività dei risultati del test alle variabilità dei parametri caratteristici del funzionamento delle attrezzature. Parte del lavoro della mia tesi è stata svolta in azienda per un periodo di 4 mesi presso la “Groenholland Geo Energy systems” che ha sede ad Amsterdam in Olanda. Tre diversi esperimenti sono stati realizzati sullo stesso sito (stratigrafia nota del terreno: argilla, sabbia fine e sabbia grossa) usando una sonda profonda 30 metri e diversi pozzi per l’estrazione d’acqua e per monitorare gli effetti in prossimità del geo scambiatore. I risultati degli esperimenti sono stati molto diversi tra di loro, non solo in termini di dati registrati (temperature del fluido termovettore), ma in termini dei valori dei parametri ottenuti elaborando i dati. In particolare non è sufficiente adottare il modello classico della sorgente lineare infinita (Infinite Line Source Solution- ILS) (Ingersoll and Plass, 1948), il quale descrive il trasferimento di calore per conduzione in un mezzo omogeneo indefinito a temperatura costante. Infatti, lo scambio di calore avviene anche tramite convezione causata dal movimento d’acqua di falda, non identificabile mediante gli approcci classici tipo CUSUM test (Cumulative Sum test) (Brown e altri,1975) Lo studio della tesi vuole dare un quadro di riferimento per correlare la variabilità dei risultati con la variabilità delle condizioni al contorno. L’analisi integra le metodologie classiche (ILS) con un approccio geostatistico utile a comprendere i fenomeni e fluttuazioni che caratterizzano il test. Lo studio delle principali variabili e parametri del test, quali temperatura in ingresso e uscita del fluido termovettore, portata del fluido e potenza iniettata o estratta, è stato sviluppato mediante: il variogramma temporale, ovvero la semivarianza dell’accrescimento, che esprime il tipo di autocorrelazione temporale della variabile in esame; la covarianza incrociata temporale, ovvero la covarianza fra due variabili del sistema, che ne definisce quantitativamente il grado di correlazione in funzionamento del loro sfasamento temporale. L’approccio geostatistico proposto considera la temperatura del fluido Tf come una funzione aleatoria (FA) non stazionaria nel tempo (Chiles, 1999), il cui trend è formalmente definito, ma deve essere identificato numericamente. Si considera quindi un classico modello a residuo; in cui la FA è modellizzata come la somma di un termine deterministico, la media (il valore atteso) m(t),coincidente col modello descritto dalla teoria della sorgente lineare infinità, e di un termine aleatorio, la fluttuazione, Y(t). Le variabili portata e potenza sono invece considerate delle funzioni aleatorie stazionarie nel tempo, ovvero a media costante. Da questo studio di Tesi si sono raggiunte delle conclusioni molto importanti per lo studio del TRT: Confronto tra gli esperimenti in estrazione di calore, con e senza movimento d’acqua di falda: si studia l’effetto indotto dalla falda sul TRT. E’ possibile caratterizzare quantitativamente l’incremento della conducibilità termica equivalente legata a fenomeni convettivi dovuti al movimento d’acqua di falda. Inoltre, i variogrammi sperimentali evidenziano periodicità simili nei due casi e legate al funzionamento della pompa di calore e della componentistica associata ed alla circolazione del fluido termovettore all’interno della sonda. Tuttavia, la componente advettiva ha un effetto di smorzamento sulle piccole periodicità dei variogrammi, ma di aumento dell’ampiezza delle periodicità maggiori a causa del funzionamento della pompa di calore che deve fornire maggiore energia al sistema per bilanciare le dispersioni dovute al movimento d’acqua di falda. Confronto fra estrazione ed iniezione di calore, con movimento d’acqua di falda: si studia la significatività dei risultati nei due casi. L’analisi delle variografie evidenzia significative differenze nella struttura dei variogrammi sperimentali. In particolare, nel test con iniezione di calore i variogrammi sperimentali delle temperature hanno valori sistematicamente inferiori, circostanza che assicura una migliore precisione nella stima dei parametri termici. Quindi eseguire il TRT in iniezione di calore risulta più preciso. Dall’analisi dei variogrammi sperimentali delle singole variabili quali temperatura del fluido in ingresso e uscita all’interno del geoscambiatore è stato confermato il fenomeno di smorzamento delle oscillazioni da parte del terreno. Dall’analisi delle singole variabili del test (temperature, potenza, portata) è stata confermata l’indipendenza temporale fra portate e temperature. Ciò è evidenziato dalle diverse strutture dei variogrammi diretti e dalle covarianze incrociate prossime a zero. Mediante correlogrami è stato dimostrato la possibilità di calcolare il tempo impiegato dal fluido termovettore per circolare all’interno della sonda. L’analisi geostatistica ha permesso quindi di studiare in dettaglio la sensitività dei risultati del TRT alle diverse condizioni al contorno, quelle legate al reservoir e quelle legate al funzionamento delle attrezzature

Progetto, sviluppo e messa in opera di un server per cartografia digitale attiva

La tesi riguarda la creazione di una architettura che ha lo scopo di far interagire attivamente un utente con una mappa digitale tramite browser web e un applicativo che calcola dei percorsi in base ad un algoritmo di ottimizzazione. Un ambito interessante, attuale e che avrà, molto probabilmente, notevoli sviluppi futuri. Basti pensare per esempio a come le persone interagiscono con le mappe digitali tramite i famosi Google Maps o Google Earth, Bing Maps e OpenStreetMap. Questa interazione è diventata talmente naturale che è ormai intuitivo ruotare la rotellina del mouse per zoomare oppure tenere premuto il tasto sinistro per trascinare la mappa. Spesso questi applicativi web offrono servizi per il calcolo di percorsi, o rilasciano anche delle API per interagire e personalizzare alcuni aspetti, anche se spesso in modo limitato per questioni di copyright. In questo contesto entrano in gioco associazioni, singoli individui e fondazioni che creano software e standard fruibili da chiunque per creare applicativi e architetture personalizzate senza vincoli di diritti troppo limitanti. In questa tesi viene mostrato un approccio che permette una personalizzazione molto dettagliata e un'alta interoperabilità con queste applicazioni specifiche. Ma tutti questi aspetti positivi sono fruibili, per ora, solo mediante supporto umano avente un bagaglio di esperienze tecniche adeguate.

Sviluppo dei materiali innovativi e studio della loro interazione con sistemi biologici e biomimetici

Nell’ambito della Chimica Sostenibile e dell’applicazione dei suoi principi per la salvaguardia dell’ambiente, il progetto di dottorato ha riguardato lo sviluppo di materiali innovativi e lo studio della loro interazione con sistemi biologici e biomimetici. In particolare l’attività si è focalizzata sulla sintesi di liquidi ionici ed indagini delle interazioni con membrane cellulari e sull’utilizzo ed isolamento di molecole da fonti rinnovabili. I liquidi ionici sono sali organici liquidi a temperature inferiori ai 100 °C; sono considerati promettenti solventi a ridotta tossicità, ma vanno chiarite a pieno le modalità di interazione con i sistemi biologici ed i meccanismi di tossicità. A questo scopo è stata impiegata una batteria di test bio-chimici, con saggi di fluorescenza e colorimetrici, che hanno permesso di discriminare le diverse tipologie di interazioni con varie strutture di membrana. Le informazioni raccolte sono servite per progettare sostanze meno dannose per le strutture cellulari, al fine di scegliere le funzionalità molecolari che consentano ai liquidi ionici di mantenere la loro attività ma di essere meno dannosi per l’ambiente. Per quanto riguarda l’utilizzo ed isolamento di molecole da fonte rinnovabili, si è utilizzata la tecnica della pirolisi per l’ottenimento di starting materials ed il loro impiego nella sintesi di chemicals in alternativa a composti derivanti da fonti fossili. La pirolisi tradizionale della cellulosa fornisce una molecola interessante, per semplicità denominata LAC, in quantità insufficienti ad un uso applicativo. Nell’ambito delle ricerche svolte è stato scoperto che la pirolisi condotta in presenza di catalizzatori meso-strutturati (MCM-41) drogati con metalli di transizione, fornisce buone quantità di LAC. LAC si è dimostrato promettente sia per la produzione di nuove molecole con possibili applicazioni nella chimica fine e farmaceutica, che come monomero per nuovi polimeri (copolimero ed omopolimero).

Educazione sostenibile. Progetto di riqualificazione del complesso scolastico Ponte Pietra a Cesena.

Oggetto di questa tesi è la riqualificazione energetica del complesso scolastico, formato dalla scuola materna "i Girasoli" e dalla scuola elementare "il Gelso", localizzate a Ponte Pietra, frazione di Cesena. La strategia di intervento prevede l'assunzione degli obiettivi funzionali fissati dall‟Amministrazione, ma anche una riqualificazione urbana del sito in esame e una riqualificazione architettonica delle due scuole. Per definire gli obiettivi di progetto e quindi le strategie da adottare, è stata effettuata una analisi dell'area in cui si andava ad operare e soprattutto una analisi dei due edifici in oggetto. A scala urbana, analizzando le funzioni dell'area di intervento è emerso che il lotto all‟interno del quale è inserito il polo scolastico è centrale per la frazione, ospitando infatti i principali edifici pubblici. Dall‟ analisi sono emerse diverse criticità, tra cui la localizzazione su una strada ad alto scorrimento, si è perciò previsto di inserire una "zona 30" e di riqualificare i percorsi esistenti, per garantire la massima permeabilità e valorizzare la fruizione pedonale dell'area. Per quanto concerne le funzioni, il progetto ha proposto di recuperare un edificio di quest‟area e adibirlo a spazio ricreativo costituendo un polo attrattivo che aumenti la fruizione dell‟area in ogni ora della giornata e che sia anche punto di incontro per la comunità, sia per i più piccoli sia per gli anziani. A scala architettonica, gli due edifici presentano numerosi inconvenienti. Innanzi tutto la relazione con il contesto: l‟ingresso alle due scuole risulta infatti pericoloso perché localizzato sulla strada a scorrimento veloce, e inoltre scomodo perché servito da un insufficiente parcheggio. All‟interno degli edifici,la disposizione degli spazi non permette di sfruttare appieno le potenzialità delle due piccole scuole, inoltre alcuni ambienti risultano sottodimensionati rispetto alla normativa vigente. Il progetto prevede una ridistribuzione interna dei vari ambienti, anche per consentire agli edifici di soddisfare le mutate esigenze dell'utenza . Per quanto concerne gli obiettivi di contenimento dei consumi energetici dell‟edificio fissati dall'Amministrazione, il fabbisogno attuale è stato verificato tramite un software certificato. Quindi si è proceduto ipotizzando diversi step di progressivo miglioramento delle prestazioni energetiche, simulate tramite il software, fino a fare raggiungere agli edifici la Classe energetica A. Ciò ha richiesto di intervenire sia sull'involucro che sul sistema impiantistico esistente. La tesi ha valutato anche alcuni elementi del quadro economico e finanziario dell'intervento, determinando il tempo di ritorno degli investimenti necessari per la riqualificazione energetica, in relazione alla riduzione dei consumi futuri che essa è permette di conseguire.

Progettazione di poltrona ad inseguimento solare collocata su ponte navale

Progetto e dimensionamento di una poltrona ad inseguimento solare. Scelta del meccanismo da adottare per la movimentazione automatica dello schienale e della seduta.

Complessi dinucleari di ferro con leganti a ponte per la produzione elettrocatalitica di idrogeno

Il forte incremento della popolazione mondiale, la continua crescita del tenore di vita e del livello di consumi hanno portato negli ultimi decenni ad un enorme aumento della richiesta mondiale di energia. Diviene pertanto fondamentale ricercare nuovi metodi altamente efficienti di produzione, trasporto ed utilizzo di energia, che migliorino la qualità della vita dell’uomo e nello stesso tempo salvaguardino il clima e l’ambiente. Proprio a questo proposito, in questi ultimi anni, vi è un crescente interesse nei riguardi della molecola di idrogeno, H2. Ad oggi è impossibile sostituire i combustibili fossili con l’idrogeno, per motivi prettamente tecnologici (difficoltà nello stoccaggio e nel trasporto) e per motivi legati alla sua produzione. Infatti, l’idrogeno è sì uno degli elementi più presenti in natura, ma non come sostanza gassosa pura bensì in forma combinata, generalmente acqua, quindi per produrlo è necessario rompere il legame con l’elemento con cui è combinato, consumando energia; questo spiega il motivo per cui l’idrogeno viene considerato un vettore di energia e non una fonte di energia. La produzione di idrogeno, o meglio del suo equivalente costituito da un flusso di elettroni e protoni, dall’acqua è un processo che avviene in natura, precisamente nelle cellule vegetali durante la prima fase della fotosintesi clorofilliana. Tale processo mostra l’importanza dei complessi bio-inorganici che vi partecipano, ai quali si ispira la ricerca di nuovi efficienti catalizzatori per la produzione di idrogeno mediante scissione catalitica dell’acqua (water splitting). Una classe di enzimi particolarmente studiata, in quest’ambito, è costituita dalle idrogenasi; la maggior parte di questi enzimi contengono un frame dinucleare Ni-Fe o Fe-Fe. Numerosi gruppi di ricerca sono fortemente impegnati nell’obiettivo di sintetizzare complessi simili a questi enzimi (enzyme mimics), e con prestazioni paragonabili, in modo da produrre idrogeno in modo efficiente e rispettando i principi di sostenibilità ambientale ed economica. Il gruppo di ricerca presso il quale è stato svolto il tirocinio oggetto del presente elaborato si occupa dello studio di complessi metallorganici caratterizzati dalla presenza di un “core” metallico costituito da due atomi di Ferro adiacenti coordinati tra loro mediante leganti a ponte diversamente funzionalizzati. Obiettivo del tirocinio è stato quello di verificare l’efficienza catalitica di alcuni di questi complessi nel promuovere il processo di interconversione H+/H2; per fare ciò, si è fatto ricorso ad un approccio elettrochimico, sfruttando la tecnica della voltammetria ciclica.

Studio dell'interazione di HIV-1 sulle cellule progenitrici ematopoietiche CD34+ (HPCs)

Oltre alla progressiva perdita dei linfociti T CD4, i pazienti HIV-infetti presentano diverse citopenie periferiche. In particolare l’anemia si riscontra nel 10% dei pazienti asintomatici e nel 92% di quelli con AIDS e la terapia cART non è in grado di risolvere tale problematica. I meccanismi patogenetici alla base di questa citopenia si ritiene che possano riguardare la deregolazione citochinica, il danno alle HPCs, alle cellule in differenziamento e alle cellule stromali. Le cellule progenitrici ematopoietiche CD34+, dopo essere state separate da sangue cordonale e differenziate verso la linea eritroide, sono state trattate con HIV-1 attivo, inattivato al calore e gp120. In prima istanza è stata messa in luce la mancata suscettibilità all’infezione e l’aumento dell’ apoptosi dovuto al legame gp120-CD4/CXCR4 e mediato dal TGF-β1 nelle cellule progenitrici indifferenziate. L’aspetto innovativo di questo studio però si evidenzia esaminando l’effetto di gp120 durante il differenziamento verso la filiera eritrocitaria. Sono stati utilizzati due protocolli sperimentali: nel primo le cellule sono inizialmente trattate per 24 ore con gp120 (o con HIV-1 inattivato al calore) e poi indotte in differenziamento, nel secondo vengono prima differenziate e poi trattate con gp120. Il “priming” negativo determina una apoptosi gp120-indotta molto marcata già dopo 48 ore dal trattamento ed una riduzione del differenziamento. Se tali cellule vengono invece prima differenziate per 24 ore e poi trattate con gp120, nei primi 5 giorni dal trattamento, è presente un aumento di proliferazione e differenziamento, a cui segue un brusco arresto che culmina con una apoptosi molto marcata (anch’essa dipendente dal legame gp120-CD4 e CXCR4 e TGF-β1 dipendente) e con una drastica riduzione del differenziamento. L’insieme dei risultati ha permesso di definire in modo consistente la complessità della genesi dell’anemia in questi pazienti e di poter suggerire nuovi target terapeutici in questi soggetti, già sottoposti a cART.