小词霸

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


    • 其他单词翻译

    英文单词 中文含义
    subfragment

    亚片段

    亚碎片

    网络解释

    亚片段
    subexcite

    轻刺激

    网络解释

    轻刺激
    subfamily

    n. 亚科

    网络解释

    亚族; 亚家族; 鲨齿龙亚科
    subgaleal

    帽状腱膜下的

    网络解释

    帽状腱膜下的; 帽状膜下
    subflooring

    n.地板下的粗地板

    网络解释

    底层地板; 地板下的粗地板
    subframe

    n.[计]子帧；副框架

    网络解释

    副车架; 子帧; 副帧
    subexciter

    n.副励磁机，副激磁机

    网络解释

    副激磁机
    subfascial

    筋膜下的

    网络解释

    胸大肌筋膜下; 筋膜后
    subgallate

    n.碱式没食子酸盐

    网络解释

    碱式酸盐
    subfluoride

    n.低氟化物

    网络解释

    氟化低价物
    subfreezing

    adj. 低于冰点的

    网络解释

    低于冰点的
    subexit

    n.子出口
    subfebrile

    adj.微热的；轻热的

    网络解释

    微热的; 轻热的
    subgame

    子博弈

    网络解释

    子博弈; 子赛局; 子对局
    subformat

    子格式
    subfrequency

    副谐频，次谐波频率

    网络解释

    分谐波频率
    subfigure

    子图形
    subexpression

    [计]子表达式

    网络解释

    子表达式; 子运算式; 子表示式
    subgelisol

    n.不冻下层

    网络解释

    不冻下层; 冻下土
    subformation

    n.从属形态；单编队；亚群系

    网络解释

    亚群系