基于自由度分析几何约束求解方法中过约束和欠约束的处理

在自由度分析方法的基础上使用依赖图, 解决了约束求解过程中的过约束和欠约束的处理问题. 依赖图中保留了求解问题中变量间的依赖信息. 当系统发现矛盾的过约束时或欠约束时会给使用者显示提示信息, 由用户进行处理.     

理想约束的基本类型

许多一般力学文献中，对理想约束基本类型的阐述不够完整，有的甚至不够准确。本文给出了粗糙接触面约束的概念，并将约束分为内约束和外约束，在此基础上完整准确地阐述了理想约束的基本类型问题。     

反腐败与约束机制刍议

本文就消除党内腐败现象的根本途径──建立强有力的约束制的问题，从自我约束、党内约束、社会约束和法规约束４方面作了论述。     

六点定位原理应用的进一步研究

借助于理论力学的方法，将定位中一些问题归纳出规律，以帮助对工件定位时限制自由度的分析。     

基于TRBAC的具有冲突约束的工作流授权模型

本文从基于任务-角色访问控制模型的核心-任务与角色的角度,提出一个具有冲突约束的工作流授权模型(CCWAM,Collision Constraint Workflow Authorization Model Based on TRBAC).基本思想是从角色管理与任务管理两方面入手,引入区域约束、角色时限约束、任务分割约束、任务优先约束和任务时限约束五个约束机制,构建了一个基于TRBAC的具有冲突约束的工作流授权模型,以避免角色或任务冲突的发生.最后给出了C C W A M模型的形式化定义以及今后研究的方向.     

协同设计动约束求解策略

将协同思想应用到产品开发过程中,由多功能小组共同参与,对设计任务进行有效的任务关联和分解,分析产品的信息流确定子任务之间的关系,通过约束网络图描述各子设计任务间的联系,为了对耦合关系的设计任务进行有效求解,提出了一种基于动约束的约束求解策略,并对协同设计过程中的约束进行有效的管理。     

基于AC与LmaxRPC的自适应约束传播求解算法

在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTAC-LmaxRPC.该算法能根据约束的不同特性,在传播能力强但开销高的LmaxRPC与传播能力弱却开销低的AC之间自适应地切换进行约束传播.多个Benchmark实例类上的测试实验数据表明,ADAPTAC-LmaxRPC算法有效地平衡了求解效率和算法开销之间的矛盾,大幅度提高了约束求解的效率.     

基于变量混合调整的机械产品智能优化策略

为解决机械产品原始设计方案的可行化,提出了基于变量混合调整的优化策略,采用了基于启发式思想生成的变量因果关系图与几何约束混合求解的变量调整策略．该策略能很好地适应产品设计的各个阶段,具有良好的柔性;同时它又是约束驱动,具有很强的自适应性和灵活性．就汽车驾驶室内布置设计对该策略进行了有效的验证．     

基于约束映射关系的二维几何约束模型

在系统实现的基础上 ,提出一种依据设计过程确定约束依赖关系的参数化设计模型 ,建立约束和图元之间的映射模式 ,优化确定节点之间的更新从动性 ,从而降低约束求解的复杂度 .用户添加的约束和系统自动识别的约束能动态添加到有向约束图中 ,并支持任意图形块的选择重复 .实践证明 ,该模型算法简单 ,交互性好 ,能很好理解用户的设计意图 .     

约束逼近的特征问题（综述）

近几十年来,带约束条件的一致逼近受到人们的重视,国内外大量文献对约束逼近中的各种问题进行了研究,本文主要介绍约束最佳逼近的特征问题的研究概况及最新发展。     

Pushing Multiple Convertible Constrains into Frequent Itemsets Mining

Constraint pushing techniques have been developed for mining frequent patterns and association rules. How ever, multiple constraints cannot be handled with existing techniques in frequent pattern mining. In this paper, a new algorithm MCFMC （mining complete set of frequent itemsets with multiple constraints） is introduced. The algorithm takes advantage of the fact that a convertible constraint can be pushed into mining algorithm to reduce mining research spaces. By using a sample database, the algorithm develops techniques which select an optimal method based on a sample database to convert multiple constraints into multiple convert ible constraints, disjoined by conjunction and/or, and then partition these constraints into two parts. One part is pushed deep inside the mining process to reduce the research spaces for frequent itemsets, the other part that cannot be pushed in algorithm is used to filter the complete set of frequent itemsets and get the final result. Results from our detailed experi ment show the feasibility and effectiveness of the algorithm.     

关于约束分类的讨论

指出可积分的微分约束与几何约束之间的区别.根据位形空间中约束方程的特征可以将约束分为三种类型,而在状态空间中这三种约束可以合并为一种类型.     

约束满足问题在空间方向关系推理中的应用

约束满足问题是人工智能的一个研究领域,诸如查找、规划等问题都可转化为约束满足问题利用约束满足方法加以有效地解决。方向关系是空间关系的重要组成部分,用以确定空间对象的方位。本文应用约束满足问题的方法,利用空间方向关系约束的谓词形式构造X图和Y图来检查约束的一致性,给出了进行空间方向关系推理的一个算法。     

约束问题求解的一个统一方法

给出了一个新的求解约束的方法──动态约束算法．它通过引入新的约束类型，使变量操作和约束操作算法统一起来．在新的求解约束过程中，不需再区分变量与约束．     

基于约束理论的软件开发与研究

本文首先简单分析了约束理论的观点及其操作方法,随后通过一个简单的例子说明如何在软件开发过程中使用TOC五步法,最后利用约束理论具体分析软件开发过程中存在的约束因素及其处理方法。     

基于约束的参数化设计

提出了一种基于结构点的约束求解模型 ,此模型把几何元素映射成结构点 ,把约束分解为距离约束和方向约束 .此模型利用几何约束图表示几何约束系统 ,通过对几何约束图的方向化确定出结构点的求解次序 ,并针对不同的结构点分别采取代数求解方法和数值求解方法 .     

关于冲力情况下的高斯最小约束原理

本文探讨了在冲力情况下高斯最小约束原理的广义坐标形式，提出以广义坐标表达的约束的定义，并据此用求多变量函数极值（或条件极值）的方法解算了刚体系统的碰撞问题。     

含有组合列的约束数据库

使用约束对传统的关系模型进行扩展,引入了约束变量的组合列的概念并定义了含有组合列的约束数据库。利用约束的规范表示提出了组合列的表示模式和表示模式的建立。给出了约束数据库定义的实现。