Sviluppo di una metodologia per la modellazione geologica-geomeccanica ed il monitoraggio di reservoir adibiti a siti di stoccaggio di gas naturale

La valutazione dei rischi associati all’operatività dei sistemi di stoccaggio, quali la sismicità indotta e la subsidenza, è requisito basilare per una loro corretta gestione e progettazione, e passa attraverso la definizione dell’influenza sullo stato tensionale delle variazioni di pressione di poro nel sottosuolo. Principale scopo di questo progetto è lo sviluppo di una metodologia in grado di quantificare le deformazioni dei reservoir in funzione della pressione di poro, di tarare i modelli utilizzati con casi studio che presentino dati di monitoraggio reali, tali da consentire un confronto con le previsioni di modello. In questa tesi, la teoria delle inomogeneità è stata utilizzata, tramite un approccio semianalitico, per definire le variazioni dei campi elastici derivanti dalle operazioni di prelievo e immissione di fluidi in serbatoi geologici. Estensione, forma e magnitudo delle variazioni di stress indotte sono state valutate tramite il concetto di variazione dello sforzo critico secondo il criterio di rottura di Coulomb, tramite un’analisi numerica agli elementi finiti. La metodologia sviluppata è stata applicata e tarata su due reservoir sfruttati e riconvertiti a sistemi di stoccaggio che presentano dataset, geologia, petrofisica, e condizioni operative differenti. Sono state calcolate le variazioni dei campi elastici e la subsidenza; è stata mappata la variazione di sforzo critico di Coulomb per entrambi i casi. I risultati ottenuti mostrano buon accordo con le osservazioni dei monitoraggi, suggerendo la bontà della metodologia e indicando la scarsa probabilità di sismicità indotta. Questo progetto ha consentito la creazione di una piattaforma metodologica di rapido ed efficace utilizzo, per stimare l’influenza dei sistemi di stoccaggio di gas sullo stato tensionale della crosta terrestre; in fase di stoccaggio, permette di monitorare le deformazioni e gli sforzi indotti; in fase di progettazione, consente di valutare le strategie operative per monitorare e mitigare i rischi geologici associati a questi sistemi.

Analisi dell’influenza dei moti rigidi di una trattrice agricola sulle vibrazioni a corpo intero trasmesse all’operatore

L’esposizione degli operatori in campo agricolo alle vibrazioni trasmesse al corpo intero, produce effetti dannosi alla salute nel breve e nel lungo termine. Le vibrazioni che si generano sulle trattrici agricole hanno una elevata intensità e una bassa frequenza. Le componenti orizzontali, amplificate dalla posizione elevata della postazione di guida dall’asse di rollio, presentano maggiori criticità per quanto riguarda i sistemi di smorzamento rispetto alle componenti verticali. Queste caratteristiche rendono difficoltosa la progettazione dei sistemi dedicati alla riduzione del livello vibrazionale per questa categoria di macchine agricole. Nonostante l’installazione di diversi sistemi di smorzamento, il livello di vibrazioni a cui è sottoposto l’operatore può superare, in diverse condizioni di impiego, i livelli massimi imposti dalla legge per la salvaguardia della salute. L’obiettivo di questo lavoro è quello di valutare l’influenza dei moti rigidi di una trattrice (beccheggio, rollio e saltellamento) dotata di sospensione assale anteriore, sospensione cabina e sospensione sedile, sul livello vibrazionale trasmesso all’operatore.E’ stata pertanto strumenta una trattrice con accelerometri e inclinometri installati su telaio, cabina e sedile e utilizzata in diverse condizioni di lavoro in campo e di trasporto su strada. Dall’analisi delle prove effettuate emerge che durante il trasporto su strada è predominante l’accelerazione longitudinale, a causa dell’elevata influenza del beccheggio. La sospensione riduce notevolmente il moto rigido di beccheggio mentre l’effetto della sospensione della cabina è quello di incrementare, in ogni condizione di lavoro, il livello di accelerazione trasmesso dal telaio della macchina.

Analysis of charge-transport properties in GST materials for next generation phase-change memory devices

The quest for universal memory is driving the rapid development of memories with superior all-round capabilities in non-volatility, high speed, high endurance and low power. The memory subsystem accounts for a significant cost and power budget of a computer system. Current DRAM-based main memory systems are starting to hit the power and cost limit. To resolve this issue the industry is improving existing technologies such as Flash and exploring new ones. Among those new technologies is the Phase Change Memory (PCM), which overcomes some of the shortcomings of the Flash such as durability and scalability. This alternative non-volatile memory technology, which uses resistance contrast in phase-change materials, offers more density relative to DRAM, and can help to increase main memory capacity of future systems while remaining within the cost and power constraints. Chalcogenide materials can suitably be exploited for manufacturing phase-change memory devices. Charge transport in amorphous chalcogenide-GST used for memory devices is modeled using two contributions: hopping of trapped electrons and motion of band electrons in extended states. Crystalline GST exhibits an almost Ohmic I(V) curve. In contrast amorphous GST shows a high resistance at low biases while, above a threshold voltage, a transition takes place from a highly resistive to a conductive state, characterized by a negative differential-resistance behavior. A clear and complete understanding of the threshold behavior of the amorphous phase is fundamental for exploiting such materials in the fabrication of innovative nonvolatile memories. The type of feedback that produces the snapback phenomenon is described as a filamentation in energy that is controlled by electron–electron interactions between trapped electrons and band electrons. The model thus derived is implemented within a state-of-the-art simulator. An analytical version of the model is also derived and is useful for discussing the snapback behavior and the scaling properties of the device.

Hardware/Software Design of Dynamic Real-Time Schedulers for Embedded Multiprocessor Systems

The new generation of multicore processors opens new perspectives for the design of embedded systems. Multiprocessing, however, poses new challenges to the scheduling of real-time applications, in which the ever-increasing computational demands are constantly flanked by the need of meeting critical time constraints. Many research works have contributed to this field introducing new advanced scheduling algorithms. However, despite many of these works have solidly demonstrated their effectiveness, the actual support for multiprocessor real-time scheduling offered by current operating systems is still very limited. This dissertation deals with implementative aspects of real-time schedulers in modern embedded multiprocessor systems. The first contribution is represented by an open-source scheduling framework, which is capable of realizing complex multiprocessor scheduling policies, such as G-EDF, on conventional operating systems exploiting only their native scheduler from user-space. A set of experimental evaluations compare the proposed solution to other research projects that pursue the same goals by means of kernel modifications, highlighting comparable scheduling performances. The principles that underpin the operation of the framework, originally designed for symmetric multiprocessors, have been further extended first to asymmetric ones, which are subjected to major restrictions such as the lack of support for task migrations, and later to re-programmable hardware architectures (FPGAs). In the latter case, this work introduces a scheduling accelerator, which offloads most of the scheduling operations to the hardware and exhibits extremely low scheduling jitter. The realization of a portable scheduling framework presented many interesting software challenges. One of these has been represented by timekeeping. In this regard, a further contribution is represented by a novel data structure, called addressable binary heap (ABH). Such ABH, which is conceptually a pointer-based implementation of a binary heap, shows very interesting average and worst-case performances when addressing the problem of tick-less timekeeping of high-resolution timers.

Virus oncogeni a dna in tumori umani: studio delle infezioni da papillomavirus e poliomavirus in neoplasie di diversa origine.

I virus tumorali inducono oncogenesi nel loro ospite naturale o in sistemi animali sperimentali, manipolando diverse vie cellulari. Ad oggi, sono stati identificati sette virus capaci di causare specifici tumori umani. Inoltre HPV, JCV ed SV40, sono stati associati con un grande numero di tumori umani in sedi corporee non convenzionali, ma, nonostante molti anni di ricerca, nessuna eziologia virale è stata ancora confermata. Lo scopo di questo studio è stato di valutare la presenza ed il significato sia di JCV ed SV40 in tumori ossei umani, e di HPV nel carcinoma della mammella (BC), galattoforectomie (GF), secrezioni mammarie patologiche (ND) e glioblastoma multiforme (GBM). Tecniche di biologia molecolare sono state impiegate per esaminare campioni di tessuto tumorale di 70 tumori ossei (20 osteosarcomi [OS], 20 tumori a cellule giganti [TCG], 30 condrosarcomi [CS]), 168 BCs , 30 GFs, 59 GBM e 30 campioni di ND. Il genoma di SV40 e JCV è stato trovato nel 70% dei CS + 20% degli OS, e nel 13% dei CS +10% dei TCG, rispettivamente. Il DNA di HPV è stato rilevato nel 30% dei pazienti con BC, nel 27% dei campioni GF e nel 13% dei NDs. HPV16 è stato il genotipo maggiormente osservato in tutti questi campioni, seguito da HPV18 e HPV35. Inoltre, il DNA di HPV è stato trovato nel 22% dei pazienti con GBM, in questo tumore HPV6 era il tipo più frequentemente rilevato, seguito da HPV16. L’ ISH ha mostrato che il DNA di HPV è situato all’interno di cellule tumorali mammarie e di GBM. I nostri risultati suggeriscono un possibile ruolo di JCV, SV40 e HPV in questi tumori, se non come induttori come promotori del processo neoplastico, tuttavia diversi criteri devono ancora essere soddisfatti prima di chiarirne il ruolo.

On the identification of bridge decks aeroelastic coefficients: the covariance block hankel matrix method

Il seguente elaborato si concentra sull'identifi�cazione strutturale di sistemi soggetti a sollecitazioni aeroelastiche e nello speci�fico l'attenzione viene rivolta ad impalcati da ponte. Si analizzano i concetti principali caratterizzanti il campo dell'aeroelasticità indagando i fattori dominanti che entrano in gioco sul piano teorico. In seguito, si considera il metodo di identifi�cazione strutturale chiamato Covariance Block Hankel Matrix (CBHM) utilizzato come strumento di derivazione dei coeffi�cienti aeroelastici propri della struttura. Infi�ne, si indaga il comportamento di questo metodo di identi�ficazione al variare di una serie di parametri chiave e all'interno di diversi scenari, visionando risultati ottenuti tramite una serie di test eff�ettuati per provare l'a�dattabilità del metodo stesso al variare delle condizioni che caratterizzano il sistema.

L'accumulo dell'energia elettrica negli impianti eolici

Il presente elaborato ha lo scopo di analizzare lo stato attuale dell'accumulo dell'energia applicato al caso dell'energia eolica. Dopo una introduzione in cui viene presentato il perchè della necessità di garantire sistemi di accumulo dell'energia e quali sono i relativi vantaggi, viene proposto un caso studio di un impianto eolico tipico: partendo dalla potenzialità produttiva dell'impianto e dal tipo di funzione che il sistema di accumulo deve svolgere si passa alla scelta e dimensionamento del sistema più adatto.

Test di silicon photomultipliers (sipm) accoppiati a scintillatori

In questa tesi si riportano i risultati di uno studio della risoluzione temporale di un fotomoltiplicatore al Silicio (SiPM). La diffusione di questi rivelatori è in notevole aumento sia nelle ricerche di Fisica Nucleare e Subnucleare che nelle applicazioni mediche. I vantaggi sono legati alla loro insensibilità ai campi magnetici e ai facili modi di operazione (piccoli, robusti e con utilizzo a basso voltaggio). Usati sino ad ora per la misura di cariche, sono oggi di grande interesse per possibili applicazioni che richiedano alta risoluzione temporale (sistemi di tempo di volo, trigger, calorimetria). In questo studio sono stati studiati due tipi diversi di accoppiamento Scintillatore-SiPM: diretto o tramite fibre. Per queste analisi sono stati utilizzati diversi metodi di acquisizione e successivamente si sono incrociati i relativi risultati.

Nuovi catalizzatori e processi per la produzione industriale di anidride maleica

La sintesi industriale di anidride maleica (AM) è realizzata mediante ossidazione selettiva di n-butano con un catalizzatore a base di ossidi misti di vanadio e fosforo, il pirofosfato di vanadile, (VO)2P2O7. Allo stesso tempo però, la necessità di sviluppare nuovi processi per la sintesi di molecole piattaforma a partire da fonti rinnovabili, ha portato a sviluppare un processo di produzione di AM a partire da 1-butanolo. Lo studio condotto nel seguente lavoro di tesi, prenderà in considerazione aspetti relativi ad entrambi i processi di produzione di AM: sintesi a partire da n-butano e sintesi a partire da 1-butanolo. Per quanto riguarda l’utilizzo di 1-butanolo, ci si concentrerà sullo studio della prima fase della reazione di sintesi di AM, ossia la disidratazione di 1-butanolo a dare buteni, primi intermedi nella reazione di sintesi della AM, mediante l’utilizzo di catalizzatori a base di composti poliossometallati di tipo Keggin supportati a diversa composizione. Per quello che è invece il processo industriale attuale, ossia la sintesi a partire da n-butano, si studieranno e confronteranno le prestazioni di due sistemi catalitici che vengono comunemente utilizzati in impianto industriale, con lo scopo di ottenere, in laboratorio, informazioni utili al miglioramento del processo industriale stesso.

Sintesi di leganti ciclopentadienonici e piridilimidazolici per complessi metallici. Metodo classico e microonde a confronto

In questo elaborato è stata messa a punto una procedura sintetica, semplice e veloce che sfrutta la tecnica microonde per la sintesi di tetraarilciclopentadienoni variamente sostituiti mediante una condensazione bis-aldolica tra 1,3 difenilacetone con dichetoni aromatici variamente sostituiti. Questa nuova tecnica consente di ottenere tetraarilciclopentadienoni con rese da basse a buone in 25 minuti a 70°C. La stessa procedura sintetica è stata valutata per ottenere leganti piridilimidazolici, usando come fonte di azoto NH4OAc. Basse rese e la formazione di svariati sottoprodotti ha diretto lo studio verso un approccio classico per la sintesi di questi sistemi. I leganti piridilimidazolici sono stati poi impiegati per la sintesi di complessi di Zn(II) luminescenti, i quali sono stati caratterizzati anche da un punto di vista fotofisico.

Engineering Agent-Oriented Technologies and Programming Languages for Computer Programming and Software Development

Mainstream hardware is becoming parallel, heterogeneous, and distributed on every desk, every home and in every pocket. As a consequence, in the last years software is having an epochal turn toward concurrency, distribution, interaction which is pushed by the evolution of hardware architectures and the growing of network availability. This calls for introducing further abstraction layers on top of those provided by classical mainstream programming paradigms, to tackle more effectively the new complexities that developers have to face in everyday programming. A convergence it is recognizable in the mainstream toward the adoption of the actor paradigm as a mean to unite object-oriented programming and concurrency. Nevertheless, we argue that the actor paradigm can only be considered a good starting point to provide a more comprehensive response to such a fundamental and radical change in software development. Accordingly, the main objective of this thesis is to propose Agent-Oriented Programming (AOP) as a high-level general purpose programming paradigm, natural evolution of actors and objects, introducing a further level of human-inspired concepts for programming software systems, meant to simplify the design and programming of concurrent, distributed, reactive/interactive programs. To this end, in the dissertation first we construct the required background by studying the state-of-the-art of both actor-oriented and agent-oriented programming, and then we focus on the engineering of integrated programming technologies for developing agent-based systems in their classical application domains: artificial intelligence and distributed artificial intelligence. Then, we shift the perspective moving from the development of intelligent software systems, toward general purpose software development. Using the expertise maturated during the phase of background construction, we introduce a general-purpose programming language named simpAL, which founds its roots on general principles and practices of software development, and at the same time provides an agent-oriented level of abstraction for the engineering of general purpose software systems.

Implementazione di un modulatore sigma-delta digitale per la sintesi di segnali pwm ad alta fedelta.

La modulazione a durata d'impulso (PWM) è utilizzata soprattutto perchè permette di ottenere alta efficenza energetica. In ambito accademico è stato proposto un modulatore PWM che sfrutta la tecnica di noise shaping, Sigma Delta, per avere elevata fedeltà. Il lavoro di questa tesi è stato l'implementazione su FPGA del modulatore Sigma DeltaDigitale utilizzato: quarto ordine, con quantizzatore a 4 bit e SNR in banda di 60 dB. Il dimensionamento è stato fatto determinando l'effetto che la lunghezza delle parole dei segnali ha sul rumore prodotto dal sistema. Questo studio è stato svolto con analisi euristiche ed algoritmi di ricerca implementati in ambiente MATLAB. Lo studio fatto è di carattere generale ed estendibile a generiche architetture Sigma Delta.

Optimization of bioenergy solutions at different farm scales

RAF is a bio-energetic descriptive model integrates with MAD model to support Integrated Farm Management. RAF model aimed to enhancing economical, social and environmental sustainability of farm production in terms of energy via convert energy crops and animal manure to biogas and digestate (bio-fertilizers) by anaerobic digestion technologies, growing and breeding practices. The user defines farm structure in terms of present crops, livestock and market prices and RAF model investigates the possibilities of establish on-farm biogas system (different anaerobic digestion technologies proposed for different scales of farms in terms of energy requirements) according to budget and sustainability constraints to reduce the dependence on fossil fuels. The objective function of RAF (Z) is optimizing the total net income of farm (maximizing income and minimizing costs) for whole period which is considered by the analysis. The main results of this study refers to the possibility of enhancing the exploitation of the available Italian potentials of biogas production from on-farm production of energy crops and livestock manure feedstock by using the developed mathematical model RAF integrates with MAD to presents reliable reconcile between farm size, farm structure and on-farm biogas systems technologies applied to support selection, applying and operating of appropriate biogas technology at any farm under Italian conditions.

The role of the NadR regulator during infection and its implication for the coverage of a new Meningococcus B vaccine

Background: Neisseria meningitides represents a major cause of meningitis and sepsis. The meningococcal regulator NadR was previously shown to repress the expression of the Neisserial Adhesin A (NadA) and play a major role in its phase-variation. NadA is a surface exposed protein involved in epithelial cell adhesion and colonization and a major component of 4CMenB, a novel vaccine to prevent meningococcus serogroup B infection. The NadR mediated repression of NadA is attenuated by 4-HPA, a natural molecule released in human saliva. Results: In this thesis we investigated the global role of NadR during meningogoccal infection, identifying through microarray analysis the NadR regulon. Two distinct types of NadR targets were identified, differing in their promoter architectures and 4HPA responsive activities: type I are induced, while type II are co-repressed in response to the same 4HPA signal. We then investigate the mechanism of regulation of NadR by 4-HPA, generating NadR mutants and identifying classes or residues involved in either NadR DNA binding or 4HPA responsive activities. Finally, we studied the impact of NadR mediated repression of NadA on the vaccine coverage of 4CMenB. A selected MenB strains is not killed by sera from immunized infants when the strain is grown in vitro, however, in an in vivo passive protection model, the same sera protected infant rats from bacteremia. Finally, using bioluminescent reporters, nadA expression in the infant rat model was induced in vivo at 3 h post-infection. Conclusions: Our results suggest that NadR coordinates a broad transcriptional response to signals present in the human host, enabling the meningococcus to adapt to the relevant host niche. During infectious disease the effect of the same signal on NadR changes between different targets. In particular NadA expression is induced in vivo, leading to efficient killing of meningococcus by anti-NadA antibodies elicited by the 4CMenB vaccine.

Il rapporto architettura – suolo nell’opera di Aldo Rossi

La ricerca muove dal presupposto che l’opera di Aldo Rossi sia stata analizzata finora secondo un criterio tipologico. Tale approccio è una tra le possibili chiavi di lettura del lavoro dell’architetto. Nel tentativo di individuare un’interpretazione dell’opera di Rossi legata a sistemi immutabili nel tempo si è ritenuto necessario approfondire la relazione che si stabilisce tra la sua opera e il suolo. Attraverso la definizione di due categorie di lettura dei progetti dell’autore, che si basano su continuità o discontinuità fisica del progetto rispetto al suolo, si comprende come il rapporto tra area e progetto produca nel tempo soluzioni ricorrenti. In base a questa interpretazione muro e pilastro costituiscono due elementi fondamentali del linguaggio di Rossi. Essi a loro volta si allacciano ad un sistema di riferimento più ampio di cui tettonica e arte muraria sono i capisaldi. La ricerca si articola in tre parti, all’interno delle quali sono sviluppati specifici capitoli. La prima parte, sistema di riferimento, è necessaria a delineare un vocabolario utile per isolare il tema trattato. Essa è fondamentale per comprendere la posizione occupata da Rossi rispetto alle esperienze verificatesi nel corso della storia, relativamente al rapporto spazio - architettura - suolo. La seconda parte, arte muraria, serve a mettere in luce l’influenza che la componente massiva e plastica del terreno ha determinato nella definizione di specifiche soluzioni progettuali. La terza parte, tettonica, delinea invece un approccio opposto al precedente, individuando quei progetti in cui il rapporto col suolo è stato sminuito o addirittura negato, aumentando il senso di sospensione dei volumi nello spazio. In definitiva, l’influenza che il rapporto col suolo ha determinato sulle scelte progettuali di Rossi rappresenta l’interrogativo principale di questa ricerca.