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.没有自动定理证明器的支持,程序性质的证明全部需要程序员手工完成,工作量巨大。

  • 其他单词翻译

    英文单词 中文含义
    progresso

    n.普罗格雷苏(巴西地名)

    网络解释

    浦氏; 普格鲁斯; 各来素

    progression

    n. (事件的)连续;一系列;发展,进展;〈数〉级数

    网络解释

    级数; 进展; 数列

    prohepar

    n.水解肝素

    网络解释

    肝宁

    prohibiter

    n.禁止者;阻止者

    网络解释

    禁止者; 执行禁令的人

    prohibits

    v. 禁止,阻止( prohibit的第三人称单数 )

    progs

    n.食物;学监;掠夺得的食物

    vi.掠夺

    网络解释

    改变帮助程序选项

    progressist

    n.改良主义者;进步分子

    网络解释

    进步分子; 思想界对于进步主义者

    proheparin

    肝宁

    网络解释

    肝定

    prohibiting

    v. 禁止,阻止( prohibit的现在分词 )

    prohormone

    n.[生化]激素原

    网络解释

    激素原; 激素前体; 原激素

    prohepos

    [化] 肝宁

    网络解释

    肝宁

    proguanil

    白乐君

    氯胍

    网络解释

    氨胍; 抗疟药氯胍

    progressive

    adj. 不断前进的;进步的;进行的

    n. 改革论者;进步分子

    prohibition

    n. (美国1919年至1933年间的)禁酒令;禁酒令时期

    网络解释

    禁止; 禁酒令; 美国禁酒令

    proheptazine

    普罗庚嗪

    网络解释

    普罗庚嗪; 普鲁亥他净; 丙庚嗪

    progynon

    n.雌二醇;保女荣

    网络解释

    求偶二醇

    prohybrid

    n.原杂种

    网络解释

    手柄类型; 混合底层握把布

    prohibitionism

    n.禁酒论者的原则与作风

    网络解释

    原则; 禁酒主义

    prohydrolase

    水解酶原

    prohi

    禁止(=prohibition)

    网络解释

    脐带出血