1) functional specification
功能规约
2) unconventional function
非规约性功能
3) functional constraint
功能约束
1.
Based on a proposed assumption, firstly, an algorithm to capture the implied functional constraints is presented.
在产品功能原理解形成以后 ,通过对设计实例的功能约束评价 ,实现从产品功能原理解到具体产品结构的映射 首先 ,基于赋予重要性程度高的功能模块中的子功能以较高的子功能约束评价的设计假设 ,提出一种度量产品隐含功能约束的方法 ;然后 ,通过给出产品功能约束之间的相似性判定方法获得了产品的功能约束家族 ,为产品族中的成员向具体的产品结构形式的映射提供了依据 ;最后 ,以电子宠物头部运动的设计为例 ,描述了文中方法的实现过程 ,并验证了该方法的可行
4) holding function
预约功能
1.
This paper introduces and analyzes the two holding function modes and an advanced service conception of Millennium.
文章拟从Millennium系统的预约功能出发,评价其两种预约模式的优缺点,并探讨该系统所蕴含的读者服务理念。
5) function of contract
契约功能
6) stipulation capability
约定功能
补充资料：功能规约
功能规约
functional specification
gongn6ng gU}yU6功能规约《hmdionals，改ification)软件所要完成功能的准确而完整的陈述。它描述的是软件要做什么以及只做什么。书写功能规约的语言称为功能规约语盲，它可以是自然语言，相应的规约称为非形式化功能规约;也可以是专门设计的形式功能规约语言或广谱语官，相应的规约称为形式功能规约。功能规约一方面作为软件开发者与用户之间的契约，另一方面又是软件设计与实现者的依据。 一个好的功能规约必须逻辑上不矛盾，即满足一致性;它应当正确、完整地反映用户对软件的功能需求，即满足正确性或完备性;它不应当产生多种不同的理解，即没有歧义性;它还应当简明，易于理解，易于实现等。 在软件设计前先写出它的功能规约体现了功能抽象和分解的基本原则。通常，一个功能规约将软件所要做的事从软件开发的角度分成若干个相对独立的功能块，而功能块的划分应既考虑到逻辑清晰性，又考虑实现的方便性。每一块都通过描述对于给定的榆入应得到的输出给出这一块“做什么”的陈述，而具体“如何做”在规约中一般不给出，软件设计者可根据功能块的要求自行选择实现方法。在依据规约设计、实现程序之前，要对规约的有效性进行检查，即检查规约的一致性、完备性和无歧义性。而检查一个程序是否满足它的规约的工作称为程序正确性验证。 非形式化功能规约易读，但有效性和程序正确性的检查困难，在简明性和易实现性等方面也不易保证。对具有一定数学基础的人来说，形式功能规约有许多优越性(参见形式功能规约)。 (伊波)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条