Sentence examples for modelled system and from inspiring English sources

The synchronous reactive (SR) model is used for synchronous parts of the modelled system, and those parts, which represent individual clock-domains, are coupled asynchronously each to the other on the top-level of system design.

A modelling approach that focuses on the 'top level' of the modelled system and does not represent underlying lower-level objects, systems and processes may be called a 'top-down' approach, while an approach that focuses on representing the underlying lower-level objects, systems and processes may be called a 'bottom-up' approach (Haefner 2005).

The more intuitive a model represents our perception of reality, the better it explains the modelled system and consequently contributes to an understanding of the living nature.

Advantages of Q2 learning are that the induced qualitative model enables a (possibly causal) explanation of relations among the variables in the modelled system, and that numerical predictions are guaranteed to be qualitatively consistent with the qualitative model which alleviates the interpretation of the predictions.

The method can be used as a diagnostic tool to evaluate stochasticity of modelled systems and used to determine suitable model structures of different time-series models.

The system architecture presented is dynamic in the sense that the modelled system can evolve and be adapted to its new functions.

The work builds on Amálio's rigorous template-based approach to formalisation, which formally expresses the intended semantics of both the diagram notation and modelled system, along with standard correctness conjectures and, in many cases, proof of these conjectures.

This model reflects well physical nature of modelled system: majority of signals, noise and estimated parameters are bounded.

The control metaphor suggests a division of the state space of the modelled system into regions of safe and unsafe states.

Feedbacks between system functioning and underlying endogenous drivers should be represented, rather than assuming the drivers to be exogenous to the modelled system or stationary in time and space.

The modelled system is mapped into a TTM, and a dedicated proof system, based on abstractions and heuristics, is used for the validation of safety, liveness and timeliness properties expressed in RTTL.