Modeling for operation rules is essential function requirement in equipment simulation training system based on VR. Aiming at the modeling actuality of present equipment operation rules, which has no systematic, no generality and no formatting expression, layered modeling system framework based on federation is brought forward referencing to the “Federation and Member” concept of HLA. Open mode...

This paper reports a dynamic causal modeling study of electrocorticographic (ECoG) data that addresses functional asymmetries between forward and backward connections in the visual cortical hierarchy. Specifically, we ask whether forward connections employ gamma-band frequencies, while backward connections preferentially use lower (beta-band) frequencies. We addressed this question by modeling ...

We present a theoretical evaluation of a cardiovascular system identification method that we previously developed for the analysis of beat-to-beat fluctuations in noninvasively measured heart rate, arterial blood pressure, and instantaneous lung volume. The method provides a dynamical characterization of the important autonomic and mechanical mechanisms responsible for coupling the fluctuations...

Electrophysiological modeling of Magnetoand Electro-encephalography (MEG and EEG) rely on accurate forward solvers that relate source activities to sensor measurements. In comparing a Boundary Element (BEM) and a Finite Element Method (FEM) for forward electroencephalography, in our early numerical experiments, we found the FEM to have a better accuracy than the BEM. This triggered a quest to i...

Preface Modeling of credit risk has become a very important and rapidly expanding field of mathematical finance in the last fifteen years. Apart from a purely academic interest, the credit derivatives industry clearly needs advanced mathematical models to objectively assess and hedge this kind of risk, which was only underlined by the recent financial crisis. Although there exist several credit...

Identifying objects or pixels of interest that are few in numbers and sparsely populated imagery is referred to as target detection. Traditionally, the inverse modeling (IM) approach, usually a slow computationally intensive process, used for detecting targets using surface reflectance spectra. For emerging online methods remote sensing, at-sensor radiance material, i.e., forward (FM) can be us...

Where software systems are safety critical, for example in aircraft engine control, it is necessary to carry out safety analysis on designs in support of certification. We argue that there is also significant value in formally validating such a design. Few ‘‘classical’’ formal notations and methods are geared towards embedded systems. We illustrate one such method known as Practical Formal Spec...

Conventionally, the state space and behavior of an object is determined when the object is created. Attributes and methods are not allowed to be attached to or retracted from an object during its lifetime. In other words, it is not feasible for an object to change its type dynamically. Furthermore, it is not possible to define several different views on an object allowing to exhibit a specific ...

We propose a novel cross-layer analytic approach to performance evaluation of delay/loss sensitive IP-based applications running over the wireless channels. We firstly extend the small-scale propagation model representing the received signal strength to IP layer using the cross-layer mapping. Then, we replace the resulting IP layer wireless channel model by an artificial equivalent arrival proc...

This paper presents an approach for learning complex tasks on real robots, like walking or kicking in a humanoid soccer robot, profiting at most from the possibility to run simulations of a virtual model of the robot. This approach avoids to damage the real robot in the time consuming trials needed to learn a correct behavior and avoids to overfit the virtual robot model. The basic idea is to r...