prover的意思_prover的中文翻译|音标|读音|用法|例句

prover

美：[prʊvə] 英：[prʊvə]

中文翻译

证人，校准[试验]装置，打校样工人

网络解释

校准装置; 醒发室; 校准仪

英文短语

1.belt prover 带运机

2.heat prover 废气和排出气体的分析...

3.pipe prover 管式校准器；管道检验仪；管子检验器

4.bell prover 钟罩校准器；钟形流量校准器；钟罩气体流量标准装置

5.piston prover 活塞校准器

6.theorem prover [计]定理证明器；[计]定理证明程序

7.ball prover 球型校验器

8.ballistic prover 冲击式流量校验器

9.tank prover 标定罐

10.unidirectional prover 单向标准体积管

英文例句

1.He ended the article with a prover.他用一句谚语作为文章的结尾。

2.A prover for parallel numerical verification of a class of constructive geometry theorems.一类构造性几何定理的数值并行法证明器。

3.This paper proposes an automatic calibration system of bell prover gas calibration facility.介绍了一种钟罩式气体流量标准装置自动检定系统。

4.The Issuer will protect the token by signing it and by including a public key known only to the prover.发布方会通过对其进行签名并且包含只有验证方才知道的公钥来保护令牌。

5.Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload.没有自动定理证明器的支持，程序性质的证明全部需要程序员手工完成，工作量巨大。

其他单词翻译

英文单词	中文含义
cogitated	v. 〈正〉认真思考，深思熟虑( cogitate的过去式和过去分词 ) 网络解释慎重思考; 考虑; 谨慎思考
coggan	n.科根（英国坎特伯雷大主教弗雷德里克·唐纳德·科根FrederickDonaldCoggan）；科根（姓氏）
cogelled	adj.共凝胶的网络解释共凝胶的
cofounder	n. 共同创办人，共同创始人网络解释共同创办人; 合建者
cofibration	n.上纤维化；余纤化网络解释上纤维化; 余纤化
cogitates	v. 〈正〉认真思考，深思熟虑( cogitate的第三人称单数 ) 网络解释慎重思考; 考虑; 谨慎思考
coggea	用榫头连接
cofunction	n. 余函数
cogen	n.（Cogen）人名；（法）科让网络解释热电联产机组(cogenerator); 汽电共生; 热电联产(cogeneration)
cofield	n.科菲尔德（美国地名）网络解释科菲尔德
cogitating	v. 〈正〉认真思考，深思熟虑( cogitate的现在分词 ) 网络解释慎重思考; 考虑; 谨慎思考
cog	vt.& vi. （用假骰子）欺骗，行贿；（大机构中的）无足轻重的成员 n. 钝齿；雄榫网络解释焦炉煤气(coke oven gas); 齿轮; 柯克船
cogged	adj. 齿轮的，作弊的，骗人的 v. （用假骰子）欺骗，行贿( cog的现在分词 )；（大机构中的）无足轻重的成员网络解释齿轮的; 有弊的; 骗人的
cogency	n. （理论、议论等的）说服力，中肯切题网络解释力量; 确切性
cofiltration	余渗透
cogitation	n. 仔细思考，计划，设计网络解释考虑; 沉思; 苦思
cogger	n.科杰
cog-wheel	齿轮网络解释肘部被活动时有齿轮状; 轮状
cogeneration	n. （尤指工业废热发电或发电余热利用的）同时发热发电网络解释汽电共生; 热电联产; 热电联供
cofinal	adj.[数]共尾的网络解释共尾; 个共尾; 共终