-
Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments
Authors:
Marco Aldinucci,
Livio Bioglio,
Cristina Calcagno,
Mario Coppo,
Ferruccio Damiani,
Maurizio Drocco,
Elena Grassi,
Pablo Ramón,
Eva Sciacca,
Salvatore Spinella,
Angelo Troina
Abstract:
The modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of Ordinary Differential Equations. Alternative approaches based on formal calculi, often derived from process algebras or term rewriting systems, provide a quite complementary way to analyse the behaviour of biological systems. These calculi allow to cope in a natural way with notions like co…
▽ More
The modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of Ordinary Differential Equations. Alternative approaches based on formal calculi, often derived from process algebras or term rewriting systems, provide a quite complementary way to analyse the behaviour of biological systems. These calculi allow to cope in a natural way with notions like compartments and membranes, which are not easy (sometimes impossible) to handle with purely numerical approaches, and are often based on stochastic simulation methods. The Calculus of Wrapped Compartments is a framework based on stochastic multiset rewriting in a compartmentalised setting used for the description of biological and ecological systems. We provide an extended presentation of the Calculus of Wrapped Compartments, sketch a few modelling guidelines to encode biological and ecological interactions, show how spatial properties can be handled within the framework and define a hybrid simulation algorithm. Several applications in Biology and Ecology are proposed as modelling case studies.
△ Less
Submitted 14 December, 2022;
originally announced December 2022.
-
Euclid Near Infrared Spectrometer and Photometer instrument flight model presentation, performance and ground calibration results summary
Authors:
T. Maciaszek,
A. Ealet,
W. Gillard,
K. Jahnke,
R. Barbier,
E. Prieto,
W. Bon,
A. Bonnefoi,
A. Caillat,
M. Carle,
A. Costille,
F. Ducret,
C. Fabron,
B. Foulon,
J. L. Gimenez,
E. Grassi,
M. Jaquet,
D. Le Mignant,
L. Martin,
T. Pamplona,
P. Sanchez,
J. C. Clémens,
L. Caillat,
M. Niclas,
A. Secroun
, et al. (73 additional authors not shown)
Abstract:
The NISP (Near Infrared Spectrometer and Photometer) is one of the two Euclid instruments. It operates in the near-IR spectral region (950-2020nm) as a photometer and spectrometer. The instrument is composed of: a cold (135 K) optomechanical subsystem consisting of a Silicon carbide structure, an optical assembly, a filter wheel mechanism, a grism wheel mechanism, a calibration unit, and a thermal…
▽ More
The NISP (Near Infrared Spectrometer and Photometer) is one of the two Euclid instruments. It operates in the near-IR spectral region (950-2020nm) as a photometer and spectrometer. The instrument is composed of: a cold (135 K) optomechanical subsystem consisting of a Silicon carbide structure, an optical assembly, a filter wheel mechanism, a grism wheel mechanism, a calibration unit, and a thermal control system, a detection system based on a mosaic of 16 H2RG with their front-end readout electronic, and a warm electronic system (290 K) composed of a data processing / detector control unit and of an instrument control unit that interfaces with the spacecraft via a 1553 bus for command and control and via Spacewire links for science data.
This paper presents: the final architecture of the flight model instrument and subsystems, and the performance and the ground calibration measurement done at NISP level and at Euclid Payload Module level at operational cold temperature.
△ Less
Submitted 18 October, 2022;
originally announced October 2022.
-
MOEMS deformable mirror testing in cryo for future optical instrumentation
Authors:
Frederic Zamkotsian,
Patrick Lanzoni,
Rudy Barette,
Emmanuel Grassi,
Patrick Vors,
Michael Helmbrecht,
Franck Marchis,
Alex Teichman
Abstract:
MOEMS Deformable Mirrors (DM) are key components for next generation instruments with innovative adaptive optics systems, in existing telescopes and in the future ELTs. These DMs must perform at room temperature as well as in cryogenic and vacuum environment. Ideally, the MOEMS-DMs must be designed to operate in such environment. We present some major rules for designing / operating DMs in cryo an…
▽ More
MOEMS Deformable Mirrors (DM) are key components for next generation instruments with innovative adaptive optics systems, in existing telescopes and in the future ELTs. These DMs must perform at room temperature as well as in cryogenic and vacuum environment. Ideally, the MOEMS-DMs must be designed to operate in such environment. We present some major rules for designing / operating DMs in cryo and vacuum. We chose to use interferometry for the full characterization of these devices, including surface quality measurement in static and dynamical modes, at ambient and in vacuum/cryo. Thanks to our previous set-up developments, we placed a compact cryo-vacuum chamber designed for reaching 10-6 mbar and 160K, in front of our custom Michelson interferometer, able to measure performances of the DM at actuator/segment level as well as whole mirror level, with a lateral resolution of 2μm and a sub-nanometric z-resolution. Using this interferometric bench, we tested the Iris AO PTT111 DM: this unique and robust design uses an array of single crystalline silicon hexagonal mirrors with a pitch of 606μm, able to move in tip, tilt and piston with strokes from 5 to 7μm, and tilt angle in the range of +/-5mrad. They exhibit typically an open-loop flat surface figure as good as <20nm rms. A specific mount including electronic and opto-mechanical interfaces has been designed for fitting in the test chamber. Segment deformation, mirror sha**, open-loop operation are tested at room and cryo temperature and results are compared. The device could be operated successfully at 160K. An additional, mainly focus-like, 500 nm deformation is measured at 160K; we were able to recover the best flat in cryo by correcting the focus and local tip-tilts on some segments. Tests on DM with different mirror thicknesses (25μm and 50μm) and different coatings (silver and gold) are currently under way.
△ Less
Submitted 18 April, 2017; v1 submitted 12 April, 2017;
originally announced April 2017.
-
Hybrid Calculus of Wrapped Compartments
Authors:
Mario Coppo,
Ferruccio Damiani,
Maurizio Drocco,
Elena Grassi,
Eva Sciacca,
Salvatore Spinella,
Angelo Troina
Abstract:
The modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of ordinary differential equations (ODEs). Alternative approaches based on formal calculi, often derived from process algebras or term rewriting systems, provide a quite complementary way to analyze the behaviour of biological systems. These calculi allow to cope in a natural way with notions…
▽ More
The modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of ordinary differential equations (ODEs). Alternative approaches based on formal calculi, often derived from process algebras or term rewriting systems, provide a quite complementary way to analyze the behaviour of biological systems. These calculi allow to cope in a natural way with notions like compartments and membranes, which are not easy (sometimes impossible) to handle with purely numerical approaches, and are often based on stochastic simulation methods. Recently, it has also become evident that stochastic effects in regulatory networks play a crucial role in the analysis of such systems. Actually, in many situations it is necessary to use stochastic models. For example when the system to be described is based on the interaction of few molecules, when we are at the presence of a chemical instability, or when we want to simulate the functioning of a pool of entities whose compartmentalised structure evolves dynamically. In contrast, stable metabolic networks, involving a large number of reagents, for which the computational cost of a stochastic simulation becomes an insurmountable obstacle, are efficiently modelled with ODEs. In this paper we define a hybrid simulation method, combining the stochastic approach with ODEs, for systems described in CWC, a calculus on which we can express the compartmentalisation of a biological system whose evolution is defined by a set of rewrite rules.
△ Less
Submitted 1 November, 2010;
originally announced November 2010.
-
Stochastic Calculus of Wrapped Compartments
Authors:
Mario Coppo,
Ferruccio Damiani,
Maurizio Drocco,
Elena Grassi,
Angelo Troina
Abstract:
The Calculus of Wrapped Compartments (CWC) is a variant of the Calculus of Loo** Sequences (CLS). While kee** the same expressiveness, CWC strongly simplifies the development of automatic tools for the analysis of biological systems. The main simplification consists in the removal of the sequencing operator, thus lightening the formal treatment of the patterns to be matched in a term (whose co…
▽ More
The Calculus of Wrapped Compartments (CWC) is a variant of the Calculus of Loo** Sequences (CLS). While kee** the same expressiveness, CWC strongly simplifies the development of automatic tools for the analysis of biological systems. The main simplification consists in the removal of the sequencing operator, thus lightening the formal treatment of the patterns to be matched in a term (whose complexity in CLS is strongly affected by the variables matching in the sequences).
We define a stochastic semantics for this new calculus. As an application we model the interaction between macrophages and apoptotic neutrophils and a mechanism of gene regulation in E.Coli.
△ Less
Submitted 25 June, 2010;
originally announced June 2010.
-
Modelling an Ammonium Transporter with SCLS
Authors:
Mario Coppo,
Ferruccio Damiani,
Elena Grassi,
Mike Guether,
Angelo Troina
Abstract:
The Stochastic Calculus of Loo** Sequences (SCLS) is a recently proposed modelling language for the representation and simulation of biological systems behaviour. It has been designed with the aim of combining the simplicity of notation of rewrite systems with the advantage of compositionality. It also allows a rather simple and accurate description of biological membranes and their interactio…
▽ More
The Stochastic Calculus of Loo** Sequences (SCLS) is a recently proposed modelling language for the representation and simulation of biological systems behaviour. It has been designed with the aim of combining the simplicity of notation of rewrite systems with the advantage of compositionality. It also allows a rather simple and accurate description of biological membranes and their interactions with the environment.
In this work we apply SCLS to model a newly discovered ammonium transporter. This transporter is believed to play a fundamental role for plant mineral acquisition, which takes place in the arbuscular mycorrhiza, the most wide-spread plant-fungus symbiosis on earth. Due to its potential application in agriculture this kind of symbiosis is one of the main focuses of the BioBITs project.
In our experiments the passage of NH3 / NH4+ from the fungus to the plant has been dissected in known and hypothetical mechanisms; with the model so far we have been able to simulate the behaviour of the system under different conditions. Our simulations confirmed some of the latest experimental results about the LjAMT2;2 transporter. The initial simulation results of the modelling of the symbiosis process are promising and indicate new directions for biological investigations.
△ Less
Submitted 14 May, 2010; v1 submitted 8 October, 2009;
originally announced October 2009.