Probabilistic approaches in civil engineering: generation of random fields and structural identification with genetic algorithms

The inherent stochastic character of most of the physical quantities involved in engineering models has led to an always increasing interest for probabilistic analysis. Many approaches to stochastic analysis have been proposed. However, it is widely acknowledged that the only universal method available to solve accurately any kind of stochastic mechanics problem is Monte Carlo Simulation. One of the key parts in the implementation of this technique is the accurate and efficient generation of samples of the random processes and fields involved in the problem at hand. In the present thesis an original method for the simulation of homogeneous, multi-dimensional, multi-variate, non-Gaussian random fields is proposed. The algorithm has proved to be very accurate in matching both the target spectrum and the marginal probability. The computational efficiency and robustness are very good too, even when dealing with strongly non-Gaussian distributions. What is more, the resulting samples posses all the relevant, welldefined and desired properties of “translation fields”, including crossing rates and distributions of extremes. The topic of the second part of the thesis lies in the field of non-destructive parametric structural identification. Its objective is to evaluate the mechanical characteristics of constituent bars in existing truss structures, using static loads and strain measurements. In the cases of missing data and of damages that interest only a small portion of the bar, Genetic Algorithm have proved to be an effective tool to solve the problem.

Role of reactive oxygen and nitrogen species in the response of Prunus spp. to bicarbonate

In calcareous soils, which are a large share of agricultural soils worldwide, iron availability is limited. Consequently, the whole plant physiology is affected, because of the key role of iron in redox metabolism, resulting in reduced crop yield and quality. Peach cultivation is economically important in northern Italy, and is easily subjected to iron chlorosis. The management of iron nutrition in peach includes grafting on bicarbonate-tolerant rootstocks; other forms of management may be expensive and environmentally impacting. Four genotypes, used as rootstocks for peach and characterized by different degrees of tolerance to chlorosis, were tested in vitro on optimal and bicarbonate-enriched medium. Their redox status and antioxidant responses were assayed; the production and possible roles of nitric oxide (NO) and related compounds were also studied. The most sensitive genotypes show a stronger reduction of the antioxidant enzymatic activities and an increased oxidative stress. A high production of NO was found to be associated to resistant genotypes, whereas sensitive genotypes reacted to stress by downregulating nitrosoglutathione reductase activity. Therefore, NO is proposed to improve the internal iron availability, or to stimulate iron intake.

Probabilistic tomography of atmospheric parameters from GNSS data

The objective of the work is the evaluation of the potential capabilities of navigation satellite signals to retrieve basic atmospheric parameters. A capillary study have been performed on the assumptions more or less explicitly contained in the common processing steps of navigation signals. A probabilistic procedure has been designed for measuring vertical discretised profiles of pressure, temperature and water vapour and their associated errors. Numerical experiments on a synthetic dataset have been performed with the main objective of quantifying the information that could be gained from such approach, using entropy and relative entropy as testing parameters. A simulator of phase delay and bending of a GNSS signal travelling across the atmosphere has been developed to this aim.

Implicit computational complexity and probabilistic classes

The thesis applies the ICC tecniques to the probabilistic polinomial complexity classes in order to get an implicit characterization of them. The main contribution lays on the implicit characterization of PP (which stands for Probabilistic Polynomial Time) class, showing a syntactical characterisation of PP and a static complexity analyser able to recognise if an imperative program computes in Probabilistic Polynomial Time. The thesis is divided in two parts. The first part focuses on solving the problem by creating a prototype of functional language (a probabilistic variation of lambda calculus with bounded recursion) that is sound and complete respect to Probabilistic Prolynomial Time. The second part, instead, reverses the problem and develops a feasible way to verify if a program, written with a prototype of imperative programming language, is running in Probabilistic polynomial time or not. This thesis would characterise itself as one of the first step for Implicit Computational Complexity over probabilistic classes. There are still open hard problem to investigate and try to solve. There are a lot of theoretical aspects strongly connected with these topics and I expect that in the future there will be wide attention to ICC and probabilistic classes.

Monitoring Complex Processes to Verify System Conformance: A Declarative Rule-Based Framework

Over the last 60 years, computers and software have favoured incredible advancements in every field. Nowadays, however, these systems are so complicated that it is difficult – if not challenging – to understand whether they meet some requirement or are able to show some desired behaviour or property. This dissertation introduces a Just-In-Time (JIT) a posteriori approach to perform the conformance check to identify any deviation from the desired behaviour as soon as possible, and possibly apply some corrections. The declarative framework that implements our approach – entirely developed on the promising open source forward-chaining Production Rule System (PRS) named Drools – consists of three components: 1. a monitoring module based on a novel, efficient implementation of Event Calculus (EC), 2. a general purpose hybrid reasoning module (the first of its genre) merging temporal, semantic, fuzzy and rule-based reasoning, 3. a logic formalism based on the concept of expectations introducing Event-Condition-Expectation rules (ECE-rules) to assess the global conformance of a system. The framework is also accompanied by an optional module that provides Probabilistic Inductive Logic Programming (PILP). By shifting the conformance check from after execution to just in time, this approach combines the advantages of many a posteriori and a priori methods proposed in literature. Quite remarkably, if the corrective actions are explicitly given, the reactive nature of this methodology allows to reconcile any deviations from the desired behaviour as soon as it is detected. In conclusion, the proposed methodology brings some advancements to solve the problem of the conformance checking, helping to fill the gap between humans and the increasingly complex technology.

Mitochondrial respiratory supercomplex association limits production of reactive oxygen species from Complex I

Evidence accumulated in the last ten years has demonstrated that a large proportion of the mitochondrial respiratory chain complexes in a variety of organisms is arranged in supramolecular assemblies called supercomplexes or respirasomes. Besides conferring a kinetic advantage (substrate channeling) and being required for the assembly and stability of Complex I, indirect considerations support the view that supercomplexes may also prevent excessive formation of reactive oxygen species (ROS) from the respiratory chain. Following this line of thought we have decided to directly investigate ROS production by Complex I under conditions in which the complex is arranged as a component of the supercomplex I1III2 or it is dissociated as an individual enzyme. The study has been addressed both in bovine heart mitochondrial membranes and in reconstituted proteoliposomes composed of complexes I and III in which the supramolecular organization of the respiratory assemblies is impaired by: (i) treatment either of bovine heart mitochondria or liposome-reconstituted supercomplex I-III with dodecyl maltoside; (ii) reconstitution of Complexes I and III at high phospholipids to protein ratio. The results of this investigation provide experimental evidence that the production of ROS is strongly increased in either model; supporting the view that disruption or prevention of the association between Complex I and Complex III by different means enhances the generation of superoxide from Complex I . This is the first demonstration that dissociation of the supercomplex I1III2 in the mitochondrial membrane is a cause of oxidative stress from Complex I. Previous work in our laboratory demonstrated that lipid peroxidation can dissociate the supramolecular assemblies; thus, here we confirm that preliminary conclusion that primary causes of oxidative stress may perpetuate reactive oxygen species (ROS) generation by a vicious circle involving supercomplex dissociation as a major determinant.

Probabilistic Recursion Theory and Implicit Computational Complexity

In this thesis we provide a characterization of probabilistic computation in itself, from a recursion-theoretical perspective, without reducing it to deterministic computation. More specifically, we show that probabilistic computable functions, i.e., those functions which are computed by Probabilistic Turing Machines (PTM), can be characterized by a natural generalization of Kleene's partial recursive functions which includes, among initial functions, one that returns identity or successor with probability 1/2. We then prove the equi-expressivity of the obtained algebra and the class of functions computed by PTMs. In the the second part of the thesis we investigate the relations existing between our recursion-theoretical framework and sub-recursive classes, in the spirit of Implicit Computational Complexity. More precisely, endowing predicative recurrence with a random base function is proved to lead to a characterization of polynomial-time computable probabilistic functions.

Role of Reactive Oxygen Species in signalling and oxidative stress

Results reported in this Thesis contribute to the comprehension of the complicated world of “redox biology”. ROS regulate signalling pathways both in physiological responses and in pathogenesis and progression of diseases. In cancer cells, the increase in ROS generation from metabolic abnormalities and oncogenic signalling may trigger a redox adaptation response, leading to an up-regulation of antioxidant capacity in order to maintain the ROS level below the toxic threshold. Thus, cancer cells would be more dependent on the antioxidant system and more vulnerable to further oxidative stress induced by exogenous ROS-generating agents or compounds that inhibit the antioxidant system. Results here reported indicate that the development of new drugs targeting specific Nox isoforms, responsible for intracellular ROS generation, or AQP isoforms, involved in the transport of extracellular H2O2 toward intracellular targets, might be an interesting novel anti-leukaemia strategy. Furthermore, also the use of CSD peptide, which simulate the VEGFR-2 segregation into caveolae in the inactive form, might be a strategy to stop the cellular response to VEGF signalling. As above stated, in the understanding of the redox biology, it is also important to identify and distinguish the molecular effectors that maintain normal biological and physiological responses, such as agents that stimulate our adaptation systems and elevate our endogenous antioxidant defences or other protective systems. Data here reported indicate that the nutraceutical compound sulforaphane and the Klotho protein are able to stimulate the HO-1 and Prx-1 expression, as well as the GSH levels, confirming their antioxidant and protective role. Finally, results here reported demonstrated that Stevia extracts are involved in insulin regulated glucose metabolism, suggesting that the use of these compounds goes beyond their sweetening power and may also offer therapeutic benefits hence improving the quality of life.