JP2000259636A - グラフ構造検査システム - Google Patents

Abstract

(57)【要約】 【課題】データの接続関係を効率よく検査し、その接続
関係の論理的重複・矛盾をユーザに容易に認識させる。 【解決手段】グラフの要素とその接続関係とを表現した
マトリクスを保持するためのマトリクス記憶部７００
と、あらかじめ定められたパターンの基準マトリクスを
保持する知識ベース１０３と、マトリクス記憶部７００
に保持されたマトリクスにおけるデータのパターンか
ら、基準マトリクスと一致するパターンを検出するパタ
ーン照合部２０３と、検出結果を出力するアラーム出力
部２０４とを備える。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明はグラフ構造の接続関
係を検査する技術に係り、特に、故障診断システムある
いは品質機能展開支援システムなどの知識構造の精度を
認識させるグラフ構造の検査システム、検査方法、およ
び、該検査方法を実現するためのプログラムを保持する
記憶媒体に関する。

【０００２】

【従来の技術】従来、問題解決への着眼点を得るための
方法、または、言語データを整理する手法として、マト
リクス図法、連関図法、系統図法、親和図法などのいわ
ゆる「新ＱＣ（Quality Control）７つ道具」が提案さ
れている。

【０００３】また、特開平３-１３７５１８号公報、特
開平３-１５４８４６号公報および特開平３-１５４８４
７号公報では、故障現象とそれを引き起こす原因との関
係などを示すフォールトツリーを用いて、質問と回答と
の選択を対話形式で受け付けることにより、故障原因を
一つに絞り込むとともに、その故障の修復項目を表示
し、また、使用された回答の状態が生じる確率が高くな
るように学習する故障診断装置が紹介されている。

【０００４】さらに、特開平３-１０８０３０号公報で
は、専門家の知識に原因候補条件を付加して知識ベース
に格納し、因果連鎖木を辿って故障の原因を探索する際
に、それまで辿ってきた原因候補条件の事象に基づいて
探索の分岐判断を行う故障診断エキスパートシステムが
紹介されている。

【０００５】また、特開平６-３０９１７２号公報で
は、機器の故障診断・修繕に関する知識ベースを用いて
推論するとともに、推論失敗時にはその推論結果に事例
データベースからキーワード検索した結果を付加して新
たな知識を生成する知識ベース装置が紹介されている。
なお、この装置には、事例データが多くなった場合には
事例データをルール知識に変換して知識ベースに登録す
る手段が設けられている。

【０００６】

【発明が解決しようとする課題】一般にＱＣ活動は複数
の人員からなるグループで行うため、新ＱＣ７つ道具は
グループで使用することが多く、グループの人数が増加
すると必然的にデータ量も多くなる。新ＱＣ７つ道具は
問題解決への着眼点を得たり、言語データを整理したり
するには優れているが、データ量が多くなるほど、言語
データ間の接続関係が複雑になるため、その論理的重複
・矛盾を認識することが困難になる。これは、上述の従
来技術の場合も同様である。従来のツリー構造を用いた
技術では、ツリー構造が大きくなるほど、頂点間の接続
関係の論理的重複・矛盾を認識することが困難になり、
検査に膨大な時間がかかってしまう。なお、このような
検査を行わない場合、必要以上に大きいツリー（グラ
フ）構造になってしまう。

【０００７】そこで、本発明は、データ（特に言語デー
タ）間の接続関係を効率よく検査し、その接続関係の論
理的重複・矛盾をユーザに容易に認識させることのでき
る検査システムおよび検査方法を提供することを目的と
する。

【０００８】

【課題を解決するための手段】上記目的を達成するた
め、本発明では、複数の頂点と、該頂点のうちの親頂点
から子頂点への接続関係を表す辺とを備えるグラフの構
造を検査する方法であって、グラフの要素およびその接
続関係表現したマトリクスにおけるデータのパターンか
ら、あらかじめ定められたパターンと一致するパターン
を検出するパターン照合ステップと、検出した結果を出
力するアラーム出力ステップとを備えるグラフ構造検査
方法が提供される。

【０００９】また、本発明では、この本発明のグラフ構
造検査方法を実現するためのプログラムをあらかじめ保
持することを特徴とする機械読み取り可能な記録媒体が
提供される。本発明の記録媒体としては、例えば、フロ
ッピーディスク、光記録媒体、光磁気記録媒体、磁気テ
ープなどが挙げられ、その形態は特に限定されるもので
はない。

【００１０】さらに本発明では、上述のグラフ構造検査
方法を実現するシステムが提供される。すなわち、本発
明では、複数の頂点と、該頂点のうちの親頂点から子頂
点への接続関係を表す辺とを備えるグラフの構造を検査
するシステムであって、グラフの要素およびその接続関
係を表現したマトリクスを保持するためのマトリクス記
憶部と、あらかじめ定められたパターンでデータを保持
するセル群からなる基準マトリクスを保持する知識ベー
スと、マトリクス記憶部に保持されたマトリクスにおけ
るデータのパターンから、基準マトリクスにおけるデー
タのパターンと一致するパターンを検出するパターン照
合部と、検出した結果を出力するアラーム出力部とを備
えることを特徴とするグラフ構造検査システムが提供さ
れる。

【００１１】なお、マトリクスは、例えば配列など、親
頂点および子頂点ごとに、該親頂点から該子頂点への辺
の数に応じたデータを保持するためのセルを備えるデー
タ構造とすることができる。

【００１２】また、知識ベースは、往復サイクルパター
ンまたは循環サイクルパターンの基準マトリクスを少な
くとも保持することが望ましい。このようなパターンを
備えることにより、従来検出ために煩雑な処理を必要と
したこれらのパターンを、簡便かつ容易に検出すること
ができる。なお、パターン照合部は、これらのパターン
だけでなく、切断、孤立、ループおよび重複の少なくと
もいずれかの状態を検出する手段を備えることが望まし
い。

【００１３】さらに、本発明のシステムは、マトリクス
の変更の指示の入力を受け付け、該入力された指示に応
じて、マトリクス記憶部に保持されたマトリクスを変更
するパターン変更部を備えることが望ましい。このよう
にすれば、ユーザは、アラーム出力部の出力内容に応じ
て、適宜マトリクスを変更することで、容易に重複や矛
盾のないグラフ構造を作成することができる。

【００１４】なお、本発明のグラフ構造検査システム
は、グラフを構成する要素および接続関係の情報を保持
するためのデータベースと、グラフを構成する要素およ
び接続関係の入力を受け付けて、データベースへ登録す
るデータベース登録部と、データベースの保持する情報
を基にマトリクスを作成してマトリクス記憶部７００へ
格納するマトリクス作成部と、マトリクス記憶部に保持
されたマトリクスを基に、データベースの保持する情報
を更新するデータベース更新部と、データベースまたは
マトリクス記憶部の保持する情報を基に、グラフを作成
して出力するグラフ出力部とを、必要に応じて適宜備え
ることができる。

【００１５】

【発明の実施の形態】以下に、フォールトツリー形のグ
ラフ構造におけるデータの整合性検査を例にとって、本
発明の実施例を説明する。

【００１６】Ａ．システム構成 （１）ハードウエア構成 本実施例のグラフ構造検査システム１００は、図１に示
すように、入力装置１０５と、出力装置１０４と、外部
記憶装置１０６と、解析ステーション１０１とを備える
情報処理装置である。

【００１７】解析ステーション１０１は、入出力（Ｉ／
Ｏ）インタフェース１０１１と、中央演算処理装置（Ｃ
ＰＵ）１０１２と、メモリ１０１３とを備える。出力装
置１０４は、データベース１０２に基づいたマトリクス
やフォールトツリーなどを出力するための装置であり、
表示画面を備える。入力装置１０５は、当該出力装置１
０４に出力されたマトリクスの要素・セルおよびフォー
ルトツリーにおける頂点・辺の選択や、それらの内容の
変更指示などの入力を受け付けるための装置であり、キ
ーボードおよびマウスを備える。解析ステーション１０
１は、入出力インタフェース１０１１を介してこれら出
力装置１０４および入力装置１０５に接続されている。
また、ＣＰＵは外部記憶装置１０６に接続されている。

【００１８】（２）機能構成 外部記憶装置１０６は、図１および図２に示すように、
データベース１０２と、知識ベース１０３とを備える。
データベース１０２は、製品の故障現象と当該故障現象
に対する原因や対策方法などと、それらを結びつける接
続情報などとを保持するための記憶領域である。また、
知識ベース１０３は、アラームを出力するためのパター
ンをあらかじめ保持する記憶領域である。

【００１９】解析ステーション１０１は、図２に示すよ
うに、データベース１０２のレコードを集計するレコー
ド集計部２０１と、その集計結果をマトリクス形状に出
力するマトリクス作成部２０２と、マトリクスの表示パ
ターンの中から知識ベース１０２に格納されているアラ
ームパターンと同じものを抽出するパターン照合部２０
３と、照合結果に応じてアラームを出力するアラーム出
力部２０４と、マトリクスのパターンを変更するパター
ン変更部２０５と、その変更に応じてデータベース１０
２を更新するデータベース更新部２０６と、データベー
ス１０２に基づいてフォールトツリーなどのグラフ構造
を出力装置１０４に出力させるグラフ出力部２０７と、
データベース１０２へデータを登録するためのデータベ
ース登録部２０８と、マトリクスを保持するためのマト
リクス記憶部７００とを有している。

【００２０】なお、本実施例では、マトリクス記憶部７
００はメモリ１０１３に確保された記憶領域である。ま
た、解析ステーションを構成する各部２０１〜２０８
は、外部記憶装置１０６にあらかじめ保持され、メモリ
１０１３に読み込まれたプログラムをＣＰＵ１０１２が
実行することにより実現される。しかし、本発明はこの
ような汎用情報処理装置とソフトウエアとによる実現方
法に限定されるものではない。例えば、以下に説明する
各部の処理を行うハードワイヤードロジックを含むハー
ドウエアや、このようなハードウエアと、あらかじめプ
ログラムされた汎用情報処理装置により実現してもよ
い。

【００２１】Ｂ．データ構造 （１）データベース データベース１０２のテーブル構造を図３に示す。デー
タベース１０２は、この図３に示すように、頂点テーブ
ル３０１と接続テーブル３０２と照合結果テーブル３０
３とを備える。

【００２２】頂点テーブル３０１は、フォールトツリー
における頂点の中身を登録するための頂点フィールド３
０４を、頂点に付された頂点番号ごとに備える。なお、
頂点の中身とは、例えば、故障現象、調査項目、故障原
因、対策方法などである。

【００２３】接続テーブル３０２には、辺のレコードご
とに、その辺により表される接続関係を示す情報を保持
するための子頂点フィールド３０６および親頂点フィー
ルド３０７と、レコード順に付された辺番号を保持する
ための辺番号フィールド３０５とを備える。

【００２４】照合結果テーブル３０３は、アラームパタ
ーン名を保持するためのアラームパターン名フィールド
３０８と、該フィールド３０８ごとに設けられた一つ以
上の接続状態フィールド３０９とを備える。これらのフ
ィールド３０８，３０９への情報の格納は、パターン照
合後に行われる。なお、接続状態フィールド３０９に
は、辺番号フィールド３０５または頂点フィールド３０
４の内容などが記載される。

【００２５】ここで、グラフ（すなわち、ここで用いて
いる例ではフォールトツリー）の基本構造について、図
４を用いて説明しておく。なお、ここでは、頂点を四角
形で示し、親頂点４０２から子頂点４０１への関連付け
を示す辺４０３を矢印で示す。子頂点４０１はデータベ
ース１０２の子頂点フィールド３０６の一つの要素（＝
データ）である。また、親頂点４０２はその子頂点フィ
ールド３０６と同じレコードの親頂点フィールド３０７
の要素である。辺４０３はその子頂点フィールド３０６
と同じレコードの辺番号フィールド３０５の要素であ
る。

【００２６】（２）知識ベース 知識ベース１０３には、抽出対象のデータパターンがマ
トリクス（基準マトリクスと呼ぶ）の形で登録されてい
る。なお、本実施例では、基準マトリクスは配列として
保持されるが、本発明はこれには限られず、他のデータ
形式により保持されてもよい。

【００２７】本実施例においてあらかじめ知識ベース１
０３に登録されている基準パターンを、図９および図１
０を用いて説明する。なお、図９および図１０におい
て、セルに付されたハッチングは、そのセルが「０」以
外の値を保持する「ＯＮ」の状態であることを表し、白
抜きのセルは保持するデータが「０」である「ＯＦＦ」
の状態である。

【００２８】フォールトツリーにおいて、Ａ→Ｂ→Ａの
ように同じ要素どうしの間に一つ別の要素が挟まってい
るパターンを、ここでは往復サイクルパターンと呼ぶ。
このようなパターンをマトリクスで表現した例を図９に
示す。なお、マトリクスの行、列はそれぞれ親頂点、子
頂点を表し、各セルの「ＯＮ」および「ＯＦＦ」はその
行の表す頂点を親頂点とし、その列の表す頂点を子頂点
とする辺の有無を表す。

【００２９】一方、Ａ→Ｂ→Ｃ→Ａのように同一要素の
間に二つ以上の別の要素が挟まっているパターンを、こ
こでは循環サイクルパターンと呼ぶ。このようなパター
ンをマトリクスで表現した例を図１０に示す。パターン
１００１およびパターン１００５は要素が３つの場合の
３行３列のパターン例、パターン１００２〜１００４お
よびパターン１００６〜１００８は要素が４つの場合の
４行４列のパターン例である。

【００３０】本実施例では、往復サイクルパターンのマ
トリクス９００として、要素が二つの場合の２行２列の
マトリクスパターン９０１、要素が３つの場合の３行３
列のパターン９０２、および、要素が４つの場合の４行
４列のパターン９０３が知識ベース１０３に登録されて
おり、さらに、要素が５つ以上の場合に相当するパター
ンについても、同様に登録されている。また、循環サイ
クルパターン１０００として、パターン１００１〜１０
０４があらかじめ知識ベース１０３に登録されている。
なお、図１０に示したパターン１００５〜１００８は、
基準となるパターン１００１〜１００４を１８０°回転
させることにより得ることができるため、本実施例では
知識ベース１０３に登録されていない。また、図９およ
び図１０に示した例は、要素が４つまでのパターンであ
るが、本実施例では、要素が５つ以上の場合に相当する
パターンについても知識ベース１０３にあらかじめ登録
されている。登録するパターンの要素数は、処理対象と
するフォールトツリーの頂点数に応じて、適宜決定すれ
ばよい。

【００３１】（３）マトリクス記憶部 マトリクス記憶部７００に保持されるマトリクス（以
下、「マトリクス７００」と表現する場合がある）は、
図７に示すように、行要素７０１と、列要素７０２と、
対応する行要素７０１のデータを親頂点とし、対応する
列要素７０２のデータを子頂点とする辺の数を保持する
ためのセル７０３とで構成される配列である。なお、図
７では、辺の数が「０」であるセル７０３の内容の図示
は省略した。

【００３２】本実施例では、マトリクスは配列としてメ
モリ１０１３に一時的に保持されるが、本発明はこれに
は限られず、他のデータ形式により保持されてもよい。
また、外部記憶装置１０６に保持するようにしてもよ
い。

【００３３】Ｃ．処理の流れ つぎに、本願発明の解析ステーション１０１における処
理の流れについて、図１１を用いて説明する。

【００３４】解析ステーション１０１が起動されると、
まず、データベース登録部２０８が、入力装置１０５を
介してフォールトツリーの入力を受け付け、入力された
情報を基に、頂点および辺の情報をデータベース１０２
に登録し（ステップ１１００）、レコード集計部２０１
が、データベース１０２の頂点フィールドに入力されて
いる要素と要素との組合せに基づいて、データベース１
０２のレコードを集計する（ステップ１１０１）。な
お、本実施例では、このように、レコード集計部２０１
による集計処理の前に、処理対象フォールトツリーの入
力が受け付けられるが、あらかじめ処理対象のフォール
トツリーに応じた情報が登録されていれば、このような
手順には限られない。例えば、あらかじめ登録されてい
るデータベース１０２を用いることにより、データベー
ス登録部２０８を省略してもよい。

【００３５】次に、マトリクス作成部２０２が、レコー
ド集計部２０１による集計結果をマトリクスの形にした
後（ステップ１１０２）、パターン照合部２０３が得ら
れたマトリクスの表示パターンの中から知識ベース１０
２に格納されているアラームパターンと同じものを抽出
し、照合の結果、アラームパターンと同じものが検出さ
れると、アラーム出力部２０４が、検出した結果に応じ
たアラームを出力装置１０４の表示画面に表示する（ス
テップ１１０３〜１１０７）。

【００３６】続いて、データベース更新部２０６が検出
結果をデータベース１０２に登録した後（ステップ１１
０８）、パターン変更部２０５が、入力装置１０５を介
して変更の指示を受け付け、指示内容に応じてマトリク
スの要素・セルのパターンを変更し（ステップ１１０
９）、変更されたマトリクスに応じて、データベース更
新部２０６がデータベース１０２の内容を更新する（ス
テップ１１１０）。最後に、グラフ出力部２０７が、更
新されたデータベース１０２の内容に基づいて、フォー
ルトツリーなどのグラフ構造を出力装置１０４に出力す
る（ステップ１１１１）。

【００３７】なお、あらかじめ処理対象のマトリクスが
用意される場合には、マトリクス作成部を省略すること
ができる。また、本実施例では、照合するパターンの処
理の応じた各処理が実行されるたびに、検出結果がアラ
ーム出力部２０４により表示されるが、本発明はこれに
は限られない。本実施例のように登録されたすべてのパ
ターンについての照合処理が終了してから、集計された
検出アラームパターンを一括して表示する（ステップ１
１０８）場合には、各照合処理における表示を省略して
もよい。

【００３８】（１）データベースの登録（ステップ１１
００） まず、データベース登録部２０８によるデータベース１
０２への登録作業について、図５に示したフォールトツ
リーを処理対象とする場合を例にとって説明しておく。

【００３９】図５に示したフォールトツリーは、Ａ〜Ｊ
の１０個の頂点と、それらを結ぶ１５個の辺とからなっ
ている。データベース登録部２０８は、入力装置１０５
を介してフォールトツリーの入力を受け付け、受け付け
たフォールトツリーの各頂点に頂点番号を付して、図６
（ａ）に示すように頂点テーブル３０１に格納する。さ
らに、データベース登録部２０８は、各辺に辺番号を付
して、図６（ｂ）に示すように、当該辺番号とその辺の
子頂点および親頂点とを接続テーブル３０２に格納す
る。

【００４０】（２）マトリクスの作成（ステップ１１０
１〜１１０２） 以上のようにして登録されたデータベース１０２の情報
を基に、レコード集計部２０１が、データベース１０２
に保持されている頂点と辺との情報に基づいて、図１１
に示すように、データベース１０２のレコードを集計し
て頂点と辺の数を求め（ステップ１１０１）、この集計
の結果に基づき、マトリクス作成部２０２が、マトリク
ス記憶部７００に図７に示すようなマトリクスを作成
し、「０」以外の値を保持するマトリクスを「ＯＮ」、
「０」を保持するマトリクスを「ＯＦＦ」とし、「Ｏ
Ｎ」のセルの数を求める（ステップ１１０２）。ここ
で、図７に示したマトリクスの例は、図６に示したデー
タベース１０２を処理対象として得られるものである。

【００４１】マトリクス作成部２０２は、行要素７０１
および列要素７０２に、それぞれ、頂点テーブル３０１
の頂点フィールド３０４のデータを順番に記載する。ま
た、各セル７０３には、接続テーブル３０２の内容に基
づいて、行要素７０１のデータを親頂点とし、列要素７
０２のデータを子頂点とする辺の数をセル７０３に格納
する。

【００４２】なお、本実施例では、フォールトツリーの
入力を受け付け、これに基づいてデータベース１０２へ
の登録が行われる（ステップ１１００）が、本発明はこ
れには限られず、最終的に、処理対象のグラフを表現し
たマトリクスがマトリクス記憶部７００に保持されれ
ば、その入力・作成方法は特に限定されるものではな
い。例えば、マトリクスの入力を受け付けて、これに基
づいてデータベース１０２への登録を行うようにしても
よい。このようにする場合は、マトリクス作成部２０２
が、入力されたマトリクスをマトリクス記憶部７００に
登録するようにすることにより、上述のマトリクス作成
処理（ステップ１１０１〜１１０２）を省略することが
できる。また、データベース登録部２０８は、ステップ
１１００の処理を行う代わりに、このマトリクス作成処
理の後で、マトリクス記憶部７００に保持されたデータ
を基に、データベース登録処理を行うようにすればよ
い。つぎに、この場合のマトリクス作成処理およびデー
タベース登録処理の具体例を、図２４および図２５を用
いて説明する。

【００４３】まず、マトリクス作成部２０２が、要素お
よびセルに何も記入されていないマトリクスを出力装置
１０４の表示画面に表示しその行要素７０２への任意の
要素名の入力を受け付ける。要素名が入力されると、マ
トリクス作成部２０２は、入力された行要素と同じ要素
名を、列要素７０１および行要素７０２へ追加し、セル
への数値の入力を受け付けた後、図２４に示すように、
マトリクス記憶部７００へ格納する。なお、図２４に示
した例では、要素Ａ、要素Ｂ、および、辺Ａ→Ｂの入力
が受け付けられている。

【００４４】続いて、データベース登録部２０１が、マ
トリクス記憶部７００に保持されたマトリクスのデータ
を、図２５に示すように、データベース１０２の頂点テ
ーブル３０１と接続テーブル３０２に登録する。なお、
この図２５に示す各テーブル３０１，３０２を基に、ス
テップ１１１１においてグラフ出力部２０７が作成し出
力するグラフの例を図２６に示す。

【００４５】（３）パターンの照合（ステップ１１０３
〜１１０７） 次に、パターン照合部２０３が、作成されたマトリクス
を知識ベース１０２に登録されているパターンと照合す
る（ステップ１１０３〜１１０７）。なお、ここでは、
ステップ１１０１において求められた頂点数（すなわ
ち、頂点テーブル３０１のレコード数）をαとし、辺数
（すなわち、接続テーブル３０２のレコード数）をβ０
とする。また、ステップ１１０２において求められたＯ
Ｎのセルの数をβ１とする。

【００４６】照合処理において、パターン照合部２０３
は、マトリクス中の切断または孤立（ステップ１１０
３）、ループ（ステップ１１０４）、重複（１１０
５）、往復サイクル（ステップ１１０６）、循環サイク
ル（ステップ１１０７）のパターンの有無を検査し、こ
れらのパターンが検出されれば、アラーム出力部２０４
により、検出されたパターンに応じたメッセージを出力
装置１０４の表示画面に表示させる。なお、「切断」と
はそれより上位の親頂点がない状態（すなわち、いかな
る辺の子頂点ともなっていない状態）を指し、「孤立」
とは孤立した頂点、すなわち、次数が零の状態を指し、
「ループ」とはＡ→Ａのように同じ頂点の間に辺が設け
られている状態を指し、「重複」とは同じレコードが二
つ以上ある状態を指す。

【００４７】ａ．切断または孤立パターン検出処理（ス
テップ１１０３） ステップ１１０３における処理の流れを図２７に示す。
ステップ１１０３において、パターン照合部２０３は、
頂点数αが０であればステップ１１０３を終了し（ステ
ップ２７０１）、そうでなければ、変数Ｎに１を代入し
た後（ステップ２７０２）、以下のステップ２７０３〜
２７１０の処理をＮがαと一致するまで繰り返す（ステ
ップ２７０９，２７１０）。

【００４８】まず、パターン照合部２０３は、マトリク
ス記憶部７００に保持されたマトリクスのＮ列のセルが
すべてＯＦＦであれば（ステップ２７０３，２７０
４）、さらにＮ行のセルがすべてＯＦＦか否か検査する
（ステップ２７０５）。

【００４９】ここで、Ｎ行のセルがすべてＯＦＦであれ
ば（ステップ２７０６）、頂点番号Ｎの頂点は孤立して
いるので、パターン照合部２０３は、アラーム出力部２
０４により孤立している旨のメッセージを出力装置１０
４の表示画面に出力する（ステップ２７０８）。また、
Ｎ行のセルにＯＮのセルがあれば（ステップ２７０
６）、頂点番号Ｎの頂点を子頂点とする辺がないことに
なるので、パターン照合部２０３は、アラーム出力部２
０４により切断パターンを検出した旨のメッセージ（切
断アラーム）を出力装置１０４の表示画面に出力する
（ステップ２７０９）。いずれの場合も、アラーム出力
処理（ステップ２７０７，２７０８）の後、パターン照
合部２０３は、Ｎがαと一致しなければ（ステップ２７
０９）、Ｎを１増加させて（ステップ２７１０）、処理
をステップ２７０３に戻す。

【００５０】ステップ２７０４において、Ｎ行のセルに
ＯＮのセルがあった場合、パターン照合部２０３は、ア
ラーム出力部２０４によるアラーム出力処理を行うこと
なく、処理を上述のステップ２７０９に進める。

【００５１】以上の処理の概要と、ステップ２７０７に
おける切断アラームの表示例を図１２に模式的に示す。
この例では、１番目の列、すなわち要素Ａの列のセルが
すべてＯＦＦになっており、頂点Ａを子頂点とする辺が
ない。パターン照合部２０３は、図１２において矢印１
２０１で示す方向に検査対象を移動させながら、各列１
２０２ごとに検査（ステップ２７０３〜２７０６）を繰
り返す。要素Ａの列の切断が検出されると、アラーム出
力部２０４は、この要素Ａの列１２０２ａを強調表示す
ることにより、頂点Ａがフォールトツリーの最上流とな
っていることを示す。

【００５２】なお、ステップ２７０７，２７０８におい
て、「頂点Ａを子頂点とする辺がありません」または
「頂点Ａが孤立しています」といったメッセージを表示
するようにしてもよい。 ｂ．ループパターン検出処理（ステップ１１０４） ステップ１１０４における処理の流れを図２８に示す。
ステップ１１０４において、パターン照合部２０３は、
頂点数αが０であればステップ１１０４を終了し（ステ
ップ２８０１）、そうでなければ、変数Ｎに１を代入し
た後（ステップ２８０２）、マトリクス記憶部７００に
保持されたマトリクスのＮ行目Ｎ列目のセル（Ｎ，Ｎ）
の内容を検査する（ステップ２８０３）。ここで、セル
がＯＮであれば（ステップ２８０４）、頂点番号Ｎの頂
点を親頂点および子頂点の両方とする辺があるというこ
とになるので、パターン照合部２０３は、アラーム出力
部２０４によりループしている旨のメッセージを出力装
置１０４の表示画面に出力した後（ステップ２８０
５）、Ｎがαと一致しなければ（ステップ２８０６）、
Ｎを１増加させて（ステップ２８０７）、処理をステッ
プ２８０３に戻す。

【００５３】ステップ２８０４において、セル（Ｎ，
Ｎ）がＯＦＦであった場合、パターン照合部２０３は、
アラーム出力部２０４によるアラーム出力処理を行うこ
となく、処理を上述のステップ２８０６に進める。

【００５４】以上の処理の概要と、ステップ２８０５に
おけるループアラームの表示例を図１３に模式的に示
す。この例では、１０行目１０列目（１０，１０）のセ
ルがＯＮになっており、これは、頂点Ｊを親頂点および
子頂点とする辺があることを示す。パターン照合部２０
３は、図１３において矢印１３０１で示す方向に検査対
象を移動させながら、対角線上の各セル１３０２ごとに
検査（ステップ２８０３〜２８０４）を繰り返す。要素
Ｊのループが検出されると、アラーム出力部２０４は、
このセル（Ｊ，Ｊ）１３０２ａを強調表示する。なお、
ステップ２８０５において、「頂点Ｊがループしていま
す」といったメッセージを表示するようにしてもよい。 ｃ．重複パターン検出処理（１１０５） 重複パターンは、辺の数が２以上でなければ発生しな
い。そこで、ステップ１１０５において、パターン照合
部２０３は、図２９に示すように、まず、総辺数β０を
チェックし、２未満であればステップ１１０５を終了す
る（ステップ２９０１）。総辺数β０が２以上であれ
ば、パターン照合部２０３は、総辺数β０からＯＮのセ
ル変数β１を引き、得られた値を変数γに代入した後
（ステップ２９０２）、γの値をチェックする（ステッ
プ２９０３）。γの値が０であれば、重複した辺はない
ことになるので、パターン照合部２０３は、ステップ１
１０５を終了する。

【００５５】ステップ２９０３においてγの値が１以上
であれば、パターン照合部２０３は、γの値に１を加え
て（ステップ２９０４）、マトリクス記憶部７００に保
持されたマトリクスから、セルの値（すなわち辺の数）
がγと一致するセルを検出し、検出されれば、アラーム
出力部２０４により検出されたセルに対応する辺が重複
している旨のメッセージを出力装置１０４の表示画面に
出力する（ステップ２９０７）。続いて、パターン照合
部２０３は、γの値が２であれば処理を終了し（ステッ
プ２９０８）、そうでなければ、γの値から１を引いて
（ステップ２９０９）、処理をステップ２９０５に戻
す。

【００５６】以上の処理の概要と、ステップ２９０７に
おける重複アラームの表示例を図１４に模式的に示す。
この例では、１０行１０列目のセルがＯＮになってお
り、これは、頂点Ｊを親頂点および子頂点とする辺があ
ることを示す。パターン照合部２０３は、図１４におい
て矢印１４０１で示す方向に検査対象を移動させなが
ら、各セルの値の検査（ステップ２９０５〜２９０９）
を繰り返す。２以上の値を保持するセルが検出される
と、アラーム出力部２０４は、検出されたセル１４０２
を強調表示する。なお、ステップ２９０７において、
「辺Ａ→Ｂが重複しています」といったメッセージを表
示するようにしてもよい。 ｄ．往復サイクルパターン検出処理（ステップ１１０
６） 往復サイクルパターンは、頂点の数が２以上でなければ
発生しない。そこで、ステップ１１０６において、パタ
ーン照合部２０３は、図３０に示すように、まず、頂点
数αをチェックし、２未満であればステップ１１０６の
処理を終了する（ステップ３００１）。頂点数αが２以
上であれば、パターン照合部２０３は、変数Ｎに２を代
入した後（ステップ３００２）、マトリクス記憶部７０
０に保持されたマトリクス内のＮ行Ｎ列のセル群（ただ
し、ｎを任意の要素とするとき、ｎ行ｎ列目のセル
（ｎ，ｎ）を含むもの）と、知識ベース１０３にあらか
じめ保持されたＮ行Ｎ列の往復サイクルパターンマトリ
クス９００とを照合する（ステップ３００３）。

【００５７】ここで、処理対象のマトリクス記憶部７０
０に保持されたマトリクスと知識ベース１０３のマトリ
クス９００とが一致すると（ステップ３００４）、パタ
ーン照合部２０３は、アラーム出力部２０４により、往
復サイクルパターンを検出した旨のメッセージを出力装
置１０４の表示画面に出力した後（ステップ３００
５）、Ｎがαと一致するまで（ステップ３００６）、Ｎ
を１増加させて（ステップ３００７）、処理をステップ
３００３に戻し、変数Ｎが頂点数αと一致すると、処理
を終了する（ステップ３００６）。

【００５８】また、ステップ３００３においてマトリク
ス記憶部７００に保持されたマトリクスと、知識ベース
１０３のマトリクス９００とが一致しなければ（ステッ
プ３００４）、パターン照合部２０３は、アラーム出力
部２０４によるアラーム出力処理を行うことなく、処理
を上述のステップ３００６に進める。

【００５９】以上の処理の概要と、ステップ３００５に
おける往復サイクルパターンのアラームの表示例を図１
５に模式的に示す。ここで用いている例（フォールトツ
リーを図５に図示した）では、Ｃ→Ｇ→Ｃのパターンが
含まれており、これは５行５列の往復サイクルパターン
に該当する。パターン照合部２０３は、図１５において
矢印１５０１で示す方向に検査対象を移動させながら、
対角線上のＮ行Ｎ列の各セル群１５０２ごとに検査（ス
テップ３００３〜３００４）を繰り返す。この結果、Ｎ
＝５のとき、５行５列のセル群１５０２ａの往復サイク
ルパターンとの一致が検出され、アラーム出力部２０４
により、このセル群１５０２ａが強調表示される。な
お、ステップ３００５において、「Ｃ→Ｇ→Ｃの往復サ
イクルパターンがあります」といったメッセージを表示
するようにしてもよい。 ｅ．循環サイクルパターン検出処理（ステップ１１０
７） 循環サイクルパターンは、頂点の数が３以上でなければ
発生しない。そこで、ステップ１１０７において、パタ
ーン照合部２０３は、図３１に示すように、まず、頂点
数αをチェックし、３未満であればステップ１１０７の
処理を終了する（ステップ３１０１）。頂点数αが３以
上であれば、パターン照合部２０３は、変数Ｎに３を代
入した後（ステップ３１０２）、マトリクス記憶部７０
０に保持されたマトリクス内のＮ行Ｎ列のセル群（ただ
し、ｎを任意の要素とするとき、ｎ行ｎ列目のセル
（ｎ，ｎ）を含むもの）と、知識ベース１０３にあらか
じめ保持されたＮ行Ｎ列の循環サイクルパターンマトリ
クス１０００とを照合する（ステップ３１０３）。

【００６０】ここで、処理対象マトリクス７００と、照
合対象のマトリクス１０００とが一致すると（ステップ
３１０４）、パターン照合部２０３は、アラーム出力部
２０４により、循環サイクルパターンを検出した旨のメ
ッセージを出力装置１０４の表示画面に出力する（ステ
ップ３１０５）。続いて、パターン照合部２０３は、照
合対象のマトリクス１０００を１８０°回転させ（ステ
ップ３１０６）、再度、ステップ３１０３〜３１０５と
同様の処理を行い（ステップ３１０７〜３１０９）、Ｎ
がαと一致するまで（ステップ３１１０）、Ｎを１増加
させて（ステップ３１１１）、処理をステップ３１０３
に戻し、変数Ｎが頂点数αと一致すると、処理を終了す
る（ステップ３１１０）。

【００６１】以上の処理の概要と、ステップ３１０５，
３１０９における循環サイクルパターンのアラームの表
示例を図１６，１７に模式的に示す。図５に示した例で
は、Ｄ→Ｅ→Ｆ→Ｄという３行３列のマトリクス１００
１で表現されるの循環サイクルパターンと、Ｃ→Ｊ→Ｇ
→Ｃという８行８列のマトリクスで表現されるの循環サ
イクルパターンとが含まれている。

【００６２】パターン照合部２０３は、図１６または図
１７において矢印１６０１で示す方向に検査対象を移動
させながら、対角線上のＮ行Ｎ列の各セル群１６０２ご
とに検査（ステップ３１０３〜３１０４，３１０７〜３
１０８）を繰り返し、Ｎ＝３のとき、３行３列のセル群
１６０２ａ（図１６に図示）の循環サイクルパターンを
検出して、アラーム出力部２０４により、このセル群１
６０２ａを強調表示する（ステップ３１０５）。また、
Ｎ＝８のとき、８行８列のセル群１６０２ｂ（図１７に
図示）の循環サイクルパターンを検出して、アラーム出
力部２０４により、このセル群１６０２ｂを強調表示す
る（ステップ３１０９）。なお、ステップ３１０５，３
１０９において、「Ｄ→Ｅ→Ｆ→Ｄの循環サイクルパタ
ーンがあります」または「Ｃ→Ｊ→Ｇ→Ｃの循環サイク
ルパターンがあります」といったメッセージを表示する
ようにしてもよい。 （４）照合結果の登録（ステップ１１０８） 以上の照合処理の結果は、データベース更新部２０６に
よりデータベース１０３の照合結果テーブル３０３に登
録される（ステップ１１０８）。

【００６３】すなわち、まず、データベース更新部２０
６が、照合結果を集計し、図１８に示すようにアラーム
パターン名フィールド３０８と、それに対応する接続状
態フィールド３０９とに格納する。なお、接続状態フィ
ールド３０９には、アラームパターンが切断、孤立およ
びループの場合１８０１は検出した場所の子頂点フィー
ルド３０６のデータが記載され、重複の場合１８０２は
検出した場所の子頂点フィールド３０６、親頂点フィー
ルド３０７および重複する辺の数（すなわちセルの保持
する数値）が順に記載され、往復サイクルおよび循環サ
イクルの場合１８０３は検出した場所の辺番号フィール
ド３０５のデータが順に記載される。

【００６４】（５）データベースの変更（ステップ１１
０９〜１１１０） 続いて、グラフ出力部２０７が、データベース更新部２
０６による上述の集計結果と、マトリクス記憶部７００
に保持されたマトリクスの内容とを出力装置１０４の表
示画面に表示する。なお、本実施例では、この集計結果
の表示は、図１８と同様の表形式により行われる。ま
た、マトリクス記憶部７００に保持されたマトリクスの
内容は、グラフ（フォールトツリー）の形で表示され
る。

【００６５】ここで表示されるグラフの例として、図７
に示した変更前のマトリクス７００を基に、グラフ出力
部２０７により出力されるグラフを、図８に示す。図８
に示したグラフは、図５に示したグラフと同じフォール
トツリーを表現したものであるが、頂点テーブル３０１
および接続テーブル３０２を基に作成されるため、頂点
が重複して表示されることがない。したがって、このグ
ラフを参照することにより、ユーザはアラームパターン
の存在を容易に認識することができる。

【００６６】このグラフを表示する際、ステップ１１０
３〜１１０７において検出されたアラームパターンを強
調表示することが望ましい。強調表示の方法は特に限定
されないが、例えば、頂点や辺の表示を点滅させたり、
それらの表示色をアラームパターンの種類に応じて変更
するなどして、ユーザの認識をさらに容易にすることが
できる。また、図８に示したように、頂点番号や辺番号
を併記するようにすれば、表形式で表現された検出結果
との対応を容易に認識できるため、好ましい。

【００６７】次に、パターン変更部２０５が、入力装置
１０５を介して、変更対象の要素と、その変更方法（削
除、追加、移動、合成など）の入力を受け付け、入力内
容に応じて、マトリクス記憶部７００に保持されたマト
リクスを変更する（ステップ１１０９）。続いて、デー
タベース変更部２０６が、変更されたマトリクス７００
の内容に応じて、データベース１０２の頂点テーブル３
０１および接続テーブル３０２の内容を変更する（ステ
ップ１１１０）。

【００６８】なお、変更後のデータベース１０２（また
はマトリクス７０）に対して、終了が指示されるか、ア
ラームパターンが検出されなくなるまで、再度、ステッ
プ１１０１〜１１１０（またはステップ１１０３〜１１
１０）の処理を繰り返すようにしてもよい。また、本実
施例では、パターン変更部２０５によりマトリクス記憶
部７００に保持されたマトリクスを変更し、これをデー
タベース変更部２０６がデータベース１０２へ反映させ
るが、入力に応じてデータベース１０２を直接変更する
ことで、パターン変更部２０５を省略してもよい。

【００６９】（６）結果出力（ステップ１１１１） 最後に、グラフ出力部２０７が、更新されたデータベー
ス１０２の内容に基づいて、フォールトツリーなどのグ
ラフ構造を出力装置１０４に出力する（ステップ１１１
１）。

【００７０】ステップ１１０９において、辺ｅ７，ｅ
８，ｅ９，ｅ１３，ｅ１４を削除し、頂点Ｄ’を追加す
るという指示が入力された場合の、ステップ１１１１に
おける表示例を、図３２に示す。本実施例によれば、こ
のようにループ、重複、往復サイクルおよび循環サイク
ルといった矛盾のないグラフを、容易に作成することが
できる。

【００７１】なお、本実施例では、更新されたデータベ
ース１０２を基にグラフが作成されるが、マトリクス記
憶部７００の保持するマトリクスを基にグラフを作成す
るようにしてもよい。

【００７２】Ｄ．データの加工 ステップ１１０９において、パターン変更部２０５は、
マトリクス記憶部７００に保持されたマトリクスにおけ
る要素（頂点）や接続関係（辺）の合成、削除、追加お
よび移動の指示を受け付け、指示内容に応じて当該マト
リクスの内容を変更する。この変更処理について、要素
の合成および接続関係の削除を例にとって説明する。な
お、要素や接続関係の追加または移動も、マトリクス７
００の行要素７０１・列要素７０２の増減、および、セ
ル７０３の保持するデータの変更により適宜行うことが
できる。

【００７３】複数の人員からなるグループによるＱＣ活
動で品質機能展開など行うと、似たような言語データが
いくつも発生し、しかも、それぞれの言語データが複雑
に接続しているのが普通である。したがって、このよう
な場合には、言語データと言語データとの合成や接続関
係の削除などの処理が必要になる。本実施例によれば、
このようなデータの加工を容易に行うことができる。

【００７４】（１）要素の合成 マトリクス記憶部７００に保持されたマトリクスの二つ
の要素を合成する（すなわち、グラフにおける二つの頂
点を合成する）手続きを、図７に示したマトリクス７０
０において要素Ｆを要素Ｇに合成する場合を例にとっ
て、図１９を用いて説明する。なお、図１９では合成す
る要素のパターンと合成される要素のパターンとを太枠
で囲み、前者にハッチングを付した。

【００７５】まず、パターン変更部２０５は、合成する
要素と合成される要素の選択を受け付け、選択された要
素のパターンを合成する。すなわち、パターン変更部２
０５は、図２０に示すように、合成する要素Ｆをマトリ
クス７００から削除し、要素Ｇの各セルの保持する値
に、要素Ｆの各セルの保持する値を加算する。なお、図
２０では、合成により値が変化したセルを太枠で囲ん
だ。

【００７６】このようにして変更されたマトリクス７０
０は、ステップ１１１０において、データベース更新部
２０６により、データベース１０２に反映される。すな
わち、データベース更新部２０６は、変更後のマトリク
ス７００の内容に応じて、頂点テーブル３０１と接続テ
ーブル３０２とを変更する。ここで用いている例では、
図６に示したテーブル３０１，３０２が、図２１に示し
たように変更される。図２１においては、頂点テーブル
３０１から頂点Ｆのレコード３０１ａが削除され、接続
テーブル３０２の辺ｅ６のレコード３０２ａに対応する
子頂点フィールド３０６（太枠で囲んで図示）の保持す
る値と、辺ｅ９のレコード３０２ｂに対応する親頂点フ
ィールド３０７（太枠で囲んで図示）の保持する値と
が、それぞれ頂点Ｇに変更されている。

【００７７】グラフ出力部２０７は、変更後のデータベ
ース１０２に基づいてグラフを作成し、表示する。変更
前のグラフを図２２（ａ）に、ステップ１１１１におい
てグラフ出力部２０７により出力される変更後のグラフ
を図２２（ｂ）に、それぞれ示す。

【００７８】（２）接続関係の削除 つぎに、接続関係を削除する手続きを、図２３を用いて
説明する。図２３に示した例では、動作開始年よりも故
障発生年が早い領域（ハッチングを付して図示）にある
データ（太枠で囲んで図示）は誤りである。そこで、こ
れらのデータを削除する必要がある。

【００７９】ステップ１１０９において削除が指示され
ると、パターン変更部２０５は、削除する辺に対応する
セルの選択を受け付け、選択されたセルの保持する値か
ら１を引く。これにより、当該セルの表す辺が一つ削除
されたことになる。なお、ここで、選択されたセルの保
持する値を「０」にする（すなわち、当該セルの表す辺
をすべて削除する）ようにしてもよい。

【００８０】このようにして変更されたマトリクス７０
０は、データベース更新部２０６により、データベース
１０２に反映され、その結果は、グラフ出力部２０７に
よって表示される。

【００８１】Ｅ．本実施例の効果 本実施例のグラフ構造検査システム１００は、処理対象
グラフから得られたマトリクス７００から、あらかじめ
用意されたアラームパターン９００，１０００と同じパ
ターンを抽出し、その抽出結果を表示する。したがっ
て、本実施例によれば、ユーザは、この抽出結果から、
要素や接続関係の論理的重複や矛盾などを容易に認識す
ることができる。しかも、検査がパターン照合によって
行われるので、処理対象のグラフ構造が大規模になって
も短時間で抽出処理を実行することができる。また、抽
出するアラームパターンとして、知識ベース１０３に蓄
積・保存されているパターンを用いるため、検査処理の
都度パターンを作成する必要はなく、効率的である。

【００８２】さらに、本実施例のグラフ構造検査システ
ム１００は、ユーザによるマトリクスの変更指示を受け
付けて、指示内容に応じてデータベース１０２の内容を
更新することができる。したがって、本実施例によれ
ば、上述の抽出処理の出力結果から認識された重複や矛
盾などの不具合に対して、ユーザは、接続関係の修正・
整理を、マトリクス表示を見ながら図式的に行うことが
でき、短時間で簡単に重複や矛盾のないグラフを作成す
ることができる。

【００８３】なお、本実施例では、フォールトツリーを
処理対象としたが、本発明はこれには限られない。要素
とその接続関係とにより構成されるものであれば、マト
リクス図法、連関図法、系統図法、親和図法など、他の
図法により作成されたグラフの構造の検査にも適用する
ことができる。

【００８４】

【発明の効果】本発明によれば、データの接続関係を効
率よく検査し、その接続関係の論理的重複・矛盾をユー
ザに容易に認識させることができる。

【図面の簡単な説明】

【図１】 実施例１のグラフ構造検査システムのハード
ウエア構成図である。

【図２】 実施例１における解析ステーションの機能ブ
ロック図である。

【図３】 データベースのテーブル構造を示す模式図で
ある。

【図４】 処理対象とするグラフの基本構造を示す模式
図である。

【図５】 処理対象とするフォールトツリーの構造例を
示す模式図である。

【図６】 頂点テーブルおよび接続テーブルのデータ例
を示す模式図である。

【図７】 マトリクスのデータ構造を示す模式図であ
る。

【図８】 フォールトツリーのグラフ表示例を示す説明
図である。

【図９】 往復サイクルパターンの例を示す説明図であ
る。

【図１０】 循環サイクルパターンの例を示す説明図で
ある。

【図１１】 実施例１におけるグラフ構造検査の処理を
示す流れ図である。

【図１２】 切断パターン検出処理およびその結果を示
す説明図である。

【図１３】 ループパターン検出処理およびその結果を
示す説明図である。

【図１４】 重複パターン検出処理およびその結果を示
す説明図である。

【図１５】 往復サイクルパターン検出処理およびその
結果を示す説明図である。

【図１６】 循環サイクルパターン検出処理およびその
結果を示す説明図である。

【図１７】 基準パターンを１８０度回転した循環サイ
クルパターン検出処理およびその結果を示す説明図であ
る。

【図１８】 照合結果テーブルのデータ例を示す模式図
である。

【図１９】 要素の合成処理を示す説明図である。

【図２０】 要素合成後のマトリクスを示す説明図であ
る。

【図２１】 要素合成後の頂点テーブルおよび接続テー
ブルを示す説明図である。

【図２２】 要素合成処理前後のグラフを示す説明図で
ある。

【図２３】 接続関係の削除処理を示す説明図である。

【図２４】 マトリクスの入力例を示す説明図である。

【図２５】 頂点テーブルおよび接続テーブルの作成例
を示す説明図である。

【図２６】 グラフの表示例を示す説明図である。

【図２７】 切断・孤立検査の処理を示す流れ図であ
る。

【図２８】 ループ検査の処理を示す流れ図である。

【図２９】 重複検査の処理を示す流れ図である。

【図３０】 往復サイクル検査の処理を示す流れ図であ
る。

【図３１】 循環サイクル検査の処理を示す流れ図であ
る。

【図３２】 変更後のグラフの表示例を示す説明図であ
る。

【符号の説明】

１００…グラフ構造検査システム、１０１…解析ステー
ション、１０２…データベース、１０３…知識ベース、
１０４…出力装置、１０５…入力装置、１０６…外部記
憶装置、２０１…レコード集計機能、２０２…マトリク
ス作成機能、２０３…パターン照合機能、２０４…アラ
ーム出力機能、２０５…パターン変更機能、２０６…デ
ータベース更新機能、２０７…グラフ出力機能、２０８
…データベース登録機能、３０１…頂点テーブル、３０
１ａ…合成する要素のレコード、３０２…接続テーブ
ル、３０２ａ…合成する要素を子頂点とする辺のレコー
ド、３０２ｂ…合成する要素を親頂点とする辺のレコー
ド、３０３…照合結果テーブル、３０４…頂点フィール
ド、３０５…辺番号フィールド、３０６…子頂点フィー
ルド、３０７…親頂点フィールド、３０８…アラームパ
ターン名フィールド、３０９…接続状態フィールド、４
０１…子頂点、４０２…親頂点、４０３…辺、７００…
マトリクス記憶部または該記憶部に保持されたマトリク
ス、７０１…行要素、７０２…列要素、７０３…セル、
９００…往復サイクルパターン、９０１…２×２の往復
サイクルパターン、９０２…３×３の往復サイクルパタ
ーン、９０３…４×４の往復サイクルパターン、１００
０…循環サイクルパターン、１００１…３×３の循環サ
イクルパターン、１００２…４×４の循環サイクルパタ
ーン１、１００３…４×４の循環サイクルパターン２、
１００４…４×４の循環サイクルパターン３、１００５
…３×３の循環サイクルパターンの１８０度回転後、１
００６…４×４の循環サイクルパターン１の１８０度回
転後、１００７…４×４の循環サイクルパターン２の１
８０度回転後、１００８…４×４の循環サイクルパター
ン３の１８０度回転後、１０１１…入出力（Ｉ／Ｏ）イ
ンタフェース、１０１２…中央演算処理装置（ＣＰ
Ｕ）、１０１３…メモリ、１２０１，１３０１，１４０
１，１５０１，１６０１…照合方向、１２０２，１５０
２，１６０２…照合対象セル群、１２０２ａ，１５０２
ａ，１６０２ａ，１６０２ｂ…強調表示されるセル群、
１３０２，１４０２…照合対象セル、１３０２ａ，１４
０２ａ…強調表示されるセル、１８０１…切断・ループ
パターン表示例、１８０２…重複パターン表示例、１８
０３…往復・循環パターン表示例。

Claims (8)

【特許請求の範囲】
1. 【請求項１】複数の頂点と、該頂点のうちの親頂点から
   子頂点への接続関係を表す辺とを備えるグラフの構造を
   検査するシステムであって、 上記グラフの要素と該要素間の接続関係とを表現したマ
   トリクスを保持するためのマトリクス記憶部と、 あらかじめ定められたパターンでデータを保持するセル
   群からなる基準マトリクスを保持する知識ベースと、 上記マトリクス記憶部に保持されたマトリクスにおける
   データのパターンから、上記基準マトリクスにおけるデ
   ータのパターンと一致するパターンを検出するパターン
   照合部と、 上記検出した結果を出力するアラーム出力部とを備える
   ことを特徴とするグラフ構造検査システム。
2. 【請求項２】上記マトリクスは、上記親頂点および上記
   子頂点ごとに、該親頂点から該子頂点への辺の数に応じ
   たデータを保持するためのセルを備えることを特徴とす
   る請求項１記載のグラフ構造検査システム。
3. 【請求項３】上記知識ベースは、 往復サイクルパターンまたは循環サイクルパターンの基
   準マトリクスを少なくとも保持することを特徴とする請
   求項１記載のグラフ構造検査システム。
4. 【請求項４】上記パターン照合部は、 上記マトリクス記憶部の保持するマトリクスから、切
   断、孤立、ループおよび重複の少なくともいずれかの状
   態を検出する手段を備えることを特徴とする請求項１ま
   たは３記載のグラフ構造検査システム。
5. 【請求項５】上記マトリクスの変更の指示の入力を受け
   付け、該入力された指示に応じて、上記マトリクス記憶
   部に保持されたマトリクスを変更するパターン変更部
   を、さらに備えることを特徴とする請求項１記載のグラ
   フ構造検査システム。
6. 【請求項６】上記グラフを構成する要素および接続関係
   の情報を保持するためのデータベースと、 上記グラフを構成する要素および接続関係の入力を受け
   付けて、上記データベースへ登録するデータベース登録
   部と、 上記データベースの保持する情報を基に上記マトリクス
   を作成して上記マトリクス記憶部へ格納するマトリクス
   作成部と、 上記マトリクス記憶部に保持されたマトリクスを基に、
   上記データベースの保持する情報を更新するデータベー
   ス更新部と、 上記データベースまたは上記マトリクス記憶部の保持す
   る情報を基に、上記グラフを作成して出力するグラフ出
   力部とを、さらに備えることを特徴とする請求項１また
   は５記載のグラフ構造検査システム。
7. 【請求項７】複数の頂点と、該頂点のうちの親頂点から
   子頂点への接続関係を表す辺とを備えるグラフの構造を
   検査する方法であって、 上記グラフの要素と該要素間の接続関係とを表現したマ
   トリクスにおけるデータのパターンから、あらかじめ定
   められたパターンと一致するパターンを検出するパター
   ン照合ステップと、 上記検出した結果を出力するアラーム出力ステップとを
   備えることを特徴とするグラフ構造検査方法。
8. 【請求項８】請求項７記載のグラフ構造検査方法を実現
   するためのプログラムをあらかじめ保持することを特徴
   とする機械読み取り可能な記録媒体。