This allowed initial system testing and problem determination to be performed very shortly after functional verification completed.
这允许在功能验证完成之后不久执行最初的系统测试和问题确定。
A fix action is an action that can be taken, in this case directly from the console, to fix a problem detected during verification.
修复操作是为修复验证过程中检测到的问题而采取的操作(这里是直接从控制台执行操作)。
After a few more verification runs, and a bit of self shame, I realized it indeed was my problem and got out the debugger.
在经过更多次的核实以后，让我感到有些羞愧，我意识到这确实是我的问题。
Verification reuse methodology can solve this problem effectively.
验证重用方法学是解决这一问题的有效途径。
Verification reuse methodology can solve this problem effective.
验证重用方法学是解决这一问题的有效途径。
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.
各种形式化方法都有它的优缺点，模型检测的优点是完全自动化，但存在空间开销大的问题。
This paper focuses on semantic verification method, solving the problem of conflict checking under the combination of control flow, data flow and resource dimensions of workflow processes.
针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题，研究了过程的语义验证方法。
Model checking based on decision diagram causes memory explosion in integer multiplier verification. An efficient solution to this problem is backward substitution method.
采用基于决策图的模型检验方法对整数乘法器验证时会出现内存爆炸，解决该问题的一种有效途径是采用反向替换方法。
This paper studies the anonymous group identity verification algorithm, which can very reliably solve the problem of the Anonymous identity verification.
研究了匿名分组身份验证算法，该算法可以非常可靠地解决网格计算平台之间的身份匿名验证问题。
Please prepare the original documentation listed above for verification, if you factory can not provide on audit day, will be treat as problem. Thanks!
以上正本文件烦请准备，若审核当天不能提供，将会当作问题点。谢谢！
The model presented here is proved to overcome the problem of credibility in costly state verification(CSV) model and some related research in the theory of incentive.
而这种基于 博弈论的契约可以克服有成本的状态验证模型（CSV）及经典激励理论中承诺的可信性问题。
Automatic verification of hyponymy relations is a basic problem in knowledge acquisition from text.
上下位关系的自动验证是知识获取中的一个关键问题。
This paper aims at the verification currently in bottleneck problem, elaborated that current popular verification technologies and some hardware verification languages.
针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题，研究了过程的语义验证方法。
If verification is not successful, the Verifier sets the status back to Approved and describes the problem in the Response attribute.
如果验证未通过，验证人设置变更状态为已批准并在回应属性中描述具体的问题。
The problem of verification for the conductivity meter of light fuel oil are resolved by using high resistance and the certified reference materials.
采用高阻结合标准物质的方法解决了轻质油料电导率仪无法检定的问题。
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
组合可达性分析是对并发系统模型分析验证的基础和关键，但是难于解决验证中的所谓的状态爆炸问题。
A cut in Pakistan's credit rating has exasperated the problem for refineries as crude oil suppliers are demanding hard-to-obtain foreign bank's verification of letter of credits.
禁在巴基斯坦的信用评级已激怒的问题作为炼油厂的原油供应商的要求很难获得外资银行的核查信贷款。
The code mismatch problem in speaker verification systems in multi-code environment always causes significant performance deterioration.
多编码环境下的说话人确认常常遇到训练和测试语音编码不匹配问题，导致性能显著下降。
Redundancy verification algorithm is a good approach to solve redundancy problem in rules lay of knowledge base of biomass soft-sensor expert system.
采用规则冗余算法可以很好地解决生物量软测量专家系统知识库中规则层的冗余问题。
A meaningful problem of the fixed stream is considered in the model and a new verification theorem has been proved.
而针对有固定流的情况，证明了相应的检验定理，也导出了模型的最优控制解。
It solves the on-site verification voltage transformer work intensity, operation cumbersome problem, at the same time the product performance is reliable, powerful.
它解决了现场检定电压互感器工作强度大、操作繁琐问题，同时该产品性能可靠、功能强大。
Objective To study the difficult problem of verification of neutralizing efficacy of neutralizer in evaluation of germicidal efficacy of disinfectant at high concentration.
目的研究高浓度消毒剂杀菌效果评价中和剂中和效果鉴定难题。
DT Part IV "program specification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs.
DT IV部分“程序说明书和证据”描述怎样把你的合乎逻辑的理解用于一个真正的计算机科学问题，计画的准确的描述和证实。
We use Bayesian maximum a posteriori estimation training a speaker model from background model, to solve the problem of model miss matching in speaker verification system.
采用贝叶斯最大后验概率估计的方式，从统一背景模型中生成说话人模型。
The difficulty problem of image deform in multi-speed security verification system is discussed in the paper, and a real-time correction algorithm is provided.
目的：文中针对多速度安检系统中存在的图像形变问题进行了研究。
If it is done manually, there are many problem such as longer time spending, more workload, requiring detailed verification, nonstandard calculating report.
采用人工计算方式存在花费时间长、工作人员工作量大、计算结果需要详细校验、成果资料不规范等诸多问题。
If it is done manually, there are many problem such as longer time spending, more workload, requiring detailed verification, nonstandard calculating report.
采用人工计算方式存在花费时间长、工作人员工作量大、计算结果需要详细校验、成果资料不规范等诸多问题。
应用推荐