好单词

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


    • 其他单词翻译

    英文单词 中文含义
    Tegucigalpa

    特古西加尔巴（洪都拉斯首都）

    网络解释

    德古西加巴; 特古巴加尔巴; 洪都拉斯
    Tectocephaly

    n.舟形头
    Tayalic

    网络解释

    Tayalic公司
    Tbilisi

    第比利斯（格鲁吉亚共和国首都）

    网络解释

    格鲁吉亚; 提比里西; 提比利西
    Tectona

    柚木属

    网络解释

    马鞭草科
    Teh

    n. The.

    网络解释

    茶; 卫生总费用(Total expenditure on health); 跨欧哈里斯(Trans Europe Halles)
    Tead

    [人名] 蒂德

    网络解释

    导烟机; 气帘装置; 鑸规湡
    Tayassu

    n.西貒属；n

    网络解释

    西猯科; 白唇西猯属; 白唇西貒属
    Tecumseh

    n.特库姆塞（美国一个地区）

    网络解释

    特库姆塞; 蒂卡姆西; 泰康
    Tbit

    n.千兆位

    网络解释

    洛杉矶国际机场; The Big Issue Taiwan; 太比特
    Teheran

    n. 德黑兰（伊朗首都）德黑兰

    网络解释

    伊朗首都; 德黑兰-选自近代卷; 德黑兰-选自现代卷
    Teague

    n.爱尔兰人

    网络解释

    蒂格; 蒂格城; 老鹰
    Tayassuidae

    n.西猯科

    网络解释

    西貒科; 西猯科; 貒猪科
    Tehran

    德黑兰

    网络解释

    伊朗; 伊朗首都德黑兰; 伊朗德黑兰
    Tedd

    [人名] 特德

    网络解释

    泰德; 点击下载; 国珲
    Tbt

    abbr.目标方位发送器（TargetBearingTransmitter）

    abbr.回顾老照片（ThrowbackThursday）

    网络解释

    技术性贸易壁垒; 丁基锡; 技术性贸易壁垒(Technical Barriers to Trade)
    Teasdale

    蒂斯代尔（姓氏； Sara, 1884-1933，美国诗人）

    网络解释

    提斯代尔; 教育水平均较高; 蒂斯河谷
    Tehuantepec

    特旺特佩克地峡（墨西哥东南部）

    网络解释

    特宽特佩克; 特旺特佩地峡; 特万特佩克
    Teddington

    n.特丁顿（英国国立物理研究所所在地）

    网络解释

    特丁顿; 泰丁顿; 特丁顿镇
    Tebaldi

    泰巴尔迪

    网络解释

    提芭蒂; 泰堡迪; 苔巴尔迪