1) Bound variable
约束变项
2) item constraint
项约束
3) item constraints
项目约束
1.
The Eclat algorithm is used as the prototype for discussion of the problem of association rule mining with item constraints.
以 Ecalt算法为原型 ,讨论了如何将项目约束引入关联规则挖掘过程的问题 ,从理论上证明了引入约束后的 Eclat+算法可以大大提高算法的效率和速度 ,并对相关的算法进行了比较 。
4) binding term
约束项
1.
This paper defines first two kinds of binding terms of different quality,that is binding term of "no possibility of appearing" and "having arbitrary quality".
定义了两种不同性质的约束项,即“不会出现的”约束项和“具任意性”的约束项,并以一个同步五进制加法计数器为例,说明了分别应用这两种最小项以不同的方式设计电路,使所设计的数字电路最简单。
5) item constraints
数据项约束
1.
Mining sequential patterns with item constraints;
带数据项约束的序列模式挖掘
6) distance resistance function
距离约束项
补充资料：约束变元
约束变元
bound wiable
约束变元l肠.工d抽ria映;.~匆皿脚”e~〕，变元的约束出现(场面d袱u门℃nCeofa锥riable) ’变元在语言表示式中出现的一种类型.对每一个形式语言，其确切定义依赖于语言的形成规则.约束变元出现的位置不能用一个对象去代替，因为那样的代换将导致一个无意义的表示式.然而一个约束变元可以用一个新的(对给定表示式来说是新的)变元代替，结果得到一个与原表示式意义相同的表示式.例如，在表示式 lf(、，_门“{、:/(、，，)/O}中的x是约束变元.用一个数去代替x，将导致一个无意义的表示式.然而若把表示中x的所有出现用:代替则得到一个与原式意义完全相同的表示式. 约束变元总是产生于把一个算子变元x作用丁一个具有变兀、自由出现的表不式仑时(见自由变元伍沈认an日ble曰.当把一个算子变元、作用于表刁、式eJ舌，原来e中x的自由出现都变为约束出现.下面我们列举一些常用的算子(仅次于算子丁…六和{x:二:。，其中的;是算子变元: 丫双·)，习以·)「即全称量词和存在量词; 丁一“、，即对厂.、的定积分， 艺、即对上、求和; 凡x仁·)，即戈的函数，’已在义处的函数值是一特定的语言表示式可以代人_上列诸小圆点处. 在实用(非形式化)的数学教科书中，对同…个表示式来说，’已的用法可能不是唯一的;这时，识别一个给定表小中的约束变元要依赖于上「文和表示式的意义在形式语言中，存在着识别变元的约束出现和自由出现的形式方法，
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条