model

(redirected from symbolic model)
Also found in: Dictionary, Thesaurus, Medical, Legal, Encyclopedia.

Model

Any mathematical formula or other structure that economists use to explain or predict occurrences. Economists test their models with real world facts before they gain wide acceptance, but, even then, there is no guarantee that a model will always be a correct predictor. See also: Model risk.

model

An abstraction of reality, generally referring in investments to a mathematical formula designed to determine security values. Economists also use models to project trends in economic variables such as interest rates, economic activity, and inflation rates.

model

see ECONOMIC MODEL.
References in periodicals archive ?
3.2 Short counterexamples in symbolic model checking
Table 1 summarizes the specifications of Semantic Location model and compares with other existing Symbolic models. It classifies the location models with respect to the supported coordinate type(sym = symbolic, geom=geometric), the supported queries(P=position, R=range, N=nearest neighbor).
Strauss and Quinn (1997) argue that connectionist models seem better than symbolic models: at simulating how people build up cultural schemas and use them to extract meaning from events ...
There are three main reasons for using partitioning techniques in our symbolic model checker: (1) to reduce the sizes of the Presburger formulas generated during the fixpoint computations and to improve the efficiency of their manipulation; (2) to eliminate selected variables by partitioning the state-space based on their valuations; and (3) to improve the accuracy of the conservative approximation techniques.
Given a finite state system, the symbolic model checking method starts with the construction of the OBDD for the transition relations TR(V, V').
The core procedure of BDD-based LTL symbolic model checking algorithm is to construct a tableau for the (negated) property.
Additional Key Words and Phrases: Binary decision diagrams, real-time verification, symbolic model checking, synchronous real-time event logic
Wu, "Application of Wu's method to symbolic model checking," in Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC '05), pp.
And in [18], a tester based symbolic model checking approach is proposed by Pnueli and Zacks to deal with PSL properties.
Computational symbolic models are powerful tools for making ideas explicit because they support the formal definition of all the terms in an argument, and these formal definitions may be used to compute the consequences of a set of arguments.
McMillan, Symbolic Model Checking, Kluwer Academic, 1993.
We implemented the symbolic model using AI object-oriented symbolic representation tools and methods.

Full browser ?