講演名 2000/3/22
順序回路の縮退故障に関するモデルベース診断
平塚 聡, 房岡 璋,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 本論文ではモデルベース診断の概念に基づいたSynchronous Boolesn Network(SBN)の故障診断の手法について述べる.SBNの故障診断が, 故障部品の候補をどの部品が故障しているかについて, 故障のモードまで特定して割り出さなければならず, また各候補の観測されたすべての状態遷移での, さらにすべての実現可能性をチェックしなければならないため, 多大な計算複雑性を伴うものである.本稿では, 故障部品の候補をインクリメンタルに列挙する効率的な手法, およびそのアルゴリズムに基づいたSBNの故障診断システムを提案する.
抄録(英) In this paper, we propose a new diagnosis method for a synchronous boolean network(SBN)based of the concept of the model based diagnosis. The diagnosis for SBN is a troublesome task with high complexity because it is necessary to identify a candidate for a faulty component with its failure mode and check its feasibility throughout the observed state transitions. We present an effective method to enumerate the set of all candidate of failure components incrementally, and also present a whole system for SBN diagnosis based on this algorithm.
キーワード(和) モデルベース診断 / 論理回路 / 順序回路 / 定理証明
キーワード(英) Model-based diagnosis / logic circuit / sequential circuit / theorem prover
資料番号 AI99-104,KBSE99-63
発行日

研究会情報
研究会 KBSE
開催期間 2000/3/22(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Knowledge-Based Software Engineering (KBSE)
本文の言語 JPN
タイトル(和) 順序回路の縮退故障に関するモデルベース診断
サブタイトル(和)
タイトル(英) A Model-based Diagnosis for Stuck-at Faults of Sequential Circuit
サブタイトル(和)
キーワード(1)(和/英) モデルベース診断 / Model-based diagnosis
キーワード(2)(和/英) 論理回路 / logic circuit
キーワード(3)(和/英) 順序回路 / sequential circuit
キーワード(4)(和/英) 定理証明 / theorem prover
第 1 著者 氏名(和/英) 平塚 聡 / Satoshi HIRATSUKA
第 1 著者 所属(和/英) 立命館大学理工学部情報学科
Depertmant of Computer Science, Ritsumeikan University
第 2 著者 氏名(和/英) 房岡 璋 / Akira FUSAOKA
第 2 著者 所属(和/英) 立命館大学理工学部情報学科
Depertmant of Computer Science, Ritsumeikan University
発表年月日 2000/3/22
資料番号 AI99-104,KBSE99-63
巻番号(vol) vol.99
号番号(no) 720
ページ範囲 pp.-
ページ数 8
発行日