The process modeling is described for the model-based verification method. The performance of the method is demonstrated by experiment.
还描述了这种基于模型的验证方法的过程建模，实例说明这种方法的性能。
This verification step can be done and automated with model-based testing.
这一确认步骤可以通过基于模型的测试完成。
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.
支持向量机用作说话人确认模型来训练目标说话人和背景说话人的语音数据。
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模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。
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.
本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
Model checking based on decision diagram causes memory explosion in integer multiplier verification. An efficient solution to this problem is backward substitution method.
采用基于决策图的模型检验方法对整数乘法器验证时会出现内存爆炸，解决该问题的一种有效途径是采用反向替换方法。
The functional coverage model was set up based on on-chip-debugging structure features and the virtual verification prototype was built steadily according to the different memory access modes.
根据在片调试的结构特征建立了功能覆盖率模型，并以访存模式为基准分步建立虚拟验证原型。
The modeling results show high accuracy based on the model verification and validation.
通过模型的验证达到较高的精度。
Based on feature processing and model compensation, a weighted features compensation transformation method based on GMM for robust speaker verification was proposed.
从特征值处理和模型补偿两方面考虑，提出了基于高斯混合模型的加权特征补偿变换的抗噪声方法。
The paper gives a verification of the soundness and performance analysis of this Web services composition model based on SPN-NET.
文中给出了基于SPN - NET模型的服务组合合理性验证和性能分析方法。
Model checking based formal verification is a technique of this kind, and has been successful used in practice to verify complex sequential circuit designs and communication protocols.
基于模型检测的形式化方法就是这样一种技术，并已成功地在实践中应用于对复杂的时序线路设计和通信协议的正确性验证。
As a XML-based descriptive language, WS-CDL lacks a formal model and verification mechanism to guarantee the correctness of collaborations and interactions.
作为一个基于XML的描述性规范语言，WS -CDL缺乏形式化的模型和验证机制，难以保证协作和交互的正确性。
Research on Technology of Workflow Model Verification Based on Synchronization Net;
介绍了如何应用验证模型快速搭建系统验证平台。
Research on Technology of Workflow Model Verification Based on Synchronization Net;
介绍了如何应用验证模型快速搭建系统验证平台。
应用推荐