JPH11282716A - 故障診断における推定論理状態管理方法及びその装置並びにプログラムを記録した機械読み取り可能な記録媒体 - Google Patents

Abstract

(57)【要約】 【課題】 論理回路の故障診断によって推定された各組
み合わせ回路の論理状態を推定する推定論理状態管理装
置において、論理状態同士の関係を容易に検索できるよ
うにすると共に、回路状態を復元できるようにする。 【解決手段】 故障診断システムで推定された論理状態
をインデックスツリー構造に登録する際に、グループ化
手段２３が、同一の組合せ回路において推定された複数
の論理状態を一つのグループにまとめてグループ番号を
付し、AND/OR関係検索手段29が、論理状態の推定履歴を
記録したインデックスツリー構造とグループ番号とを参
照して論理状態同士のAND/OR関係を判定し、論理状態設
定手段30が、インデックスツリー構造とグループ番号と
に基づいて回路内部の論理状態を復元する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、論理回路の故障診
断により推定された推定論理状態を管理する技術に関す
る。

【０００２】

【従来の技術】推定論理状態管理方式は、特開平8-1460
93号公報、特開平8-217301号公報に開示されているよう
な順序回路の故障診断システムで推定した推定論理状態
を管理する方式である。

【０００３】前述した故障診断システムは、故障出力に
故障を伝搬する可能性のある組合せ回路をダイナミック
に抽出して、組合せ回路毎に論理状態および故障の伝搬
する経路を推定し、入力方向にさかのぼることにより故
障箇所を推定する。論理状態とは、一つの信号線の論理
値だけでなく、回路内部の全ノード、すなわち、信号
線、ゲート、ゲート端子、入出力端子が0/1/X(Don't Ca
re)/Z(ハイインピーダンス)/U(不定）などの論理値を持
っている状態のことである。このような組合せ回路毎の
論理状態を管理して、推定データの登録、検索、削除を
行うのが推定論理状態管理方式である。

【０００４】従来の推定論理状態管理方式は、組合せ回
路毎に推定した論理状態をツリー構造で管理している。
当然のことながら、各組合せ回路においては複数の論理
状態が求まるために、大規模回路においては、巨大なツ
リー構造となり、推定した論理状態同士の関係が見えに
くくなるという問題がある。

【０００５】〔従来の技術の構成〕従来技術について図
面を参照して詳細に説明する。図14は従来技術の構成例
を示すブロック図であり、入力装置１と、プログラム制
御により動作するデータ処理装置８と、情報を記憶する
記憶装置３と、出力装置４とを含む。

【０００６】入力装置１は、キーボードや故障診断シス
テム（図示せず）とのインターフェース部である。出力
装置４は、ディスプレイ装置や印刷装置あるいは故障診
断システムとのインターフェース部である。

【０００７】記憶装置３は、論理状態記憶部31とツリー
構造記憶部32とを備えている。

【０００８】論理状態記憶部31は、推定した回路の論理
状態を記録している。ここで、論理状態とは、回路内部
の全ノード、或いは、一部のノードが、0/1/X(Don't Ca
re)/Z(ハイインピーダンス)/U(不定）などの論理値を持
っている状態のことである。ノードとは、信号線、ゲー
ト、ゲート端子、回路の入出力端子のことである。

【０００９】ツリー構造記憶部32は、組合せ回路単位の
推定論理状態のツリー構造を記録している。

【００１０】データ処理装置８は、処理命令解析手段21
と、インデックス付加手段22と、第３の論理状態登録手
段81と、検索条件解析手段25と、第２の論理状態検索手
段82と、削除条件解析手段27と、第２の論理状態削除手
段83とを備える。

【００１１】処理命令解析手段21は、入力装置１から与
えられた処理命令を解析し、「登録処理」、「検索処
理」、「削除処理」のそれぞれの処理フローに分岐す
る。つまり、処理命令が「登録処理」を指示している場
合はインデックス付加手段22に制御を渡し、「検索処
理」を指示している場合は検索条件解析手段25に制御を
渡し、「削除処理」を指示している場合は削除条件解析
手段27に制御を渡す。

【００１２】インデックス付加手段22は、登録する論理
状態にデータ識別用のインデックス番号を付加する。

【００１３】第３の論理状態登録手段81は、インデック
ス付加手段22で付加されたインデックス番号を単位とし
て、論理状態を構成するノード名とその論理値を論理状
態記憶部31に記録すると共に、インデックス付加手段22
で付加されたインデックス番号を親インデックス番号の
子インデックスとしてツリー構造記憶部32に記録する。

【００１４】検索条件解析手段25は、論理状態を検索す
る条件を解析する。

【００１５】第２の論理状態検索手段82は、検索条件解
析手段25で解析された条件に合致する論理状態のデータ
を論理状態記憶部31とツリー構造記憶部32から検索し、
出力装置４に出力する。

【００１６】削除条件解析手段27は、論理状態を削除す
る条件を解析する。

【００１７】第２の論理状態削除手段83は、削除条件解
析手段27で解析された条件に合致する論理状態のデータ
を論理状態記憶部31とツリー構造記憶部32から削除す
る。

【００１８】〔従来の技術の動作〕次に、図14および図
15を参照して、従来技術の動作について説明する。入力
装置１から与えられた処理命令を処理命令解析手段21に
おいて解析し、処理命令の指示内容が、記憶装置３に新
たに論理状態を登録する「登録処理」，記憶装置３に記
録されているデータから、要求するデータを検索して出
力装置４に出力する「検索処理」，記憶装置３から削除
条件に合うデータを削除する「削除処理」の何れである
かを判断する（ステップA1〜A3）。

【００１９】処理命令解析手段21において「登録処理」
と判断された場合（ステップA1）は、インデックス付加
手段22が、故障診断システムにおいて推定された論理状
態にデータ識別用のユニークなインデックス番号を付加
する（ステップA4）。一つの論理状態には複数のノード
とその論理値が含まれ、一つのインデックス番号が付加
される。また、その論理状態の推定の基となった論理状
態のインデックス番号（親インデックス番号）が分かっ
ているものとする。

【００２０】その後、第３の論理状態登録手段81が、イ
ンデックス付加手段22で付加されたインデックス番号を
単位として、論理状態を構成するノード名とその論理値
を論理状態記憶部31に記録すると共に、インデックス付
加手段22で付加されたインデックス番号を親インデック
ス番号の子インデックスとして、ツリー構造記憶部32に
記録する（ステップE1）。

【００２１】また、処理命令解析手段21において「検索
処理」と判断された場合（ステップA2）は、検索条件解
析手段25が、データの検索条件を解析する（ステップA
7）。その後、第２の論理状態検索手段82が、検索条件
に合致するデータを論理状態記憶部31、および、ツリー
構造記憶部32を参照して検索し（ステップE2）、検索結
果を出力装置４に出力する（ステップA9）。

【００２２】また、処理命令解析手段21において「削除
処理」と判断された場合（ステップA3）は、削除条件解
析手段27が、データの削除条件を解析する（ステップA1
0)。その後、第２の論理状態削除手段83が、削除条件に
合致するデータを論理状態記憶部31、および、ツリー構
造記憶部32を参照して削除する（ステップE3）。

【００２３】次に、図14、図15、図16、図６および図７
を参照し、従来技術の動作を具体例を挙げて詳細に説明
する。

【００２４】図６，図７に示す端子F1， F2 は、故障出
力が観測されている外部出力端子で、インデックス番号
０で論理状態記憶部31、ツリー構造記憶部32に登録され
ている。

【００２５】故障診断システムは、入力装置１を介して
データ処理装置８に、未処理の故障端子の検索命令を入
力する。

【００２６】データ処理装置８内の処理命令解析手段21
は、ステップA2において「検索処理」と判断し、制御を
検索条件解析手段２５に渡す。これにより、検索条件解
析手段25が検索条件を解析し（ステップA7）、第２の論
理状態検索手段82が条件を満たすデータを検索する（ス
テップE2）。この例の場合は、インデックス番号０の端
子F1, F2が未処理の故障端子として検索され、出力装置
４に出力される（ステップA9）。

【００２７】故障診断システムは、インデックス番号０
の端子F1, F2から、回路Ａを抽出し、内部の論理状態を
推定する。その結果、２つの論理状態および故障伝搬経
路が求まったとする。一つは端子F3から端子F1, F2に故
障が伝搬している論理状態で、もう一つは端子F4（図示
せず）から端子F1, F2に故障が伝搬している論理状態で
ある。故障診断システムは、入力装置１を介してデータ
処理装置８に、その２つの論理状態の登録命令を入力す
る。

【００２８】処理命令解析手段21は、ステップA1におい
て「登録処理」と判断すると、制御をインデックス付加
手段22に渡す。これにより、インデックス付加手段22
が、二つの論理状態に新規インデックス番号としてそれ
ぞれ１および２を付加する（ステップA4）。なお、端子
F3に故障を推定した論理状態のインデックス番号は１、
端子F4に故障を推定した論理状態のインデックス番号は
２とする。

【００２９】その後、第３の論理状態登録手段81が、二
つの論理状態に含まれるノード名とその論理値をインデ
ックス毎に論理状態記憶部31に記録すると共に、インデ
ックス番号０の子インデックスとしてインデックス番号
１と２をツリー構造記録部32に記録する（ステップE
1）。

【００３０】「登録処理」が完了すると、故障診断シス
テムは、入力装置１を介してデータ処理装置８に、未処
理の故障端子の検索命令を入力する。これにより、前述
したと同様の処理（ステップA2, A7, E2, A9）が行わ
れ、未処理の端子としてインデックス番号１の端子F3
と、インデックス番号２の端子F4とが故障診断システム
の渡される。

【００３１】故障診断システムは、インデックス番号１
の端子F3から、回路Ｂを抽出して内部の論理状態を推定
する。その結果、２つの論理状態が求まったとする。一
つは端子F5, F6から端子F3に故障が伝搬している論理状
態で、もう一つは端子F5, F7から端子F3に故障が伝搬し
ている論理状態である。故障診断システムは、入力装置
１を介してデータ処理装置８に上記した２つの論理状態
の登録命令を入力する。

【００３２】これにより、データ処理装置８は、前述し
たと同様の処理を行い、それぞれの論理状態をインデッ
クス番号３および４として論理状態記憶部31に記録する
と共に、インデックス番号３および４をインデックス番
号１の子インデックスとしてツリー構造記憶部32に記録
する（ステップA1,A4,E1）。

【００３３】次に、診断システムは、もう一つの未処理
の端子であるインデックス番号２の端子F4から、同様に
して回路を抽出して内部の論理状態を推定する。その結
果、１つの論理状態および故障伝搬経路が求まったとす
る。端子F8（図示せず）から端子F4に故障が伝搬してい
る論理状態である。故障診断システムは、入力装置１を
介してデータ処理装置８に上記した論理状態の登録命令
を入力する。

【００３４】これにより、データ処理装置８は、前述し
たと同様の処理を行い、その論理状態をインデックス番
号５として論理状態記憶部31に記録すると共に、インデ
ックス番号５をインデックス番号２の子インデックスと
してツリー構造記憶部32に記録する（ステップA1, A4,
E1）。

【００３５】故障診断システムは、「登録処理」が完了
すると、入力装置１に未処理の故障端子の検索命令を入
力し、未処理の端子として、インデックス番号３の端子
F5,F6と、インデックス番号４の端子F5, F7と、インデ
ックス番号５の端子F8とを得る。

【００３６】以上の処理を繰り返すことにより、図16の
ようなインデックスのツリー構造が得られる。なお、カ
ッコ内の記号は推定された故障端子を表している。ま
た、ツリー構造の枝はインデックスの親子関係を示して
いる。

【００３７】図６、図７中の丸印で囲まれた数字は、論
理状態のインデックス番号を示している。

【００３８】図６は、インデックス番号０の故障端子F
1, F2から、インデックス番号１の論理状態において故
障端子F3が推定され、さらに、インデックス番号３の論
理状態において故障端子F5, F6が推定され、さらに、イ
ンデックス番号６の論理状態において故障端子F9、イン
デックス番号８の論理状態において故障端子F11 が推定
されている状態を示している。

【００３９】また、図７は、インデックス番号０の故障
端子F1, F2から、インデックス番号１の論理状態におい
て故障端子F3が推定され、さらに、インデックス番号４
の論理状態において故障端子F5, F7が推定され、さら
に、インデックス番号10の論理状態において故障端子F
9、インデックス番号12の論理状態において故障端子 F1
3が推定されている状態を示している。

【００４０】インデックスツリー構造を参照すること
で、例えば、インデックス番号６の論理状態が、インデ
ックス番号０，１，３の順に推定が進んだ結果得られた
論理状態であることがわかる。このように、インデック
スの親子関係はツリーを参照すれば分かるが、インデッ
クスの論理状態が、論理状態として同時に成り立つ（AN
D 関係）か、または、同時に成り立たない（OR関係）か
を検索結果として得ることはできない。例えば、インデ
ックス番号６，７，８，９の論理状態同士のAND/OR関係
を調べようとしても、図16に示したインデックスツリー
構造では、それらが端子F5，F6に対応する２個の回路の
内の何れで推定された論理状態なのかが分からないた
め、AND/OR関係を特定することができない。尚、インデ
ックス同士の全ての関係を記録することは、大量の論理
状態が推定される場合にはその組合せの数だけ記録する
必要があり、現実的ではない。

【００４１】また、インデックス３，４では両方の論理
状態で端子F5が故障端子として推定されているため、そ
の子インデックスであるインデックス番号６と10の論理
状態で重複して推定処理が行われている。そのため、処
理量、処理時間、および、データ量が増大する。

【００４２】

【発明が解決しようとする課題】上述した従来技術の第
一の問題点は、インデックスで識別される論理状態同士
の関係を容易に検索することができないという点であ
る。その理由は、従来の推定論理状態管理システムで
は、論理状態同士の関係検索についてなんら考慮されて
いなかったためである。

【００４３】第二の問題点は、回路内部の論理状態を復
元することが困難であるという点である。その理由は、
多数の論理状態からAND 関係の論理状態のみを選択する
ことができなかったためである。

【００４４】第三の問題点は、同一故障端子が未処理の
端子として重複して検索されるという点である。その理
由は、同一抽出回路において複数の論理状態が求まり、
かつ、同一の故障端子が推定された時に、異なるインデ
ックス番号で管理されているためである。

【００４５】〔発明の目的〕そこで、本発明の目的は、
論理状態同士の関係を容易に得ることができるようにす
ることにある。

【００４６】本発明の他の目的は、回路内部の論理状態
を復元できるようにすることにある。

【００４７】本発明の更に他の目的は、推定処理の重複
を省略し、高速な故障診断を実現できるようにすること
にある。

【００４８】

【課題を解決するための手段】本発明は、同一の組合せ
回路において推定された複数の論理状態を一つのグルー
プとして登録し、論理状態の推定履歴とグループ番号を
参照することにより、論理状態同士のAND/OR関係および
論理状態の復元を行う。

【００４９】より具体的には、論理状態を登録する際
に、同一の組合せ回路において推定された論理状態を一
つのグループにまとめてグループ番号を付すグループ化
手段（図１の23）と、論理状態の推定履歴を記録したイ
ンデックスのツリー構造とグループ番号とを参照して論
理状態同士のAND/OR関係を判定するAND/OR関係検索手段
（図１の29）と、インデックスツリー構造とグループ番
号とに基づいて回路内部の論理状態を復元する論理状態
設定手段（図１の30）を有する。

【００５０】この構成では、同一組み合わせ回路におい
て推定された複数の論理状態を一つのグループにまとめ
てグループ番号を付すようにしているので、論理状態の
推定履歴とグループ番号を参照することにより、論理状
態同士のAND/OR関係を判定することが可能である。ま
た、各グループ内の論理状態の内、１つの論理状態を選
択し、インデックスのツリー構造を検索することで、AN
D 関係の論理状態のみを検索できるため、論理状態の復
元を行うことが可能である。

【００５１】また、本発明は、同一グループ内で共通の
論理値を持つノードが存在する時に、そのノードと論理
値とを親インデックスに登録することにより、故障端子
の重複した検索を回避する。

【００５２】より具体的には、論理状態を登録する際に
共通論理値を持つノードを検索する共通論理値検索手段
（図８の51）と、検索されたノードとそのノードの論理
値を親インデックスに登録する第２の論理状態登録手段
（図８の52）を有する。

【００５３】この構成では、同一グループ内で共通の論
理値を持つノードが存在する時に、そのノードと共通論
理値とを親インデックスに登録することにより、故障端
子の重複した検索を回避することが可能となる。そのた
め、故障診断システムが同じ故障端子に対して、重複し
た推定処理を行うことを回避することができる。

【００５４】

【発明の実施の形態】〔第１の実施の形態の構成〕次に
本発明の第１の実施の形態について図面を参照して詳細
に説明する。

【００５５】図１を参照すると第１の実施の形態は、入
力装置１と、プログラム制御により動作するデータ処理
装置２と、情報を記憶する記憶装置３と、出力装置４と
を含む。

【００５６】入力装置１は、キーボードや故障診断シス
テム（図示せず）とのインターフェース部である。出力
装置４は、ディスプレイ装置や印刷装置あるいは故障診
断システムとのインターフェース部である。

【００５７】記憶装置３は、論理状態記憶部31とツリー
構造記憶部32とグループ記憶部33とを備えている。

【００５８】論理状態記憶部31は、推定した回路の論理
状態を記録している。ここで、論理状態とは、回路内部
の全ノード、あるいは、一部のノードが、 0/1/X(Don't
Care)/Z（ハイインピーダンス)/U(不定）などの論理値
を持っている状態のことである。ノードとは、信号線、
ゲート、ゲート端子、回路の入出力端子のことである。

【００５９】ツリー構造記憶部32は、組合せ回路単位の
推定論理状態のツリー構造を記録している。

【００６０】グループ記憶部33は、同じ組合せ回路で同
時に推定された論理状態のインデックスのグループ番号
を記録している。

【００６１】データ処理装置２は、処理命令解析手段21
と、インデックス付加手段22と、グループ化手段23と、
第１の論理状態登録手段24と、検索条件解析手段25と、
第１の論理状態検索手段26と、削除条件解析手段27と、
第１の論理状態削除手段28と、AND/OR関係検索手段29
と、論理状態設定手段30とを備える。

【００６２】処理命令解析手段21は、入力装置１から与
えられた処理命令を解析し、「登録処理」、「検索処
理」、「削除処理」のそれぞれの処理フローに分岐す
る。つまり、処理命令が「登録処理」を指示するもので
ある場合はインデックス付加手段22に制御を渡し、「検
索処理」を指示するものである場合は検索条件解析手段
25に制御を渡し、「削除処理」を指示するものである場
合は削除条件解析手段27に制御を渡す。

【００６３】インデックス付加手段22は、登録する論理
状態にデータ識別用のユニークなインデックス番号を付
加する。

【００６４】グループ化手段23は、同じ組合せ回路で同
時に推定された論理状態を１つのグループにまとめ、ユ
ニークなグループ番号を付加する。

【００６５】第１の論理状態登録手段24は、インデック
ス付加手段22で付加されたインデックス番号を単位とし
て論理状態を構成するノード名とその論理値を論理状態
記憶部31に記録すると共に、インデックス付加手段22で
付加されたインデックス番号を親インデックス番号の子
インデックスとしてツリー構造記憶部32に記録する。さ
らに、グループ化手段23で付加されたグループ番号とそ
のグループを構成するインデックス番号とを関連付けて
グループ記憶部33に記録する。

【００６６】検索条件解析手段25は、論理状態を検索す
る条件を解析する。

【００６７】第１の論理状態検索手段26は、検索条件解
析手段25で解析した条件に合致する論理状態のデータを
論理状態記憶部31と、ツリー構造記憶部32と、グループ
記憶部33から検索し、出力装置４に出力する。

【００６８】削除条件解析手段27は、論理状態を削除す
る条件を解析する。

【００６９】第１の論理状態削除手段28は、削除条件解
析手段27で解析した条件に合致する論理状態のデータを
論理状態記憶部31と、ツリー構造記憶部32と、グループ
記憶部33から削除する。

【００７０】AND/OR関係検索手段29は、ツリー構造記憶
部32と、グループ記憶部33を参照して、論理状態同士の
AND/OR関係を調べる。 AND関係とは、複数の論理状態に
おいて、それらの論理状態が同時に成り立つ関係である
ことである。OR関係とは、複数の論理状態において、そ
れらの論理状態が同時に成り立ち得ない関係であること
である。

【００７１】論理状態設定手段30は、論理状態記憶部3
1、ツリー構造記憶部32およびグループ記憶部33を参照
して、回路内の論理状態および故障伝搬経路を復元す
る。

【００７２】〔第１の実施の形態の動作の説明〕次に、
図１および図２を参照して、本発明の第１の実施の形態
の動作について説明する。入力装置１から与えられた処
理命令を処理命令解析手段21において解析し、その指示
内容が、記憶装置に新たに論理状態を登録する「登録処
理」、記憶装置に記録されているデータから、要求する
データを検索して出力装置に出力する「検索処理」、記
憶装置から削除条件に合うデータを削除する「削除処
理」の何れかを判断する（ステップA1〜A3）。

【００７３】処理命令解析手段21において「登録処理」
と判断された場合は、先ず、インデックス付加手段22
が、故障診断システムにおいて推定された論理状態にデ
ータ識別用のインデックス番号を付加する（ステップA
4）。一つの論理状態には複数のノードとその論理値が
含まれ、一つのインデックス番号が付加される。また、
その論理状態の推定の基となった論理状態のインデック
ス番号（親インデックス番号）が分かっているものとす
る。

【００７４】次に、グループ化手段23が、同じ組合せ回
路において同時に推定された論理状態を一つのグループ
にまとめてグループ番号を付加する（ステップA5）。

【００７５】その後、第１の論理状態登録手段24が、イ
ンデックス付加手段22で付加されたインデックス番号を
単位として論理状態を構成するノード名とその論理値を
論理状態記憶部31に記録すると共に、インデックス付加
手段22で付加されたインデックス番号を親インデックス
番号の子インデックスとして、ツリー構造記憶部に記録
する。さらに、グループ化手段23で付加されたグループ
番号とそのグループを構成するインデックス番号をグル
ープ記憶部33に記録する (ステップA6）。

【００７６】また、処理命令解析手段21において「検索
処理」と判断された場合（ステップA2）は、先ず、検索
条件解析手段25が、データの検索条件を解析する（ステ
ップA7）。

【００７７】次に、第１の論理状態検索手段26が、検索
条件に合致するデータを論理状態記憶部31、ツリー構造
記憶部32、および、グループ記憶部33を参照して検索す
る（ステップA8）。このとき、検索条件解析手段25にお
いて解析した検索条件が、論理状態同士のAND/OR関係の
検索であれば、AND/OR関係検索手段29において、AND/OR
関係を検索し、その結果を第１の論理状態検索手段26に
返す（ステップA12)。また、検索条件解析手段25におい
て解析した検索条件が、論理状態設定であれば、論理状
態設定手段30において、同時に成り立つAND 関係である
論理状態を検索して、回路内部の論理状態を復元し、そ
の結果を第１の論理状態検索手段26に返す（ステップA1
3)。

【００７８】その後、第１の論理状態検索手段26が、検
索結果を出力装置４に出力する（ステップA9）。

【００７９】また、処理命令解析手段21において「削除
処理」と判断された場合（ステップA3）は、先ず、削除
条件解析手段27が、データの削除条件を解析する（ステ
ップA10)。

【００８０】その後、第１の論理状態削除手段28が、削
除条件に合致するデータを論理状態記憶部31、ツリー構
造記憶部32、および、グループ記憶部33を参照して削除
する（ステップA11)。

【００８１】次に、図２のステップA12 で行う処理、す
なわちAND/OR関係検索手段29において、各インデックス
の論理状態のAND/OR関係を得るための処理を図３を参照
して詳細に説明する。

【００８２】先ず、対象となる論理状態のインデックス
番号の系列（推定の履歴）をツリー構造記憶部32を参照
して検索する（ステップB1）。

【００８３】次いで、検索した各インデックス番号の系
列を先祖から比較し、不一致となるインデックスを求め
る（ステップB2）。

【００８４】その後、グループ記憶部33を参照して、イ
ンデックス系列の中で不一致となったインデックス番号
のグループ番号を取得する (ステップB3）。

【００８５】そして、取得したグループ番号が一致する
か、しないかにより、 AND関係かOR関係を判定する（ス
テップB4, B5, B6）。

【００８６】次に、図２のステップA13 で行う処理、即
ち論理状態設定手段30において、回路内部の論理状態を
復元するための処理を図４を参照して詳細に説明する。

【００８７】先ず、グループ記憶部33を参照して、同一
グループ内の１つのインデックス番号を選択する（ステ
ップC1）。

【００８８】次に、ツリー構造記憶部32を参照して、選
択されていないインデックス番号の枝にぶら下がってい
るインデックス番号の論理状態を回路全体の論理状態復
元のためのインデックス候補から除く（ステップC2）。
ここで、除かれていないインデックス番号の論理状態
は、互いにAND 関係にある。

【００８９】その後、残ったAND 関係の論理状態を全て
重ね合わせることで、回路全体の論理状態を復元する
（ステップC3）。

【００９０】次に、図１、図２、図３、図４、図５、図
６および図７を参照して、具体例を挙げて動作を詳細に
説明する。

【００９１】図６，図７に示す端子F1, F2は、故障出力
が観測されている外部出力端子で、インデックス番号０
で論理状態記憶部31、ツリー構造記憶部32に登録されて
いる。

【００９２】故障診断システムは、入力装置１を介して
データ処理装置２に未処理の故障端子の検索命令を入力
する。

【００９３】処理命令解析手段21は、ステップA2におい
て「検索処理」と判断し、制御を検索解析手段25に渡
す。これにより、検索条件解析手段25が検索条件を解析
し（ステップA7）、第１の論理状態検索手段26が検索条
件を満たすデータを検索する（ステップA8）。この例の
場合は、インデックス番号０の端子F1, F2が未処理の故
障端子として検索され、出力装置４に出力される（ステ
ップA9）。

【００９４】故障診断システムは、インデックス番号０
の端子F1, F2から、回路Ａを抽出し、内部の論理状態を
推定する。その結果、２つの論理状態および故障伝搬経
路が求まったとする。一つは端子F3から端子F1, F2に故
障が伝搬している論理状態で、もう一つは端子F4（図示
せず) から端子F1, F2に故障が伝搬している論理状態で
ある。故障診断システムは、入力装置１を介してデータ
処理装置２にその２つの論理状態の登録命令を入力す
る。

【００９５】処理命令解析手段21は、ステップA1におい
て「登録処理」と判断し、制御をインデックス付加手段
22に渡す。これにより、インデックス付加手段22は、二
つの論理状態に新規インデックス番号としてそれぞれ１
および２を付加する（ステップA4）。なお、端子F3に故
障を推定した論理状態のインデックス番号は１、端子F4
に故障を推定した論理状態のインデックス番号は２とす
る。

【００９６】次に、グループ化手段23において、二つの
論理状態は回路Ａで推定された論理状態であることか
ら、同一のグループにまとめられ、グループ番号１が付
加される（ステップA5）。

【００９７】次に第１の論理状態登録手段24において、
二つの論理状態に含まれるノード名とその論理値をイン
デックス毎に論理状態記憶部31に記録する。また、イン
デックス番号０の子インデックスとして１と２をツリー
構造記憶部32に記録する。さらに、インデックス番号1,
２がグループ番号１に属していることをグループ記憶部
33に記録する（ステップA6）。

【００９８】「登録処理」が完了すると、故障診断シス
テムは、データ処理装置２に未処理の故障端子の検索命
令を入力し、未処理の端子としてインデックス番号１の
端子F3と、インデックス番号２の端子F4とを得る。

【００９９】インデックス番号１の端子F3から、回路Ｂ
を抽出して内部の論理状態を推定する。その結果、２つ
の論理状態が求まったとする。一つは端子F5, F6から端
子F3に故障が伝搬している論理状態（図６参照）で、も
う一つは端子F5, F7から端子F3に故障が伝搬している論
理状態（図７参照）である。

【０１００】データ処理装置２は、それぞれの論理状態
をインデックス番号３および４として論理状態記憶部31
に登録し、インデックス番号３および４をインデックス
番号１の子インデックスとしてツリー構造記憶部32に登
録し、さらに、インデックス番号３および４をグループ
番号２と関連付けてグループ記憶部33に登録する（ステ
ップA1, A4〜A6）。

【０１０１】次に、故障診断システムは、もう一つの未
処理の端子であるインデックス番号２の端子F4から、同
様にして回路を抽出して内部の論理状態を推定する。そ
の結果、１つの論理状態および故障伝搬経路が求まった
とする。端子F8から端子F4に故障が伝搬している論理状
態である。

【０１０２】データ処理装置２は、その論理状態をイン
デックス番号５として論理状態記憶部31に登録し、イン
デックス番号５をインデックス番号２の子インデックス
としてツリー構造記憶部32に登録し、インデックス番号
５をグループ番号３と関連付けてグループ記憶部33に登
録する（ステップA1, A4〜A6）。

【０１０３】その後、故障診断システムは、入力装置１
に未処理の故障端子の検索命令を入力し、未処理の端子
として、インデックス番号３の端子F5, F6と、インデッ
クス番号４の端子F5, F7と、インデックス番号５の端子
F8とを得る。

【０１０４】以上の処理を繰り返すことにより、図５の
ようなインデックスツリー構造が得られる。丸で囲んだ
数字がインデックス番号で、Ｇで示した番号がグループ
番号を表す。また、カッコ内の記号は推定された故障端
子を表している。また、ツリー構造の枝はインデックス
の親子関係を示している。

【０１０５】図６、図７中の丸印で囲まれた数字は、論
理状態のインデックス番号を示している。図６は、イン
デックス番号０の故障端子F1, F2から、インデックス番
号１の論理状態において故障端子F3が推定され、さら
に、インデックス番号３の論理状態において故障端子F
5, F6が推定され、さらに、インデックス番号６の論理
状態において故障端子F9、インデックス番号８の論理状
態において故障端子F11 が推定されている状態を示して
いる。

【０１０６】また、図７は、インデックス番号０の故障
端子F1, F2から、インデックス番号１の論理状態におい
て故障端子F3が推定され、さらに、インデックス番号４
の論理状態において故障端子F5, F7が推定され、さら
に、インデックス番号10の論理状態において故障端子F
9、インデックス番号12の論理状態において故障端子F13
が推定されている状態を示している。

【０１０７】ツリーを参照することで、例えば、インデ
ックス番号６の論理状態が、インデックス番号０，１，
３の順に推定が進んだ結果得られた論理状態であること
がわかる。

【０１０８】グループ化を行うことにより、インデック
ス同士のAND/OR関係を得ることが可能となる。この点に
ついて、図１、図３および図５を参照して詳細に説明す
る。

【０１０９】例えば、インデックス番号６とインデック
ス番号８の論理状態のAND/OR関係を検索する場合、先
ず、ツリー構造記憶部32を参照して、対象としている論
理状態のインデックス番号の系列（推定の履歴）を検索
する（ステップB1）。インデックス番号６は、0 → 1→
3→ 6と推定されている。また、インデックス番号８
は、0 → 1→ 3→ 8と推定されている。

【０１１０】インデックスの系列を比較すると、0 → 1
→ 3までは同一で、その後の６と８でツリーが分岐して
いることがわかる（ステップB2）。

【０１１１】不一致となったインデックス番号６と８の
グループ番号は、グループ記憶部33を参照すると、それ
ぞれ４と５であることがわかる（ステップB3）。

【０１１２】よって、グループ番号は不一致であるか
ら、インデックス番号６とインデックス番号８の論理状
態は同時に成り立つAND 関係であることがわかる（ステ
ップB5）。

【０１１３】次に、インデックス番号６とインデックス
番号12の論理状態のAND/OR関係を検索する。まず、ツリ
ー構造記憶部32を参照して、対象としている論理状態の
インデックス番号の系列（推定の履歴）を検索する（ス
テップB1）。インデックス番号６は、0 → 1→ 3→ 6と
推定されている。また、インデックス番号12は、0 →1
→ 4→ 1２と推定されている。

【０１１４】インデックスの系列を比較すると、0 → 1
までは同一で、その後の３と４でツリーが分岐している
ことがわかる（ステップB2）。

【０１１５】不一致となったインデックス番号３と４の
グループ番号は、グループ記憶部33を参照すると、両者
とも２であることがわかる（ステップB3）。

【０１１６】グループ番号が一致していることから、イ
ンデックス番号６とインデックス番号12の論理状態は同
時に成り立たないOR関係であることがわかる（ステップ
B6）。

【０１１７】次に、論理状態設定手段30により回路内部
の論理状態の復元を行う際の動作を図１、図２、図５、
および、図６を参照して詳細に説明する。

【０１１８】まず、各グループに属するインデックスの
内、一つを選択する。論理状態記憶部31およびグループ
記憶部33を参照して、グループ１はインデックス１、グ
ループ２はインデックス３、グループ３はインデックス
５、グループ４はインデックス６、グループ５はインデ
ックス８、グループ６はインデックス10、グループ７は
インデックス12、グループ８はインデックス14を選択す
る（ステップC1）。

【０１１９】次に、ツリー構造記憶部32を参照して、選
択されていないインデックス番号のツリーを除くと、イ
ンデックス番号0, 1, 3, 6, ８が残る（ステップC2）。

【０１２０】残ったインデックス番号０，１，３，６，
８の論理状態を重ね合わせると、図６の回路全体の論理
状態と故障伝搬経路を復元することができる（ステップ
C3）。

【０１２１】以上で述べた方法は、最初にグループ内の
インデックス番号を選択するものであるが、各インデッ
クスの子インデックスの内、同じグループに属するもの
があれば一つを選択するという処理を、インデックス番
号０から処理していく方法もある。

【０１２２】例えば、インデックス番号０の子インデッ
クスであるインデックス番号１，２は同一グループ１に
属しているので、一つのインデックス番号１を選択す
る。インデックス番号１の子インデックスであるインデ
ックス番号３，４は同一グループ２に属しているので、
一つのインデックス番号３を選択する。

【０１２３】インデックス番号３の子インデックスであ
るインデックス番号６，７は同一グループ４に属してい
るので、一つのインデックス番号６を選択する。また、
インデックス番号３の子インデックスであるインデック
ス番号8,９は同一グループ５に属しているので、一つの
インデックス番号８を選択する。

【０１２４】以上のようにして、インデックス番号０，
１，３，６，８の論理状態を選択して重ね合わせると、
図６の論理状態と故障伝搬経路を復元することができ
る。

【０１２５】以上は、組合せ回路を抽出しながら故障診
断を行う場合の推定論理状態管理方式について述べた
が、順序回路を１ブロックとして抽出する場合について
も同様に管理することが可能である。

【０１２６】〔第２の実施の形態の構成〕次に本発明の
第２の実施の形態について図面を参照して詳細に説明す
る。図８を参照すると、本発明の第２の実施の形態は、
データ処理装置５が、図１に示されたデータ処理装置２
の構成の第１の論理状態登録手段24の代わりに第２の論
理状態登録手段52を有する点と、図８に示された共通論
理値検索手段51が追加されている点で第１の実施の形態
と異なる。

【０１２７】共通論理値検索手段51は、同時に推定され
た同一グループ内の論理状態において、共通する論理値
を持つノードを検索する。

【０１２８】第２の論理状態登録手段52は、インデック
ス付加手段22で付加されたインデックス番号を単位とし
て論理状態を構成するノード名とその論理値を論理状態
記憶部31に記録する。ただし、グループ内の論理状態で
共通する論理値を持つノードとその論理値はインデック
ス付加手段22で付加されたインデックス番号ではなく、
親インデックスの論理状態として記録する。また、第２
の論理状態登録手段52は、インデックス付加手段22で付
加されたインデックス番号を親インデックス番号の子イ
ンデックスとして、ツリー構造記憶部32に記録する。さ
らに、グループ化手段23で付加したグループ番号とその
グループを構成するインデックス番号とをグループ記憶
部33に記録する。

【０１２９】〔第２の実施の形態の動作の説明〕本発明
の第２の実施の形態の動作を図面を参照して詳細に説明
する。図９のステップA1〜A5, A7〜A13 で示される第２
の実施の形態における処理命令解析手段21と、インデッ
クス付加手段22と、グループ化手段23と、検索条件解析
手段25と、第１の論理状態検索手段26と、削除条件解析
手段27と、論理状態削除手段28と、 AND/OR 関係検索手
段29と、論理状態設定手段30の動作は、第１の実施の形
態の各手段21,22,23,25,26,27,28,29 および30の動作と
同一のため、説明を省略する。

【０１３０】従来技術および第１の実施の形態では、同
一グループ内の複数の論理状態に共通の故障端子が推定
されている場合、それぞれの論理状態の子インデックス
で同じ回路に対して重複して推定処理が行われてしま
う。そこで、第２の実施の形態では、グループ内の論理
状態において共通の論理値を推定した場合、そのノード
と論理値を親インデックスの論理状態に登録すること
で、そうした重複処理を回避する。

【０１３１】グループ化手段23において論理状態のグル
ープ化が行われた後、共通論理値検索手段51が、同一グ
ループ内の論理状態において、共通する論理値を持つノ
ードを検索する（ステップD1）。

【０１３２】その後、第２の論理状態登録手段52が、イ
ンデックス付加手段22で付加されたインデックス番号を
単位として論理状態を構成するノード名とその論理値を
論理状態記憶部31に記録する。ただし、グループ内の論
理状態で共通する論理値を持つノードとその論理値はイ
ンデックス付加手段22で付加されたインデックス番号で
はなく、親インデックスの論理状態として登録する。イ
ンデックス付加手段22で付加したインデックス番号を親
インデックス番号の子インデックスとして、ツリー構造
記憶部に記録する。さらに、グループ化手段23で付加し
たグループ番号とそのグループを構成するインデックス
番号をグループ記憶部33に記録する（ステップD2）。

【０１３３】次に、図８、図９、図10、図11および図12
を参照して、具体例を挙げて動作を詳細に説明する。

【０１３４】図６，図７に示す端子F1, F2は故障出力が
観測されている外部出力端子で、インデックス番号０で
論理状態記憶部31、ツリー構造記憶部32に登録されてい
る。

【０１３５】故障診断システムは、入力装置１に未処理
の故障端子の検索命令を入力する。処理命令解析手段21
は、ステップA2において「検索処理」と判断して、検索
条件解析手段25に制御を渡す。これにより、検索条件解
析手段25が、検索条件の解析を行い（ステップA7）、第
１の論理状態検索手段26が、解析条件を満たすデータを
検索する（ステップA8）。この例の場合は、インデック
ス番号０の端子F1, F2が未処理の故障端子として検索さ
れ、出力装置４に出力される（ステップA9）。

【０１３６】故障診断システムは、インデックス番号０
の端子F1, F2から、回路Ａを抽出し、内部の論理状態を
推定する。その結果、２つの論理状態および故障伝搬経
路が求まったとする。一つは端子F3から端子F1, F2に故
障が伝搬している論理状態で、もう一つは端子F4（図示
せず) から端子F1, F2に故障が伝搬している論理状態で
ある。故障診断システムは、入力装置１を介してデータ
処理装置５にその２つの論理状態の登録命令を入力す
る。

【０１３７】処理命令解析手段21は、ステップA1におい
て「登録処理」と判断し、制御をインデックス付加手段
22に渡す。これにより、インデックス付加手段22は、二
つの論理状態に新規インデックス番号としてそれぞれ１
および２を付加する（ステップA4）。なお、端子F3に故
障を推定した論理状態のインデックス番号は１、端子F4
に故障を推定した論理状態のインデックス番号は２とす
る。

【０１３８】次に、グループ化手段24において、二つの
論理状態は回路Ａで推定された論理状態であることか
ら、同一のグループにまとめられ、グループ番号１が付
加される（ステップA5）。

【０１３９】その後、共通論理値検索手段51が、同一グ
ループ内の論理状態において共通の論理値を持つノード
を検索する（ステップD1）。

【０１４０】次に第２の論理状態登録手段52が、二つの
論理状態に含まれるノード名とその論理値をインデック
ス毎に論理状態記憶部31に記録する。ただし、この時、
共通論理値検索手段51において検索した共通論理値を持
つノードは親インデックスであるインデックス番号０に
記録する。また、インデックス番号０の子インデックス
として１と２をツリー構造記憶部32に記録する。さら
に、インデックス番号1,２がグループ番号１に属してい
ることをグループ記憶部33に記録する（ステップD2）。

【０１４１】次に、故障診断システムは、入力装置１に
未処理の故障端子の検索命令を入力し、未処理の端子と
してインデックス番号１の端子F3と、インデックス番号
２の端子F4とを得る。

【０１４２】インデックス番号１の端子F3から、回路Ｂ
を抽出して内部の論理状態を推定する。その結果、２つ
の論理状態および故障伝搬経路が求まったとする。一つ
は端子F5, F6から端子F3に故障が伝搬している論理状態
（図11参照）で、もう一つは端子F5, F7から端子F3に故
障が伝搬している論理状態（図12参照）である。端子F5
はインデックス番号３, ４で共通の論理値を持つので、
親インデックス１に登録される。端子F6, F7はそれぞれ
インデックス番号３および４として論理状態記憶部31に
登録され、インデックス番号３および４はインデックス
番号１の子インデックスとしてツリー構造記憶部32に登
録され、インデックス番号３および４はグループ番号２
としてグループ記憶部33に登録される。

【０１４３】次に、もう一つの未処理の端子であるイン
デックス番号２の端子F4から、同様にして回路を抽出し
て内部の論理状態を推定する。その結果、１つの論理状
態および故障伝搬経路が求まるとする。端子F8（図示せ
ず）から端子F4に故障が伝搬している論理状態である。
グループ３には論理状態は１つだけであるので、インデ
ックス番号５で推定された論理値は全て親インデックス
２に登録される。そのため、端子F8の故障状態も親イン
デックス２に登録される。インデックス番号５をインデ
ックス番号２の子インデックスとしてツリー構造記憶部
32に、インデックス番号５をグループ番号３としてグル
ープ記憶部33に登録する。

【０１４４】次に、故障診断システムは、入力装置１に
未処理の故障端子の検索命令を入力し、未処理の端子と
して、インデックス番号１の端子F5と、インデックス番
号２の端子F8と、インデックス番号３の端子F6と、イン
デックス番号４の端子F7と、を得る。

【０１４５】以上の処理を繰り返すことにより、図10の
ようなインデックスツリー構造が得られる。丸で囲んだ
数字がインデックス番号でＧで示した番号がグループ番
号を表す。また、カッコ内の記号は推定された故障端子
を表している。また、ツリー構造の枝はインデックスの
親子関係を示している。図５と異なるところは、共通の
端子が親インデックスに登録されているため、重複して
故障端子の処理を行うことを回避できる点である。例え
ば、インデックス番号３および４の論理状態で推定され
た共通故障端子F5は、親インデックス１に登録するた
め、インデックス１の故障端子として検索され、故障診
断システムにより推定処理される。インデックス３の故
障端子としては端子F6が検索され、インデックス４の故
障端子としては端子F7が検索される。このことにより、
回路Ｃの論理状態の推定処理の重複を回避することがで
きる。

【０１４６】図11、図12中の丸印で囲まれた数字は、論
理状態のインデックス番号を示している。図11は、イン
デックス番号０の故障端子F1,F2 から、インデックス番
号１の論理状態において故障端子F3が推定され、さら
に、インデックス番号３の論理状態において故障端子F
5,F6 が推定され、さらに、インデックス番号６の論理
状態において故障端子F9、インデックス番号８の論理状
態において故障端子F11 が推定されている状態を示して
いる。

【０１４７】また、図12は、インデックス番号０の故障
端子F1, F2から、インデックス番号１の論理状態におい
て故障端子F3が推定され、さらに、インデックス番号４
の論理状態において故障端子F5,F7 が推定され、さら
に、インデックス番号６の論理状態において故障端子F
9、インデックス番号12の論理状態において故障端子F13
が推定されている状態を示している。

【０１４８】図６、図７の場合は、回路Ｃの処理がイン
デックス番号６と10の２回処理されていたが、本発明の
第２の実施の形態では、回路Ｃの処理はインデックス番
号１の故障端子F5から１回処理されるだけである。その
ため、重複処理がなくなり、故障診断を高速におこなう
ことが可能となる。また、ツリー構造が簡素化されるた
め、データ量が少なくなる。

【０１４９】〔第３の実施の形態の構成〕次に、本発明
の第３の実施の形態について図面を参照して詳細に説明
する。図13を参照すると、本発明の第３の実施の形態
は、入力装置１と、記憶装置３と、出力装置４と、コン
ピュータからなるデータ処理装置６と、推定論理状態管
理用プログラムを記録した記録媒体７を備える。この記
録媒体７は磁気ディスク、半導体メモリその他の記録媒
体である。

【０１５０】推定論理状態管理用プログラムは、記録媒
体７からデータ処理装置６に読み込まれ、データ処理装
置６の動作を制御する。データ処理装置６は故障伝搬経
路推定プログラムの制御により、第１或いは第２の実施
の形態におけるデータ処理装置２或いはデータ処理装置
５による処理と同一の処理を実行する。言い換えれば、
推定論理状態管理用プログラムがデータ処理装置６の動
作を制御することで、データ処理装置６上に、図１に示
した処理命令解析手段21, インデックス付加手段22，グ
ループ化手段23, 第１の論理状態登録手段24, 検索条件
解析手段25, 第１の論理状態検索手段26，削除条件解析
手段27，第１の論理状態削除手段28，AND/OR関係検索手
段29, 論理状態設定手段30、或いは、図８に示した処理
命令解析手段21, インデックス付加手段22，グループ化
手段23, 検索条件解析手段25, 第１の論理状態検索手段
26，削除条件解析手段27，第１の論理状態削除手段28，
AND/OR関係検索手段29, 論理状態設定手段30，共通論理
値検索手段51，第２の論理状態登録手段52が実現され
る。

【０１５１】入力装置１から論理状態の「登録処理」
「検索処理」「削除処理」の処理命令が与えられると、
それぞれ、記憶装置３に対して、登録、検索、削除を行
う。

【０１５２】

【発明の効果】第１の効果は、論理状態同士のAND/OR関
係を容易に得ることができるということである。その理
由は、同一の抽出回路において推定された論理状態を一
つのグループにまとめてグループ番号を付し、AND/OR関
係を調べようとする論理状態が同一抽出回路で推定され
たものか否かを識別できるようにしたからである。

【０１５３】第２の効果は、回路内部の論理状態を復元
することができることである。その理由は、各グループ
内の論理状態の内、１つの論理状態を選択することで、
AND関係の論理状態のみを検索できるためである。

【０１５４】第３の効果は、故障診断の処理速度が高速
になり、データ量が少なくなることである。その理由
は、同一グループ内で共通の論理値を持つノードが存在
する時に共通論理値を親インデックスに登録することに
より、故障端子の重複した検索を回避するためである。

【図面の簡単な説明】

【図１】本発明の第１の実施の形態の構成を示すブロッ
ク図である。

【図２】第１の実施の形態におけるデータ処理装置２の
処理例を示す流れ図である。

【図３】本発明の第１の実施の形態におけるAND/OR関係
検索手段29の処理例を示す流れ図である。

【図４】本発明の第１の実施の形態における論理状態設
定手段30の処理例を示す流れ図である。

【図５】本発明の第１の実施の形態により生成されるイ
ンデックスツリー構造の一例を示す図である。

【図６】故障箇所が推定される様子を示した図である。

【図７】故障箇所が推定される様子を示した図である。

【図８】本発明の第２の実施の形態の構成を示すブロッ
ク図である。

【図９】本発明の第２の実施の形態におけるデータ処理
装置５の処理例を示す流れ図である。

【図１０】本発明の第２の実施の形態により生成される
インデックスツリー構造の一例を示す図である。

【図１１】故障箇所が推定される様子を示した図であ
る。

【図１２】故障箇所が推定される様子を示した図であ
る。

【図１３】本発明の第３の実施の形態の構成を示すブロ
ック図である。

【図１４】従来の技術の構成例を示すブロック図であ
る。

【図１５】従来の技術の動作を示す流れ図である。

【図１６】従来の技術によって生成されるインデックス
ツリー構造の一例を示す図である。

【符号の説明】

１…入力装置 ２…データ処理装置 ３…記憶装置 ４…出力装置 21…処理命令解析手段 22…インデックス付加手段 23…グループ化手段 24…第１の論理状態登録手段 25…検索条件解析手段 26…第１の論理状態検索手段 27…削除条件解析手段 28…第１の論理状態削除手段 29…AND/OR関係検索手段 30…論理状態設定手段 31…論理状態記憶部 32…ツリー構造記憶部 33…グループ記憶部 51…共通論理値検索手段 52…第２の論理状態登録手段 81…第３の論理状態登録手段 82…第２の論理状態検索手段 83…第２の論理状態削除手段

Claims (9)

【特許請求の範囲】
1. 【請求項１】 故障診断システムによって推定された論
   理状態をインデックスツリー構造に登録する際に、同一
   の抽出回路において推定された論理状態を一つのグルー
   プにまとめてグループ番号を付すステップと、 前記インデックスツリー構造とグループ番号とを参照し
   て論理状態同士のAND/OR関係を判定するステップと、を
   含むことを特徴とする故障診断における推定論理状態管
   理方法。
2. 【請求項２】 前記インデックスツリー構造とグループ
   番号とに基づいて回路内部の論理状態を復元するステッ
   プを含むことを特徴とする請求項１記載の故障診断にお
   ける推定論理状態管理方法。
3. 【請求項３】 同一グループ内で共通の論理値を持つノ
   ードを検索するステップと、 該ステップで検索されたノードとその論理値とを親イン
   デックスに登録するステップと、を含むことを特徴とす
   る請求項２記載の故障診断における推定論理状態管理方
   法。
4. 【請求項４】 故障診断システムによって推定された論
   理状態をインデックスツリー構造に登録する際に、同一
   の抽出回路において推定された論理状態を一つのグルー
   プにまとめてグループ番号を付すグループ化手段と、 前記インデックスツリー構造とグループ番号とを参照し
   て論理状態同士のAND/OR関係を判定するAND/OR関係検索
   手段と、を備えたことを特徴とする故障診断における推
   定論理状態管理装置。
5. 【請求項５】 前記インデックスツリー構造とグループ
   番号とに基づいて回路内部の論理状態を復元する論理状
   態設定手段を備えたことを特徴とする請求項４記載の故
   障診断における推定論理状態管理装置。
6. 【請求項６】 同一グループ内で共通の論理値を持つノ
   ードを検索する共通論理値検索手段と、 該共通論理値検索手段で検索されたノードとその論理値
   とを親インデックスに登録する第２の論理状態登録手段
   と、を備えたことを特徴とする請求項５記載の故障診断
   における推定論理状態管理装置。
7. 【請求項７】 故障診断システムによって推定された論
   理状態をインデックスツリー構造に登録する際に、同一
   の抽出回路において推定された論理状態を一つのグルー
   プにまとめてグループ番号を付すグループ化処理と、前
   記インデックスツリー構造とグループ番号とを参照して
   論理状態同士のAND/ OR関係を判定するAND/OR関係検索処理とをコンピュータ
   に実行させるためのプログラムを記録した機械読み取り
   可能な記録媒体。
8. 【請求項８】 前記インデックスツリー構造とグループ
   番号とに基づいて回路内部の論理状態を復元する論理状
   態設定処理をコンピュータに実行させるためのプログラ
   ムを記録した請求項７記載のプログラムを記録した機械
   読み取り可能な記録媒体。
9. 【請求項９】 同一グループ内で共通の論理値を持つノ
   ードを検索する共通論理値検索処理と、 該共通論理値検索処理で検索されたノードとその論理値
   とを親インデックスに登録する第２の論理状態登録処理
   と、をコンピュータに実行させるためのプログラムを記
   録した請求項８記載のプログラムを記録した機械読み取
   り可能な記録媒体。