论文部分内容阅读
基于不满足约束的维修性冲突检测技术，从约束满足的角度，结合并行设计和协同设计进行。其维修性约束网络的一致性检测，通过选择区间传播算法与回溯搜索算法相结合的方式处理。其算法选取包括算法的是否可解、求解效率及其简易性等。求解问题含求解规模、是否要求最优解和精确解，及问题所构造的约束网络类型等。以某装备密封口盖的设计为例，其具体检测步骤包括：初始化解函数集合、初始化变量区间集合及传播运算。