1) constraint variant space
约束微变空间
1.
Based on the concepts of the partial velocity, partial angular velocity and constraint variant space, dynamic equations of mechanical multibody systems with constraints are developed.
通过引入偏速度、偏角速度和约束微变空间等概念，形成机械多体系统的动力学方程，该方程为不含有未定乘子的Ｋａｎｅ方程。
2) space constraint
空间约束
1.
The paper investigates a multi-item ordering model of non-linear programming,which considers incremental quantity discounts with space constraint.
建立了一个考虑累进制数量折扣且具有空间约束的多商品订货非线性规划模型,提出了利用拉格朗日松弛法和二分法求解模型的优化方法,得到了零售商的最佳订货和定价策略,数值算例表明,零售商成本节省可以达到8%。
2.
Through rob-based access control model(RBAC)and its extension study,put forward mandatory time and space constraints and role- based access control model(MSTEBAC)in the application of e-government system,this model introduce mandatery,time-bound,space constraint management methods based on the RBAC model,its security is maturity,authorization is flexible,actualization is simple.
通过对基于角色的访问控制模型(RBAC)与其扩展的研究,该文提出了在电子政务系统中适用的强制性的基于时空约束与角色的访问控制模型(MSTRBAC),该模型在RBAC中引入了强制性授权、时间约束与空间约束的手段,具有安全性完备,授权灵活,实现简单的特点。
3) spatial constraints
空间约束
1.
The proposed algorithm is implemented by incorporating the MRF based spatial constraints as a regularization term to the objective function of the kernelized fuzzy C-means clustering(FCM).
该算法在使用高斯径向基函数的核聚类目标函数中,引入了基于Markov随机场的补偿项,作为分割算法的空间约束。
5) spatial constrains
空间约束
1.
This thesis introduces the merits and shortcomings of weighted fuzzy clustering algorithm and fuzzy clustering with spatial constrains, then an improved image segmentation algorithm based on weighted fuzzy clustering using spatial information(called WSFCM later) is utilized.
本文主要完成了以下工作:本文分析了加权模糊聚类算法和基于空间约束的模糊聚类算法的优缺点,在此基础上采用了一种改进的基于空间约束的加权模糊聚类算法(WSFCM)。
6) spatial structure with changed restrained boundaries
变边界约束空间结构
补充资料：约束变元
约束变元
bound wiable
约束变元l肠.工d抽ria映;.~匆皿脚”e~〕，变元的约束出现(场面d袱u门℃nCeofa锥riable) ’变元在语言表示式中出现的一种类型.对每一个形式语言，其确切定义依赖于语言的形成规则.约束变元出现的位置不能用一个对象去代替，因为那样的代换将导致一个无意义的表示式.然而一个约束变元可以用一个新的(对给定表示式来说是新的)变元代替，结果得到一个与原表示式意义相同的表示式.例如，在表示式 lf(、，_门“{、:/(、，，)/O}中的x是约束变元.用一个数去代替x，将导致一个无意义的表示式.然而若把表示中x的所有出现用:代替则得到一个与原式意义完全相同的表示式. 约束变元总是产生于把一个算子变元x作用丁一个具有变兀、自由出现的表不式仑时(见自由变元伍沈认an日ble曰.当把一个算子变元、作用于表刁、式eJ舌，原来e中x的自由出现都变为约束出现.下面我们列举一些常用的算子(仅次于算子丁…六和{x:二:。，其中的;是算子变元: 丫双·)，习以·)「即全称量词和存在量词; 丁一“、，即对厂.、的定积分， 艺、即对上、求和; 凡x仁·)，即戈的函数，’已在义处的函数值是一特定的语言表示式可以代人_上列诸小圆点处. 在实用(非形式化)的数学教科书中，对同…个表示式来说，’已的用法可能不是唯一的;这时，识别一个给定表小中的约束变元要依赖于上「文和表示式的意义在形式语言中，存在着识别变元的约束出现和自由出现的形式方法，
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条