摘要：为了高效地开发产品配置系统,有效解决配置问题,提出了结合面向对象的建模技术和动态约束满足问题的配置方法。首先采用面向对象技术建立了可重用、可共享的配置模型,以表达领域知识,然后将配置模型映射成为动态约束满足问题,从而通过约束推理的方式实现了配置问题的最终求解。在从配置模型到动态约束满足问题的映射阶段,给出了映射规则集;在求解阶段,设计了扩展的回溯算法,并给出了算法的求解步骤。最后,以国内某客车公司的客车配置为应用实例,阐述了配置模型的建立过程,验证了扩展的回溯算法的可行性和有效性。

摘要：为了将产品自动配置技术有效融入产品开发之中,从而提高产品的开发效率,提出了BOM知识体(KBOM)的理念,并建立了基于KBOM的可重用、可共享的产品配置模型,以表达领域知识;然后将配置模型映射成为动态约束满足问题(DSCP),进而设计了将回溯法、优选法和最邻近相似匹配法融入其中的分级遍历算法来求解DSCP,并给出了算法的实现流程;最后,以某企业的齿轮泵设计为应用实例,验证了所述方法的可行性和有效性。

摘要：智能规划已经成为人工智能领域最热门的研究主题之一。近年来,智能规划在现实领域的应用越来越广泛,这对规划器的处理能力和效率提出了很大的挑战。以一类强表达时态规划——基于约束区间规划为研究对象,基于动态约束满足框架设计和实现了一个基于约束区间的规划算法LP-TPOP;对算法的可靠性和完备性进行了证明;最后以一个规划实例演示了算法的运行过程。