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

  • 其他单词翻译

    英文单词 中文含义
    fissural

    间隙的(fissure的变形)

    网络解释

    裂的

    fissuration

    裂隙形成

    网络解释

    裂隙; 龟裂

    fistfight

    n. 互殴;格斗

    网络解释

    互殴; 格斗; 斗殴

    fissure

    n. 狭长裂缝或裂隙;裂伤;分歧; 分裂

    vt.& vi. 裂开

    网络解释

    地裂; 裂沟; 裂痕

    fistnote

    n. 指示符号,所示注解(通常有一定的重要性)

    网络解释

    指示符号

    fistful

    n. 一撮,一把

    网络解释

    一撮; 铁马寻桥钢琴

    fissured

    adj. 裂缝的

    v. 裂开( fissure的过去式和过去分词 )

    网络解释

    裂开的; 纹裂的; 劈裂

    fistulography

    瘘管造影(术)

    网络解释

    廔管造影; 瘘孔造影术; 廔管造影检查

    fists

    n. 拳,拳头( fist的名词复数 )

    网络解释

    拳套; 拳术; 舰队仪表化海上训练系统(Fleet Instrumented Sea Training System)

    fistfuls

    n. 一撮,一把( fistful的名词复数 )

    网络解释

    一把; 一撮; 铁马寻桥钢琴

    fissureless

    adj. 无裂缝的

    网络解释

    无裂缝的

    fitchet

    n.臭鼬

    n.(Fitchet)菲彻特(姓氏)

    fistulose

    (拉fistulosus)空管的, 管状的

    fistiana

    n. 拳击界

    fistula

    n. 瘘,瘘管

    网络解释

    廔管; 瘻管; 喙管

    fissures

    n. 狭长裂缝或裂隙( fissure的名词复数 );裂伤;分歧;分裂

    v. 裂开( fissure的第三人称单数 )

    网络解释

    脑裂; 肛门裂开; 脑沟

    fitchett

    n.菲切特

    fistulous

    adj. 管状的,中空的,漏管的

    网络解释

    管状的; 瘘管的

    fistulae

    n. 管状器官,漏管;瘘,瘘管( fistula的名词复数 )

    网络解释

    管状器官; 漏管

    fistic

    adj. 拳击的,拳术的