373,323 research outputs found
History-Dependent Patterns in Randomly Perturbed Nematic Liquid Crystals
We study the characteristics of nematic structures in a randomly perturbed nematic liquid crystal (LC) phase. We focus on the impact of the samples history on the universal behavior. The obtained results are of interest for every randomly perturbed system exhibiting a continuous symmetry-breaking phase transition. A semimicroscopic lattice simulation is used where the LC molecules are treated as cylindrically symmetric, rod-like objects interacting via a Lebwohl-Lasher (LL) interaction. Pure LC systems exhibit a first order phase transition into the orientationally ordered nematic phase at T=Tc on lowering the temperature T. The orientational ordering of LC molecules is perturbed by the quenched, randomly distributed rod-like impurities of concentration p. Their orientation is randomly distributed, and they are coupled with the LC molecules via an LL-type interaction. Only concentrations below the percolation threshold are considered. The key macroscopic characteristics of perturbed LC structures in the symmetry-broken nematic phase are analyzed for two qualitatively different histories at T≪Tc. We demonstrate that, for a weak enough interaction among the LC molecules and impurities, qualitatively different history-dependent states could be obtained. These states could exhibit either short-range, quasi-long-range, or even long-range order
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems
This work presents a compositional approach for schedulability analysis of
Distributed Integrated Modular Avionics (DIMA) systems that consist of
spatially distributed ARINC-653 modules connected by a unified AFDX network. We
model a DIMA system as a set of stopwatch automata in UPPAAL to verify its
schedulability by model checking. However, direct model checking is infeasible
due to the large state space. Therefore, we introduce the compositional
analysis that checks each partition including its communication environment
individually. Based on a notion of message interfaces, a number of message
sender automata are built to model the environment for a partition. We define a
timed selection simulation relation, which supports the construction of
composite message interfaces. By using assume-guarantee reasoning, we ensure
that each task meets the deadline and that communication constraints are also
fulfilled globally. The approach is applied to the analysis of a concrete DIMA
system.Comment: In Proceedings MeTRiD 2018, arXiv:1806.09330. arXiv admin note: text
overlap with arXiv:1803.1105
Rare event simulation for highly dependable systems with fast repairs
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., supported by model checking tools such as PRISM and MRMC, suffer from the state-space explosion problem. The main alternative is statistical model checking, which uses standard simulation, but this performs poorly when small probabilities need to be estimated. Therefore, we propose a method based on importance sampling to speed up the simulation process in cases where the failure probabilities are small due to the high speed of the system's repair units. This setting arises naturally in Markovian models of highly dependable systems. We show that our method compares favourably to standard simulation, to existing importance sampling techniques and to the numerical techniques of PRISM
Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets
Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2004)This work discusses the use of parallel graph transformation systems for (multi-formalism) modeling and simulation and their implementation in the meta-modeling tool AToM3. As an example, a simulator for Timed Transition Petri Nets (TTPN) is modeled using parallel graph transformation.This work has been partially sponsored by the SEGRAVIS network and the Spanish Ministry of Science and Technology (TIC2002-01948)
Techniques for the Fast Simulation of Models of Highly dependable Systems
With the ever-increasing complexity and requirements of highly dependable systems, their evaluation during design and operation is becoming more crucial. Realistic models of such systems are often not amenable to analysis using conventional analytic or numerical methods. Therefore, analysts and designers turn to simulation to evaluate these models. However, accurate estimation of dependability measures of these models requires that the simulation frequently observes system failures, which are rare events in highly dependable systems. This renders ordinary Simulation impractical for evaluating such systems. To overcome this problem, simulation techniques based on importance sampling have been developed, and are very effective in certain settings. When importance sampling works well, simulation run lengths can be reduced by several orders of magnitude when estimating transient as well as steady-state dependability measures. This paper reviews some of the importance-sampling techniques that have been developed in recent years to estimate dependability measures efficiently in Markov and nonMarkov models of highly dependable system
Scaling Properties of Parallelized Multicanonical Simulations
We implemented a parallel version of the multicanonical algorithm and applied
it to a variety of systems with phase transitions of first and second order.
The parallelization relies on independent equilibrium simulations that only
communicate when the multicanonical weight function is updated. That way, the
Markov chains efficiently sample the temporary distributions allowing for good
estimations of consecutive weight functions.
The systems investigated range from the well known Ising and Potts spin
systems to bead-spring polymers. We estimate the speedup with increasing number
of parallel processes. Overall, the parallelization is shown to scale quite
well. In the case of multicanonical simulations of the -state Potts model
() and multimagnetic simulations of the Ising model, the optimal
performance is limited due to emerging barriers.Comment: Contribution to the Proceedings of "Recent Developments in Computer
Simulational Studies in Condensed Matter Physics 2013
Simulation of non-Markovian Processes in BlenX
BlenX is a programming language explicitly designed for modeling biological processes inspired by Beta-binders. The actual framework assumes biochemical interactions being exponentially distributed, i.e., an underlying Markov process is associated with BlenX programs. In this paper we relax this condition by providing formal tools for managing non-Markovian processes within BlenX
- …