约束满足技术及其在维修性冲突检测中的应用

• 作者: 侯彦彪 刘立泽 张爱民 杨天军
• 来源期刊: 兵工自动化
• 学科: 工学
• 关键词: 约束满足 维修性 维修性冲突 维修性冲突检测
• 年，卷（期）: 2007,（10）
• 所属期刊栏目: 自动测量与控制
• 页码范围: 70-71,74
• 页数: 3页
• 分类号: TP274.5
• 字数: 1711字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-1576.2007.10.030

摘要

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