软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2010年
2期
248-260
,共13页
故障诊断%网构软件%动态描述逻辑%可信软件%离散事件系统
故障診斷%網構軟件%動態描述邏輯%可信軟件%離散事件繫統
고장진단%망구연건%동태묘술라집%가신연건%리산사건계통
failure diagnosis%Internetware%dynamic description logic%trustworthy software%discrete-event system
提出了一种应用动态描述逻辑对被诊断系统进行分析的方法.动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为.给出了算法使用动态描述逻辑的可满足性检测来测试离散事件系统的可诊断性.同时,给出了故障诊断器的构造算法.该故障诊断器通过实时地观察系统的行为完成故障诊断.以例子对算法进行了说明.
提齣瞭一種應用動態描述邏輯對被診斷繫統進行分析的方法.動態描述邏輯的語法和語義非常適宜刻畫繫統的正常行為和異常行為.給齣瞭算法使用動態描述邏輯的可滿足性檢測來測試離散事件繫統的可診斷性.同時,給齣瞭故障診斷器的構造算法.該故障診斷器通過實時地觀察繫統的行為完成故障診斷.以例子對算法進行瞭說明.
제출료일충응용동태묘술라집대피진단계통진행분석적방법.동태묘술라집적어법화어의비상괄의각화계통적정상행위화이상행위.급출료산법사용동태묘술라집적가만족성검측래측시리산사건계통적가진단성.동시,급출료고장진단기적구조산법.해고장진단기통과실시지관찰계통적행위완성고장진단.이례자대산법진행료설명.
