2) metric inspection
公量检验
1.
Centering on the state new standard of cotton,this paper emphasizes the understanding of the revised standard and its implementation,mainly discusses the sections of Micronaire value and metric inspection,analyzes the active effect of the new standard and advances the significance of putting the new standard into practice.
围绕棉花新标准 ,对修订内容加强理解和实施领会 ,重点对马克隆值和公量检验部分予以探讨 ,并分析新标准带来的积极影响 ,阐述了新标准的实施意义 。
3) public tests
公共检验
1.
After giving a brief introduction on the view about personal language which is based on inherent feelings from western philosophy, this article concludes that Wittgenstein dissertates the impossibility of personal language from internal and external aspects which have assumptions on obeying the rules and public tests.
西方哲学传统中私人语言观是以“内在感觉”为基础的,维特根斯坦从“内部”和“外部”两个层面上对私人语言的不可能性问题进行论述,这两个层面分别存在着“遵从规则”与“公共检验”的预设,这两种预设也存在相应的问题。
5) verifying axioms
公理检验
6) public-key verification
公钥检验
补充资料：公式
公式
formula
公式[伽丽词匕;中opMy月a} 形式化语言(fol们llb双划langi‘ge)中的一个句子(可能带有参数).在几种专有的形式化语言中公式概念的精确定义可见公理集合论(axl0Inatic Set thoory)，形式算术(a月thn犯tic，fon了以1)，谓词演算(p代过i以te口Ic山LIS)，类型论(ty娜，tl袱〕ryof).在数学的实践中，公式也有语义的意义.它们可能是名字、命题的形式、定义的缩写等等.B.H.r钾也“撰卢景波译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条