基于条件约束满足问题的产品配置研究

强大灵活的配置模型和高效的求解策略是实现复杂产品配置的基础。为了构建复杂产品的配置模型,提出了一种基于条件约束满足问题框架的配置建模方法,该方法利用配置变量和配置约束来统一表达配置模型中的产品模型和用户需求,从而使配置模型具有表达一致性;配置变量分为类型变量、属性变量、接口变量、基数变量四种类型;配制约束包含依赖约束和活动约束两种类型;在构建统一形式配置模型的基础上,采用一种模型分解策略进行求解。最后采用一个汽车产品实例说明配制建模和配置求解过程。