基于约束的协同设计中的协商结构

摘要

协同设计中设计项目的所有设计变量和约束构成约束网络.本文介绍了约束解空间的概念和求解约束解空间的约束满意问题—CSP,利用求解CSP的软件SpaceSolver构建了一种协同设计的协商结构.分析表明:利用SpaceSolver软件构建的协同设计协商结构可以为设计者提供有效的协商和决策支持.当冲突出现时,约束满意问题的结构可以帮助用户发现冲突的原因,对设计要求进行协商.