面向对象的产品配置建模及约束推理研究

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