CAGMS——一个基于约束的图形系统

本文通过我们设计的一个基于约束的图形系统－－ＣＡＧＭＳ的设计思想和实现的介绍，讨论了血型系统中的约束方法的使用。在这个系统中，我们采用了约束分层的思想来表示约束，并给出了相应的求解算法。同时，实现了用直接操作的方法来定义图形约束。     

CAGMS─—一个基于约束的图形系统

本文通过对我们设计的一个基于约束的图形系统－ＣＡＧＭＳ的设计思想和实现的介绍，讨论了图形系统中约束方法的使用．在这个系统中，我们采用了约束分层的思想来表示约束，并给出了相应的求解算法，同时，实现了用直接操作的方法来定义图形约束．     

参数化的图形建库工具

本文介绍了基于约束网络图的参数化图形建库方法，它是利用几何构型建立的约束模型，通过求解约束模型实现尺寸变量驱动图形，用该方法能简便快速地建立标准件、通用件图形库，所建图形库占用空间少，调用方便，因此该建库方法可广泛应用于机械行业。     

基于有向超图的参数代表示模型及其实现

本文提出了一种基于有向超图的参数化图形表示模型．它不仅能够表示图形的尺寸约束和几何约束，而且能够支持图形拓扑结构变化和工程设计约束的表示．在交互绘制图形对象的同时直接建立参数化图形约束模型．由于在图形构造的每一步都保证约束的一致性，因此，不会出现过约束或欠约束的情况．经实践表明，该模型具有实用方便、高效可行的特点，适合于系列化产品的参数化ＣＡＤ系统建模和绘图．     

基于有向超图的参数化表示模型及其实现

本文提出了一种基于有向超图的参数化图表表示模型。它不仅能够表示图形的尺寸约束和几何约束，而且能够支持图形拓扑结构变化和工程设计约束的表示，在交互绘制图形对象的同时直接建立参数化图形约束模型。由于在图形构造的每一步都保证约束的一致性，因此，不会出现过约束或欠约束的情况。经实践表明，该模型具有实用方便、高效可行的特点，适合于系列化产品的参数化ＣＡＤ系统建模和绘图。     

二维几何约束求解器

开发了一个二维几何约束求解器.该求解器是新一代智能CAD系统的核心,它采用了基于图和规则的几何推理方法,高效、稳定、实用.论文提出了几何约束模型及其约束图表示,深入介绍了基于点刚体归约的几何推理算法,描述了求解器的体系结构.     

基于图形数据库的变量化设计方法

文章针对参数化技术中过约束和欠约束的求解和图形设计问题,提出了一种新的基于图形数据库的变量化设计方法。该方法依据一组变量化基本规则,采用人工智能方法,对过约束与大约束问题判断、求解,扩大了模型图的自由度,提高了图形设计的效率和可靠性。     

一种基于有向图的几何约束系统分解方法

1 引言约束分解是几何约束满足问题(GCSP)研究的一个重要内容。此前已经有很多工作实现了将GCSP向非线性方程组求解的转化,并研究了约束系统的表达和分解的问题。特别是Kramer以机构学为背景,提出了几何约束系统的无向图表达。后来,董金祥将约束无向图转换成有向图,为构造全参数化的图形奠定了基础;J.Y Lee则针对尺规构造图形进一步发展了基于自由度分析的图规约方法。但是在上述的研究中,对欠约束几何系统的分析比较欠缺。而在大多数的实际应用中,特别是在初始设计阶段,欠约束的情况是非常普遍的。对于一个欠约束系统而言,约束的匹配形式存在多样     

一个基于约束图的参数化设计模型

基于图论的约束求解方法是目前参数化设计的主要方法,此方法已经应用于许多商品化软件中。该文提出了一个基于几何约束图的参数化设计模型,并给出了参数化模型的数据结构和约束求解算法。此算法可以有效地检查系统的过约束和欠约束情况。     

一种基于约束管理的CSCW支撑平台结构模型

提出了一种新的基于约束的ＣＳＣＷ支撑系统结构模型，该模型构筑在现有的分布式系统之上，向上提供各种协同功能。现实世界中的各种协同要求从理论上均同象为分布对象之间的一组约束关系，所以可以通过一个″通过约束管理器″即可透明地定义各种对象事件之间的约束关系，形成－协同规则库，并通过该约束管理器的″约束条件触发″，″约束求解（推理）″，″冲突协调″机制便可满足不同层次的协同应用要求。该模型采用了适合于ＣＳＣ     

The CCUBE Constraint Object-Oriented Database System

Constraints provide a flexible and uniform way to represent diverse data capturing spatio-temporal behavior, complex modeling requirements, partial and incomplete information etc, and have been used in a wide variety of application domains. Constraint databases have recently emerged to deeply integrate data captured by constraints in databases. This paper reports on the development of the first constraint object-oriented database system, CCUBE, and describes its specification, design and implementation. The CCUBE system is designed to be used for the implementation and optimization of high-level constraint object-oriented query languages as well as for directly building software systems requiring extensible use of constraint database features. The CCUBE data manipulation language, Constraint Comprehension Calculus, is an integration of a constraint calculus for extensible constraint domains within monoid comprehensions, which serve as an optimization-level language for object-oriented queries. The data model for the constraint calculus is based on constraint spatio-temporal (CST) objects that may hold spatial, temporal or constraint data, conceptually represented by constraints. New CST objects are constructed, manipulated and queried by means of the constraint calculus. The model for the monoid comprehensions, in turn, is based on the notion of monoids, which is a generalization of collection and aggregation types. The focal point of our work is achieving the right balance between the expressiveness, complexity and representation usefulness, without which the practical use of the system would not be possible. To that end, CCUBE constraint calculus guarantees polynomial time data complexity, and, furthermore, is tightly integrated with the monoid comprehensions to allow deeply interleaved global optimization.     

Hierarchical Geometric Constraint Model for Parametric Feature Based Modeling

A new geometric constraint model is described,which is hierarchical and suitable for parametric feature based modeling.In this model,different levels of geometric information are repesented to support various stages of a design process.An efficient approach to parametric feature based modeling is also presented,adopting the high level geometric constraint model.The low level geometric model such as B-reps can be derived automatically from the hig level geometric constraint model,enabling designers to perform their task of detailed design.     

约束规划在原油调度中应用的探索

针对数学规划方法应用在原油调度中对非线性约束和连续变量处理的局限性,通过分析约束规划方法解决问题的原理、建模方式和搜索机制,指出了应用约束规划方法解决原油调度问题的可能性和优势;并针对实际问题,分别应用两种方法进行建模、求解．通过对结果的分析得出,约束规划方法建模简单,可直接处理非线性问题,对连续变量和整型变量都可以很快求得可行解。     

分布式约束优化方法研究进展

多agent系统作为分布式人工智能研究领域的重要分支,已被广泛应用于多个领域中复杂系统的建模.而分布式约束优化作为一种多agent系统求解的关键技术,已成为约束推理研究的热点.首先对其适用性进行分析,并基于对已有算法的研究,总结出采用该方法解决问题的基本流程,在此基础上,从解的质量保证、求解策略等角度对算法进行了完整的分类;其次,根据算法分类结果以及执行机制,对大量经典以及近年来的分布式约束优化算法进行了深入分析,并从通信、求解质量、求解效率等方面对典型算法进行了实验对比;最后,结合分布式约束优化技术的求解优势给出了分布式约束优化问题的实际应用特征,总结了目前存在的一些问题,并对下一步工作进行了展望.     

Constraint Databases: Promising Technology or Just Intellectual Exercise?

This paper describes the state of Constraint Databases (CDBs), a young discipline at the intersection of Database Management, Constraint Programming, Computational Geometry and Operations Research. As in Constraint Logic Programming, constraints in CDBs are a first class data type, and can play many modeling roles including spatial and temporal behavior, complex design requirements, and partial and incomplete information, for which existing databases have proven inadequate. We motivate the importance of CDBs, outline the work in the area that has been done, the current trends, and future directions and challenges. We briefly discuss (1) constraint modeling, canonical forms and algebras, (2) data models and query languages, (3) indexing and approximation-based filtering, (4) constraint algebra algorithms and global optimization, and (5) systems and case studies. We argue that CDBs are a promising technology that will impact many important application realms, and furthermore have the potential to be integrated into future database systems, and operations research and constraint programming tools.     

半在线调度中约束求解算法研究

很多实际调度问题是半在线的. 尝试运用人工智能方法来求解半在线调度问题, 首先简要介绍了半在线调度问题并对其约束模型进行了分类, 通过引入单调性约束扩展的相关概念, 从约束建模角度形式化描述 了一类动态约束扩展, 并在此基础上设计了一个完备动态约束求解算法, 最后给出该算法在半在线离散资源约束调度求解的应用算例. 测试结果表明, 该算法是可行有效的.     

基于分布式虚拟环境的装配约束语义模型

装配约束是用来支持分布式虚拟环境中装配交互操作的关键信息．装配约束信息的抽象性关系到对装配单元行为的支持力度,装配约束信息的组织机制决定了分布式虚拟装配计算机实现的效率．针对目前装配约束的抽象和使用方面存在的问题,首先研究装配约束的语义抽象与表达,从产品装配应用域中捕获知识,提取共性,归纳装配约束基本语义并形式化表达;然后提出一种扩展对象语义建模方法,通过该方法对装配约束语义进行组织,赋予其功能行为特性,构建装配约束语义模型．通过VEADAM系统实例,装配约束语义模型能够有效地支持分布式虚拟装配的实现,并能很好地适应应用的变化和扩展．     

一种欠约束草图求解方法的研究

基于约束的参数化描述及求解是计算机辅助设计研究的一个热点，欠约束图的求解是参数化设计的基本问题，为了提高欠约束草图求解的参数化设计效率，提出了一种基于隐式约束优先级的欠约束草图求解方法，并首先给出了欠约束图求解的一般方法以及欠约束图的基本特征，提出了利用隐式约束去匹配缺少的显式约束；然后将隐式约束按照一定的规则分成不同的优先级，再利用优先级高的隐式约束去匹配变动约束图中的欠约束，直到完成约束图的有向化；最后，探讨了无尺寸约束图有向化过程中的基本特点，并给出了无尺寸约束图的求解算法和应用实例。实例应用结果表明，效果较好。     

基于UML与CCSP的产品配置方法

为了有效开发易维护可重用的产品配置模型以及实现配置问题的快速求解,提出了结合面向对象建模技术与条件约束满足问题理论的产品配置方法。给出了条件约束满足问题理论模型;提出了基于统一建模语言和条件约束满足问题的产品配置建模与求解方法;通过定义统一建模语言表示的产品配置概念模型与条件约束满足问题之间的映射规则集,建立了基于条件约束满足问题的产品配置模型。以某可配置医用监测器为应用实例,阐述了所提方法应用于配置模型构建与求解的可行性和有效性。     

基于约束满足的测试计划方法

测试经理在制定测试计划时,往往只能依靠个人经验,缺乏理论方法的指导,面对复杂软件系统时难以全面考虑测试模块间关系及测试人员能力等复杂因素,往往使得测试效果并不令人满意.将约束规划技术引入测试领域,结合测试计划自身特点,提出了一种全新的基于约束满足的测试计划方法.方法将软件产品划分为测试模块,通过确定各模块测试过程及过程间顺序约束、资源能力约束,对测试计划问题进行了约束建模和求解.并以项目管理软件SoftPM的测试过程为例,对方法的具体应用进行了介绍.