模型验证

举例来说，模型验证会捕获例如对C委托的不正确的建模的错误。

For example , model validation will catch errors such as incorrect modeling of C # delegates .

在InfoSphereDataArchitectV7.5.3中添加了七个规则，均可用于多维物理数据模型验证。

Seven rules are added in InfoSphere Data Architect V7.5.3 for dimensional physical data model validation .

产品CAD模型验证中的规则表示

The Rule Representation of CAD Model Verification of Product

提出了基于公理化的产品CAD模型验证方法及实现技术，建立了基于公理化的产品CAD模型验证过程模型。

The verification method and implementing technology of product CAD model based on Axiomatic Design are put forward .

航放异常解释用Z量板的水泥模型验证

Cement Model Validation for Z Measuring Plate in the Abnormality Explain of Aero-radio Activity

分析了访问控制模型验证的要素构成、严格约束和宽松约束的特点，讨论了通用的基于Alloy的约束验证方法。

We analyze the elements composition , the characteristics of over-constraint and under-constraint in access control models and discuss a common Alloy-based verification method .

数学模型验证也显示，上世纪80年代以来，油价冲击与GDP增长之间的相关关系已经趋于微弱。

Mathematical models show a weakening relationship between growth in GDP and change in oil prices since the1980s .

RaneyCu催化剂制备规律的研究Ⅱ碱抽提动力学模型验证

Study on Preparation of Raney Cu catalysts ⅰ alkali leaching kinetics model verification

从这点上看，模型验证从本质上说就是语法，并且是围绕着根据一系列XML文档类型定义（XMLDocumentTypeDefinition，DTD）的验证。

Model validations at this point are primarily syntactic in nature and revolve around validation against a series of XML Document Type Definitions ( DTD ) .

本文基于CLIMB方案，逐级建立了数据库，为数学模型验证提供了基础。

Establishing the database to provide the basis for the validation of the mathematical model , based on the CLIMB project .

二分判定图（BinaryDecisionDiagram）是一种非常好的数据结构，将它用于模型验证可以很好地解决状态空间数量巨大的问题。

Binary decision diagram ( BDD ) is a very good data structure ; it can solve the state space explosion problem when it is used for model validation .

模型验证表明：交通仿真过程中，在车辆跟驰模型实施之前，利用Bayes算法模型化驾驶员在多源信息刺激下任务集聚、协同反应的过程是行之有效的。

The model verification shows that the Bayes algorithm is effective to model the task concentration and the cooperative reaction before the car-following model is implemented .

对国内某厂生产的中密度纤维板TVOC释放进行多相传质模型验证。

The work adopts the domestic medium density fiberboard for some plant to perform multiphase mass transfer model verification . 2 .

用结构方程模型验证性分析方法对Scanlan等的运动承诺理论模型进行了检验。

Adopted the structural equation model , the sport commitment model ( Scanlan et al . , 1993 ) was tested and analyzed in a sample of 186 college students .

对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised , and the decidability of the model verification is proved .

复杂仿真系统模型验证方法的研究

The Research of the Method to Model Validation on Complicated Simulation System

模型验证的结果会对用户进行可视化的交流。

The results of model validation are communicated visually to the user .

⑷提出了NMERP系统的过程模型验证和性能分析方法。

Approaches of process simulation and performance evaluation are proposed .

应用理论模型验证了最短射线路径的优化循环迭代算法的可行性；

Theoretical model is applied to proving the feasibility of the algorithm .

该实验模型验证了上述工作的可行性。

This model validated the feasibility of above works .

现代谱估计在飞行器仿真模型验证中的应用

Application of Spectral Estimation Method on Validation of Simulation Model of an Aircraft

模型验证数学误差算法研究。

Research on Mathematical model validation error algorithm .

某型导弹系统仿真模型验证

Statistical Validation of a missile System Simulation Method

离散时段演算的符号模型验证

Symbolic model checking of discrete duration calculus

作战模型验证的过程成熟度模型

Process Maturity Model of Warfare Model Validation

一种弹性的软件过程模型验证工具

Flexible verification tool for software process model

弹道重构与仿真模型验证

Trajectory Reconstruction and Simulation Model Validation

仿真模型验证是仿真可信性研究的重要组成部分，有着极其重要的意义。

Simulation model validation is an important part of simulation credibility research and is quite significant .

一种新的心肌梗塞面积计测方法的实验研究&数学模型验证

The Experimental Research of A New Method for Measuring the Size of Myocardial Infarction-Mathematical Model Proof

具有结构不确定性因素的模型验证

Model validation with structured uncertainty