1) structural elements constraints
结构元约束
2) structural constraint
结构约束
1.
The constituents of 2D parametric graphics and the associated relations of them are discussed;the key techniques,the building and the driving of the structural constraint and the size constraint model are studied;a efficient method is provided for the serialized design in mining CAD.
讨论了参数化二维图形的组成及其关联关系 ,研究了图形结构约束模型和尺寸约束模型的建立方法和驱动求解等关键技术 ,为开采设计 CAD中系列化产品设计提供了一种有效手段。
3) constrained structure
受约束结构
1.
In this paper a modeling method based on aspect of 3D object and constrained structure is presented.
文中提出一种基于物体形态及受约束结构的三维物体建模方法,该方法利用具有透视不变性的三维结构来表达物体的各个形态。
4) structural constraints
结构性约束
1.
The public policy choice in mass higher education from the perspectives of structural constraints;
从结构性约束看大众化阶段我国高等教育公共政策的选择
6) constraint network architecture
约束网络结构
补充资料：约束变元
约束变元
bound wiable
约束变元l肠.工d抽ria映;.~匆皿脚”e~〕，变元的约束出现(场面d袱u门℃nCeofa锥riable) ’变元在语言表示式中出现的一种类型.对每一个形式语言，其确切定义依赖于语言的形成规则.约束变元出现的位置不能用一个对象去代替，因为那样的代换将导致一个无意义的表示式.然而一个约束变元可以用一个新的(对给定表示式来说是新的)变元代替，结果得到一个与原表示式意义相同的表示式.例如，在表示式 lf(、，_门“{、:/(、，，)/O}中的x是约束变元.用一个数去代替x，将导致一个无意义的表示式.然而若把表示中x的所有出现用:代替则得到一个与原式意义完全相同的表示式. 约束变元总是产生于把一个算子变元x作用丁一个具有变兀、自由出现的表不式仑时(见自由变元伍沈认an日ble曰.当把一个算子变元、作用于表刁、式eJ舌，原来e中x的自由出现都变为约束出现.下面我们列举一些常用的算子(仅次于算子丁…六和{x:二:。，其中的;是算子变元: 丫双·)，习以·)「即全称量词和存在量词; 丁一“、，即对厂.、的定积分， 艺、即对上、求和; 凡x仁·)，即戈的函数，’已在义处的函数值是一特定的语言表示式可以代人_上列诸小圆点处. 在实用(非形式化)的数学教科书中，对同…个表示式来说，’已的用法可能不是唯一的;这时，识别一个给定表小中的约束变元要依赖于上「文和表示式的意义在形式语言中，存在着识别变元的约束出现和自由出现的形式方法，
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条