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

  • 其他单词翻译

    英文单词 中文含义
    exceedingly

    adv. 非常,极其,特别,十分;极大地;过分地;极度地,极端

    网络解释

    极度地; 极端地; 非常地

    excelsin

    n.巴西果蛋白

    exceptable

    可例外的,可除外的

    excepted

    adj. 除…之外

    v. 略去( except的过去式和过去分词 );不计;把…作为例外;把…除外

    excepting

    prep. 除…外

    conj. 除非,除…之外

    v. 略去( except的现在分词 );不计;把…作为例外;把…除外

    网络解释

    除了; 除…之外; 除...外

    exceptionalness

    n.卓越,杰出

    exceptio

    [法] 除外,例外,抗辩

    网络解释

    抗辩; 罗马法抗辩; 例外关系

    exceptionless

    无例外的

    不除外的

    网络解释

    无例外的

    excerpted

    n.摘录,节选

    v.摘录,节选

    网络解释

    摘抄的; 镇魂曲

    exception

    n. 例外,除外;反对,批评;[法律]异议,反对

    网络解释

    异常; 除外; 例外状况

    excessus

    [医] 过度

    网络解释

    超拔

    excerption

    n. 选录,抄录,精华录

    网络解释

    选录; 抄录; 摘要

    exceptions

    n. 例外( exception的名词复数 );不包括在内的人(或物);规则的例外;例外的事物

    网络解释

    异常; 异常处理; 异常情况

    exceptionability

    n.可反对性,可抗议性

    网络解释

    可例外性

    exch

    abbr.交换(exchange)

    网络解释

    交换; 汇率表; 交换器(exchanger)

    exchanging

    v. 换回( exchange的现在分词 );交换,替换;进行易货贸易,作物物交换;[金融业](货币)交换,兑换

    网络解释

    交换的; 换货; 正在交换

    excerptor

    n.摘录者

    exceptious

    adj.容易生气的,好反对的

    网络解释

    好反对的

    exceptionable

    adj. 〈正〉会引起反感的,可提出异议的

    网络解释

    反对的; 引起反感的; 可反对的

    exchange

    n. 交换;交易;交易所;兑换(率)

    vt. 交换,互换;兑换;交换,调换

    vi. 交换,替换;进行易货贸易,作物物交换;[金融业](货币)交换,兑换

    网络解释

    调换; 互换