中文摘要：

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

英文摘要：

In order to implement configuration systems efficiently and solve configuration problems effectively, a new configuration method combining object-oriented modeling technology and Dynamic Constraint Satisfaction Problem （DCSP） was put forward. In presented approach, a reusable and sharable configuration model was established to represent domain-specific knowledge by using the object-oriented modeling approach. Then the configuration model was mapped to DCSP, and finally the configuration problem was solved through the use of constraint reasoning. When mapping from the configuration model to DCSP, mapping rules were developed. To solve the DCSP an extended backtracking algorithm was designed and its inference process was provided. Finally, a configurable bus case was presented to illustrate the construction process of configuration model. The effectiveness and feasibility of the presented approach were also verified.