Search

International audience; The Oritatami model was introduced by Geary et al (2016) to study the computational potential of RNA cotranscriptional folding as first shown in wet-lab experiments by Geary et al (Science 2014). In Oritatami model, a molecule grows component by component (named beads) into the triangular grid and folds as it grows. More precisely, the δ last nascent beads are free to move and adopt the positions that maximizes the number of bonds with the current folded structure. Geary et al (2018) proved that the Oritatami model is capable of efficient Turing universal computation using a complicated construction that simulates Turing machines via tag systems. We propose here a simple Oritatami system which intrinsically simulates arbitrary 1D cellular automata. Being intrinsic, our simulation emulates the behavior of cellular automata in a readable way and in time linear in space and time of the simulated automaton. Oritatami model has proven to be a fruitful framework to study molecular reconfigurability. Our construction relies on the development of new mecanisms which are simple enough that we believe that some simplification of them may be implemented in the wet lab. An implementation of our construction can be downloaded for testing.

6th International Conference on Railway Operations Modelling and Analysis - RailTokyo2015, ICROR, Tokyo, Japon, 23-/03/2016 - 27/03/2016; Automatic real-time control of railway traffic perturbations has recently received theattention of practitioners. The aim is to make use of mathematical algorithms to maintainthe required service availability during unplanned disturbances to operations. In theliterature many tools for real-time traffic control are proposed, but their effects on traffichave never been studied neither in real life nor in realistic simulation environments. Wecan mention only a few pilot tests and a unique installation in the Lötschberg Base tunnelin Switzerland, which is in any case an ad-hoc implementation not extendible to othercase studies. In this paper we present the ON-TIME framework for the real-timemanagement of railway traffic perturbations. The main innovation is a standard webservice-oriented architecture that ensures scalability and flexibility. A standard RailMLinterface is used for the input/output data of the modules, allowing immediateapplicability of the framework to any network having a RailML representation. Thescalability makes the framework independent from the number of modules and the amountof data exchanged. The flexibility permits any module to be replaced with others havingsimilar features. The framework is tested in a closed-loop with the simulationenvironment HERMES for a perturbed traffic scenario on the Swedish Iron Ore line. Testsare performed for two different replanning algorithms (ROMA and RECIFE) used asconflict detection and resolution modules of the framework. The analysis represents aproof-of-concept to confirm the effectiveness of our framework in automatically solvingconflicts and deadlocks during perturbed traffic conditions.

International audience; The Metropolis II project aimed to study the impact of centralised separation management for urban aerial mobility. Three concepts were developed in this study: a fully centralised, strategically separated concept, a hybrid concept featuring centralised strategic separation and distributed tactical separation, and a fully distributed tactical concept. A comparative simulation study was performed, using traffic scenarios based on predicted demand in an urban airspace in the city of Vienna. Simulations were performed with varying traffic densities and situations. Results show that the purely strategic and purely tactical strategies perform comparably in terms of safety, and that further improvements can be achieved with a combination of those strategies.

International audience; In polyphonic music, melodic patterns (motifs) are frequently imitated or repeated, and transformed versions of motifs such as inversion, retrograde, augmentations , diminutions often appear. Assuming that economical efficiency of reusing motifs is a fundamental principle of polyphonic music, we propose a new method of analyzing a polyphonic piece that economically divides it into a small number of types of motif. To realize this, we take an integer programming-based approach and formalize this problem as a set partitioning problem, a well-known optimization problem. This analysis is helpful for understanding the roles of motifs and the global structure of a polyphonic piece.

Part 2: Asian Conference on Availability, Reliability and Security (AsiaARES); International audience; It is important to assure the security of systems in the course of development. However, lack of requirements analysis method to integrate security functional requirements analysis and validation in upper process often gives a crucial influence to the system dependability. For security requirements, even if extraction of menaces was completely carried out, insufficient countermeasures do not satisfy the security requirements of customers.In this paper, we propose a method to describe security cases based on the security structures and threat analysis. The security structure of the method is decomposed by the Common Criteria (ISO/IEC15408).