一种基于最小冲突集的约束冲突消解方法

摘要：

为了在协同设计中建立以人为核心的冲突消解方法，使设计者在约束冲突发生时，对约束信息之间的制约关系有较清晰的把握，合理地消解冲突，提取最小冲突集是有效的方法。本文在分析最小冲突集特征和交边算法的基础上，给出了提取最小冲突集的方法，并结合一个算例说明最小冲突集在设计者参与下对识别、消解冲突的有效性。

关键词： 约束冲突 最小冲突集 交边算法 协同设计

作者: 季浩 石慧 刘晓平

作者单位: 合肥工业大学计算机与信息学院VCC研究室,合肥 230009

会议类型: 国内会议

会议名称: 全国第19届计算机技术与应用学术会议(CACIS·2008)

会议地点: 合肥

会议语种:中文

页码: 773-777

在线出版日期: 2008-07-15（万方平台首次上网日期，不代表论文的发表时间）