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

  • 其他单词翻译

    英文单词 中文含义
    lafontant

    n.拉丰唐

    laevorotation

    左旋

    网络解释

    反时钟旋转

    laffey

    n.(Laffey)人名;(英)拉菲

    网络解释

    拉菲; 拉法夷; 拉菲号

    laforce

    n.拉福尔斯(加拿大地名)

    网络解释

    拉弗斯; 拉佛斯

    laffin

    n.拉芬

    网络解释

    拉芬

    laforest

    n.拉福里斯特(加拿大地名)

    laforet

    n.(Laforet)人名;(西、德)拉福雷特;(法)拉福雷

    网络解释

    原宿; 原宿拉法叶; 原宿酒店

    lagengneiss

    n.层状片麻岩

    laframboise

    n.(Laframboise)人名;(英)拉弗朗布瓦兹

    网络解释

    蓝莓; 红莓

    lageniform

    n.烧瓶形的

    lagged

    v. 走得极慢,落后( lag的过去式和过去分词 );给(管道等)加防冻保暖层

    网络解释

    护热的; 频率跟踪范围; 时滞

    lafrance

    n.(Lafrance)人名;(英、法)拉弗朗斯

    网络解释

    梁庄尧; 拉法兰西; 拉富伦斯

    lagenorhynchus

    短吻海豚属

    网络解释

    瓶喙海豚属; 斑纹海豚属; 短吻海豚属

    lagomorphs

    n.兔类动物;兔形目动物

    网络解释

    兔形目动物; 兔类动物; 兔类

    lagger

    n. 落伍者,惯犯,懒散的人;卢加雌鸟

    网络解释

    囚犯; 觉者

    lafrentz

    n.拉弗伦茨

    网络解释

    拉夫伦茨

    lagentomum

    n.唇裂

    lagon

    n.咸水湖

    网络解释

    咸水湖; 湖水蓝; 珊瑚绿色

    laggin

    n. 加箍容器

    lager

    n. 贮藏啤酒

    网络解释

    淡啤酒; 窖藏啤酒; 拉格啤酒