1)  variable constraints
变约束
2)  Variable constraint
可变约束
1.
An improved MOE blind multi-user detection algorithm based on RLS is proposed in order to overcome the shortcomings that the direct eigenvalue decomposition must be used and the quadratic constraint is not fulfilled in the traditional variable constraint MOE blind multi-user detection algorithm.
针对传统的关于可变约束MOE盲多用户检测算法需直接进行特征值分解计算和不能实现二次约束限制的缺点,提出了一种基于RLS的改进型MOE盲多用户检测算法。
3)  varying constraint
时变约束
4)  variable restraint method
可变约束法
1.
The rolling and slipping contact between the drum test machine and the tire is studied and the effect of the test machine radius on the characteristics of contact surface between the tire and the drum is analysed using the improved variable restraint method and the three dimensional nonlinear finite element analysis saftware for tires only.
采用改进的可变约束法 ,利用自行开发的轮胎专用三维非线性有限元分析软件 ,研究了转鼓试验机和轮胎之间的滚动滑移接触 ,分析了试验机半径对轮胎 -转鼓接触界面特性的影响 。
5)  equation with dynamic constrain
变约束方程
6)  time-varied
变约束条件
参考词条
补充资料:约束变元


约束变元
bound wiable

  约束变元l肠.工d抽ria映;.~匆皿脚”e~〕,变元的约束出现(场面d袱u门℃nCeofa锥riable) ’变元在语言表示式中出现的一种类型.对每一个形式语言,其确切定义依赖于语言的形成规则.约束变元出现的位置不能用一个对象去代替,因为那样的代换将导致一个无意义的表示式.然而一个约束变元可以用一个新的(对给定表示式来说是新的)变元代替,结果得到一个与原表示式意义相同的表示式.例如,在表示式 lf(、,_门“{、:/(、,,)/O}中的x是约束变元.用一个数去代替x,将导致一个无意义的表示式.然而若把表示中x的所有出现用:代替则得到一个与原式意义完全相同的表示式. 约束变元总是产生于把一个算子变元x作用丁一个具有变兀、自由出现的表不式仑时(见自由变元伍沈认an日ble曰.当把一个算子变元、作用于表刁、式eJ舌,原来e中x的自由出现都变为约束出现.下面我们列举一些常用的算子(仅次于算子丁…六和{x:二:。,其中的;是算子变元: 丫双·),习以·)「即全称量词和存在量词; 丁一“、,即对厂.、的定积分, 艺、即对上、求和; 凡x仁·),即戈的函数,’已在义处的函数值是一特定的语言表示式可以代人_上列诸小圆点处. 在实用(非形式化)的数学教科书中,对同…个表示式来说,’已的用法可能不是唯一的;这时,识别一个给定表小中的约束变元要依赖于上「文和表示式的意义在形式语言中,存在着识别变元的约束出现和自由出现的形式方法,
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。