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

  • 其他单词翻译

    英文单词 中文含义
    basiphobia

    n.步行恐怖

    basiotriptor

    [医] 碎颅器

    网络解释

    碎颅器

    basilosaurus

    龙王鲸

    背脊鲸

    网络解释

    龙王鲸属; 陆行鲸; 背脊鲸

    basinasial

    adj.颅底鼻根的

    basipodite

    基节

    网络解释

    肢节; 底肢节

    basipalpus

    n.须基节

    basilysis

    碎颅术

    网络解释

    碎颅术

    basined

    adj. 为盆地所围绕的,位于盆地的

    网络解释

    盆地围绕的

    basiparachromatin

    [医] 嗜碱副染色质

    basilyst

    碎颅器

    basis

    n. 基础;主要成分;基准,基本原则

    网络解释

    根据; 基差; 基底

    basinet

    n. 一种轻钢盔

    网络解释

    轻钢盔; 轻盔; 一种轻钢盔

    basiparaplastin

    [医] 嗜碱副网质

    网络解释

    嗜碱副染色质

    basimandibula

    上颚基

    basiscopic

    adj.下边的

    basinful

    n. 满盆,满盆之量

    网络解释

    满盆

    basipetal

    adj. (新生出的部分)向基的,向基部生长的

    网络解释

    基性; 向基式; 由上往下的

    basimaxilla

    n.下颚基

    basisgenous

    [医] 生盐基的

    basing

    固结于基座