JPH05158509A - 電気系隔離箇所表示装置 - Google Patents

Abstract

(57)【要約】 【目的】保守作業により発生が予想される警報や作動イ
ンタロックの判定と、これを回避するための隔離箇所の
判断を支援すること。 【構成】シーケンス回路の構成と状態を記憶するシーケ
ンス回路データ記憶手段１と、シーケンス回路の動作を
解析して状態変化箇所を判定するシーケンス回路解析手
段２と、シーケンス回路の状態変化箇所からその変化を
抑制するための隔離箇所の候補を判定する隔離箇所判定
手段３と、隔離条件に適合した隔離箇所を判定して、そ
れらの隔離箇所候補について優先順位をつける優先順位
判定手段４と、隔離箇所候補を作動インタロックと対応
付けて入出力装置に表示する表示制御手段５よりなる。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、工業プラントにおける
保守作業の作業手順作成を支援する装置に係り、特に、
保守作業により発生する電気的な影響を抑制するための
隔離方法を策定するのに好都合な電気系隔離箇所表示装
置に関する。

【０００２】

【従来の技術】プラント機器の保守作業を実施する場
合、作業による機器操作で生じる可能性がある警報発生
やインタロック作動を避ける必要がある。この手段とし
て、リレー回路によって構成されている論理回路（通称
シーケンス回路、以下シーケンス回路と称する）におい
て、端子のジャンパ（端子短絡）やリフト（端子開放）
等の隔離操作が実施される。この隔離箇所を決定するに
は、シーケンス回路を表現した展開接続図（シーケンス
回路図）を参照してリレーの状態変化を順に辿ってい
き、最終的に作動する警報やインターロックを判断する
と共に、動作経路上の端子を抽出して隔離方法を決定す
る必要がある。

【０００３】このような発生警報やインターロックに関
連するシーケンス図は、通常一頁に収まらず数頁から十
数頁に及び、膨大な量のシーケンス回路図の中から、該
当する回路図を探して動作を調べるのに多くの労力を要
している。

【０００４】このような保守作業時における電気系隔離
箇所の選定を支援するための従来技術として、「電気系
アイソレーション支援システム」（日本原子力学会１９
９０年会Ａ２５）が発表されている。

【０００５】

【発明が解決しようとする課題】通常目的とする警報や
インタロック作動を抑制できる隔離箇所は唯一でなく、
複数の隔離可能箇所が存在する。また、保守作業の内容
によっては、作動する全てのインタロックを抑制すべき
場合と、特定のインタロックだけは意図的に作動させる
ような場合もあり、このような隔離条件によって隔離箇
所は異なる。

【０００６】従来技術はシーケンス回路上の隔離箇所を
自動的に選定するものであるが、複数箇所ある候補のう
ちの一箇所を提示している。このため、ユーザの判断で
選定された隔離箇所以外で対策したい場合に、他の隔離
可能箇所がどこかを判断するのが困難である。

【０００７】そこで、本発明の目的は、保守作業により
発生が予想される警報や作動インタロックを回避するた
めの複数の隔離可能箇所を抽出して、それらを作動イン
タロックと関連付けて表示することにより、隔離目的に
最も適合した隔離箇所をユーザが選定するのに好都合な
電気系隔離箇所表示装置を提供することである。

【０００８】

【課題を解決するための手段】上記目的を達成するため
に、本発明ではシーケンス回路の構成と状態を記憶する
シーケンス回路データ記憶手段と、シーケンス回路の動
作を解析して状態変化箇所を判定するシーケンス回路解
析手段と、シーケンス回路の状態変化箇所からその変化
を抑制するための隔離箇所の候補を判定する隔離箇所判
定手段と、隔離条件に適合した隔離箇所を判定して、そ
れらの隔離箇所候補について優先順位をつける優先順位
判定手段と、隔離箇所候補を表示する隔離箇所表示手段
を設けた。

【０００９】

【作用】シーケンス回路データ記憶手段にはシーケンス
回路図の各リレー回路の論理条件と接点やリレー等の回
路要素の状態を記憶する。シーケンス回路解析手段は、
保守作業により発生が予想されるプロセスデータの変
化，リミットスイッチの状態変化、あるいは操作スイッ
チの操作内容から、それらの接点が使用されているリレ
ー回路の論理条件をシーケンス回路データ記憶手段を参
照して調べ、状態が変化する全てのリレー回路と最終的
に発生する警報や作動機器を判定する。隔離箇所判定手
段は状態が変化したリレー回路の論理要素の中から端子
を探し、状態変化の内容によってジャンパ（端子短絡）
かリフト（端子開放）かの隔離方法を判定する。優先順
位判定装置は隔離箇所判定手段で抽出された複数の隔離
箇所に対して、与えられた隔離条件に適合する隔離箇所
を判定して、それらに対して作業場所や、隔離実施箇所
数，隔離手段等に基づいて優先順位を付ける。隔離箇所
表示手段は隔離箇所判定手段で抽出された隔離箇所と優
先順位を作動インタロックと対応付けて表示装置に表示
する。

【００１０】これによって、保守作業により発生する警
報やインタロックの内容と、それを抑制するための適切
な隔離箇所がわかり、ユーザによる隔離箇所の選定を支
援することができる。

【００１１】

【実施例】以下、本発明の実施例を図面を用いて説明す
る。

【００１２】図１は本発明の電気系隔離箇所表示装置の
構成を示すブロック図である。図１において、１はシー
ケンス回路データ記憶手段、２はシーケンス回路解析手
段、３は隔離箇所判定手段、４は優先順位判定手段、５
は表示制御手段、６は一時記憶手段、７は入出力装置で
ある。なお、図中の実線は制御の流れ、点線は情報の流
れを示す。

【００１３】シーケンス回路データ記憶手段１にはシー
ケンス回路の各リレーの励磁回路の構成と接点状態を表
したシーケンス回路データを記憶している。入出力装置
７からは、保守作業により発生が予想されるプロセスデ
ータの変化，リミットスイッチの状態変化、あるいは、
操作スイッチの操作内容等の初期事象を入力する。シー
ケンス回路解析手段２はこの初期事象によって状態が変
化するリレー励磁回路を順に追跡して、最終的に発生す
る警報や作動機器を調べ、その状態変化の経過を一時記
憶手段６に記憶する。隔離箇所判定手段３は状態が変化
した各リレー励磁回路について、その論理要素の中から
端子を探し、状態変化の内容（励磁状態から無励磁状
態、またはその逆）によってジャンパ（端子短絡）かリ
フト（端子開放）かの隔離方法を決定する。表示制御手
段５は上記の処理により探索された隔離箇所の候補を入
出力装置７に表示する。また、発生警報や作動機器等の
各インタロック項目に対して、許容か抑制かの隔離条件
を入出力装置７から入力することにより、優先順位判定
手段４では隔離箇所判定手段３で抽出された複数の隔離
箇所の中から隔離条件に適合する隔離箇所を判定し、そ
れらに対して作業場所や、隔離実施箇所数，隔離手段等
の判断基準に基づいて優先順位をつけ、表示制御手段５
を介して優先順位を入出力装置７に表示する。

【００１４】以下、各手段の機能及び動作について詳細
に説明する。

【００１５】図２はシーケンス回路の一例であり、図３
は図２の回路に関するシーケンス回路データの例を示し
たものである。図２において、Ｒ１，Ｒ２はリレー、Ａ
１は警報、Ｔ１ないしＴ１０は端子、Ｃ１，Ｃ２，Ｃ
３，Ｌ１，Ｒ１−１及びＲ１−２は接点である。ここ
で、接点のうちＲ１−１とＲ１−２はリレーＲ１の接
点、Ｌ１はプロセスデータの値によって開閉するリミッ
トスイッチの接点とする。

【００１６】シーケンス回路データは図３に示すように
リレーデータ，警報データ，機器データ，論理回路デー
タ，リレー接点データ，リミットスイッチデータ，端子
データ等シーケンス回路の構成要素毎に作成される。リ
レーデータ，警報データはそのリレーの励磁条件または
警報の発生条件となる論理回路名（logic)と状態（stat
e)を記述している。リレーデータについてはさらにその
リレーの動作によって状態が変化する接点名（コンタク
ト−ａ，コンタクト−ｂ）を記述する。ここでコンタク
ト−ａはリレーの励磁により閉成する接点（ａ接点）、
コンタクト−ｂはリレーが非励磁の時に閉成する接点
（ｂ接点）である。たとえば、リレーＲ１の論理回路は
Ｒ１−Ｌ、現在の状態は励磁状態（１）、ａ接点として
Ｒ１−１とＲ１−２をもつことを表している。

【００１７】また、機器データはポンプや弁等の機器の
起動／停止条件を表し、本例では機器ＤＥＶ１はリレー
Ｒ３の励磁により起動し、リレーＲ２の励磁により停止
することを表している。論理回路データはリレーや警報
の論理回路構成を表現し、例えば、論理回路Ａ１−Ｌは
回路要素としてＴ５、Ａ１−Ｌ１及びＴ６でＡＮＤ論理
回路が構成され、論理演算結果が０であることを表す。
論理回路Ａ１−Ｌの回路要素Ａ１−Ｌ１は部分的な論理
回路であり、Ｒ１−１とＣ２によるＯＲ論理回路を構成
していることを示している。リレー接点データは現在の
接点状態（０が開，１が閉）、リミットスイッチデータ
は接点が閉成するプロセスデータの値と比較条件、端子
データは端子の開放（リフト）や短絡（ジャンパ）状態
を表現している。

【００１８】図４はシーケンス回路解析手段２の処理の
流れを示したフローチャートである。入出力装置７から
保守作業により発生が予想されるプロセスデータの変化
として、例えば、プロセスデータ流量Ｘが０．０になる
と入力されたとする。シーケンス回路解析手段２は、ま
ず、プロセスデータの値より接点変化の有無を調べる。
すなわち、図３に示したシーケンス回路データ記憶手段
１の中のリミットスイッチデータＬ１を参照して基準値
と比較し、プロセスデータ流量Ｘが１００.０以下にな
ればその接点状態が１（閉）から０（開）になると判断
する。続いて、処理ブロック１５０でリミットスイッチ
データＬ１の接点を論理要素とする論理回路データＲ１
−Ｌについて論理演算を実行する。図２の回路例ではリ
ミットスイッチ接点Ｌ１の状態変化により論理回路の状
態が１から０に変化する。

【００１９】処理ブロック１６０で論理回路状態の変化
を判定し、処理ブロック１７０でその変化によりリレー
や警報の状態が変化するかを調べる。リレーの状態変化
があれば、処理ブロック１８０でそのリレーが持つ接点
の状態を変化させると共に、処理ブロック１９０で機器
の起動／停止を判定する。リレー接点の状態変化は、コ
ンタクト−ａに記述された接点についてはリレーの励磁
により接点閉とし、コンタクト−ｂの接点についてはリ
レーの非励磁によって接点閉とする。本例では接点Ｒ１
−１とＲ１−２がリレーＲ１の励磁により開（０）から
閉（１）に変化する。

【００２０】なお、処理ブロック１５０の論理演算で、
端子については通常状態（lift，jump＿tb＝０）であれ
ば演算対象から除外し、端子がリフト（lift＝１）され
ていれば、他の接点等の要素の状態に係わらず演算結果
を０とする。端子がジャンパ（jump＿tbに相手端子名が
設定）されていれば、ジャンパ相手の端子までの要素を
演算対象から除外する。

【００２１】この処理を接点及び論理回路の状態変化が
なくなるまで繰返し実行し、処理ブロック１２０，１３
０，１５０，１７０，１８０、及び１９０において状態
変化の内容を一時記憶手段６に記憶する。図５に一時記
憶手段５に記憶される状態変化データの例を示す。本例
では、リレー接点Ｒ１−１とＲ１−２が０から１に変化
した後、論理回路Ａ１−Ｌ１の状態が０から１、論理回
路Ａ１−Ｌの状態が０から１に変化し、警報Ａ１の状態
が０から１に変化して警報「流量Ｘ低低」が発生すると
共に、論理回路Ｒ２−Ｌの状態も０から１に変化してリ
レーＲ２が０から１に変化することにより、機器ＤＥＶ
１（ポンプＹ）が停止する。一時記憶手段６にはこの経
過として各状態変化の原因と結果が記憶される。

【００２２】図６は隔離箇所判定手段３の処理の流れを
示したフローチャートである。隔離箇所の判定は、図５
に示した一時記憶手段６の状態変化の各項目について処
理ブロック２１０から２９０を繰り返して実行する。す
なわち、処理ブロック２１０と２２０で変化した論理回
路データを判定し、処理ブロック２３０と２４０でシー
ケンス回路データ記憶手段１を参照して、その論理回路
の要素の中から端子を取り出す。処理ブロック２５０か
ら２８０は隔離の方法と場所の判定を行う。状態変化が
０から１に変化した場合は隔離方法をリフト（端子開
放）とし、処理ブロック２４０で取り出した端子を全て
リフト端子候補とする。状態変化が１から０に変化した
場合は隔離方法はジャンパ（端子間短絡）となり、状態
変化の原因となった要素を挾む端子を判定する。処理ブ
ロック２９０はこれらの隔離処置により抑制される結果
の判定を行うもので、一時記憶手段６の状態変化データ
を参照して、処理の対象とした項目以降でその結果要素
が原因要素となる項目を順に辿っていき、最終的な結果
を見つける。例えば、第一行目の項目については、Ｒ１
−Ｌ→Ｒ１→Ｒ１−１→Ａ１−Ｌ１→Ａ１及びＲ１−Ｌ
→Ｒ１→Ｒ１−２→Ｒ２−Ｌ→Ｒ２→ＤＥＶ１という二
つの経路で状態変化が伝播するので、Ｒ１−Ｌでの隔離
処置により警報Ａ１の発生と機器ＤＥＶ１の停止が抑制
される。

【００２３】以上の処理により図５の例では、端子Ｔ１
とＴ２の対が警報Ａ１の発生と機器ＤＥＶ１の停止を抑
制するためのジャンパ端子として、Ｔ５，Ｔ６が警報Ａ
１の発生を、Ｔ７，Ｔ８，Ｔ９及びＴ１０が機器ＤＥＶ
１の停止を抑制するためのリフト端子の候補として探索
され、これらの結果を一時記憶手段６に記憶すると共
に、表示制御手段５を介して入出力装置７に表示する。

【００２４】図７は入出力装置７への隔離箇所探索結果
の表示画面例であり、隔離箇所と作動インタロック項目
を関連付けて表形式で表示したものである。図中の＊印
は「抑制可能」を意味し、例えば、端子Ｔ１とＴ２のジ
ャンパは「流量Ｘ低低警報発生」と「ポンプＹ停止」の
両方に対して抑制可能な隔離手段であることを示してい
る。このような表示により、各隔離箇所の候補がどのよ
うな隔離効果を持つかを直観的に把握することができ
る。

【００２５】図７の表示画面下部の「優先順位判定」枠
は、表示されている隔離箇所に対する優先順位判定処理
の実行を指令するメニューで、条件として各作動インタ
ロック項目について抑制か許容かを指定する。すなわ
ち、保守作業の内容によっては、作動インタロックを全
て抑制する必要がある場合と、意図的に特定の警報だけ
を発生させ、その他の作動インタロックは抑制するとい
う場合がある。例えば、リミットスイッチの校正作業で
は、模擬信号を入力して規定の値で出力接点が開閉する
か否かを調べるが、この時、その動作を警報の発生によ
って確認することがあり、該当する警報の発生に関する
隔離処置は実施しない場合がある。このように作業内容
を考慮して各作動インタロック項目について抑制か許容
かを指定することにより、優先順位判定手段４で各隔離
箇所に対して優先順位が判断され、その結果として表示
画面の優先欄に最優先の隔離箇所を示す印が表示され
る。

【００２６】表示画面下部の「下位優先箇所」メニュー
は現在優先表示されている隔離箇所より優先順位が一つ
低い隔離箇所に対して優先表示をし、「上位優先箇所」
は逆に一つ高い優先順位の隔離箇所に対する優先表示を
する。

【００２７】図８は優先順位判定手段４の処理の流れを
示すフローチャートである。優先順位判定手段４は入出
力装置７から入力された作動インタロック項目の許容／
抑制条件にしたがって、隔離箇所判定手段３で抽出され
た複数の隔離箇所の中から条件に適合する隔離箇所を判
定して、それらに対して優先順位をつける。

【００２８】処理ブロック３００ではまず入力条件に基
づいて、許容するインタロック項目を抑制する隔離箇所
を候補から除外する。例えば「流量Ｘ低低警報発生」を許
容するとすれば、Ｔ１とＴ２のジャンパ、Ｔ５及びＴ６
のリフトが隔離候補から除外される。処理ブロック３１
０は残った隔離候補について抑制する項目を全て満たす
ような隔離箇所の組合わせを求める。この条件であれ
ば、残ったＴ７からＴ10の端子の中から一つを取り出す
四通りの組合わせとなる。許容項目がない条件では、各
項目を抑制するための隔離箇所の組合わせとして、（Ｔ
１＆Ｔ２）（Ｔ５，Ｔ７）（Ｔ５，Ｔ８）（Ｔ５，Ｔ
９）（Ｔ５，Ｔ１０）（Ｔ６，Ｔ７）（Ｔ６，Ｔ８）
（Ｔ６，Ｔ９）（Ｔ６，Ｔ１０）の九通りが得られる。
これらの組合わせに対して処理ブロック３２０で優先順
位をつけ、その結果に基づいて表示画面の優先印表示を
行う。優先順位判定の基準は、例えば、次のような項目
である。 (1）隔離箇所ができるだけ少なくてすむものを優先す
る。

【００２９】(2）隔離箇所数が同じ場合は、作業場所が
中央制御室に近いものを優先する。

【００３０】(3）作業場所も同じ場合は、隔離方法とし
てジャンパよりリフトを優先する。

【００３１】隔離箇所数は各組合わせの要素数から判断
する。また、作業場所はシーケンス回路データ記憶手段
１を参照して、各端子の盤（cubicle ）の名称を調べ、
盤と設置場所を対応付けしたデータを準備しておくこと
により判断できる。

【００３２】図９は優先順位判定後の表示画面例を示し
たものであり、上記の「流量Ｘ低低警報発生」を許容し
た場合である。図中の網かけ部分は選択されていること
を示す。優先欄には「ポンプＹ停止」を抑制するための
隔離箇所Ｔ７からＴ１０のうち、最優先の隔離箇所に対
して優先印表示がなされる。「下位優先箇所」や「上位
優先箇所」が指定されたときは、優先順位判定手段４で
決定した隔離箇所の組合わせに対する優先順位に基づい
て、指定された優先順位の隔離箇所に優先印表示を行
う。なお、優先箇所の表示は本例のように印を表示する
他に、表示色で示すことも可能である。

【００３３】また、隔離に有効な隔離箇所と抑制項目
（図中のハッチング部分）に対して色付けすることによ
り、各隔離箇所が有効か無効かを明確に区別できる。な
お、この色付けはこれと逆に無効隔離箇所と許容項目に
対して行っても同様である。

【００３４】図１０は隔離箇所探索結果の別の表示例で
あり、シーケンス回路の動作経路をブロック図で表現し
たものである。同図において、各ブロックにはリレー，
警報，機器について名称と状態変化内容を表示し、その
下の表にはそれらの論理回路上で実施される隔離手段を
表示する。このような表示を実現するには、図５に示し
た一時記憶手段の状態変化データを順に辿って、結果要
素の種類がリレー，警報，機器であればそのブロックを
表示し、同一リレーが複数の接点を持つ場合にブロック
図の分岐処理を行うようにすればよい。

【００３５】このような表示によれば、シーケンス回路
動作経路と共に、各隔離箇所の効果が及ぶ範囲も把握す
ることができる。

【００３６】なお、この実施例では優先順位の判定は入
出力装置からの要求で実行するようにしたが、通常実施
される保守作業の隔離条件を予め定めておき、隔離箇所
判定手段３の処理の後に優先順位判定手段４の処理を続
けて実行することも可能であり、これによりユーザの操
作が簡単化される。

【００３７】図１１は隔離箇所に関連したシーケンス回
路図の表示例であり、図９の画面上で指定した隔離箇所
のシーケンス回路をマルチウィンドウ形式で表示した様
子を示す。図１２はシーケンス回路表示のための表示制
御手段５の構成の一例である。図１２において、５１は
シーケンス回路図データベース、５２は回路図番判定
部、５３は図面検索部、５４は図面表示部である。図９
または図１０の隔離箇所候補表示画面において、表示し
たい隔離端子を指定し、シーケンス図表示メニューを選
択することにより、回路図番判定部５２で指定された端
子が描かれているシーケンス図の図面番号を判定する。
すなわち、シーケンス回路データ記憶手段１を参照して
指定端子を論理要素とする論理回路データを探し、さら
に、その論理回路のリレーを探す。リレーデータには図
３に示したように図面番号(sheet）が設定されており、
この図面番号を取り出す。図面検索部５３は回路図番判
定部５２で探した図面番号のシーケンス回路図データを
シーケンス回路図データベース５１から検索して読みだ
し、図面表示部５４でそのシーケンス回路図データに基
づいて入出力装置７の画面に表示する。

【００３８】このように、シーケンス回路を合わせて表
示することにより、探索された隔離箇所の論理回路構成
がわかると共に、隔離箇所の正当性をユーザが判断する
ことができる。なお、シーケンス回路図データを解析し
て指定端子の表示座標を判定し、シーケンス回路上に指
定された隔離箇所を色付けや枠付け等の区別表示を行う
ことにより、隔離箇所を判り易く表示することが可能で
ある。

【００３９】

【発明の効果】本発明によれば保守作業により発生する
インタロック項目と隔離箇所の候補が関連付けて表示さ
れるため、各隔離箇所の効果を容易に、かつ、誤りなく
判断でき、間違いのない隔離箇所の選定が可能になる。
また、抑制すべきインタロック項目だけに有効な隔離箇
所が選定され、その中で最も適切な隔離箇所が示される
ので、隔離箇所の選定が容易になる。これにより、種々
の保守作業における作業手順の立案作成に要する労力を
大幅に軽減できる。

【図面の簡単な説明】

【図１】本発明の電気系隔離箇所表示装置の構成を示す
ブロック図。

【図２】シーケンス回路の説明図。

【図３】シーケンス回路データの説明図。

【図４】シーケンス回路解析手段の処理の流れを示すフ
ローチャート。

【図５】一時記憶手段に記憶される状態変化データの説
明図。

【図６】隔離箇所判定手段の処理の流れを示すフローチ
ャート。

【図７】隔離箇所探索結果の画面表示例の説明図。

【図８】優先順位判定手段の処理の流れを示すフローチ
ャート。

【図９】優先順位判定後の画面表示例の説明図。

【図１０】隔離箇所探索結果の別の画面表示例の説明
図。

【図１１】シーケンス回路図。

【図１２】表示制御手段の一実施例を示すブロック図。

【符号の説明】

１…シーケンス回路データ記憶手段、２…シーケンス回
路解析手段、３…隔離箇所判定手段、４…優先順位判定
手段、５…表示制御手段、６…一時記憶手段、７…入出
力装置。

Claims (6)

【特許請求の範囲】
1. 【請求項１】シーケンス回路の構成を記憶したシーケン
   ス回路データ記憶手段と、前記シーケンス回路データ記
   憶装置を参照して作動インタロックとシーケンス回路上
   の動作経路を判定するシーケンス回路解析手段と、前記
   シーケンス回路の動作経路上で前記作動インタロックを
   抑制可能な一ヵ所以上の隔離箇所候補を判定する隔離箇
   所判定手段と、前記隔離箇所候補の中から抑制すべき作
   動インタロックだけに有効な隔離箇所候補を判定して前
   記有効隔離箇所候補に対して優先順位をつける優先順位
   判定手段から構成され、前記作動インタロックと前記作
   動インタロックを抑制可能な隔離箇所候補とを関連付け
   て表示することを特徴とする電気系隔離箇所表示装置。
2. 【請求項２】請求項１の前記シーケンス回路データ記憶
   手段に前記シーケンス回路のリレー、警報の動作条件と
   なる論理回路構成と、回路要素の状態を表現したシーケ
   ンス回路データを記憶し、前記シーケンス回路データを
   用いて、（１）回路要素の状態変化判定と、（２）状態
   変化した回路要素により構成される論理回路の論理演算
   と、（３）論理演算結果によるリレー状態変化判定と、
   （４）状態変化したリレーのリレー接点の状態変更を、
   回路要素の状態変化がなくなるまで順に繰り返して実行
   するシーケンス回路解析装置。
3. 【請求項３】請求項１において、前記シーケンス回路の
   動作経路上の端子要素を抽出し、励磁状態に変化した論
   理回路は前記論理回路上の端子の開放を、無励磁状態に
   変化した論理回路については状態変化の原因となった接
   点要素をはさむ端子間の短絡を隔離箇所及び方法と判定
   する隔離箇所判定手段。
4. 【請求項４】請求項１において、前記隔離箇所候補の中
   の抑制すべき作動インタロックだけに有効な隔離箇所候
   補を、無効隔離箇所と区別して表示する電気系隔離箇所
   表示装置。
5. 【請求項５】請求項１において、前記有効隔離箇所候補
   のうち指定した優先順位の隔離箇所を他の隔離箇所候補
   と区別して表示する電気系隔離箇所表示装置。
6. 【請求項６】請求項１において、指定した隔離箇所に関
   連するシーケンス回路図を表示する電気系隔離箇所表示
   装置。