结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker.
在施工过程中加强质量管理的同时，需要有效的试验方法来检验工程桩成桩质量。
During the construction process, while strengthening quality management; effective test methods to test the quality of piles are needed.
对于有效地计算机安全来说，找到区别计算机和人更好的检验方法至关重要。
Finding better tests for distinguishing computers from humans is critical for effective computer security.
随机模拟结果表明，给出的近似方法是有效的，抽样检验方案是合理的。
Simulation results show that the approximation method is efficient and the derived sampling inspection plans are reasonable.
试验方法和模型可作为检验理论设计的有效性。
The experimental method and model may be inspected effectively to theoretical design.
对我国股票市场有效性的实证检验，不同的检验方法、样本区间和数据处理方法，都可能会影响得出不同的检验结论。
The conclusions of the empirical tests on EMH of Chinas stock market may be different due to the test methods, sample interval and data processing methods applied.
采用基于决策图的模型检验方法对整数乘法器验证时会出现内存爆炸，解决该问题的一种有效途径是采用反向替换方法。
Model checking based on decision diagram causes memory explosion in integer multiplier verification. An efficient solution to this problem is backward substitution method.
四是本文采用三种检验方法，即自身检验法，交互校验法和预测值检验法，对财务危机预警模型进行有效性检验。
Finally, this paper adopts three different methods to test the validity of financial crisis warning model, that is self-validated, cross-validated, and forecasting-validated.
为了验证模型的有效性和准确性，本文采用了统计检验和模型预测与实测数据对比两种检验方法。
The validity and accuracy of proposed models were tested by using the statistical test methods and by comparing the model estimation with the field observed data.
最后，讨论了有效加固深度、加固效果的检验方法及加因的最佳方式。
Finally, the effective consolidation depth, the detecting of the effect of consolidation and best way of improvement are discussed.
以总试验时间为检验统计量，在定时截尾寿命试验下研究GBVE分布产品失效率的抽样检验方案，随机模拟结果显示此方法有效。
A sampling inspection plan for the failure rate of GBVE distribution with the test statistic of total experimental time based on Type I censoring is presented.
股市有效性的定量检验方法很多，但都是对所有价格信息进行全程检验。
There are many empirical ways to test the efficiency of stock markets by means of the whole-course test on all price information.
结果表明，检验方法是有效的。
最后，讨论了有效加固深度、加固效果的检验方法及加因的最佳方式。
Finally, the effective consolidation depth, the detecting of the effect of consolidation and best way of improvement are...
利用数据划分思想和多线程技术，提出一种加解密数据库数据的方法并用实验来检验方法的有效性。
Based on data partitioning idea and multi-threading technology, a database encryption and decryption method is proposed and its effectiveness is verified by experiments.
然后给出了一种关于带黑匣子的部分实现的隐式等价性检验方法，实验结果表明了该方法的有效性。
Then we present an implicit algorithm for verifying the partial implementation with black boxes, the experimental result demonstrates its effective-ness …
然后给出了一种关于带黑匣子的部分实现的隐式等价性检验方法，实验结果表明了该方法的有效性。
Then we present an implicit algorithm for verifying the partial implementation with black boxes, the experimental result demonstrates its effective-ness …
应用推荐