Finally, the best estimation models are determined through model verification.
进而对模型进行优选和检验，确定最佳估测模型。
Research on Technology of Workflow Model Verification Based on Synchronization Net;
介绍了如何应用验证模型快速搭建系统验证平台。
The modeling results show high accuracy based on the model verification and validation.
通过模型的验证达到较高的精度。
This paper shows a new domain in which constraint programming can be exploited as model verification and validation.
本文同时揭示了限制编程的一个新的应用领域模型验证。
The model verification result shows the model can be used to reflect relation between land use and traffic system relation.
验证结果表明，所建模型能够正确反映土地利用和交通系统之间的关系。
The results from model verification have shown that the suggested model is functional and applicable for daily flow simulation.
实用性检验结果表明，该模型用于模拟日流量过程是可行的，成果实用。
The Errors existed in CAD Model can be easily found out and corrected by Model Verification, especially to complicated product CAD model.
CAD模型验证能够对复杂产品的CAD模型进行检查，找出产品建模阶段的错误或不规范地方，进而改正产品CAD模型中存在的问题。
The strategy which utilized the method of model document to perform model verification was established, and the model document criterion was built.
确立通过包含有模型确认内容的模型文本化方法进行模型有效性确认的策略，建立模型确认文本规范。
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.
对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。
The results indicate that the straight comparison technique and the statistical inference technique are all effective method for model verification and validation.
研究表明，直观对比和统计推断都是模型验证过程中行之有效的方法。
Results of the mathematical model verification and the numerical results of heat consumption computer-assisted management control system operation are shown on Figure 2.
数学模型验证的结果和数值结果的热量消耗计算机辅助管理控制系统操作在图2所示。
The evaluation for simulation model validity is currently a hot subject in the international simulation field, and it mainly includes model validation and model verification.
仿真模型有效性评估是当今国际仿真界研究的一个热点问题。它主要包括模型确认和模型验证两部分内容。
According to mass movement, self-organization and specific hub behavior comparison, experiential data, theory description and field data were used for the model verification and validation.
应用数据对比方法，从群体行为、自组织行为与特定行为特性三个方面进行了模型验证。
Model verification presented by using real operating data from industrial production indicates that the model's precision is good enough to satisfy the request of floatation process control.
根据工业实际生产数据进行的模型校验和误差分析表明，能够满足浮选过程控制的精度要求。
The WSDL model USES one such extension hook, a post-set method, to run the verification logic.
WSDL模型会使用一个这样的扩展元素，即一个后设方法，来运行这个验证逻辑。
Verification of the semantic connections between the model elements that participated in the transformation.
验证参与转换的模型单元间的语义连接。
Consider the example in Figure 7, which depicts a contract verification for the Customer Order Handling business process and the associated service model.
考虑图7中的实例，哪一个描述了CustomerOrderHandling业务过程和相关的服务模型的约定验证。
This verification step can be done and automated with model-based testing.
这一确认步骤可以通过基于模型的测试完成。
Many physicists would like to see a single theory explain all of the fundamental forces of nature, or at the very least see experimental verification of the Standard Model of particle physics.
许多物理学家希望能有某个单一理论来解释自然界的力量，或者最少看到粒子物理学标准模型的实验证明。
Verification shows that the model is reliable and effective.
模型验证的结果表明模型是可靠和有效的。
Reusing model-based tests for software verification
再使用基于模型的测试以便软件确认
The support vector machine based speaker verification models are trained on the enrolled speaker and the background model.
支持向量机用作说话人确认模型来训练目标说话人和背景说话人的语音数据。
You can use the Verification page of the Rational XDE model import wizard to confirm that the models listed are the files that you want to import.
您可以使用RationalXDEModelImport的Verification页面，来验证列出来的模型，是您想要导入的文件。
The experimental verification of the mathematical model is described.
还对此数学模型进行了验证。
Every formal verification approaches have their advantages and disadvantages, the main advantage of model checking is automation, its main drawback is the state explosion problem.
各种形式化方法都有它的优缺点，模型检测的优点是完全自动化，但存在空间开销大的问题。
Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
The test verification of the model is presented.
并介绍了该模型的试验验证。
The structure of the 4th edition of MPEG-4 video verification model and the main coding tools and algorithms are described.
文中描述了第四版MPEG-4视频验证模型的结构及其提供的主要编码工具和算法。
The verification experiment of the model indicated that the model could approximately reflected the law of heat transmission and water transfers during the dryingprocess.
试验验证表明，该传热传质模型基本能反映竹材在热压干燥过程中的传热传质规律。
The verification experiment of the model indicated that the model could approximately reflected the law of heat transmission and water transfers during the dryingprocess.
试验验证表明，该传热传质模型基本能反映竹材在热压干燥过程中的传热传质规律。
应用推荐