prover

美 [prʊvə]
英 [prʊvə]
  • n.试验装置；【印】打校样的工人；〈古〉证明者
  • 网络校准装置；醒发室；校准仪

英汉

网络释义

n.
1.
试验装置
2.
【印】打校样的工人
3.
〈古〉证明者

例句

释义:
全部全部,试验装置试验装置,打校样的工人打校样的工人,〈古〉证明者〈古〉证明者,校准装置校准装置,醒发室醒发室,校准仪校准仪
类别:全部全部,口语口语,书面语书面语,标题标题,技术技术
来源:全部全部,字典字典,网络网络
难度:全部全部,简单简单,中等中等,难难
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.
PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover.
PVS是一个确认系统：这就是说，它的语言综合了支持工具和一个定理证明器。
osl.bsw.net.cn
5.
Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload.
没有自动定理证明器的支持，程序性质的证明全部需要程序员手工完成，工作量巨大。
www.fabiao.net
6.
In the framework of certifying compiler, automated theorem prover plays a key role.
在出具证明编译器的理论框架中，自动定理证明技术发挥着关键作用。
www.fabiao.net
7.
He ended the article with a prover.
他用一句谚语作为文章的结尾。
blog.sina.com.cn
8.
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
9.
Dynamic measurement of crude oil--Operating stipulations of verificating positive displacement meters by pipe prover
原油动态计量用标准体积管检定容积式流量计的操作规定
www.zftrans.com
10.
A design of automatic calibration system for bell prover gas calibration facility
钟罩式气体流量标准装置自动检定系统的设计与实现
ilib.cn