最大公共子图的约束符号求解方法

【目的】探索求解两个图最大公共子图的方法。【方法】建立最大公共导出子图的软约束满足问题(Soft CSP)模型,提出代数决策图(ADD)的符号求解算法。首先,分别对两个图中的变量和值域进行编码,完成两个图的ADD表示;其次,基于深度优先分支定界算法的思想,利用符号ADD的相关操作,实现对最大公共导出子图的求解。【结果】算例结果表明,该方法准确可行。【结论】该方法能有效缩减搜索空间,从而提高问题的求解效率。     

程序正确性证明中逻辑公式的可满足性

采用Herbrand定理及归结原理证明在程序证明中遇到的逻辑公式是可满足的。并给出了相应的算法;同时讨论了已知循环程序中循环不变式的求解方法。     

一种欠约束几何系统求解的图优化方法

针对一般几何约束系统欠约束状态下约束分解的多态性,对相应的有向图强连通子图提出了进一步分解的二部图匹配自适应优化处理策略,给出了主要算法,实现了欠约束系统的优化分解,有利于一般几何约束系统快速求解．     

约束满足问题求解及ILOG SOLVER系统简介

首先综述求解约束满足问题的基本算法和搜索策略, 然后介绍ILOG SOLVER求解系统提供的类和函数的基本组成, 并给出用该系统求解的两个地图着色示例.     

基于一阶理论的个性化定制需求可满足性研究

产品个性化定制在服装等产品生产中广泛使用,但是个性化定制需求的多样性等特点导致在判断生产商是否具备加工能力时存在困难。文中采用基于一阶逻辑描述生产线加工能力以及个性化定制产品需求的方式,基于该模型提出判断生产线能否满足个性化定制需求的方法,将个性化定制需求表示为逻辑公式,生产线的生产要素表示为一阶理论,通过检查需求公式是否是该理论的语义属性判断需求在某个生产线的可满足性。该方法可以在用户明确需求之后,根据生产商资源判断个性化定制需求的可满足性。     

日计划机车周转图智能编制方法的研究

给出了日计划机车周转图的约束满足优化问题模型及其智能求解算法,该模型以列车工作计划、机车技术作业时间、乘务员作息时间、１８点归位机车台数、检修机车最晚到达基本段时间及段备机车的最早可解备时间等作为约束条件,以减少机车在站停留时间作为目标．该模型的智能求解算法将启发式知识与回溯策略相结合,以求得日计划机车周转图的满意解．     

The Application of Constraint Satisfaction Technique in Conflict Detection and Resolution

The conflict detection and resolution in collaborative design is a key issue to maintain multidisciplinary design consistency,This paper proposes a new method for conflict detection and resolution based on constraint satisfaction technique.The representation of design constraint,the interval arithmetic of the constraint satisfaction problem CSP and the conflict resolution strategy based on constraint relaxation and adjustment are introduced.A constraint-satisfaction based conflict detection and resolution tool CSCDR is then developed.It can help collaborative designers to detect and resolve the conflicts in time in the early stage of the design process so that the unnecessary design iteration and repeated negotiation are avoided and the design efficiency is then much improved.A design case illustrates the effectiveness of CSCDR.     

模糊描述逻辑的统计缺省扩展

该文对模糊描述逻辑进行统计缺省扩展,它以模糊描述逻辑为主要框架,将模糊或不精确知识的表示与推理有机地整合在一起,通过在模糊描述逻辑中引入统计缺省推理,构建了一种同时具有TBox,ABox和统计缺省规则的知识库系统.     

模糊规划在结构优化设计中的应用

本文讨论了结构模糊优化设计的一般性模型,给出了最优解集和目标函数的隶属度定义,从而可以把结构模糊优化设计问题转化成约束和目标隶属度函数的普通非线性规划。算例表明,按本文的方法处理结构模糊优化设计,不仅可得出优化设计方案,而且计算量较α——水平载集解法少得多。     

一个改进的约束满足模型

约束满足模型是较为成功的模型之一，但也存在可改进之处。通过深入讨论Ｓｃｈｅｍａ模型，给出改进模型的设想与算法，经模拟实验加以验证，并给予深入讨论及理论分析。