计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2010年
2期
180-182,199
,共4页
王晓宇%欧阳丹彤%赵相福%常晓环
王曉宇%歐暘丹彤%趙相福%常曉環
왕효우%구양단동%조상복%상효배
离散事件系统%动态诊断%Petri网%同步
離散事件繫統%動態診斷%Petri網%同步
리산사건계통%동태진단%Petri망%동보
Discrete event system%Dynamic diagnosis%Petrinet%Synchronization
针对传统系统建模方法需要假设模型完备的缺点,提出一种通过同步各部件模型的方法来解决不完备建模所导致的不完全诊断.对于离散事件系统的动态诊断进行优化,利用分布式的思想与Petri网的性质,使得各部件可以独立、并行地进行诊断,提高了诊断的速度.同时对提出的同步方法进行了可行性分析和简单实现,得到了较好的结果.
針對傳統繫統建模方法需要假設模型完備的缺點,提齣一種通過同步各部件模型的方法來解決不完備建模所導緻的不完全診斷.對于離散事件繫統的動態診斷進行優化,利用分佈式的思想與Petri網的性質,使得各部件可以獨立、併行地進行診斷,提高瞭診斷的速度.同時對提齣的同步方法進行瞭可行性分析和簡單實現,得到瞭較好的結果.
침대전통계통건모방법수요가설모형완비적결점,제출일충통과동보각부건모형적방법래해결불완비건모소도치적불완전진단.대우리산사건계통적동태진단진행우화,이용분포식적사상여Petri망적성질,사득각부건가이독립、병행지진행진단,제고료진단적속도.동시대제출적동보방법진행료가행성분석화간단실현,득도료교호적결과.
Traditional system modeling requires the assumption that the model must be a complete one,according to this disadvantage,this paper proposed a method by synchronization components'model.The method synchronizes incomplete models to a larger one,to solve incomplete diagnosis caused by incomplete models.Optimizing dynamic diagnosis for discrete event systems,and with the idea of distributed system and the nature of Petri Nets,components can make diagnosis in an independent and parallel way,thus improve the rate of obtaining a diagnosis.