基于动态约束网络的约束优化分解

约束网络通过对较大规模的任务和问题的分解，传递了并行工程产品开发过程中的各多功能小组之间必然存在的相互制约、相互依赖的关系。在任务和问题简单分解的过程中，由于所得到的子问题之间通常是不能完全独立的，因而只能在有限程度上降低难度、简化问题。在分析了约束求解的研究现状和不足的基础上，提出了一种基于动态约束的约束优化分解方法，使得各个子任务、子问题间的关系得到进一步的分解，从而在满足原要求的基础上，得到优化的结果。     

协同模板中的约束信息可视化

模板的应用具有知识复用及快速设计等优势，而协同模板研究旨在探讨网络环境下设计元的分解、竞争与并发机理，有利于减少网络中的信息传输．约束信息是协同模板中的重要内涵，随着应用的深入，约束信息日益复杂多样化，难于控制和管理．针对协同模板中约束信息的特点，讨论了约束信息可视化的具体涵义及形式化表述，提出了由约束和谐性、相似性及约束信息可视化技术构成的研究框架；并以相似性为理论背景、约束和谐模型为标准、可视化技术为手段，给出了约束映射、约束动态跟踪等关键步骤，对于复杂系统的控制及复杂约束的管理具有重要的指导意义．     

对基于稀疏矩阵分解求解约束系统方法的改进

采用基于稀疏矩阵分解的方法，可以把约束系统分解成依次求解的子约束集合，但有时并不能顺利求解，其子约束集合的雅可比矩阵非满秩。本文分析了出现这种状况的几种原因，提出可以采用对雅可比矩阵进行下三角化求秩的方法来消除冗余约束和冗余自由度，然后再使用基于稀疏矩阵分解的方法进行求解。     

面向欠约束几何系统的一种同伦求解方法

针对几何约束系统的数值求解过程中，经常发生的数值不稳定性问题，构造了一种面向欠约束系统的同伦方法，并将其与现有的求解与分解方法有机地结合起来，提出了一种牛顿－同伦混合方法，在牛顿迭代失败的位置自动调用欠约束同伦法，既提高了几何约束求解器的效率，同时又保证了求解的效率。     

约束分解技术回顾与展望

约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题.由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解来降低计算的开销具有十分重要的意义.主要描述约束分解在约束满足问题中的地位、经典的分解技术和约束分解技术的发展历史,然后简要地分析这些分解技术.介绍了关于约束分解研究的最新状况,并描述、分析和总结其主要求解思想.最后根据存在的问题与不足提出了下一步的工作方向和研究思路.     

约束分解技术回顾与展望

约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题。由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解来降低计算的开销具有十分重要的意义。主要描述约束分解在约束满足问题中的地位、经典的分解技术和约束分解技术的发展历史,然后简要地分析这些分解技术。介绍了关于约束分解研究的最新状况,并描述、分析和总结其主要求解思想。最后根据存在的问题与不足提出了下一步的工作方向和研究思路。     

多路选择器树形结构网络的最小化设计

本文讨论组合函数的分解，给出组合函数利用多路选择器通用逻辑模块实现时，获得最小或接近最小树形结构网络的设计方法。该方法容易实现多路选择器网络的自动综合。     

传感器网络中的传感器配置问题研究

本文试图通过传感器网络研究中的一个分支——传感器配置问题，揭示传感器网络作为新兴研究领域所具有的一些特点，并就大规模或超大规模传感器网络的节点配置问题的模型及求解方法进行讨论．探讨了传统求解方法与约束传播算法结合求解的可能性．初步的实验仿真说明，约束传播算法在传感器网络配置方面具有很大的优势，值得引起相应的关注和研究．     

模拟电路的分块故障诊断法

本文使用网络分解技术研究了模拟电路的故障诊断问题，导出了支路分块故障诊断方程，只需检验方程的相容性，按照最终的分解水平就能把故障定位到尽可能小的子电路中。对存在不可测节点、容差情况和连接支路的故障也进行了讨论。     

SRLG分离的静态RWA保护算法

对于静态业务,传统RWA算法仅仅着眼于通过合理的选路和波长分配算法来建立相应的光路,使网络成本最小化。本文从提高网络生存性的角度出发,结合共享风险链路组的概念,讨论了抗毁WDM网络中的静态RWA保护设计算法。根据实现方式的不同将其分为两类:并行算法和分解算法,并分别进行了讨论。     

栅格数据模型中附有条件的最短路径算法

将附有条件的最短路径概括为点约束、边约束和属性约束的最短路径问题。以栅格数据模型为图或网络描述方式,基于贪心算法思想,提出栅格数据模型中附有条件的最短路径算法。最后,通过实例进行了算法测试,结果表明栅格数据模型中附有条件的最短路径算法是完全可行和有效的。     

Decomposing and Solving Timetabling Constraint Networks

The binary version of the school timetabling (STT) problem is a real‐world example of a constraint network that includes only constraints of inequality. A new and useful representation for this real‐world problem, the STT_Grid, leads to a generic decomposition technique. The paper presents proofs of necessary and sufficient conditions for the existence of a solution to decomposed STT_Grids. The decomposition procedure is of low enough complexity to be practical for large problems, such as a real‐world high school.
To test the decomposition approach, a typical high school was analyzed and used as a model for generating STT_Grids of various sizes. Experiments were conducted to test the difficulty of large STT networks and their solution by decomposition. The experimental results show that the decomposition procedure enables the solution of large STT_Grids (620 variables for a real school) in reasonable time. The constraint network of a typical STT_Grid is sparse and belongs to the class of easy problems. Still, due to the sizes of STTs, good constraint satisfaction problem search techniques (i.e., BackJumping and ForwardChecking) do not terminate in reasonable times for STT_Grids that are larger than 300 variables.     

Decomposition of group flows in regular matroids

In a regular matroidM=(E,C) we discuss two different approaches to group matroid flows. By showing that these two approaches are equivalent we set up a decomposition theory for group matroid flows and derive two algorithms for decomposing group matroid flows. The second one finds so-called positive decomposition, a fact which is highly important in applications. By specializing the results to graphic and co-graphic matroids we generalize some well known results of real-valued network flow theory to group network flows and derive some new results for tensions.     

基于图形数据的图形参数化方法

基于对图形数据的操作和对几何约束的处理,本文提出了一种参数化图形的新方法—参数驱动方法;提出了利用驱动树分析几何约束的方法;阐述了图形参数化的新思想:图形编程。本方法已用于剪板机和高压闸阀的设计绘图。     

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

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

An Optimal Strategy for the Constrained Cycle Cover Problem

A common telecommunications network design strategy, in order to protect it against failures, is to achieve a decomposition into a set of rings covering the network. We propose a hybrid algorithm for the corresponding Constrained Cycle Cover Problem which draws from constraint programming and graph algorithms. Optimal solutions are obtained efficiently on networks of realistic size.     

自适应参数化CAD图块数据库系统的设计

结合参数化设计的各种方法，建立自适应参数化CAD图块数据库系统。该系统从图形数据库入手，建立组成几何实体基本图元的图素数据库，并根据图元之间的约束关系建立约束库，使得图块的各种信息更加完备；还充分利用AutoCAD软件的开放性，在AutoCAD中建立了一个内嵌的图库扩充和复用菜单，使得图块的复用显得更加灵活、方便、简洁高效。     

EmguCV在图形分解中的应用研究

图形分解技术在图像处理中应用广泛,EmguCV是.Net平台下对OpenCV图形处理库的封装。首先简要介绍了OpenCV与EmguCV及其二者的联系,然后着重介绍了运用EmguCV进行图形分解的步骤与方法,给出了样例流程图,详细介绍了关键函数的用法和其关键参数,最后给出了部分C#关键源代码,以及运行该程序的平台环境。运用EmguCV实现了图形分解,所采用的程序在电脑键盘扫描识别中具有较大的应用价值。     

基于图纸理解的图形参数驱动的研究

针对工程图扫描输入识别后的特点,对基于图纸理解的图形参数化方法进行了探讨,提出了基于视图轴向尺寸链算法和尺寸派生策略,并在图形理解的基础上,用一般算法的几何推理方式实现了识别图形的参数驱动。