Time-dependent behaviour of reinforced concrete slabs

In this thesis is studied the long-term behaviour of steel reinforced slabs paying particular attention to the effects due to shrinkage and creep. Despite the universal popularity of using this kind of slabs for simply construction floors, the major world codes focus their attention in a design based on the ultimate limit state, restraining the exercise limit state to a simply verification after the design. For Australia, on the contrary, this is not true. In fact, since this country is not subjected to seismic effects, the main concern is related to the long-term behaviour of the structure. Even if there are a lot of studies about long-term effects of shrinkage and creep, up to date, there are not so many studies concerning the behaviour of slabs with a cracked cross section and how shrinkage and creep influence it. For this reason, a series of ten full scale reinforced slabs was prepared and monitored under laboratory conditions to investigate this behaviour. A wide range of situations is studied in order to cover as many cases as possible, as for example the use of a fog room able to reproduce an environment of 100% humidity. The results show how there is a huge difference in terms of deflections between the case of slabs which are subjected to both shrinkage and creep effects soon after the partial cracking of the cross section, and the case of slabs which have already experienced shrinkage effects for several weeks, when the section has not still cracked, and creep effects only after the cracking.

Applying partial virtualization on ELF binaries through dynamic loaders

The technology of partial virtualization is a revolutionary approach to the world of virtualization. It lies directly in-between full system virtual machines (like QEMU or XEN) and application-related virtual machines (like the JVM or the CLR). The ViewOS project is the flagship of such technique, developed by the Virtual Square laboratory, created to provide an abstract view of the underlying system resources on a per-process basis and work against the principle of the Global View Assumption. Virtual Square provides several different methods to achieve partial virtualization within the ViewOS system, both at user and kernel levels. Each of these approaches have their own advantages and shortcomings. This paper provides an analysis of the different virtualization methods and problems related to both the generic and partial virtualization worlds. This paper is the result of an in-depth study and research for a new technology to be employed to provide partial virtualization based on ELF dynamic binaries. It starts with a mild analysis of currently available virtualization alternatives and then goes on describing the ViewOS system, highlighting its current shortcomings. The vloader project is then proposed as a possible solution to some of these inconveniences with a working proof of concept and examples to outline the potential of such new virtualization technique. By injecting specific code and libraries in the middle of the binary loading mechanism provided by the ELF standard, the vloader project can promote a streamlined and simplified approach to trace system calls. With the advantages outlined in the following paper, this method presents better performance and portability compared to the currently available ViewOS implementations. Furthermore, some of itsdisadvantages are also discussed, along with their possible solutions.

Response of Microcystis aeruginosa PCC 7806 to different CO2 concentrations

Future climatic change scenarios predict rising of the atmospheric CO2 levels which could favor the proliferation of some harmful bloom-forming cyanobacteria as Microcystis aeruginosa. In the present study, the response of M. aeruginosa strain PCC 7806 to two different partial pressure of CO2 was tested. Sandrini et al. (2013) recently found that several, but not all, M. aeruginosa strains lack the SbtA or BicA HCO3- uptake system genes; the contribution of different Ci transporters to photosynthesis and the difference between low and high affinity activated Ci uptake state were investigated. M. aeruginosa PCC 7806 was cultured in four chemostats containing modified BG11 medium with 10 mM NaNO3 and no presence of NaCl, NaHCO3, Na2CO3 and additional buffers. A wide variety of analysis on samples collected from continuous cultures – such as A750, medium composition, cellular composition, cell counting, mini-PAM, measurements with the O2 optode, Aminco, 77K fluorescence emission spectra – was carried out. Data analysis results showed that the increased CO2 concentration has a big effect on M. aeruginosa PCC 7806. Experiments were performed using the Oxy-4 O2 optode apparatus in order to measure the photosynthetic O2 evolution of samples taken from both batch and chemostat cultures. At low bicarbonate concentration, an evident inhibition of Na+-dependent HCO3- transporter BicA by LiCl at 25 mM was observed. The consequent addition of 25 mM NaCl was able to counteract the Li+ effect at pH 8.0 but not at pH 10.0. In the latter case, only the addition of a higher amount of HCO3- led to photosynthetic O2 evolution suggesting the important role of the BicA transporter. However, further studies are needed to better explain the results obtained as high pH levels might have an influence on the transport systems, altering the mechanism of pH regulation and the functioning of Na+/H+ antiporter systems.

Higher order Sobolev Spaces and polyharmonic boundary value problems in Carnot Groups

The main task of this work is to present a concise survey on the theory of certain function spaces in the contexts of Hörmander vector fields and Carnot Groups, and to discuss briefly an application to some polyharmonic boundary value problems on Carnot Groups of step 2.

Preconditioning strategies for the numerical solution of convection-diffusion partial differential equations

Il trattamento numerico dell'equazione di convezione-diffusione con le relative condizioni al bordo, comporta la risoluzione di sistemi lineari algebrici di grandi dimensioni in cui la matrice dei coefficienti è non simmetrica. Risolutori iterativi basati sul sottospazio di Krylov sono ampiamente utilizzati per questi sistemi lineari la cui risoluzione risulta particolarmente impegnativa nel caso di convezione dominante. In questa tesi vengono analizzate alcune strategie di precondizionamento, atte ad accelerare la convergenza di questi metodi iterativi. Vengono confrontati sperimentalmente precondizionatori molto noti come ILU e iterazioni di tipo inner-outer flessibile. Nel caso in cui i coefficienti del termine di convezione siano a variabili separabili, proponiamo una nuova strategia di precondizionamento basata sull'approssimazione, mediante equazione matriciale, dell'operatore differenziale di convezione-diffusione. L'azione di questo nuovo precondizionatore sfrutta in modo opportuno recenti risolutori efficienti per equazioni matriciali lineari. Vengono riportati numerosi esperimenti numerici per studiare la dipendenza della performance dei diversi risolutori dalla scelta del termine di convezione, e dai parametri di discretizzazione.

The Feynman-Kac formula and applications to PDEs

The thesis presents a probabilistic approach to the theory of semigroups of operators, with particular attention to the Markov and Feller semigroups. The first goal of this work is the proof of the fundamental Feynman-Kac formula, which gives the solution of certain parabolic Cauchy problems, in terms of the expected value of the initial condition computed at the associated stochastic diffusion processes. The second target is the characterization of the principal eigenvalue of the generator of a semigroup with Markov transition probability function and of second order elliptic operators with real coefficients not necessarily self-adjoint. The thesis is divided into three chapters. In the first chapter we study the Brownian motion and some of its main properties, the stochastic processes, the stochastic integral and the Itô formula in order to finally arrive, in the last section, at the proof of the Feynman-Kac formula. The second chapter is devoted to the probabilistic approach to the semigroups theory and it is here that we introduce Markov and Feller semigroups. Special emphasis is given to the Feller semigroup associated with the Brownian motion. The third and last chapter is divided into two sections. In the first one we present the abstract characterization of the principal eigenvalue of the infinitesimal generator of a semigroup of operators acting on continuous functions over a compact metric space. In the second section this approach is used to study the principal eigenvalue of elliptic partial differential operators with real coefficients. At the end, in the appendix, we gather some of the technical results used in the thesis in more details. Appendix A is devoted to the Sion minimax theorem, while in appendix B we prove the Chernoff product formula for not necessarily self-adjoint operators.

Analysis and partial solutions of security problems in automotive environments

Questo scritto mira a fare una panoramica dei problemi legati alla sicurezza della comunicazione tra componenti interne dei veicoli e delle soluzioni oggigiorno disponibili. Partendo con una descrizione generale del circuito interno dell’auto analizzeremo i suoi punti di accesso e discuteremo i danni prodotti dalla sua manomissione illecita. In seguito vedremo se ´è possibile prevenire tali attacchi dando un’occhiata alle soluzioni disponibili e soffermandoci in particolare sui moduli crittografici e le loro applicazioni. Infine presenteremo l’implementazione pratica di un protocollo di autenticazione tra ECUs e una dimostrazione matematica della sua sicurezza.

I colori nelle espressioni idiomatiche inglesi ed italiane

The purpose of this work is to analyse the figurative and metaphorical meanings of colours in English and Italian, focusing on the analysis and comparison of colour idioms in these two languages and cultures. The study starting point is the assumption that language and culture are inextricably related: they influence and modify each other, and both contribute to shaping our world-view. English and Italian colour idioms will be presented, compared and contrasted. Each colour is introduced by its figurative meaning in the two cultures. It is also shown whether and how the symbolic meaning is reflected in idiomatic language. The approach to English and Italian idioms is contrastive in order to show cases of direct correspondence (i.e. same colour, same meaning), partial correspondence (i.e. different colour or different idiom but same meaning) and cases peculiar to each language that lack of an idiomatic equivalent in the other language.

Radiotherapy with scanning carbon ion beams: biological dose analysis for partial treatment delivery

L’uso di particelle cariche pesanti in radioterapia prende il nome di adroterapia. L’adroterapia permette l’irraggiamento di un volume bersaglio minimizzando il danno ai tessuti sani circostanti rispetto alla radioterapia tradizionale a raggi X. Le proprietà radiobiologiche degli ioni carbonio rappresentano un problema per i modelli radiobiologici a causa della non linearità della loro efficacia biologica. In questa tesi presenteremo gli algoritmi che possono essere usati per calcolare la dose fisica e biologica per un piano di trattamento del CNAO (Centro Nazionale Adroterapia Oncologica). Un caso di particolare interesse è l’eventualità che un piano di trattamento venga interrotto prima del dovuto. A causa della non linearità della sopravvivenza cellulare al variare della quantità di dose ricevuta giornalmente, è necessario studiare gli effetti degli irraggiamenti parziali utilizzando algoritmi che tengano conto delle tante variabili che caratterizzano sia i fasci di ioni che i tessuti irraggiati. Nell'ambito di questa tesi, appositi algoritmi in MATLAB sono stati sviluppati e implementati per confrontare la dose biologica e fisica assorbita nei casi di trattamento parziale.