计算机集成制造系统
計算機集成製造繫統
계산궤집성제조계통
COMPUTER INTEGRATED MANUFACTURING SYSTEMS
2009年
1期
82-88,96
,共8页
彭磊%吴磊%毕亚雷%曾家智
彭磊%吳磊%畢亞雷%曾傢智
팽뢰%오뢰%필아뢰%증가지
协议工程%离散事件系统%着色解释Petri网%建模%协同仿真
協議工程%離散事件繫統%著色解釋Petri網%建模%協同倣真
협의공정%리산사건계통%착색해석Petri망%건모%협동방진
为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网.借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法.作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模.在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法.基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用.
為解決協議工程中協議形式化驗證和倣真斷裂的問題,結閤著色Petri網和解釋Petri網,構造齣一種可建模複雜離散事件繫統的著色解釋Petri網.藉助觀察者模式,依據著色解釋Petri網的特點,提齣瞭一種具有通用性的與協議倣真工具協同工作的方法.作為對該方法的示例,採用著色解釋Petri網對避免遲突的多路訪問協議進行建模.在保證與OPNET倣真模型一緻的基礎上,通過著色解釋Petri網與OPNET的協同倣真,改良瞭避免遲突的多路訪問的功率控製算法.基于著色解釋Petri網的協同倣真,第一次緊密連接瞭Petri網和通用協議倣真工具,對協議工程將起到重要作用.
위해결협의공정중협의형식화험증화방진단렬적문제,결합착색Petri망화해석Petri망,구조출일충가건모복잡리산사건계통적착색해석Petri망.차조관찰자모식,의거착색해석Petri망적특점,제출료일충구유통용성적여협의방진공구협동공작적방법.작위대해방법적시례,채용착색해석Petri망대피면충돌적다로방문협의진행건모.재보증여OPNET방진모형일치적기출상,통과착색해석Petri망여OPNET적협동방진,개량료피면충돌적다로방문적공솔공제산법.기우착색해석Petri망적협동방진,제일차긴밀련접료Petri망화통용협의방진공구,대협의공정장기도중요작용.
