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

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

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

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

一种基于修改的约束满足算法

求解约束满足问题的修改算法从实始的有冲突的完整解出发，不断修改理有的变量赋值，从而得到无冲突的完整解。本文将启发式方法应用了修改型算法，提出了一种高效的基于修改的约束满足算法。     

基于约束的并行工程产品开发过程规划

本文分析了并行工程产品开发过程中约束的特点，探讨了不同类型约束对产品开发过程规划的不同影响，提出了基于设计约束的过程规划原理推理算法，开发过程活动的划分算法和信息预发布点的选取准则；从整个产品生命周期角度，给出了基于约束的产品开发过程规划的方法和步骤。     

基于资源约束的并行活动优化调度方法

针对并行产品开发过程,提出了一种基资源约束的优化调度算法,首先给出了并行活动的三个定义,提出了一个使算法能够实现优化调度的综合函数,并研究了并行工程中的两个关键问题－－角色分配和反馈修改,仿真实例表明了算法的可行性。     

并行工程研究现状与问题

对并行工程研究现状进行综述。首先介绍并行工程概念模型及其基本问题，然后分析并行工程的三种实现方法及研究进展，最后指出了它的发展趋势。     

并行工程过程管理系统

并行工程过程管理系统吴祚宝，熊光楞（清华大学国家ＣＩＭＳ工程研究中心北京１０００８４）ＰＲＯＣＥＳＳＭＡＮＡＧＥＭＥＮＴＳＹＳＴＥＭＦＯＲＣＯＮＣＵＲＲＥＮＴＥＮＧＩＮＥＥＲＩＮＧ￥ＷＵＺｕｏｂａｏ；ＸＩＯＮＧＧｕａｎｇｌｅｎｇ（ＳｔａｔｅＣＩＭＳＥ...     

分布式约束管理系统的设计与实现

介绍了一种并行工程中分布式的束管理系统的设计与实现的方法,该系统采用束满足问题的求解算法作为核心,可以求解约束网络中连续变量的可行值域,采用C/S结构及分布式数据库产品,具有分布式的特点,以支持IPT地理位置的分布特点,它可及时地发现冲突针对冲突信息,可从冲突仲裁系统的实例库中获得可行的解决方案,最后通过一个转向架设计的应用实例说明了该系统的有效性。     

并行工程及其关键技术

并行工程与现代计算机技术的有机结合是并行工程理论与应用的发展趋势之一。本文概述了并行工程的提出及应用和国内企业现存在的问题，重点论述了并行工程及其关键技术。应用先进的CAX技术和DFX技术，在PDM的管理和控制下建立协同设计环境，实现企业产品研发设计模式的彻底改变，创造效益，以适应日益激烈的市场竞争。     

并发约束程序设计语言COPS及其执行模型

约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。传统逻辑程序设计的基“计算即为定理证明”的计算风格虽获得了简洁优美的操作语义特性,但也付出了执行效率低的代价,当应用系统规模增大时,其性能严重下降以致崩溃。针对传统逻辑程序设计的这种可伸缩性问题,设计了一个基于并发约束程序设计概念的说明性语言COPS,旨在从语言设计与执行模型两方面降低说明性程序的不确定性,提高搜索与运行效率。在语言设计方面,通过引入确定性语言成分,避免不确定计算用于确定性目标所浪费的系统开销;在执行模型方面,在目标的并发穿叉执行与数据驱动的并发同步机制的基础上,实现“优先执行确定目标”策略与“最少假定”策略,作为约束传播的延伸,最大幅度地剪枝搜索空间,降低搜索复杂性。COPS提供的知识表示、推理与并发机制使其成为构造agent程序的理想语言。论文给出COPS语言的语法规范与执行模型的操作语义描述。     

支持软件并行工程过程建模的一种形式化方法

为了支持软件并行工程中的过程建模,以Petri网为基础,提出了一种过程建模的形式化方法——X-Petri网。同时给出了X-Petri网的详细主义及模型映射规则。最后通过一个软件并行工程中的过程实例来说明如何建立相应的X-Petri网模型。     

A Constraint Satisfaction Neural Network and Heuristic Combined Approach for Concurrent Activities Scheduling

Scheduling activities in concurrent product development process is of great significance to shorten development lead time and minimize the cost. Moreover, it can eliminate the unnecessary redesign periods and guarantee that serial activities can be executed as concurrently as possible. This paper presents a constraint satisfaction neural network and heuristic combined approach for concurrent activities scheduling. In the combined approach, the neural network is used to obtain a feasible starting time of all the activities based on sequence constraints, the heuristic algorithm is used to obtain a feasible solution of the scheduling problem based on resource constraints. The feasible scheduling solution is obtained by a gradient optimization function. Simulations have shown that the proposed combined approach is efficient and feasible with respect to concurrent activities scheduling.     

Modeling Biological Systems in Stochastic Concurrent Constraint Programming

We present an application of stochastic Concurrent Constraint Programming (sCCP) for modeling biological systems. We provide a library of sCCP processes that can be used to describe straightforwardly biological networks. In the meanwhile, we show that sCCP proves to be a general and extensible framework, allowing to describe a wide class of dynamical behaviours and kinetic laws.     

协同设计中定量化约束求解方法

通过对约束满足与约束冲突的分析,提出了约束求解的定量化策略．基于变量不确定性,量化了约束满足程度与约束冲突程度,解决了约束求解过程中的优先权问题;给出了约束变化量及关联函数,为约束求解确立了具体的目标和实施方法,实现了约束求解过程的有序搜索．定量化约束求解策略不仅实现了对约束的有序及有效求解,而且真正地实现了在上游约束求解过程中定量地考虑下游约束求解问题．最后,利用随机仿真技术实现了基于变量不确定性的约束求解策略的验证．     

Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches

Conventional techniques for the constraint satisfaction problem (CSP)have had considerable success in their applications. However,there are many areas in which the performance of the basic approachesmay be improved. These include heuristic ordering of certain tasksperformed by the CSP solver, hybrids which combine compatible solutiontechniques and graph based methods which exploit the structure of theconstraint graph representation of a CSP. Also, conventionalconstraint satisfaction techniques only address problems with hardconstraints (i.e. each of which are completely satisfied or completelyviolated, and all of which must be satisfied by a validsolution). Many real applications require a more flexible approachwhich relaxes somewhat these rigid requirements. To address theseissues various approaches have been developed. This paper attempts asystematic review of them.     

When Ants Attack: Ant Algorithms for Constraint Satisfaction Problems

We describe an ant algorithm for solving constraint problems (Solnon 2002, IEEE Transactions on Evolutionary Computation 6(4): 347–357). We devise a number of variants and carry out experiments. Our preliminary results suggest that the best way to deposit pheromone and the best heuristics for state transitions may differ from current practice