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

  • 其他单词翻译

    英文单词 中文含义
    pyramidalis

    [解剖]锥状肌

    锥状的

    网络解释

    锥状肌; 锥形肌; 锥肌

    pyralin

    玻璃增强聚酰亚胺

    网络解释

    硝化纤维塑料碎屑

    pyracarbolid

    比锈灵

    网络解释

    吡喃灵; 赐加落

    pyoxanthin

    脓黄质

    pyostatic

    adj.抑制化脓的

    n.制脓剂

    网络解释

    制脓药

    pyramidalist

    n.埃及金字塔传说的解说者

    pyrallolite

    n.辉石形滑石

    pyoxanthine

    绿脓黄质

    网络解释

    绿脓黄质

    pyostomatitis

    n.脓性口炎

    pyracene

    n.匹拉省

    pyramidally

    adv.渐增地,金字塔形地

    pyraloxin

    氧化焦没食子酚

    pyoxanthose

    n.半绿脓青素

    网络解释

    半绿脓青素

    pyramidate

    金字塔形的, 锥形的

    pyralspite

    n.[矿物]铝榴石

    网络解释

    铝榴石; 石榴子石族; 榴石群

    pyraconitine

    n.焦乌头碱

    pyramidical

    adj.角锥状的;金字塔形的

    网络解释

    锥体的

    pyramal

    吡拉明

    pyramidically

    网络解释

    金字塔形的

    pyramiding

    v.把……堆成尖塔(或角锥)形;成金字塔状;在(小投资)上获得丰厚的收益;(按累进方式)抬高价格(pyramid的现在分词)

    n.金字塔式投资法

    网络解释

    隆背; 金字塔型加码; 金字塔式操作法