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

  • 其他单词翻译

    英文单词 中文含义
    backsword

    n. 单刃刀,木剑

    网络解释

    单刃刀; 骑兵直刀; 单刃的剑

    backstep

    n.后退

    vi.后退

    网络解释

    后面的台阶; 人物后退; 后退一步

    backsplash

    后挡板,后防溅板

    网络解释

    后挡板; 防溅墙; 防溅背板

    backslider

    n. 指那些想要改掉坏习惯,但是往往在改了一段时间后又恢复老习惯的人。

    网络解释

    恶习难改的人; 意为; 倒退者

    backstretch

    n. 〈美〉(跑道的)非终点直道

    网络解释

    终点相对的跑道

    backswordman

    n. 使用单刃刀(木刀)者

    网络解释

    使用单刃刀者

    backstepping

    v.往后退;出尔反尔(backstep的现在分词)

    网络解释

    后推; 反步; 反演

    backspring

    n.[机]反向弹簧,回动弹簧

    网络解释

    反向弹簧; 后向弹簧; 回程弹簧

    backslides

    v. 滑坡( backslide的第三人称单数 );倒退;退步;故态复萌

    网络解释

    侧滑; 背道; 掉队

    backstroke

    n. 仰泳

    网络解释

    仰式; 向后击球; 面向上的游泳姿式

    backtalk

    n.(美)顶嘴;[通信]工作联络电话

    网络解释

    工作联络电话; 辅助对话程序; 社交杂志

    backstitch

    n. 回式针迹,来回针脚

    vt.& vi. 用回式针迹缝

    网络解释

    返针; 回针; 勾边

    backstab

    v. 以卑鄙的手段陷害

    网络解释

    背刺; 背刺攻击; 比如背刺

    backsliding

    v. 滑坡( backslide的现在分词 );倒退;退步;故态复萌

    网络解释

    背道; 退步; 后退回避

    backstroker

    n.仰泳;反手击球(backstroke的变形)

    backthrusting

    n.背逆断层作用

    网络解释

    背逆断层作用

    backstop

    n. 守场员;外场手;守场员(接手)的位置;增援

    网络解释

    最后担保; 捕手; 挡网

    backspace

    n. (键盘的)退格键

    vi. 退格

    网络解释

    退格键; 倒退键; 删除

    backstrom

    n.巴克斯特伦

    网络解释

    克斯托曼; 巴克斯托姆

    backtrace

    n.回溯;向后追踪

    网络解释

    回溯; 回溯跟踪; 回退跟踪