要求

axiomatic semantics

公理语义

公理语义(axiomatic semantics) 运用数学中的公理化方法给出的计算机语言的语义. 不同的人在了解程序的含义时有不同的要求. 例如,有的人只关心程序的数据输入和输出,而不关心程序是否正确终止. 公理语义就是研究如何将这些不同的要求形式化,

back seat

上密封座

阀盖,同阀体材质,其壁厚依GB,EN标准的要求,依据API标准的要求附有上密封座(Back Seat)的设计,若阀盖为不锈钢材质,其上密封为一体式. 填料室尺寸依API的标准,其表面粗度精细加工达到Ra3.2um. 依API标准采取分离式阀座,锁牙或围焊式,

backslash

反斜杠

一个反斜杠 (backslash) 使得下一个字符转义 (escape),因此可以用来指定一个含有空白或者反斜杠的选项. 如果设置了的话, grep 将像 POSIX.2 要求的那样来运作;否则, grep 将像其他 GNU 程序一样来运作. POSIX.2 要求文件名之后的选项必须视为文件名;

balanced diet

平衡膳食

通常将这种全面达到营养要求的膳食称为合理膳食(rational diet)或 平衡膳食 (balanced diet). 合理膳食应达到下列基本要求:①能保证供给用膳者必需的热能和各种营养素

Basel Agreement

巴塞尔协议

>(Basel Agreement)则使这种状况雪上加霜,该协议实际上开创了根据信用评级而对银行资本提出要求的先河,至少该协议的一个版本提出了这样的要求.

Bastogne

巴斯通

在二战著名的巴尔基(Battle of the Bulge)战役中,在被德军围困巴斯通(Bastogne),两名德军军官和两名德军士兵打着一面白旗来到327团的阵地. 他们带来了德军战地司令的指示要求被围困的美军投降. 将军与德军代表接触后带着德军的要求来到师指挥部.

Batterie

电池

具体地说,在学生宿舍(Studentenwohnheim)中一般要求较低,分为:电池(Batterie),玻璃瓶(Glas),纸(Papier)和其余垃圾,大多数饮料瓶在超市回收. 电池在一般的超市内都有回收点. 在私人宿舍中,要求更严格,生物(Bio)垃圾也要单独分开.

the big bang

金融大爆炸

例如在1986年伦敦金融"大爆炸"(the Big Bang)后颁布的1986年英国>在第48(2)h条中明确要求从事证券投资业务的金融机构"授权或要求被授权的人将其在从事一部分业务的过程中得到的信息由其保留,防止在从事其它部分业务过程中接触的人所取得.

blank

坯料

一些国外相关专利经常将纸箱和坯料(BLANK)分别写成数条权利要求,发明名称多为:ACARTONANDBLANK,有多条关于BLANK的权利要求,而且一般最后一条往往是类似的写法.

bloc

集团

工作文件是大会讨论成熟或就一个议题的某一部分讨论成熟时,即每位代表已阐述完基本观点后,由一个集团(Bloc)提交给主席的文件. 在文件中应概述该集团对此问题统一立场、希望及解决方案. 仅要求代表们在各自立场文件的基础上综合他国立场和要求,

Supposed to Be：应该吧

我想我该睡了 i think i should slp | 应该吧 supposed to be | 希望 hope so

Plain Weave：平布

509 hopsack 方平织物 | 510 plain weave 平布 | 511 panama 巴拿马薄呢