Soundness verification of model is always a difficult question of process definition.
模型的正确性验证一直是工作流过程定义阶段的难点问题。
The establishment of predictive mathematical model of dry point of gasoline, verification of model and on-line control process were introduced.
介绍了汽油干点预估模型的建立过程、模型的验证及在线控制过程。
Verification of the semantic connections between the model elements that participated in the transformation.
验证参与转换的模型单元间的语义连接。
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.
许多物理学家希望能有某个单一理论来解释自然界的力量，或者最少看到粒子物理学标准模型的实验证明。
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.
还对此数学模型进行了验证。
The method can improve the performance of likelihood ratio verification method in mismatch conditions by incorporating robust neighborhood information for a target model.
该方法通过引入目标模型的鲁棒近邻信息以提高在环境不匹配情况下的似然比确认性能。
After the study on the problems of formal specification and verification for network protocols, this paper gives out a general model system based on the temporal logic.
本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
The test verification of the model is presented.
并介绍了该模型的试验验证。
It is proved by the verification of historical data that the water balance model is credible and easily available for the forecast of groundwater table variation.
通过历史资料的验证，表明本文所建立的水均衡模型对于地下水位变动的预测是可靠的，而且简单可行。
Experiments concerning the verification of the mathematical model, calibration of the sensing and measuring system, and field applications are carried out on the basis of the prototype.
在研制出样机的基础上，对数学模型的验证，起重传感器测量系统的标定，以及现场测试等方面进行了全面系统的实验研究。
The results from centrifugal model test, field bearing test, and finite element calculation performed for the verification of the formula showed satisfactory agreement.
据室内离心机模型试验，现场载荷试验和有限元法分析的验证，它们之间符合程度是令人满意的。
The verification experiment of the model indicated that the model could approximately reflected the law of heat transmission and water transfers during the dryingprocess.
试验验证表明，该传热传质模型基本能反映竹材在热压干燥过程中的传热传质规律。
A solution for property verification of synchronous VHDL design is introduced, and VERIS an efficient symbolic model checker is implemented.
介绍了一个针对同步时序电路VHDL设计的性质验证的解决方案——一个有效的符号模型判别器veris。
The structure of the 4th edition of MPEG-4 video verification model and the main coding tools and algorithms are described.
文中描述了第四版MPEG-4视频验证模型的结构及其提供的主要编码工具和算法。
In this paper, FEM is used to establish the calculating model of beam axle of compound suspension. After verification by experiment, the model is employed for stress analysis of beam axle.
本文用有限元方法建立复合式悬架车桥的计算模型，经试验验证后，用于车桥横梁的应力分析。
Carry on indoor model simulation experiment, through experimental result with perform comparison verification of result of analysis on feasibility and accuracy of method instead.
进行了室内模型模拟实验，通过实验结果与反演结果的比较验证反演方法的可行性及准确性。
Strict mathematic verification showed that this information flow model is reasonable and safe, which can reflect the safety requirements of the Nuclear Power Plant network.
经过严格的数学证明，新的信息流模型合理且安全，能较好反映核电站网络的安全要求。
Moreover, the model can avoid the difficulty in automatically supporting the modification and verification of the use case description under pure graphical representation.
同时，采用该模型还可以避免纯图形方式下难以采用自动工具支持用例描述的修改和验证等问题。
The strategy which utilized the method of model document to perform model verification was established, and the model document criterion was built.
确立通过包含有模型确认内容的模型文本化方法进行模型有效性确认的策略，建立模型确认文本规范。
Among the solutions to the analysis and verification of such systems, model checking is one of the most successful automatic verification techniques in the past two decades.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
To improve the efficiency of functional verification, this paper presents two efficient acceleration techniques: self-verification and co-simulation of mixed model.
为提高验证效率，提出了自验证和混合模型模拟两种模拟加速方法。
The new method can be divided into two parts: the construction of verification model and the construction of verification platform.
该方法主要包括验证模型的建立与验证平台的搭建两部分内容。
By the verification of error analysis, the accuracy and reliability of the model accord with the designing demands, and can be used by the production and design units.
经过误差分析验证，模型的精度、可靠度均满足设计要求，可供生产设计单位使用。
Therefore, the formal method plays an important role as a bridge between the model simulation, verification of application systems.
因此，从软件系统的形式模拟与验证到实际的开发应用，形式化方法都起着一个重要的桥梁作用。
The present part introduces collector -storage wall mathematical model, flow chart of model calculating, test and verification of the model and program, and a simple direction of the program usages.
本篇介绍数学模型中的集热墙数学模型，模拟计算框图，模型和程序的验证及程序使用简介。
Then, a verification of the function of the model is given according to the modeling and implement in event correlation analysis system.
通过该模型在实际的事件关联性分析系统中的建模和实现情况，对该模型的作用作出了验证。
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模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。
Finally, we illustrate a service scenario to make an explanation and verification of this model.
最后列举了一个业务场景对该模型进行解释和验证。
Finally, we illustrate a service scenario to make an explanation and verification of this model.
最后列举了一个业务场景对该模型进行解释和验证。
应用推荐