The computer solutions of verification model for boiler water circulation are resented.
给出了锅炉水循环校验模型的计算机解法。
The support vector machine based speaker verification models are trained on the enrolled speaker and the background model.
支持向量机用作说话人确认模型来训练目标说话人和背景说话人的语音数据。
The structure of the 4th edition of MPEG-4 video verification model and the main coding tools and algorithms are described.
文中描述了第四版MPEG-4视频验证模型的结构及其提供的主要编码工具和算法。
The new method can be divided into two parts: the construction of verification model and the construction of verification platform.
该方法主要包括验证模型的建立与验证平台的搭建两部分内容。
According to the MPEG-4 verification model, video sequence must be segmented into semantic video objects. Their motion, shape and texture information are coded respectively.
按照MPEG - 4的校验模型，视频序列必须先分割成具有语义意义的视频对象，然后对其运动、形状和纹理分别进行编码。
On the basis of single risk and regional risk assessment, establishing the model of risk superposition and verification model by the case of enterprise technology innovation.
在单风险评价和区域风险评价的基础上，建立风险叠加模型，度量技术创新的阶段总风险，并通过实例进行验证。
Compared with the ME algorithm for shape coding in MPEG-4 verification model and other improved algorithms, the proposed algorithm significantly speeds the ME process and takes equal bit rate.
与MPEG 4验证模型中的形状运动估计算法以及现有的改进算法相比，该算法大大提高了形状运动估计的速度，而形状的编码效率并没有降低。
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
再使用基于模型的测试以便软件确认
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 verification of the model of TCPN workflow nets by means of graph reduction was mainly considered, and some graph reduction rules of flow control structure were put forward and proved.
文中重点研究了采用图规约法对TCPN工作流网模型的验证，提出了流控制结构的图规约规则，并对这些规则进行了证明。
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 verification experiment of the model indicated that the model could approximately reflected the law of heat transmission and water transfers during the dryingprocess.
试验验证表明，该传热传质模型基本能反映竹材在热压干燥过程中的传热传质规律。
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.
介绍了汽油干点预估模型的建立过程、模型的验证及在线控制过程。
To improve the efficiency of functional verification, this paper presents two efficient acceleration techniques: self-verification and co-simulation of mixed model.
为提高验证效率，提出了自验证和混合模型模拟两种模拟加速方法。
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.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
After experimental verification, HRFN model was verified to has higher safety performance and also meet the rapid demand for automated trust negotiation.
经试验验证，HRFN模型的安全性能更高，而且满足自动信任协商的快速需求。
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.
经过严格的数学证明，新的信息流模型合理且安全，能较好反映核电站网络的安全要求。
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.
经过严格的数学证明，新的信息流模型合理且安全，能较好反映核电站网络的安全要求。
应用推荐