计算机支持的协同设计(Computer Supported Cooperative Design, CSCD)是计算机支持的协同工作(Computer Supported Cooperative Work, CSCW)的一个重要领域。协同设计强调群体工作方式,以有效的通信和协调为基础,支持多工作小组以计算机为工具,以协同方式同时参与一个任务。在协同设计中,通常按照产品结构层次将一个复杂任务分解成几个较简单的子任务,由不同的设计小组通过协同工作方式来完成整个任务。飞行器设计一般需多个协同设计小组共同参与设计过程。在飞行器协同设计过程中,由于不同的协同设计小组之间,以及同一协同设计小组内部各个设计人员之间的领域知识不同,考虑问题的角度不同,对设计的评价标准不同,难免会产生冲突。由于设计过程中冲突的存在,会影响设计的效率,因此冲突的检测在协同设计系统中占据着重要的地位。冲突问题是协同设计中的一个难点问题,由于飞行器设计中冲突种类繁多,检测过程复杂,目前还没有一个非常有效的冲突检测的方法。本文首先介绍了计算机支持的协同工作和计算机协同设计的基本概念以及相互关系。分析了飞行器协同设计中冲突问题产生的原因和冲突的特点,并结合国内外研究情况,在研究冲突的约束知识表达方法的过程中提出了一种层次约束网络。然后,针对约束的特点,设计了一种树形约束数据结构,解决了约束网络数据的存储和表示问题。基于这种树形约束数据结构,文章提出了一种改进的区间传播算法,解决了飞行器协同设计中连续值域多元约束网络中的冲突检测。最后,本文还介绍了飞行器协同设计系统中冲突检测子系统的实现与运行。