Sentence examples for model satisfies a from inspiring English sources

In this paper, the problem of input signal design with the property that the estimated model satisfies a given performance level with a prescribed probability is studied.

In addition, the current model satisfies a priori interlaminar continuity conditions and can accurately predict the displacements and stresses, particularly the interlaminar stresses.

It is shown that a linear bound holds when a non-negative kernel, defined by the logarithmic potential function and Markov kernel which specify the Feynman Kac model, satisfies a type of multiplicative drift condition and other regularity assumptions.

Model checking allows formal verification that a model satisfies a prescribed property.

OSM is able to determine the number of simulation runs required to prove whether a stochastic model satisfies a probabilistic formula, P≥ θ where θ represents the threshold probability and ψ represents the property.

However, the boolean view of specifications is still prevalent, for example, in checking whether a timed model satisfies a formula of a real-time logic, or whether a stochastic process satisfies a formula of a probabilistic logic.

Over the past few months we've been writing stories about those long-lost cars made by a particular country that, either because of their type or distinct make and model, satisfy a certain craving that can't for some reason be sated by anything being sold in 2002.

The monitor described above allows to verify if all executions of the model satisfy a certain specification.

This model satisfies all of (1 -(4).

Further, these models satisfy a scheme of replacement for wellfounded sets: anything the same size as a wellfounded set is a set.

Granted that an arbitrary model can interpret a formula like Ω x) in a peculiar manner—how can a model satisfy all of the axioms of set theory while still maintaining this peculiar interpretation?