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

  • 其他单词翻译

    英文单词 中文含义
    maturing

    n. (陶瓷的)烧成,(泥料的)陈化,成熟

    v. 成熟,长成( mature的现在分词 );(票据等)到期;(情感和认识)成熟;使(技能或素质)成熟

    网络解释

    老化; 熟化; 陈年

    mature

    adj. (人、树木、鸟或动物)成熟的;仔细考虑过的;到期(应该支付)的;成年人的

    vi. 成熟,长成;(票据等)到期

    vt. 使…成熟;使…长成;慎重拟定(计划等)

    网络解释

    麦卓; 到期; 成年人的

    mauldin

    n.(Mauldin)人名;(英)莫尔丁

    网络解释

    莫尔丁市

    matzeliger

    n.马策利格

    maucherite

    n.[矿物]砷镍矿

    网络解释

    砷镍矿

    maturities

    n. 成熟(maturity的复数形式)

    网络解释

    偿还期; 到期年期; 采收成熟度

    matured

    v. 成熟,长成( mature的过去式和过去分词 );(票据等)到期;(情感和认识)成熟;使(技能或素质)成熟

    网络解释

    成熟了; 成熟内敛; 已成熟的

    mauled

    v. (尤指动物)撕裂…的皮肉( maul的过去式和过去分词 );伤害;虐待;粗手粗脚地摆弄

    网络解释

    伤害

    mauck

    n.莫克

    网络解释

    默克系列

    maturity

    n. 成熟;完备;(票据等的)到期;[地]壮年期

    网络解释

    到期; 成熟度; 到期日

    matzerath

    n.马策拉特(德国地名)

    网络解释

    马策拉特

    mauler

    n.拳击家;拳击家式导弹

    n.(Mauler)人名;(德、葡)毛勒

    网络解释

    重击兵; 拳击手; 鬼面猎枪

    matzke

    n.马茨克

    maud

    n. 灰色条纹呢,用类似上述呢制的旅行毯

    网络解释

    审计硕士; 茉德; 穆得

    maulers

    n.双手

    网络解释

    战锤者; 链锤兵; 撕裂者队

    maudlin

    adj. 感情脆弱的,爱哭的

    网络解释

    感情脆弱的; 易落泪的; 多愁善感的

    mauleverer

    n.莫莱弗勒

    mauley

    n.手;拳头

    n.(Mauley)人名;(英)毛利

    mauling

    n.捶压

    v.打伤;劈开;抨击(maul的ing形式)

    网络解释

    捶压; 狂屠

    maundering

    v.闲逛;唠叨;胡扯

    n.(Maunder)(美)蒙德(人名)

    网络解释

    蒙德; 唠叨地讲; 蒙德环形山