1) reduced form
约化形式
1.
This paper gives the reduced form of Maxwell speed distribution convenientfor the numerical calculation and makes function tables.
给出便于进行大量数值计算的麦克斯韦速率分布的约化形式，编制出实用的函数表，可为定量分析提供可靠的数据，也为使用者提供了一种简便的计算方法。
2) formal specification
形式化规约
4) reduced quadratic form
约化二次形式
5) restriction
[英][rɪ'strɪkʃn] [美][rɪ'strɪkʃən]
约束形式
1.
Influence of improvement to quayside crane supporting bar restriction on the bar resonance due to wind;
岸边集装箱起重机斜撑端部约束形式的改进对其共振风速的影响
6) formal specifications
形式规约
1.
As an important part of pervasive computing environment, many RFID security protocols have been brought forward recently, which have no formal specifications and analyses.
首次利用形式规约语言Z对RFID安全协议HB进行形式规约,并对HB协议应该满足的安全性质进行形式化描述,使用Z模式推理从协议及其运行环境两个方面验证了协议的关键安全属性,发现了HB协议在设计方面的缺陷,提出了HB协议的一种改进方法。
补充资料：标准化形式
标准化形式
forms of standardization
b旧DZhunhua xi叩shi标准化形式(肠砒of幽田山记ization)标准化内容的存在方式，也是标准化过程的表现形态。最初的标准化活动内容比较单一，就是制定标准和实施标准。随着标准化活动领域的扩大，标准化内容也相应得到发展。中国标准化工作者在借鉴国外经验、总结自己的实践经验的基础上，不断地探索适合中国企业实际的标准化形式。20世纪犯年代初，中国一批企业在产品设计工作中运用通用化、系列化的新形式取得了成功。1955年3月中国第一机械工业部在北京召开第一次全国性的标准化经验交流座谈会。会上介绍了沈阳水泵厂等企业开展标准化、系列化、通用化(简称“三化”)的经验。从此以后“三化”成为标准化的内容，在各行各业广泛推广，取得了可喜的成效。到20世纪70年代以后，又产生了组合化;如年代初出现模块化。到20世纪末，连同古老的简化和统一化，再加上通用化、系列化、组合化、模块化，标准化走出了单一模式的狭小天地，发展成为具有多种形式的工作体系。 标准化的形式是由标准化的内容决定的，不同的形式表现不同的标准化内容，针对不同的标准化任务，达到不同的目的。随着标准化活动领域的扩展，标准化内容以及相应的标准化形式也将随之发展和变化。但标准化的形式又有其相对的独立性和自身的继承性，并反作用于内容，影响内容。标准化过程是标准化的内容和形式的辩证统一过程。研究各种标准化形式及其特点，不仅便于在实际工作中根据不同的标准化任务，选择和运用适宜的标准化形式，达到即定的目标，而且能够根据标准化内容的发展和客观的需要，及时地创造新形式，取代旧形式，为标准化的进一步发展开辟道路。(李春田)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条