·482 北京科 技大学学报 2002年第4期 R1 3 结束语 R M 并行设计中冲突检测的研究是实现并行工 M ⊙ 程的一项重要支持技术.本文采用Petri网理论 对并行设计的一致性检测进行了研究，探讨了 图2布局设计的Petri网模型 冲突检测的Petri网模型的实现，证明了区间算 Fig 2 Petri net of the component location 法与该模型相结合的收敛性，给出了实用的算 当J=2050时，按照前述检测模型及算法计 法与工程实例，有助于产品开发周期的缩短. 算结果如表2. 参考文献 表2 Petri网检测发生冲突 1 Tan G W,Hayes CC,Shaw M.Concurrent Product Design Table 2 Conflict detection based on Petri net [J].IEEE Potentials,1997,16(2):9 每 T、 T T 2 Evbuomwan N FO,Sivaloganathan S,Jebb A.A State of R [22,40] [25,36.3] [25,36.3] 冲突 the Art Report on Concurrent Engineering [C].In:Pro- R [13.7,25] [13.7,18] [13.7,18] 冲突 ceedings of Concurrent Engineering:Research and Appli- M [2.71,8.98] [2.71,8.98] [2.71,8.98] 冲突 cation 1994 Conference.Pennsylvania,1994.35 M[4.34,14.4] [4.34,14.4] [4.34,14.4] 冲突 3徐文胜，熊光楞，张新访，等.并行工程冲突管理的研 究).机械科学与技术，1999,18(1)：133 通过表2的检测可知，当J=2050时，库所 4 Cooper S,Taleb-Bendiab.CONCRENSUS:Multi-party 存储的变量区间通过变迁T时发生冲突，为了 Negotiation Support for Conflict Resolution in Concur- 保证并行设计的顺利进行，可以采用约束放松 rent Engineering Design[J].Journal of Intelligent Manu- 的方法将T改变为T,则J=3050,结果如表3所 facturing,1998,9:155 示.即得到设计变量的一致性区间. 5 Singh A,Johnson H M.Conflict management organiza- tions[J].Journal of Management in Engineering,1998(9): 表3通过改变约束消除冲突 Table 3 Conflict resolution by changing constraints 6宋玉银，楮秀萍，蔡复之.基于时间Peti网的实时并 Cw T g T 行设计过程建模研究).计算机集成制造系统，1999， R1[22,40] [25,36.3] [25,36.3] [25,36.3] 5(6):17 R[13.7,25 [13.7,18 [13.7,18] [13.7,17.7] 7 Zha,X F.Object-oriented Knowledge Based Petri Net Ap- M[2.71,8.98] [2.71,8.98] [2.71,8.981 [2.71,8.98] proach to Intelligent Integration of Design and Assem- M[4.34,14.4] [4.34,14.4] [4.34,14.4] [4.34,7.23] blyPplanning [J].Artificial Intelligence in Engineering. 2000,14(1):83 Consistency algorithm of Conflict Detection in Concurrent Design CHEN Meng,WANG Xinping,XU Yingxin 1)Information Engineering School,UST Beijing,Beijing 100083,China 2)Harbin University of Science and Technology,Harbin 150076,China ABSTRACT Different from the traditional serial design process,more downstream development phases are considered in concurrent design.This increases the possibility of conflict and makes conflict detection one of the most important issues in concurrent design.The consistency algorithm of conflict detection based on con- straint networks is studied.Made use of Petri net,conflict detection model is built and analyzed.An engineer- ing case is provided to prove the feasibility of the algorithm. KEY WORDS concurrent design;concurrent engineering;conflict detection;consistency;Petri net北 京 科 技 大 学 学 报 年 第 期 从 图 布局 设计的 网模型 当 时 ， 按照前述检测模型及算法计 算结果如表 表 网检测 发生 冲突 知 量 几 兀 兀 ， ， ， 冲突 凡 ， ， ， 冲突 肠 ， ， ， 冲突 从 ， ， ， 冲突 通 过表 的检测 可 知 ， 当 时 ， 库所 存储的变量 区 间通过变迁兀时发生 冲突 ， 为 了 保证并行设计的顺利进行 ， 可 以采用 约束放松 的方法将兀改变为厂 ， 则 ， 结果如表 所 示 即得到设计变量 的一致性 区 间 表 通 过 改变约束 消除 冲突 衍 ‘ 界 兀 厂 ， ， ， ， · ， ， · ， · ， 【 ， ， ， ， ， 从 · ， ， ， · ， ， 结束语 并行设计 中冲突检测 的研究是实现并行工 程 的一项重要支持技术 本文采用 网理论 对并行设计的一致性检测进行 了研究 ， 探讨 了 冲突检测 的 网模型 的实现 ， 证 明了区 间算 法与该模型 相结合的收敛性 ， 给出 了实用 的算 法与工程实例 ， 有助 于 产 品开发周期 的缩短 参 考 文 献 护 ， 盯 ， ， ， ， ， ， 徐文胜 ， 熊光楞 ， 张新访 ，等 并行工程冲突管理的研 究 机械科学与技术 ， ， ， 一 一 血 刀 ， ， ， 姐 ， 宋玉银 ， 褚秀萍 ， 蔡复之 基于 时 间 网 的实时并 行设计过程建模研究 计算机集成制造系统 ， ， 一 ， 月 酬 ， 环月刀 即艺心 夕， 多 刀 ， ， ， ， ， 七 ， 到习 ， 知