查询词典 verification

According to the combination of symbolic execution and program analysis,the collection of generated constraint and the mapping between the test case variables and the SUT variables,testing model is generated,and then model verification and test case generation are done.

采用符号执行和程序分析相结合的方法，收集生成的约束、测试脚本变量与被测系统变量之间的映射关系，据此生成测试模型，进一步进行模型验证和测试生成。

Either tautological or contradictory, then it was meaningless (this is a summary statement of their verification principle).

在逻辑实证主义者看来，除非一个陈述可由经验证实或证伪，否则就是根据定义的真或假，那么它就是没有意义的（这是他们的证实原则的总结性声明）。

Verification reveals that the representative office which engaged in the work of understanding the market situation, providing materials on market conditions as well as business liaison, consultancy and service activities for its general organization and did not have business income and was exempt from enterprise income tax, therefore no detailed book account was established to clearly indicate the representative's wage and salary.

但由于该个人是该外国公司驻华机构任职人员，其工资薪金应由该机构负担，根据通知第二条的规定，虽然该个人工资薪金没有在该机构帐簿中列明，但应视为由该机构负担了其工资、薪金，应视就其在华工作60天期间的工资、薪金所得，按月依照税法规定的期限申报缴纳个人所得税，在境外工作期间的工资，薪金所得，不需在我国申报缴纳个人所得税。

The business scope is comprehensive including auditing, capital verification, assets appraisal, tax agent, book keeping, and accounting consult etc.

大连华晟会计师事务所有限公司成立于2004年8月，是经辽宁省财政厅、大连市工商行政管理局共同批准成立的中介机构。

By the verification of examples and the application an eleven-dimensional SSO system, as well as the testification of common QR method, it is shown that the method is effective for the identification of simple Hopf bifurcation of high dimensional system.

在第一部分中，本文根据Hopf分岔的代数判据，针对高维非线性动力系统，提出了半解析半数值的Hopf分岔识别方法。

A three-dimensional hydrodynamics using POM algorithm was designed to study the thermal pollution. The results of model verification were very encouraging.

为了更好的评估温排水的影响，本文利用POM数值模式建立了大亚湾潮流三维数值模型。

After studying the color reaction of thymol blue with berberine, we find that in the buffer solution of NH3-NH4Cl, whose pH is 10.5, the color reaction is best by repeated experiment and verification.

本文对麝香草酚蓝与盐酸小蘖碱的显色反应进行了研究，发现在pH=10.5的NH3-NH4CL缓冲溶液中显色效果最好，此反应只要在室温下就能显色完全，且稳定性好。

The length of the group signature is fixed and the verification time of the group signature is also constant.

长度小组签字，这是一个固定和核查时间，该小组的签字，也是不断。

The size of the group signature and verification time of the group signature are equivalent to that of an individual signature.

其群签名长度和群签名的验证时间只相当于一般个人签名。

In 2005, we passed the verification of International Quality System ISO9001 organized by TLC..

并于2005年通过了泰尔认证中心的ISO9001（2000）的产品质量体系认证。

But Severus escaped the hands of those that Julianus had sent to murder him and sent a letter to the praetorian guard, giving them the signal either to desert Julianus or to kill him.

赛维鲁总算逃过了尤利阿努斯派来的杀手，并写了一封信给罗马的禁卫军，向他们发出信号，要么抛弃尤利阿努斯，要么干掉他。他们立即服从了。

This text is in terms of this of " human nature ", it is under the influence of western literature human nature thought to probe into, awakening in human nature of novel works and all sorts of limitations that affectionate The school of Mandarin Duck and butterfly.

本文便是从"人性"这一角度，探讨在西方文学人性思想的影响下，清末民初鸳鸯蝴蝶派的言情、哀情小说作品在人性方面的觉醒与种种局限。