| 单词 | prover |
| 释义 | 例句释义: 试验装置,打校样的工人,〈古〉证明者,校准装置,醒发室,校准仪 1. The Prover randomly generates it during the issuance protocol, together with a corresponding private key for the U-Prove token. 验证方会在发布协议中随机生成公钥，此时会使用针对U-Prove令牌的相关私钥。 www.infoq.com 2. Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory. 尽管缺少自动化，高效地使用定理证明器能处理比模型检查器更大的设计并且要求更小的内存。 www.asicdev.com 3. A prover for parallel numerical verification of a class of constructive geometry theorems. 一类构造性几何定理的数值并行法证明器。 www.juyy.net 4. In these cases, a first-order theorem prover may fail to terminate while searching for a proof. 在这种情况下，一阶定理证明者可能会失败而终止，而寻找证据。 blog.sina.com.cn 5. PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. PVS是一个确认系统：这就是说，它的语言综合了支持工具和一个定理证明器。 osl.bsw.net.cn 6. Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload. 没有自动定理证明器的支持，程序性质的证明全部需要程序员手工完成，工作量巨大。 www.fabiao.net 7. In the framework of certifying compiler, automated theorem prover plays a key role. 在出具证明编译器的理论框架中，自动定理证明技术发挥着关键作用。 www.fabiao.net 8. He ended the article with a prover. 他用一句谚语作为文章的结尾。 blog.sina.com.cn 9. Prover: Wangjida , General Manager in Anhui Risheng Real Estate Co. now. 证明人：现安徵省日申房地产开发公司总经理。 www.hngov.cn 10. Replay attack prevention: Each issued U-Prove token also contains a token-specific public key that is known only to the Prover. 重放攻击（Replayattack）防护：每个发布的U-Prove令牌中还包含专门针对每个令牌的公钥，这只有验证方才知道。 www.infoq.com 1. Evaluation of measurement uncertainty for the master prover of a pulsed liquid standard facility 一种脉冲液体流量标准装置主标准器的测量不确定度评定方法 www.ilib.cn 2. Dynamic measurement of crude oil--Operating stipulations of verificating positive displacement meters by pipe prover 原油动态计量用标准体积管检定容积式流量计的操作规定 www.zftrans.com 3. A design of automatic calibration system for bell prover gas calibration facility 钟罩式气体流量标准装置自动检定系统的设计与实现 ilib.cn 4. The method of measuring tank volume with pipe prover calibration device 体积管容量校准装置标定液舱容量的方法 www.ilib.cn 5. The Timer for Standard Bell Prover 用于钟罩式气体流量标准装置的计时器 www.ilib.cn 6. The Issuer will protect the token by signing it and by including a public key known only to the Prover 发布方会通过对其进行签名并且包含只有验证方才知道的公钥来保护令牌。 www.infoq.com |
| 随便看 |
|
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。