机械科学与技术
機械科學與技術
궤계과학여기술
MECHANICAL SCIENCE AND TECHNOLOGY
2000年
5期
849-852
,共4页
朱湘毅%唐泉%陈文培%严隽琪%马登哲
硃湘毅%唐泉%陳文培%嚴雋琪%馬登哲
주상의%당천%진문배%엄준기%마등철
冲突检测%约束满足问题%区间传播算法
遲突檢測%約束滿足問題%區間傳播算法
충돌검측%약속만족문제%구간전파산법
系统地分析了并行产品开发过程中检测冲突的策略,提出了以人为核心的非形式化方法和以约束管理工具为核心的形式化方法相结合的检测方法.之后,结合约束满足问题的求解技术,讨论了进行实时在线冲突检测的理论和方法,提出了改进的区间传播算法,并结合油泵产品开发过程中的具体设计问题,给出了区间传播算法的算例,证明该算法用于检测冲突还是非常有效的.最后给出了该方法在"并行工程关键技术研究"项目中的应用.
繫統地分析瞭併行產品開髮過程中檢測遲突的策略,提齣瞭以人為覈心的非形式化方法和以約束管理工具為覈心的形式化方法相結閤的檢測方法.之後,結閤約束滿足問題的求解技術,討論瞭進行實時在線遲突檢測的理論和方法,提齣瞭改進的區間傳播算法,併結閤油泵產品開髮過程中的具體設計問題,給齣瞭區間傳播算法的算例,證明該算法用于檢測遲突還是非常有效的.最後給齣瞭該方法在"併行工程關鍵技術研究"項目中的應用.
계통지분석료병행산품개발과정중검측충돌적책략,제출료이인위핵심적비형식화방법화이약속관리공구위핵심적형식화방법상결합적검측방법.지후,결합약속만족문제적구해기술,토론료진행실시재선충돌검측적이론화방법,제출료개진적구간전파산법,병결합유빙산품개발과정중적구체설계문제,급출료구간전파산법적산례,증명해산법용우검측충돌환시비상유효적.최후급출료해방법재"병행공정관건기술연구"항목중적응용.
