Sentence examples for models is formalized from inspiring English sources

The meta-model that supports these models is formalized using enterprise modeling language constructs (i.e., CIMOSA business concepts).

In our approach, models are formalized together with scenarios that represent possible run-time instances.

Correctness preserving transformations between models are formalized and proved as refinement rules in rCOS.

Implementation models are formalized in terms of guarded input/output transition systems and the correctness notion is based on a simulation relation between an MIOD and an implementation model which relates not only abstract and concrete control states but also (abstract) data constraints and concrete data states.

Killough (1976) and Carlson (1981) models are formalized as industry standards, and they both focused on the non-wetting phase hysteresis in a two-phase system porous medium with neglecting the trapping of wetting phase.

However, it has been difficult to assess and compare models, because either different models were formalized in incompatible ways or they were designed for a specific set of data or key experimental data was not available to test them.

This model is formalized using an ontology language, OWL for encoding knowledge over the Web.

The main thrust of this paper is twofold: (1) Proposition of a nonlinear process planning based on the STEP-NC (STEP-compliant data interface for numerical controls) paradigm whose data model is formalized as ISO 14649, and (2) Development of an optimal solution algorithm for process planning for complex machining.

Our model is formalized within the powerful theory of stochastic Optimal Feedback Control (OFC) [16].

This causal model is formalized in Figure 1: three causal variables (ETH, JA, SA; dashed circles) are shown on the left side of the figure.

The SIR model is formalized as a system of differential equations that allow the infection to be modelled deterministically.