MDBS模式集成中完整性约束的处理

通过对多数据库系统(MDBS)模式集成中不同类型完整性约束的分析,提出并讨论了用于处理完整性约束的若干规则.这些规则不仅可以应用于模式集成,而且还可适用于模式变换、视图派生等模式重构中.用一个实例解释了如何在实际应用中使用这些规则.     

理想约束的基本类型

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

基于约束的序列模式关联规则挖掘算法

约束关联规则是数据挖掘的一个主要方向,可以根据用户给定的约束条件针对性的挖掘.目前大多数的研究都集中在约束频繁项集挖掘方面,很少进行序列模式的约束关联挖掘.本文把序列模式和约束进行结合,提出一种基于约束的序列模式关联规则挖掘算法.它同时处理两类约束:反单调性约束和单调性约束.可以根据约束条件挖掘数据间的因果关联关系.通过实验验证,该算法在运行效率上达到了较好效果.     

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

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

抽象凸空间具有广义向量均衡约束的广义半无穷规划解的存在性

利用叠合点定理,在抽象凸空间中证明4种类型的具有广义向量均衡约束的广义半无穷规划解的存在性定理,并给出一个具体的例子来说明上述定理的条件是可以满足的.     

基于D-tree分解的欠约束与完备约束的几何约束求解

提出了解决欠约束、完备约束的几何约束问题的D-tree分解算法.首先,提出了一种适用范围更广的处理特殊约束策略,可以将这种特殊约束与普通约束统一化,采用转化策略将欠约束的几何约束问题转化为完备约束的几何约束问题.然后,根据几何约束图中结点的度的性质给出了D-tree分解算法,相比经典算法,D-tree分解算法拥有更低算法复杂度和相同的求解域.最后,根据D-tree分解算法结果的规律性,给出了一个为基于数值的求解方法导出求解序列的策略.D-tree分解算法通过导出的求解序列将提高几何约束求解中基于数值的求解方法的求解效率.     

有源约束网络的导纳矩阵分析

给出了含有4种类型受控源、运算放大器及跨导运算放大器(OTA)的n端约束网络节点导纳矩阵(或不定导纳矩阵)的构成规则;利用这些规则,可以通过对无约束网络的不定导纳矩阵进行初等的行、列变换得到约束网络的导纳矩阵。     

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

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

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

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

MDBS模式集成中完整性约束的处理

通过对多数据库系统模式集成中不同类型完整性约束的分析，提出并了用于处理完整性约束的若干规则，这些规则不仅可以应用于模式集成，而且还可适用于模式变换、视图派生等模式重构中，用一个实例解释了如何在实际应用中使用这些规则。     

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

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

一个并发约束程序设计语言的定义与实现

设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优先度的规则选择策略,将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来.系统在电路建模、专家决策等领域的初步应用表明了该语言对构造基于约束的知识系统的适用性.COPS的出现为复杂智能问题的解决提供了可能性.     

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

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

球体约束的规范表达

研究球体的规范表达。提出平面冗余、平凡线性冗余、半线性冗余三条新的规范原则,并给出了球体约束元组的规范算法。     

协同设计动约束求解策略

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

约束条件在理论力学问题解决中的应用

在理论力学问题的分析、解答过程中，理解、利用各种约束，特别是一些不易引起注意的运动约束，对寻找思路和解决问题有重大作用。除加强基本概念和基本规律的训练，建立和正确理解质点、刚体等模型之外，有必要强调约束条件的寻找和利用。