查询词典 verify

Thus we can specify and verify this kind of system with Hoare logic, which can also work as the basis for the further introduction to time characteristic. Design of ND-COOSL.

3混成系统的形式化方法研究为了提高规约语言的表达能力，提出了一种基于状态空间，逐步精化的混成系统分析和设计方法，并提出了一种扩展的Hoare逻辑作为其理论基础。

Then we consider how to relate the interface of a component to its implementation: Verify if the implementation of a component is satisfied with the requst of semantics in its interface by using Hoare logic.

然后我们考虑如何将构件的接口和实现联系起来：利用Hoare逻辑，验证一个构件的实现是否满足其接口中所给出的语义要求。

So that attend a meeting once, a speech that comes from personage of website of business affairs of Nanjing some electron also allows a surname of my heart be suspicious, then, the true bogus of friend test and verify that the connection on the horse makes international trade in Nanjing, making what my expect is less than is, this does not have the business affairs website of breath soundlessly in common consumer, be in actually industry public praise is very good.

以至于有一次开会，一位来自南京某电子商务网站人士的演讲也让我心生疑窦，于是，马上联系在南京做国际贸易的朋友验证真伪，令我意想不到的是，这家在平常消费者中无声无息的商务网站，竟然在业界口碑甚好。

The first step is to calculate the hydrodynamic performances of the two-dimensional steady flow around a hydrofoil in the unbounded flow field, and compare and verify with the experimental values.

首先计算了无界流场中二维翼型定常绕流的水动力性能，并与实验值进行了对比校验。

OBJECTIVE: To verify the biocompatibility of PVA hydrogel prepared by physical crosslinking technique.

目的：拟验证物理交联法制备的聚乙烯醇水凝胶的生物相容性。

We study the identifiability of θ, and give a set of sufficient conditions for the identifiability, which are easy to verify.

我们考虑ε服从含有有限维参数θ的分布，首先讨论了θ的可识别性问题，给出了θ可被识别的一个容易验证的充分条件。

In Visual Basic can be used to verify identification codes Photo source code!

详细说明：在VB中可以用于识别图片验证码的的源代码！

We know, must want to increase identity test and verify such function, will found a truly valuable experience that make friend for Japanese consumer.

我们知道，必须要增加身份验证这样的功能，来为日本消费者创建一个真正有价值的交友体验。

As a result of these additional requirements, Ikon GM required to verify the identity of

于新增加了上述要求，Ikon GM必须核实与我们合作的所有客户身份。

Requirements, Ikon Asia required to verify the identity of any customer with whom we do business.

Ikon Asia必须核实与我们合作的所有客户身份。

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.

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