A variational approach to modeling slow processes in stochastic dynamical systems

The slow processes of metastable stochastic dynamical systems are difficult to access by direct numerical simulation due the sampling problem. Here, we suggest an approach for modeling the slow parts of Markov processes by approximating the dominant eigenfunctions and eigenvalues of the propagator. To this end, a variational principle is derived that is based on the maximization of a Rayleigh coefficient. It is shown that this Rayleigh coefficient can be estimated from statistical observables that can be obtained from short distributed simulations starting from different parts of state space. The approach forms a basis for the development of adaptive and efficient computational algorithms for simulating and analyzing metastable Markov processes while avoiding the sampling problem. Since any stochastic process with finite memory can be transformed into a Markov process, the approach is applicable to a wide range of processes relevant for modeling complex real-world phenomena

Numerical Simulation of Vortex-Induced Vibrations of Riser-Conductor Systems Including Soil-Structure Interactions

A fully three-dimensional numerical approach for analyzing deepwater drilling riser-conductor system vortex-induced vibrations (VIV) including soil-structure interactions (SSI) is presented. The drilling riser-conductor system is modeled as a tensioned beam with linearly distributed tension and is solved by a fully implicit discretization scheme. The fluid field around the riser-conductor system is obtained by Finite-Analytic Navier-Stokes (FANS) code, which numerically solves the unsteady Navier-Stokes equations. The SSI is taken into account by modeling the lateral soil resistance force according to p-y curves. Overset grid method is adopted to mesh the fluid domain with approximately 0.86 million computational points in total. Meshes are much finer in regions close to the pipe outer boundary and coarser in the far-field regions. A partitioned Fluid-Structure Interaction (FSI) method is achieved by communication between the fluid solver and pipe motion solver. A pipe VIV simulation without SSI is firstly presented and served as a benchmark case for following simulations. Two SSI models based on a popular p-y curve are then applied to the VIV simulations. Results from those simulations are compared and analyzed. The effects of two key soil properties on the VIV simulations of riser-conductor systems are then studied. Conclusions are made and suggestions are given for VIV analysis of riser-conductor systems and future researc

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

On Modeling and Analyzing Cost Factors in Information Systems Engineering

Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs. Though software cost estimation has received considerable attention during the last decades, it is difficult to apply existing approaches to EIS. This difficulty particularly stems from the inability of these methods to deal with the dynamic interactions of the many technological, organizational and projectdriven cost factors which specifically arise in the context of EIS. Picking up this problem, we introduce the EcoPOST framework to investigate the complex cost structures of EIS engineering projects through qualitative cost evaluation models. This paper extends previously described concepts and introduces design rules and guidelines for cost evaluation models in order to enhance the development of meaningful and useful EcoPOST cost evaluation models. A case study illustrates the benefits of our approach. Most important, our EcoPOST framework is an important tool supporting EIS engineers in gaining a better understanding of the critical factors determining the costs of EIS engineering projects