Evoluzione della composizione chimica dei sedimenti della pianura Romagnola: evoluzione dei tenori di fondo

L’obiettivo del seguente lavoro di tesi è stato quello di studiare ed individuare la litologia e stratigrafia dei sondaggi oggetto del mio studio, al fine di realizzare un modello stratigrafico,attraverso l’impiego del Software Rockworks, che mettesse in risalto le diverse facies che caratterizzano il territorio della pianura romagnola. Il territorio da me esaminato interessa il territorio della provincia di Ravenna e Ferrara. In seguito ho analizzato la distribuzione di alcuni elementi chimici maggiori, per la determinazione della provenienza degli stessi

Framework mobile per lo sviluppo di sistemi coordinati

Il campo della coordinazione può beneficiare di nuovi strumenti e tecnologie per il proprio sviluppo o per rendere accessibili le sue funzionalità ad un pubblico più vasto. Il progetto TuCSoN, in particolare, include lo strumento Inspector tramite il quale è possibile monitorare ed interagire con l'intero spazio di coordinazione. Al fine di rendere disponibili queste funzionalità anche al mondo mobile è necessario eseguire il porting dell'applicazione. In questa tesi, perciò, verranno prima di tutto analizzate le caratteristiche principali dei modelli di coordinazione e, in particolare, del modello TuCSoN. In seguito eseguiremo un'introduzione sulla tecnologia Android, che ci fornirà gli strumenti necessari per la creazione di un framework mobile equivalente all'Inspector. Infine verranno affrontate le problematiche principali per eseguire con successo il porting, come ad esempio la necessità di ridefinire l'intera interfaccia grafica o l'utilizzo di nuovi componenti quali i service e le activity. Questa operazione, quindi, dimostrerà l'esigenza di adattare l'Inspector ai meccanismi appartenenti al nuovo ambiente di esecuzione.

Verifiche numeriche dello stato di sollecitazione di una struttura alare di un velivolo ultraleggero

Lo scopo del progetto è di calcolare, tramite un modello agli elementi finiti, lo stato di sollecitazione delle parti costituenti l’ala di un velivolo ultraleggero, e di visualizzare i risultati della soluzione del calcolo in maniera grafica. L’aeromobile oggetto di studio è lo Yuma 912 S commercializzato da Alisport, un velivolo di categoria ULM (UltraLeggero Motorizzato) con capacità STOL (Short TakeOff and Landing – decollo ed atterraggio corti). Tutto il lavoro di progettazione, modellazione e calcolo è stato eseguito con un’unica tipologia di programma, CATIA V5, disponibile commercialmente, al fine di evitare conflitti tra diversi programmi CAD (per disegno assistito dal calcolatore) e CAE/FEA (per analisi ingegneristica del prodotto). Il lavoro si è articolato nelle seguenti fasi: progettazione assistita dal calcolatore, sviluppo del modello, valutazione della soluzione. I carichi introdotti nell’analisi sono stati scelti considerando le caratteristiche del velivolo ed il proprio diagramma di manovra, quindi calcolati in maniera teorica e successivamente applicati al modello in esame. La soluzione è stata poi visualizzata tramite simulazione della struttura deformata ed applicazione di una scala di colori sulle zone sottoposte ai diversi stati di sollecitazione.

Reuse Mechanisms and Concurrency: From Actors to Agent-Oriented Programming

La presente tesi è dedicata al riuso nel software. Eccettuata un'introduzione organica al tema, l'analisi è a livello dei meccanismi offerti dai linguaggi di programmazione e delle tecniche di sviluppo, con speciale attenzione rivolta al tema della concorrenza. Il primo capitolo fornisce un quadro generale nel quale il riuso del software è descritto, assieme alle ragioni che ne determinano l'importanza e ai punti cruciali relativi alla sua attuazione. Si individuano diversi livelli di riuso sulla base dell'astrazione e degli artefatti in gioco, e si sottolinea come i linguaggi contribuiscano alla riusabilità e alla realizzazione del riuso. In seguito, viene esplorato, con esempi di codice, il supporto al riuso da parte del paradigma ad oggetti, in termini di incapsulamento, ereditarietà, polimorfismo, composizione. La trattazione prosegue analizzando differenti feature – tipizzazione, interfacce, mixin, generics – offerte da vari linguaggi di programmazione, mostrando come esse intervengano sulla riusabilità dei componenti software. A chiudere il capitolo, qualche parola contestualizzata sull'inversione di controllo, la programmazione orientata agli aspetti, e il meccanismo della delega. Il secondo capitolo abbraccia il tema della concorrenza. Dopo aver introdotto l'argomento, vengono approfonditi alcuni significativi modelli di concorrenza: programmazione multi-threaded, task nel linguaggio Ada, SCOOP, modello ad Attori. Essi vengono descritti negli elementi fondamentali e ne vengono evidenziati gli aspetti cruciali in termini di contributo al riuso, con esempi di codice. Relativamente al modello ad Attori, viene presentata la sua implementazione in Scala/Akka come caso studio. Infine, viene esaminato il problema dell'inheritance anomaly, sulla base di esempi e delle tre classi principali di anomalia, e si analizza la suscettibilità del supporto di concorrenza di Scala/Akka a riscontrare tali problemi. Inoltre, in questo capitolo si nota come alcuni aspetti relativi al binomio riuso/concorrenza, tra cui il significato profondo dello stesso, non siano ancora stati adeguatamente affrontati dalla comunità informatica. Il terzo e ultimo capitolo esordisce con una panoramica dell'agent-oriented programming, prendendo il linguaggio simpAL come riferimento. In seguito, si prova ad estendere al caso degli agenti la nozione di riuso approfondita nei capitoli precedenti.

Comportamento asintotico della volatilità implicita vicino a scadenza

La tesi presenta una descrizione completa del comportamento asintotico della volatilità implicita vicino a scadenza, sotto le condizioni di non arbitraggio. I risultati ottenuti, che non dipendono dalla scelta del modello per il sottostante, saranno applicati nel caso di un modello a volatilità locale.

Design and implementation of a novel multi-constellation FPGA-based dual frequency GNSS receiver for space applications

The PhD activity described in the document is part of the Microsatellite and Microsystem Laboratory of the II Faculty of Engineering, University of Bologna. The main objective is the design and development of a GNSS receiver for the orbit determination of microsatellites in low earth orbit. The development starts from the electronic design and goes up to the implementation of the navigation algorithms, covering all the aspects that are involved in this type of applications. The use of GPS receivers for orbit determination is a consolidated application used in many space missions, but the development of the new GNSS system within few years, such as the European Galileo, the Chinese COMPASS and the Russian modernized GLONASS, proposes new challenges and offers new opportunities to increase the orbit determination performances. The evaluation of improvements coming from the new systems together with the implementation of a receiver that is compatible with at least one of the new systems, are the main activities of the PhD. The activities can be divided in three section: receiver requirements definition and prototype implementation, design and analysis of the GNSS signal tracking algorithms, and design and analysis of the navigation algorithms. The receiver prototype is based on a Virtex FPGA by Xilinx, and includes a PowerPC processor. The architecture follows the software defined radio paradigm, so most of signal processing is performed in software while only what is strictly necessary is done in hardware. The tracking algorithms are implemented as a combination of Phase Locked Loop and Frequency Locked Loop for the carrier, and Delay Locked Loop with variable bandwidth for the code. The navigation algorithm is based on the extended Kalman filter and includes an accurate LEO orbit model.

Neuroinflammation and the role of glia: relevance for neurodegenerative and neurosupportive roles

Inflammation is thought to contribute to the pathogenesis of neurodegenerative diseases. Among the resident population of cells in the brain, astroglia have been suggested to actively participate in the induction and regulation of neuroinflammation by controlling the secretion of local mediators. However, the initial cellular mechanisms by which astrocytes react to pro-inflammatory molecules are still unclear. Our study identified mitochondria as highly sensitive organelles that rapidly respond to inflammatory stimuli. Time-lapse video microscopy revealed that mitochondrial morphology, dynamics and motility are drastically altered upon inflammation, resulting in perinuclear clustering of mitochondria. These mitochondrial rearrangements are accompanied by an increased formation of reactive oxygen species and a recruitment of autophagic vacuoles. 24 to 48 hours after the acute inflammatory stimulus, however, the mitochondrial network is re-established. Strikingly, the recovery of a tubular mitochondrial network is abolished in astrocytes with a defective autophagic response, indicating that activation of autophagy is required to restore mitochondrial dynamics. By employing co-cultivation assays we observed that primary cortical neurons undergo degeneration in the presence of inflamed astrocytes. However, this effect was not observed when the primary neurons were grown in conditioned medium derived from inflamed astrocytes, suggesting that a direct contact between astrocytes and neurons mediates neuronal dysfunction upon inflammation. Our results suggest that astrocytes react to inflammatory stimuli by transiently rearranging their mitochondria, a process that involves the autophagic machinery.

Social Housing e Periferie Urbane: Riqualificazione e tecniche Comunicative

Il campo d’interesse della ricerca è stato l’attuale processo di ricentralizzazione del Social Housing nelle periferie urbane in una parte del contesto internazionale, che sembra stia portando le città a ricrearsi e ripensarsi grazie alla presa di coscienza delle differenze esistenti, rispetto al passato, nei nuovi processi di trasformazione nei quali la città è intesa sia come spazio costruito ma anche sociale. In virtù di quest’ultimi due aspetti complementari della città, oggi, il ruolo della periferia contemporanea sembra essere diversamente interpretato, così come gli interventi di riqualificazione di tipo assistenziale - migliorativo tenderebbero a trasformarne i suoi caratteri alla ricerca del “modello di città”. L’interesse alla tematica è inoltre scaturito dalla constatazione che alla base della crisi dei modelli d’intervento pubblico starebbero sia l’insostenibilità economica ma soprattutto l’errata lettura dei bisogni delle famiglie nella loro specificità e diversità e che in tal senso l’eventuale partecipazione della cittadinanza costituirebbe effettivamente una proposta valida, anche per risolvere la crescente domanda abitativa che si pone a livello mondiale. L’obiettivo della ricerca è stato quello d’analizzare, nel contesto internazionale del Social Housing, le caratteristiche di partecipazione e sussidiarietà che connotano particolarmente gli interventi di riqualificazione destinati a famiglie economicamente carenti, nello specifico analizzando i metodi e gli strumenti atti alla comunicazione partecipativa del progetto in aree urbane periferiche italiane e brasiliane. Nella prima e seconda fase della ricerca è stato svolto, rispettivamente, un lavoro di analisi bibliografica sul tema dell’emergenza casa e sulle nuove politiche abitative di sviluppo urbano ed uno specifico sulla tematica della riqualificazione partecipata del Social Housing in aree della periferia urbana, infine nella terza fase sono stati analizzati i casi di studio prescelti dando rilievo all’analisi delle caratteristiche e requisiti prestazionali delle tecniche partecipative di rappresentazione - comunicazione, più idonee ad influenzare positivamente il suddetto processo.

Coordination as a Service (CaaS) in the Cloud

Nel primo capitolo si è studiata la nuova tecnologia del Cloud Computing, fornendo una semplice analisi di tutte le caratteristiche principali, gli attori coinvolti e i relativi metodi di distribuzione e servizi offerti. Nel secondo capitolo si è introdotta la nozione di coordination as a service, discutendone le relative astrazioni che compongono l'architettura logica. Successivamente si è preso in considerazione il modello di coordinazione TuCSoN definendo cosa si intende per nodo, agente, centro di tuple e agent coordination context ed è stato analizzato il relativo linguaggio di coordinazione attraverso il quale essi interagiscono. Nel terzo capitolo sono state riviste ed estese le nozioni di TuCSoN, precedentemente acquisite, nell'ambito del Cloud Computing ed è stato fornito un modello astratto ed una possibile architettura di TuCSoN in the Cloud. Sono stati analizzati anche gli aspetti di un possibile servizio di tale genere nello scenario di servizio pay-per-use. Infine nel quarto ed ultimo capitolo si è sviluppato un caso di studio in cui si è implementata un'interfaccia per l'attuale CLI di TuCSoN sottoforma di applet, che è stata poi inserita nel Cloud attraverso la piattaforma PaaS Cloudify.

Pratiche del possibile: i Participatory Guarantee Systems e le scelte d'acquisto del consumatore brasiliano

Negli ultimi anni, parallelamente all’espansione del settore biologico, si è assistito a un crescente interesse per i modelli alternativi di garanzia dell’integrità e della genuinità dei prodotti biologici. Gruppi di piccoli agricoltori di tutto il mondo hanno iniziato a sviluppare approcci alternativi per affrontare i problemi connessi alla certificazione di terza parte. Queste pratiche sono note come Sistemi di Garanzia Partecipativa (PGS). Tali modelli: (i) si basano sugli standard di certificazione biologica dell’IFOAM, (ii) riguardano il complesso dei produttori di una comunità rurale, (iii) comportano l’inclusione di una grande varietà di attori e (iv) hanno lo scopo di ridurre al minimo burocrazia e costi semplificando le procedure di verifica e incorporando un elemento di educazione ambientale e sociale sia per i produttori sia per i consumatori. Gli obiettivi di questo lavoro di ricerca: • descrivere il funzionamento dei sistemi di garanzia partecipativa; • indicare i vantaggi della loro adozione nei Paesi in via di sviluppo e non; • illustrare il caso della Rede Ecovida de Agroecologia (Brasile); • offrire uno spunto di riflessione che riguarda il consumatore e la relativa fiducia nel modello PGS. L’impianto teorico fa riferimento alla Teoria delle Convenzioni. Sulla base del quadro teorico è stato costruito un questionario per i consumatori con lo scopo di testare l’appropriatezza delle ipotesi teoriche. I risultati finali riguardano la stima del livello di conoscenza attuale, la fiducia e la volontà d’acquisto dei prodotti PGS da parte dei consumatori nelle aree considerate. Sulla base di questa ricerca sarà possibile adattare ed esportare il modello empirico in altri paesi che presentano economie diverse per cercare di comprendere il potenziale campo di applicazione dei sistemi di garanzia partecipativa.

L’elusione fiscale nell’IVA e l’antielusione nell’esperienza comunitaria e nazionale in Europa

La ricerca oggetto della tesi riguarda la disamina delle esperienze comunitarie e nazionali in Europa in materia di elusione IVA ed antielusione IVA, al fine di esaminare le utilizzabili esperienze in materia per la Cina che dovrebbe iniziare a prendere le giuste azioni per fronteggiare il problema della crescente diffusione dei fenomeni dell’elusione IVA, in particolare nel contesto della riforma perdurante dell’IVA cinese verso il modello moderno. A questo fine, prima la tesi ha analizzato dettagliatamente le seguenti principali questioni sulla base delle esperienze comunitarie e nazionali dei determinati Stati Membri dell’UE: la definizione dell’elusione fiscale generale (a tale proposito, più rilevanti le differenze tra elusione fiscale ed altri relativi concetti come risparmio d’imposta, evasione fiscale e simulazione e la relazione intrinseca tra elusione fiscale ed altri relativi concetti come frode alla legge ed abuso del diritto), la definizione dell’elusione IVA (a tale proposito, più rilevanti gli aspetti di particolare interesse ai fini della definizione dell’elusione IVA), i principi e metodologie dell’elusione IVA, le applicazioni delle varie misure antielusive rivolte all’elusione IVA nell’ordinamento comunitario e negli ordinamenti interni degli alcuni principali Stati Membri dell’UE (a tale proposito, più rilevanti l’applicazone del principio Halifax, quale norma antielusiva generale basata sul principio di divieto dell’abuso del diritto, e la considerazione delle altre soluzioni antielusive applicabili nell’IVA, comprese correzioni normative e clausole antielusive specifiche), gli effetti dell’antielusione IVA e i limiti entro cui l’autorità impositiva può esercitare l’antielusione IVA per la tutela degli interessi legittimi dei soggetti passivi come certezza giuridica ed autonomia contrattuale. Poi, la tesi ha avanzato le proposte relative al perfezionamento delle soluzioni antielusive IVA nell’ordinamento tributario cinese, dopo presentati i principali regimi attuali dell’IVA cinese e analizzate le situazioni attuali realtive all’elusione IVA e all’antielusione IVA nel sistema fiscale cinese.

Green Line Peace Forum (Beirut: Lo spazio del dialogo nella città spartiacque tra Occidente ed Oriente)

Come al giorno dʼoggi si verifica lʼintegrazione (o più spesso lʼemarginazione) della cultura islamica, dalle caratteristiche così differenti e lontane dalla cultura occidentale, con la società contemporanea nella quale viviamo? Riflettendo sulla risposta a tale quesito, alla luce delle conoscenze intraprese durante lʼesperienza erasmus, ho pensato a quale fosse il contesto migliore nel quale investigare e tentare una connessione tra queste due culture. Ho quindi individuato alcune città “modello” per quanto riguarda la convivenza di differenti religioni, crogiuoli di diverse etnie e culture, con una storia radicata di interculturalità: in particolare Sarajevo, Tirana e Beirut. La scelta di allontanarmi da un contesto europeo od addirittura italiano è stata dettata da ragioni storiche e di apertura mentale: in quelle città da anni, forse secoli si verifica la convivenza di differenti confessioni, spesso allʼinterno dello stesso quartiere.

Isola nel verde_Riqualificazione della Scuola d'Infanzia Diana a Reggio Emilia

Oggetto di questa tesi di Laurea è la riqualificazione della Scuola d’Infanzia Diana a Reggio nell’Emilia (RE), svolta con particolare attenzione al comfort ambientale interno e alla ricerca di una relazione con il contesto urbano e sociale circostante. I soggetti interessati al progetto sono due: l’Istituzione Scuole e Nidi d’Infanzia del comune di Reggio Emilia, che dal 2003 si occupa dei servizi educativi comunali, e la società “Reggio Children”, che opera al fine di “esportare” all’estero gli esempi delle scuole reggiane. L’interesse nei confronti di questo asilo nasce dalla notevole importanza che esso ricopre nel panorama nazionale e mondiale in riferimento al modello educativo applicato. L’edificio presenta inoltre alcuni interessanti caratteri: collocato in una posizione strategica rispetto alla città, si trova nel cuore dei Giardini Pubblici, circondato da alcuni dei principali monumenti. Tuttavia, un’analisi approfondita ha evidenziato alcune criticità, che questo lavoro ha cercato di risolvere. La problematica principale rilevata, che la tesi ha affrontato, riguarda il benessere degli utenti. Dal punto di vista della fruibilità degli spazi, poi, si riscontra il sottodimensionamento del grande-atelier in relazione alle esigenze del modello pedagogico, nonché la necessità di una riorganizzazione degli arredi, al fine di rendere gli ambienti più vivibili. A ciò si affiancano, infine, l’inefficienza energetica dell’involucro, la vulnerabilità sismica dell’edificio e la mancanza di adeguate connessioni tra asilo, verde di pertinenza e parco pubblico. Al centro delle strategie progettuali c’è il bambino, che diventa il “vero committente”, ossia il soggetto di cui soddisfare esigenze e desideri. Si è cercato quindi di realizzare un ambiente confortevole e sicuro, agendo sull’involucro, sul sistema impiantistico, e rinforzando la struttura dell’edificio. A scala architettonica la complessità del progetto è stata quella di dotare l’asilo degli spazi necessari. Si è quindi prevista la realizzazione di un ampliamento, puntando a conseguire prestazioni energetiche più elevate rispetto agli standard fissati dalla dalla normativa, cercando di non alterare i caratteri del luogo e di interagire con il contesto. Durante tutto l’iter progettuale si è dunque operato verificando contestualmente ogni scelta dal punto di vista architettonico, tecnologico ed energetico e puntando ad una soluzione attuabile per fasi.

Analisi dell'interazione terreno-struttura per la progettazione di una fondazione su pali di una pila da ponte

Analisi dell'interazione terreno-struttura nel caso di palo singolo caricato assialmente e perpendicolarmente all'asse. Studio analitico e modellazione agli elementi finiti, bidimensionale e tridimensionale. Analisi dell'interazione platea-pali-terreno nel caso di platea su pali. Studio analitico e modellazione agli elementi finiti, bidimensionale e tridimensionale.

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.