查询词典 verification

For the purpose of verification of the function of the isolation dyke 5 different proving tests have been made.

摘 要：交界线借用和交界线扩展是工件在液态介质中淬火冷却时经常发生的事情。

From dynamic invocation and the store of service configuration information to improve service integration capability, promotes the UDCI structure based on WSDL and SOAP dynamically generating and parsing, and gives the data model of service configuration information based on the weak consistency of the database, the end, take the patent search service verification platform integrated integration capabilities.

本文从动态调用、服务配置信息数据存储两方面提高服务集成能力，提出基于WSDL和SOAP动态生成解析的UDCI的架构，并给出基于弱一致性数据库的服务配置信息数据模型，最后以专利检索服务集成应用验证平台集成服务能力。

Because it is difficult to measure the rotor eddy current losses, there is no appropriate experimental verification method for the calculation method.

但由于转子涡流损耗测量困难，目前还没有一种准确的实验验证方法。

As required for the evaluation of GM food edibility safety and nutrition quality, MOH will accredit qualified testing agencies to undertake verification of evaluation of GM food edibility safety and nutrition quality.

第十条 卫生部根据转基因食品食用安全性和营养质量评价工作的需要，认定具备条件的检验机构承担对转基因食品食用安全性与营养质量评价的验证工作。

In the process of elliptic curve digital signature verification, the elliptic curve scalar multiplication and the elliptic point addition, which are under different coordinates, need to be calculated twice and once, respectively. With operands allocation, the two operations in the thesis are using the shared registers and arithmetic units as well as the same modular inverse process. No extra resource is needed for the introduction of point addition. Hence the resource utilization efficiency is optimized.

论文对这两种不同坐标系下的计算进行了寄存器和运算单元的统一调度，使它们的求逆运算共用同样的流程，减小了控制状态机的复杂度，并且在实现标量乘法的基础上，没有增加额外的运算单元或寄存器，点加运算的所有计算资源均和标量乘法公用，最大限度的提高了资源利用率。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

This process is called formal equivalence checking and is a problem that is studied under the broader area of formal verification.

这一过程被称为正式等价性检验，是一个问题，是研究在更广泛领域的正式确认。

Equivalence checking is one of the methods to do verification.

等价验证是电路验证采取的主要方法之一。

You may also wish to consider using a third party escrow service or services that provide additional user verification.

你也可以考虑使用第三方认证服务或提供另外用户证明的服务。

L Strictly carry out the capital usage and evection verification process per the sales budget, strengthen the sales cost management and control the sales cost to maximize the profits

l 根据销售预算开支严格执行资金使用和出差审批手续，加强对销售人员的过程管控及营销费用开支的管理，降低销售费用，控制销售成本，促使销售利润最大化

The changes of the HAF after liver injury may be related to the volume of blood loss, the intraabdominal pressure and the pneumoperitoneum duration.

肝撞击伤伴失血后肝动脉血流量的变化与失血量、气腹压力以及气腹持续时间等有密切联系。

Reneging on our commitments to the world's poor cannot be an austerity measure, she said.

放弃我们给世界上的穷国的承诺不能成为一种紧缩措施。