计算机科学
計算機科學
계산궤과학
Computer Science
2015年
10期
222-225
,共4页
柴瑞亚%朱怡安%陆伟%史佳龙
柴瑞亞%硃怡安%陸偉%史佳龍
시서아%주이안%륙위%사가룡
离散事件系统诊断%不完备模型
離散事件繫統診斷%不完備模型
리산사건계통진단%불완비모형
Discrete-event system diagnosis%Incomplete model
离散事件系统诊断中,由于系统复杂度较高,对系统建模时要获得系统的完备行为非常困难.传统的诊断方法往往基于模型完备的假设,在模型不完备时会出现得不到诊断解释的问题.针对模型定义不完备中的一种情况——事件顺序定义不完备,提出了一种基于扩展窗口的时序不完备诊断方法,该方法利用相关事件无序信息,在增量诊断时通过动态改变观测窗口大小,结合两个观测窗口的观测序列,在一定程度上解决了不完备的诊断问题.该方法不仅扩展了模型完备条件的约束,得到了合理的诊断结果,而且改进了观测延迟导致的观测乱序情况,扩大了模型诊断的适用范围.最后,通过算法分析和实验结果证明该诊断方法在复杂度较低的情况下能够得到合理的诊断结果.
離散事件繫統診斷中,由于繫統複雜度較高,對繫統建模時要穫得繫統的完備行為非常睏難.傳統的診斷方法往往基于模型完備的假設,在模型不完備時會齣現得不到診斷解釋的問題.針對模型定義不完備中的一種情況——事件順序定義不完備,提齣瞭一種基于擴展窗口的時序不完備診斷方法,該方法利用相關事件無序信息,在增量診斷時通過動態改變觀測窗口大小,結閤兩箇觀測窗口的觀測序列,在一定程度上解決瞭不完備的診斷問題.該方法不僅擴展瞭模型完備條件的約束,得到瞭閤理的診斷結果,而且改進瞭觀測延遲導緻的觀測亂序情況,擴大瞭模型診斷的適用範圍.最後,通過算法分析和實驗結果證明該診斷方法在複雜度較低的情況下能夠得到閤理的診斷結果.
리산사건계통진단중,유우계통복잡도교고,대계통건모시요획득계통적완비행위비상곤난.전통적진단방법왕왕기우모형완비적가설,재모형불완비시회출현득불도진단해석적문제.침대모형정의불완비중적일충정황——사건순서정의불완비,제출료일충기우확전창구적시서불완비진단방법,해방법이용상관사건무서신식,재증량진단시통과동태개변관측창구대소,결합량개관측창구적관측서렬,재일정정도상해결료불완비적진단문제.해방법불부확전료모형완비조건적약속,득도료합리적진단결과,이차개진료관측연지도치적관측란서정황,확대료모형진단적괄용범위.최후,통과산법분석화실험결과증명해진단방법재복잡도교저적정황하능구득도합리적진단결과.