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

  • 其他单词翻译

    英文单词 中文含义
    marbleization

    n.弄成大理石花纹;大理石状纹理

    网络解释

    大理石状纹理; 大理石化

    marbach

    n.(Marbach)人名;(英、德)马巴赫

    网络解释

    玛尔巴切; 运动酒店; 马巴贺

    marc

    n. (水果、种子等经压榨后的)榨渣

    marbleize

    vt.作成大理石状;使有大理石花纹

    网络解释

    大理石状; 彩绘

    marbleized

    v.(使)具有大理石花纹(marbleize的过去式及过去分词)

    adj.带有大理石花纹的

    网络解释

    大理石纹

    marcando

    adv.(尤指演奏演唱指示)强调地,显著地

    marcas

    n.(Marcas)人名;(瑞典)马卡斯

    网络解释

    Z· 马卡斯

    marcasite

    n.白铁矿

    网络解释

    马克赛石; 名称白铁矿; 白铁矿同金星

    marcell

    n.(Marcell)人名;(法)马塞尔

    网络解释

    陈小姐; 玛舍勒

    marcasitical

    n.白铁矿

    网络解释

    马克思主义的

    marcella

    n.凹凸纹细布;玛塞拉(女名)

    网络解释

    玛塞拉; 玛塞勒; 马塞拉

    marchant

    马钱特(人名)

    网络解释

    马钱特; 再生记; 古董店

    marcato

    adj.& adv. 加强的(地),突出的(地),清晰的(地)

    marchesi

    n.(Marchesi)人名;(英)马基西;(意)马尔凯西;(西)马切西

    网络解释

    玛切茜; 玛凯吉酒庄; 马切西公司

    marcelle

    n.玛塞尔(女子名,等于Marcella)

    网络解释

    玛塞尔; 玛雪儿; 马莎尔

    marchantia

    地钱属

    网络解释

    地钱; 地钱属; 配子体

    marchman

    n.边境居民

    网络解释

    边境居民

    marchetta

    n.(Marchetta)人名;(意)马尔凯塔

    网络解释

    马奇塔

    marcelled

    v.把(头发)烫成大波浪发型(marcel的过去式及过去分词)

    网络解释

    链接栅栏用

    marchasite

    n.白铁矿