1) constraint joint element
约束节理元
2) joint constraint
节点约束
1.
Influence of glass and joint constraint on loading capacity of monolayer cable net for point supported glass buildings;
玻璃及节点约束对单层索网承载性能的影响
3) constrained joints
关节约束
1.
A novel inverse kinematics algorithm based on the human constrained joints for real-time human motion modeling is proposed.
为了实现人体运动建模,提出一种新颖的基于人体关节约束的实时逆向运动学算法。
4) non-binary constraint
多元约束
1.
Six hybrid search algo- rithms(BM_GASBJ,BM_GBJ,BM_CBJ,FC_GASBJ,FC_GBJ, FC_CBJ)based on non-binary constraint are illustrated.
本文设计了六个基于多元约束的混合搜索算法(BM_GASBJ,BM_GBJ,BM_CBJ,FC_GASBJ,FC_GBJ,FC_CBJ),它们分别混合同一类搜索策略中不同算法或不同类搜索策略;分析并给出了不同混合算法的性能差异。
5) Bound-variable
约束变元
6) θ-binding
题元约束
1.
θ-binding Theory and θ-role Assignment upon P+NP Construction;
题元约束理论与介补结构的题元指派
补充资料：约束变元
约束变元
bound wiable
约束变元l肠.工d抽ria映;.~匆皿脚”e~〕，变元的约束出现(场面d袱u门℃nCeofa锥riable) ’变元在语言表示式中出现的一种类型.对每一个形式语言，其确切定义依赖于语言的形成规则.约束变元出现的位置不能用一个对象去代替，因为那样的代换将导致一个无意义的表示式.然而一个约束变元可以用一个新的(对给定表示式来说是新的)变元代替，结果得到一个与原表示式意义相同的表示式.例如，在表示式 lf(、，_门“{、:/(、，，)/O}中的x是约束变元.用一个数去代替x，将导致一个无意义的表示式.然而若把表示中x的所有出现用:代替则得到一个与原式意义完全相同的表示式. 约束变元总是产生于把一个算子变元x作用丁一个具有变兀、自由出现的表不式仑时(见自由变元伍沈认an日ble曰.当把一个算子变元、作用于表刁、式eJ舌，原来e中x的自由出现都变为约束出现.下面我们列举一些常用的算子(仅次于算子丁…六和{x:二:。，其中的;是算子变元: 丫双·)，习以·)「即全称量词和存在量词; 丁一“、，即对厂.、的定积分， 艺、即对上、求和; 凡x仁·)，即戈的函数，’已在义处的函数值是一特定的语言表示式可以代人_上列诸小圆点处. 在实用(非形式化)的数学教科书中，对同…个表示式来说，’已的用法可能不是唯一的;这时，识别一个给定表小中的约束变元要依赖于上「文和表示式的意义在形式语言中，存在着识别变元的约束出现和自由出现的形式方法，
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条