verifying的例句大全

Responsible for verifying merchandise agreement, assure the agreement is real and legality.

负责审核商品部合同, 保证合同真实合法.

He is often less persistent in verifying his experience than he would normally be.

他常常不象在正常情况那么坚持检验自己的经验.

Further experiments on verifying technique are also discussed.

讨论了进一步开展的核查技术实验.

We have no way of verifying his story.

我们无法核实他所说的情况。

Model checking is a technique for automatically verifying finite-state concurrent systems.

模型检验是自动检验有限状态并发系统的技术.

UPS will send you an e-mail verifying the change.

ups将会电邮您关于更改的确认.

Verifying your logon information for saving content with restricted permission.

正在验证您的登录信息以保存受限权限内容.

Be responsible for managing accounting voucher making and verifying.

负责管理记账凭证的制单和复核工作.

An verifying example is given and the conclusions are made accordingly.

最后给出了设计步骤、算例及结论.

Supervision & Verifying the Payment voucher.

负责所有项目款项的审核及支付.

In addition, the practice traits of psychoanalysis make verifying empirical evidence difficult.

同时, 由于精神分析的实践知识属性,也让实证检证工作格外困难.

After verifying one after another , he finally commited his crime.

逐次对证后, 他终于承认了自己的罪行.

This leads us to verifying and clarifying student understandings.

这可以使我们核实和澄清学生的理解.

Figure lists commands used when enabling , configuring, and verifying PPP.

当启动 、 组态与查证点对点协定时,图列出可以使用的指令.

Now that their breakup had reached this stage, was this conjecture still worth verifying?

彼此决裂到这个田地, 这猜想还值得证实 么 ?

The idea proposed by Brookes for verifying concurrent programs was applied to Hoare's Communicating Sequential Processes ( CSP). A set of proof rules was presented to verify CSP programs partial correctness.

本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程（CSP），提出了一组证明规则，以验证CSP程序的部分正确性。

By taking a verifying aircraft which is equipped with longitudinal DFBW as an example, this paper studied of influences to landing flying qualities for probable controlling mistake and pilot model parameters variations in the man-aircraft closed-loop system.

本文以装备纵向数字电传操纵系统（DFBW）的某验证机为实例，分析研究了该人-机闭环系统中驾驶员模型参数变化和可能出现的操纵差错对纵向着陆品质的影响。

Application of MCNP Code in Research of Neutron Detecting Technique in Nuclear Warhead Verifying

MCNP程序在核弹头核查中子探测技术研究中的应用

Adding a boolean variable to the model will double the complexity of verifying a property.

也就是说系统每增加一个变量，验证性质的复杂度将会加倍。

By normalizing the associated matrix of the graph, the computational cost on verifying the isomorphism of the subgraphs was effectively reduced.

该算法通过对关联矩阵的标准化，有效地降低了子图同构判断的代价。