查询词典 verifying

The uncertainties for verifying all kinds of abraded straight rulers with different length on interferential installation with isoclinic circle fringe by two kinds plane optical bars were evaluated in this paper. Among the uncertainty evaluations, the situation of subsection also was evaluated.

摘 要：对不同长度的研磨平尺用两种不同长度长平晶在等倾干涉装置上检定的不确定度进行了评定，其中包括分段法不够一整段时的评定。

When you send the message, the recipient gets your public key and unlocks the signature, verifying your identity.

当你发送信息时，收件人得到你的公钥并解密签名，从而确定你的身份。

Because there is only one copy of an object, verifying its legitimacy is a simple process.

因为一个对象只有一个拷贝，所以验证它的合法性是一个简单的过程。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

A threshold voltage of the first memory cell is higher than a first verifying voltage.

第一存储单元的阈值电压高于第一校验电压。

A threshold voltage of the second memory cell is higher than a first verifying voltage.

第二存储单元的阈值电压高于第一校验电压。

After verifying the merge result makes sense, you can tell git what the final merge result for this file is by

处理好冲突之后，告诉 git 最终的合并结果

A laboratory scale microwave freeze drying apparatus was developed aimed at experimentally verifying the beneficial effect of a dielectric material on freeze drying with microwave heating.

用金山翻译结论A 实验室规模微波冷冻干燥用具被发展了瞄准了实验性核实电介质材料的有利作用在冷冻干燥与微波加热。

It can be used for verifying the reliability of NC program and forecasting the machining process.

它为验证数控程序的可靠性，预测切削过程提供了强有力的工具。

Management system auditors are responsible for reviewing the response to nonconformity and verifying the effectiveness of actions taken.

质量管理体系的审核员负责评审组织对不符合项所作的反映，并且验证所采取措施的有效性。

He and Nina moved to California and lived at 2005 Ivar Street, Apt.

他和Nina搬到加州，并在2005年伊瓦尔街，公寓生活。

Droperidol （ potently inhibits transfected HERGchannels and this is the probable mechanism for QT prolongation.

氟哌利多有效地抑制了转染的 HERG 钾通道，可能是 QT 间期延长的机制。