prover
推荐文章
释义
证人，校准[试验]装置，打校样工人；
权威例句
An efficient propositional proverSimplify: a theorem prover for program checking
Isabelle --- A Generic Theorem Prover
On the power of unique 2-prover 1-round games
On the power of unique 2-prover 1-round games
SATO: An Efficient Propositional Prover
Isabelle - A Generic Theorem Prover (with a contribution by T. Nipkow)
Isabelle - A Generic Theorem Prover (with a contribution by T. Nipkow)
Nondeterministic exponential time has two-prover interactive protocols
Non-Deterministic Exponential Time has Two-Prover Interactive Protocols
1. This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
这是一个用于一阶和逻辑方程式的自动理论证明器，用于支持语言处理中的推理。
www.cnblogs.com
2. Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof.
有时抽象本身可能是很大的工作量，以致定理证明程序可能花费过多时间和资源来完成证明。
www.pediy.com
3. Or else, the abstraction may throw away so much information that the theorem prover may yield results that are correct for the abstraction, but incorrect for the program being analysed.
要不然，抽象会丢掉那么多信息，以致于定理证明程序产生的结果对抽象而言是正确的，但是对于正在被分析的程序而言则是不正确的了。
www.pediy.com
4. PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover.
PVS是一个确认系统：这就是说，它的语言综合了支持工具和一个定理证明器。
osl.bsw.net.cn
5. The ownership prover insert the watermark into the host signal using symmetric watermark technology based on spread spectrum.
所有权证明者采用基于扩频的对称水印技术，在宿主信号中嵌入水印；
dict.cnki.net
6. This paper proposes an automatic calibration system of bell prover gas calibration facility.
介绍了一种钟罩式气体流量标准装置自动检定系统。
dict.cnki.net
7. When the Prover wants a token, he contacts the Issuer through the Issuance Protocol presenting his attributes in a cryptic form.
当验证方想要得到令牌的时候，它会通过发布协议与发布方联系，以一种秘密的形式来展现他的属性。
www.infoq.com
8. Prover: Zgonghualai, a General Manager in Huainan Kaiyuan Real Estate Co.
证明人：现任淮南市开元置业开发公司总经理。
www.hngov.cn
9. A prover for parallel numerical verification of a class of constructive geometry theorems.
一类构造性几何定理的数值并行法证明器。
www.juyy.net
10. A timer that was developed from general counter E312A and is suited to standard bell prover is introduced.
介绍了利用通用计数器E312A研制的适用于钟罩式气体流量标准装置的计时器。
dict.cnki.net
11. Prover:Wangjida , General Manager in Anhui Risheng Real Estate Co. now.
证明人：现安徵省日申房地产开发公司总经理。
www.hngov.cn
12. These are also prover of Solomon, which the men of Hezekiah king of Judah copied out.
以下也是所罗门的箴言。是犹大王希西家的人所誊录的。
danci.911cha.com
13. The result generated by the prover will be the input for the next testing run.
推理所得的结果则为下一轮测试的输入。
danci.911cha.org
14. Therefore once the security requirement in single prover condition is satisfied the identity authentication protocol can also be run in multi-provers condition.
因此，只要满足了其中单证明者环境下的安全要求，身份认证协议也能安全地运行在多个证明者的环境下。
kns50.chkd.cnki.net
15. Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.
尽管缺少自动化，高效地使用定理证明器能处理比模型检查器更大的设计并且要求更小的内存。
www.asicdev.com
16. Effective use of a theorem prover requires a solid understanding of the internal operations of the tool and a familiarity with the mathematical proof process.
高效地使用定理证明需要对工具的内部操作有坚实的理解并且熟悉数学证明过程。
www.asicdev.com
17. This paper presents a technique for designing theorem prover which mainly based on transformation and substitution for Pointer Logic. The technique realized as a tool called APL is implemented.
提出了一种为指针逻辑设计定理证明器的新技术，该项技术主要是基于变换和替代，已在APL的工具中得以实现。
kns50.chkd.cnki.net
18. We will serve you for ever with our solid spirit , prover techniques, qualified products and our advanced equipment and management together with our good reputation.
本公司将一如既往的以求实的精神、成熟的技术、优质的产品、现代化的设备、先进管理、良好的信誉为您服务。
www.jyyunshun.com
19. To compute this response the Prover applies the private key for the U-Prove token to a presentation challenge of the Verifier.
为了对这个响应进行计算，验证方会把针对U-Prove令牌的私钥应用于校验方的表现请求。
www.infoq.com
20. Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload.
没有自动定理证明器的支持，程序性质的证明全部需要程序员手工完成，工作量巨大。
www.fabiao.net
21. 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
22. In the framework of certifying compiler, automated theorem prover plays a key role.
在出具证明编译器的理论框架中，自动定理证明技术发挥着关键作用。
www.fabiao.net
23. In order for a Prover to retrieve a U-Prove token from an Issuer, the two parties must engage in an instance of the U-Prove issuance protocol.
为了让验证方从发布方获得U-Prove令牌，这两个组织必须位于U-Prove发布协议的同一实例中。
www.infoq.com
24. After obtaining a token, the Prover will use it in relation with a Verifier to establish a trusted relationship between the two via the Presentation Protocol
在获得了令牌之后，验证方会与校验放取得联系并通过表现协议在二者之间确立可信任的关系
www.infoq.com
25. In contrast to the token’s public key, this private key is not part of the U-Prove token; the Prover never discloses it when using the U-Prove token.
与令牌的公钥不同的是，这个私钥并不是U-Prove令牌的一部分；验证方永远不会在使用U-Prove令牌的时候透露它。
www.infoq.com
26. We refer to the Prover-computed response as the presentation proof; it is a cryptographic proof of possession of the private key corresponding to the presented U-Prove token.
我们使用验证方计算的响应作为表示的证据。它是拥有私钥的加密的证据，而私钥是与当前的U-Prove令牌相关的。
www.infoq.com
27. The Issuer will protect the token by signing it and by including a public key known only to the Prover
发布方会通过对其进行签名并且包含只有验证方才知道的公钥来保护令牌。
www.infoq.com
28. 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
29. The Issuer may use various means to authenticate the Prover including accessing information contained in U-Prove tokens generated by other Issuers.
发布方可能会使用各种方法来对验证方进行认证，包括访问包含在U-Prove令牌中由其它发布方生成的信息。
www.infoq.com
30. The Issuer may use various means to authenticate the Prover including accessing information contained in U-Prove tokens generated by other Issuers.
发布方可能会使用各种方法来对验证方进行认证，包括访问包含在U-Prove令牌中由其它发布方生成的信息。
www.infoq.com
31. ballistic prover
冲击式流量校验器
-- 来源 -- 英汉 - 翻译参考[网络]
32. manual-return unidirectional prover
手动返回单向标准体积管
-- 来源 -- 英汉 - 翻译参考[网络]
33. The secret of success is constancy of purpose.English Prover
成功之秘诀乃为目标之有恒。英语谚语
-- 来源 -- 英汉 - 短句参考
34. master meter prover
标准流量计检定装置
-- 来源 -- 英汉 - 翻译参考[网络]
35. bi-directional pipe prover
双向管式标定装置
-- 来源 -- 英汉 - 翻译参考[网络]
36. single-weir prover
单堰式标准罐
-- 来源 -- 英汉 - 翻译参考[网络]
37. pipe-type meter prover
管式流量计标定装置
-- 来源 -- 英汉 - 翻译参考[网络]
38. gravimetric prover
称重式标准罐
-- 来源 -- 英汉 - 翻译参考[网络]
39. skid-mounted meter prover
橇装式流量校准装置
-- 来源 -- 英汉 - 翻译参考[网络]
40. portable prover
移动式检定装置
-- 来源 -- 英汉 - 翻译参考[网络]
prover
