计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2014年
8期
1695-1703
,共9页
基于模型诊断%动态诊断%增量方法%自动机链%基于冲突
基于模型診斷%動態診斷%增量方法%自動機鏈%基于遲突
기우모형진단%동태진단%증량방법%자동궤련%기우충돌
model-based diagnosis%dynamic diagnosis%incremental method%automaton chain%conflict-based
增量诊断是一种在离散事件系统中进行诊断的重要方法,因其能够根据新观测和原有诊断的结果进行进一步诊断,在长时间复杂行为的系统上有着良好的运行效率和诊断特性.文章提出了一种带有回溯的增量诊断方法.在离线定义的自动机链模型上根据在线观测进行局部诊断,用轨迹概率选出最可能诊断的同时,保存可行的候选诊断作为回溯点.若增量过程产生冲突,则回溯并根据新观测动态重新对候选诊断选择排序.既避免了不完全可诊断性条件下,增量诊断所面临的多候选选择,亦避免了由于仅保留最优结果导致的重复诊断.
增量診斷是一種在離散事件繫統中進行診斷的重要方法,因其能夠根據新觀測和原有診斷的結果進行進一步診斷,在長時間複雜行為的繫統上有著良好的運行效率和診斷特性.文章提齣瞭一種帶有迴溯的增量診斷方法.在離線定義的自動機鏈模型上根據在線觀測進行跼部診斷,用軌跡概率選齣最可能診斷的同時,保存可行的候選診斷作為迴溯點.若增量過程產生遲突,則迴溯併根據新觀測動態重新對候選診斷選擇排序.既避免瞭不完全可診斷性條件下,增量診斷所麵臨的多候選選擇,亦避免瞭由于僅保留最優結果導緻的重複診斷.
증량진단시일충재리산사건계통중진행진단적중요방법,인기능구근거신관측화원유진단적결과진행진일보진단,재장시간복잡행위적계통상유착량호적운행효솔화진단특성.문장제출료일충대유회소적증량진단방법.재리선정의적자동궤련모형상근거재선관측진행국부진단,용궤적개솔선출최가능진단적동시,보존가행적후선진단작위회소점.약증량과정산생충돌,칙회소병근거신관측동태중신대후선진단선택배서.기피면료불완전가진단성조건하,증량진단소면림적다후선선택,역피면료유우부보류최우결과도치적중복진단.
