(57)【要約】【課題】  継電連動装置用結線図をもとに新たに電子連動装置用の結線図を作成する場合、継電連動用の結線図をそのまま利用して連動論理データを作成できる新規な連動装置の連動論理データ作成方法を提供するものである。【解決手段】リレー回路群からなる鉄道信号用連動装置の結線図をマウスなどの入力装置により計算機に入力し、これにより得られた図形データを分岐と陽極端・陰極端とをまとめて示すノードと上記ノードで挟まれた線分とで表したノード情報に変換し、このノード情報をもとに陽極から陰極へ至る全ての電流経路を探索するとともに、これにより得られた全電流経路から電気的特性を考慮した経路の修正を行った後に論理式変換を行うようにした連動装置の連動論理データ作成方法。【選択図】  図２
2005041341.tif 000002
【特許請求の範囲】
【請求項１】
リレー回路群からなる鉄道信号用連動装置の結線図を計算機に入力する段階と、
この計算機への入力により得られた図形データを、分岐点と陽極端あるいは陰極端とをまとめて示すノードと上記ノードで挟まれた線分とで表したノード情報に変換する段階と、
このノード情報をもとに、陽極から陰極へ至る全ての電流経路を探索する段階と、
これにより得られた全電流経路から電気的特性を考慮した経路の修正を行った後に論理式変換を行う段階とからなることを特徴とする連動装置の連動論理データ作成方法。
【請求項２】
1つの回路内に複数のリレーが存在する回路にあっては、リレー毎に論理式変換を行う
ようにしたことを特徴とする請求項１記載の連動装置の連動論理データ作成方法。
【請求項３】
電流方向により動作の異なるリレーを含む回路にあっては、対象リレーに関して電流方
向毎に論理式変換を行うようにしたことを特徴とする請求項１記載の連動装置の連動論理データ作成方法。
【請求項４】
探索された全電流経路のうち構成不能又は冗長論理を含む回路にあっては、これらの経
路を削除した後に論理式変換を行うようにしたことを特徴とする請求項１記載の連動装置の連動論理データ作成方法。
【請求項５】
全経路探索結果に基づいて、全経路の論理式表現の論理和をとることにより論理式変換
を行うことを特徴とする請求項１記載の連動装置の連動論理データ作成方法。
【請求項６】
全経路探索結果に基づいて、ノード間回路の並列化と直列化を適宜実施し、一つの線分
に簡約化されるまで繰り返すことにより論理式変換を行うことを特徴とする請求項１記載の連動装置の連動論理データ作成方法。
【請求項７】
全経路探索結果に基づいて、全経路の論理式表現の論理和をとることによる論理式変換
結果と、ノード間回路の並列化と直列化を適宜実施し、一つの線分に簡約化されるまで繰り返すことによる論理式変換結果とを照合する段階を備えたことを特徴とする請求項１記載の連動装置の連動論理データ作成方法。
【請求項８】
上記両論理式変換結果の照合の結果、両者が論理的に等しい場合は簡約型論理式を採用
することを特徴とする請求項７記載の連動装置の連動論理データ作成方法。
【請求項９】
条件設定を行ない、論理式演算を行うことで、リレー状態を表示部の結線図上に表示するようにしたことを特徴とする請求項５〜請求項８のいずれか1項に記載の連動装置の連動論理データ作成方法。
【発明の詳細な説明】
【技術分野】
【０００１】
この発明は、連動装置特に鉄道信号用連動装置の連動条件に使用可能な連動論理データの作成方法に関するものである。
【背景技術】
【０００２】
鉄道の停車場構内等においては、列車等の衝突または脱線を防止するために、列車等に対する進路の割り当て、関係する転轍器の転換制御を行なうと共に、列車等への進行を指示あるいは停止する信号を発出する機能を有する連動装置が使用されている。この連動装置により、信号機の相互間、信号機と当該進路に関係する転轍器との間、車両と信号機もしくは転轍器との間などに連鎖を設けるとともに、信号機や転轍器等の各機器の相互間に鎖錠の関係を持たせ、一方の機器を取扱った場合には、他方の機器を取扱うことができないようにする、いわゆる連動機能をもたせている。
【０００３】
従来は，電磁リレーを用いた電気回路で連動処理を行なう継電連動装置が用いられていたが、近年では、省スペース化や汎用技術の利用を目的として、連動処理を計算機が行なう電子連動装置の導入が進められている。電子連動装置を製作するためには、計算機に適合させるための連動論理データを作成し、またこの作成された連動論理データの正当性を検証する必要がある。しかし、計算機用連動論理データの作成作業と検証作業は極めて複雑かつ難解であり、従来は人間が膨大な労力と時間をかけてこの作業を行っていた。
【０００４】
このような問題に対して、例えば特開平5-16807号公報（特許文献１）では、継電連動装置製作の際に用いられる、リレーなどを使用した回路群からなる結線図をマウスなどの入力装置を用いて計算機に入力し、この入力により得た図形データをもとに、陽極から陰極へ至る全ての電流経路を調べることで、計算機が実行可能な、ブール代数に基づく論理式を作成し、電子連動装置の連動条件に使用可能な連動論理データを作成していた。
【０００５】
このような連動論理データ作成方法にあっては、結線図(図形データ)を論理式に変換することが前提となっているが、論理式に変換することを前提とした結線図は、電磁リレーを対象とした継電連動装置用の結線図と全く同一にはなりえない。
例えば、継電連動装置用の結線図に記載される回路には、1つの回路で複数のリレーを制御するものが存在する。リレーを制御するとは、論理式では変数に値(1/0)を設定することに対応するが、1つの論理式で値を設定できる変数は1つである。このため、論理式に変換するためには、変数毎の回路を作成する必要がある。
【０００６】
また、継電連動装置用の転轍器制御回路には、電流方向により動作の異なるリレーが含まれる。しかしながら、論理式には電流方向の概念がないため、論理式に変換するためには、電流方向毎の回路を作成する必要がある。
このように、従来は、継電連動装置用結線図をもとに新たに電子連動装置用の結線図を作成する必要があったが、先行例には、上記回路に対する対策は、記載もしくは示唆されていない。
【０００７】
【特許文献１】特開平５―１６８０７号公報
【発明の開示】
【発明が解決しようとする課題】
【０００８】
この発明は、上記のような問題点を解消するためになされたもので、継電連動装置用結線図をもとに新たに電子連動装置用の結線図を作成する場合、継電連動用の結線図をそのまま利用して連動論理データを作成できる新規な連動装置の連動論理データ作成方法を提供することを目的とする。
【０００９】
更にこの発明は、結線図(図形データ)を論理式に変換するに当たって、継電連動装置用の結線図に、1つの回路で複数のリレーを制御するものが存在しても、リレー毎に論理式の自動展開が可能な連動装置の連動論理データ作成方法を提供することを目的とする。
更にこの発明は、結線図(図形データ)を論理式に変換するに当たって、電流方向により動作の異なるリレーが存在しても、電流方向を考慮した経路探索を行なうことで、各方向に対応する論理式が得られる連動装置の連動論理データ作成方法を提供することを目的とする。
【００１０】
更にこの発明は、可読性が高く、且つ高速な演算が可能な論理式が得られる連動装置の連動論理データ作成方法を提供することを目的とする。
更にこの発明は、論理式変換過程の信頼性が確保される連動装置の連動論理データ作成方法を提供することを目的とする。
更にこの発明は、連動データ作成時に連動論理の変化を表示部の結線図上で容易に確認できる連動装置の連動論理データ作成方法を提供することを目的とする。
【課題を解決するための手段】
【００１１】
この発明に係わる連動装置の連動論理データ作成方法は、リレー回路群からなる鉄道信
号用連動装置の結線図をマウスなど入力装置を用いて計算機に入力する段階と、この計算機への入力により得られた図形データを、分岐と陽極端・陰極端とをまとめて示すノードと上記ノードで挟まれた線分とで表したノード情報に変換する段階と、このノード情報をもとに、陽極から陰極へ至る全ての電流経路を探索する段階と、これにより得られた全電流経路から電気的特性を考慮した経路の修正を行なった後に論理式変換を行う段階とからなることを特徴とするものである。
【００１２】
また、上述の連動装置の連動論理データ作成方法において、1つの回路内に複数のリレーが存在する回路にあっては、各リレー毎に論理式変換を行うようにしたことを特徴とするものである。
また、上述の連動装置の連動論理データ作成方法において、電流方向により動作の異なるリレーを含む回路にあっては、対象リレーに関して電流方向毎の論理式に自動展開するようにしたことを特徴とするものである。
また、上述の連動装置の連動論理データ作成方法において、探索された全電流経路の
うち構成不能又は冗長論理を含む回路にあっては、これらの経路を削除するようにしたことを特徴とするものである。
【００１３】
また、上述の連動装置の連動論理データ作成方法において、全経路探索結果に基づく
論理式変換結果と、ノード情報の簡約化に基づく論理式変換結果を照合する段階を備えたことを特徴とするものである。
また、上述の連動装置の連動論理データ作成方法において、ノード情報の簡約化は回
路の並列化と直列化を適宜実現することにより論理式変換を行うことを特徴とするものである。
また、上述の連動装置の連動論理データ作成方法において、条件設定を行ない、論理
式演算を行うことで、リレー状態を表示部の結線図上に表示するようにしたことを特徴とするものである。
【発明の効果】
【００１４】
この発明による連動装置の連動論理データ作成方法によれば、継電連動装置用結線図をもとに新たに電子連動装置用の結線図を作成する場合、継電連動用の結線図をそのまま利用して連動論理データを作成できる効果を有する。
また、この発明による連動装置の連動論理データ作成方法によれば、一般の技術者が理解できる可読性の高い高信頼度の連動論理データを作成できる効果を有する。
【発明を実施するための最良の形態】
【００１５】
実施の形態１．
図１に本発明が前提とする連動論理データ作成方法の例を示す。図中図１（a）は処理装置の基本構成を示すブロック図であり、図１(b)はその作用を示すフローチャートである。この方式について説明するに、まず、駅構内における信号機や転轍器等の配置や、それらの連鎖関係を表す連動図表を用意する。このような連動図表をもとに、その内容をリレー等の具体的な結線で表現した結線図105を作成する。  このリレー等から構成される結線図を、マウス、キーボードなどの入力部101を用いて計算機102に入力する。計算機は、CPU(CentralProcessing Unit:中央演算処理装置)や、メモリなどの記憶装置を備えている。入力された結線図は、ディスプレイなどの表示部103に表示される。また、入力された結線図は、図形データ106としてメモリなどの計算機内の記憶装置あるいはフロッピー（登録商標）ディスクなどの出力部104に保存される。計算機は、図形データ106を所定の変換規則に従って論理式107に変換し、鉄道信号用連動装置の連動条件に使用可能な連動論理データ108を作成する。
【００１６】
図２は、本発明による連動論理データ作成方法の一実施例を示すフローチャートである。本実施の形態１では、前述した方法で、まず所定の結線図をマウスやキーボードにより計算機に入力する(ステップ201)。  ここでの結線図と図形データの一例を図３(a)(b)に示す。図３（a）に示す結線図は、電源の陽極301、陰極302、リレー303、リレー接点304、305などから構成される。リレーは回路が構成されて陽極から陰極へ電流が流れると動作する。定位接点X(304)は、リレーXが動作している時に回路を構成し、また、反位接点Y(305)はリレーYが動作していない時に回路を構成する。この回路では、リレーX動作時、または、リレーY無動作時に、リレーRが動作する。上記のように入力された結線図は、図形データに変換される(ステップ202)。図３(b)に示す図形データの一例では、例えば、結線図を同じ大きさの矩形306（以下セルと呼ぶ）で分割し、セル番号(行、列)と、そのセルに配置するリレーやリレー接点といったシンボルと、これらを結ぶ水平または垂直方向の直線など、構成要素の情報で結線図を表現するものとする。
【００１７】
図形データは保安上重要なデータであり、入力した結線図の内容が正しく図形データに反映されていることを確認する必要がある。このため、セルに配置される構成要素の認識番号として、例えば結線図において配線の交差部分を文字「＋」、リレーを文字「R」など、人間が直感的に意味を認識できるような文字コードを対応させることにより図形データの確認が容易になるようにする。
【００１８】
また、セル（行、列）に配置されるデータを扱う一般的なデータフォーマットにCSV(CommaSeparated Value)があり、このCSV形式は列要素をコンマ「,」、改行を改行文字で区切ったテキストファイルであり、一般的な表計算プログラムなどで読み込むことができる。これらのプログラムでは各セルの要素を文字列として表示することができ、従って、図形データを例えばCSV形式とすることで、本発明により作成した図形データを、その他の一般的なプログラムで読み込んで表示することにより、意図どおりに図形データが作成できたかどうかを確認することができる。
以上のようにすることにより、図形データ作成の段階でデータ中に障害が含まれることを防止することができる。
【００１９】
次に、図形データをノード情報に変換することが行われる(ステップ203)。
このノード情報の一例を図４に示している。ここでは図３とは異なる結線図の例を示しており、陽極端B24と陰極端C24との間に３つの電流経路を有する場合を示している。各径路にはそれぞれ２つのリレー接点A,BとC,Dと、E,Fとを直列に有している。なお、接点A,C,Eは定位接点、B,D,Fは反位接点である。ノード情報とは上記結線図の構成要素のうち、分岐と陽極端・陰極端をまとめてノード(402)とし、2つのノードで挟まれた部分を線分(401)として表したものである。
次に、このノード情報をもとに、各リレーへの電流経路(以下、経路と呼ぶ)を探索する(図２のステップ204)。一般に、結線図で表現される回路には陽極から陰極に流れる経路が複数存在する。図５(a)(b)に、経路のノード情報による表現方法の一例を示す。
【００２０】
図５(a)の回路においては、リレーRに対して、3つの経路Line1、Line2、Line3があり、これらいずれかの経路上ですべての接点が構成されればリレーRが動作する。ここで、「経路上のすべての接点が構成される」とは、論理式で表現すれば、各接点の論理積(AND)をとった評価結果が真(1)になることに等しい。
経路は、ノード情報を用いて表現すると、始点ノード(陽極)から終点ノード(陰極)の間の、順序付けられた線分とノードの集合として図５(b)のように表すことができる(502)。リレー、リレー接点などの要素を含まない線分は、前後のノードをまとめて１つのノードとする(501)。線分S1、S2、S3、S4を論理式で表現すると、それぞれ、[A]*〜[B]、[C]*〜[D]、[E]*〜[F]、[G]のようになる。ここで、「[A,B,C等のname]」は変数、「*」は論理積(AND)、「〜」は否定(NOT)を表すものとする。経路は、経路を構成する線分の論理式表現の論理積で表現でき、経路Line1、Line2、Line3の論理式表現はそれぞれ、[A]*〜[B]*[G]、[C]*〜[D]*[G]、[E]*〜[F]*[G]のようになる。さらに、リレーRが動作するには、これらの経路のうち、どれか1つが構成されればよく、論理式で表現すると、経路の論理和(OR)をとればよく、次のようになる。
【００２１】
[A]*〜[B]*[G]+[C]*〜[D]*[G]+[E]*〜[F]*[G]=[R]
ここで、「+」は論理和(OR)、「=」は代入演算子である。このように、リレーに対する各電流経路の論理式表現を論理和で結ぶことによって論理式を作成する手法を、以下、標準型手法(207)と呼ぶことにし、図６に前述したその手順をまとめてフローチャート化している。すなわち図６において、先ず、回路上のすべての線分に対する論理式表現を作成し（ステップ４０１）、次に、回路上のすべての経路を線分単位で検索し、経路毎の線分リストを作成する（ステップ４０２）。続いて各経路上の線分の論理積をとり（ステップ４０３）、最後に各経路の論理和をとってリレー毎の論理式を完成する（ステップ４０４）。
【００２２】
標準型手法による全経路探索を終えると、次に、探索された全経路のうち不要な経路の削除（線路の刈り取り・エラーチェック）と、電流方向による経路の分類を行なう(図２のステップ205)。この詳細を図７〜図９に従って説明する。図７は1つの回路で複数のリレーを制御する回路の例である。経路探索時には、すべての経路を探索するため、リレー702、703、704が直列に置かれている経路701が存在する。
通常のリレーは24Vで動作するようになっており、実際の回路ではこのような経路が構成されても、電圧不足により、いずれのリレーも動作しない。しかし、論理式では、経路が構成されればリレー(変数)の値を真(1)とするので、各リレー毎の経路の論理式を登録しておくと共に、陽極、陰極の電圧(図７の場合は直流２４V)と、各経路上のリレーの数（リレー１個につき18V×リレー数）を考慮して、このような経路701を削除する。
【００２３】
次に、図８は、構成不能な経路が含まれる回路の一例である。経路801には、リレーXの定位接点802と反位接点(803)が含まれており、この経路は構成されることはない。
論理式では[X]*〜[X]のようになり、これは恒等的に偽(0)であるので、論理式の演算結果に影響はない。しかしながら、論理式が不要に複雑になるため、同じリレーの定位接点と反位接点がともに含まれる経路は、構成不能な経路とし、探索結果から削除する。
次に、図９(a)は、冗長な経路が含まれる回路の一例であり、図９(b)はそれを論理式で表したものである。図９(a)の回路に対し、全経路探索を実施すると、経路901と経路902が登録される。しかし、これらの経路に対応する図９(b)に示す論理式表現では、903、904の論理和をとり、論理式の性質(1+[X]=1など)を考慮すると、最終的な論理式表現905は経路901の論理式表現と一致し、経路(902)は不要であることがわかる。このような冗長な経路は、リレー毎の可能な経路を比較し、ある経路上の、リレー要素を含む線分のすべてが、他の経路上の線分である場合、後者が冗長な経路であると判断する。冗長な経路は論理式演算結果に影響を与えないが、演算時間の短縮と、論理式の可読性を考慮して、経路から削除する。
【００２４】
次に、図１０(a)は、電流方向が意味をもつ回路の一例である。リレーには電流方向によって動作が異なるものがある。例えば磁気保持リレーは、電流が結線図上、左から右へ流れた場合と、右から左へと流れた場合で動作が異なる。結線図上では一つの回路で二つの電流方向を表現するが、論理式には方向の概念がない。そこで電流方向により動作が異なるリレーの場合、各方向に電流が流れた場合の動作を表す論理式をそれぞれ作成する。例えば、回路中の磁気保持リレーW1001に対して、電流が陽極1004から陰極1006へ流れる経路1002と、陽極1004から陰極1005へ流れる経路1003が存在する。磁気保持リレーは電流の方向により動作が異なるため、紙面左から右方向に電流が流れる経路1002と、逆に流れる経路1003を分類する必要がある。このような経路の分類をするために、リレーを含む線分Swの接続ノードNa、Nbと、リレーへの電流方向の関係を調べておく。図１０(b)はこれをノード情報で表したもので、ノードNaが経路の陽極側にある場合、その経路はNa→Sw→Nbの順序のノード情報で表される(1007)。一方、ノードNbが経路の陽極側にある場合、その経路はNb→Sw→Naの順序のノード情報で表される(1008)。これにより、電流方向による経路の分類が可能となり、電流方向毎の論理式を作成できる。
このように、探索された全電流経路から電気的特性を考慮した経路の修正を行った後に論理式変換を行うものである。
【００２５】
実施の形態２．
次に、探索された全電流経路から電気的特性を考慮した経路の修正を行なった後に論理式変換を行う他の方法を説明する。
人間が論理式を作成する場合には、次のようなルールに基づいて論理式を作成する。
・ 並列に挿入された接点を論理和にする。
・ 直列に挿入された接点を論理積にする。
・ 上記の操作を繰り返すことにより、論理式を作成する。
【００２６】
実施の形態２はこのように人間が回路を見ながら論理式を作成する方法を模擬したものである。図１１は、ノード情報を用いて並列化と直列化を行う課程を表した一例である。ノードN1とノードN2の間には3つの線分、線分S1、線分S2、線分S3がある。これらの線分は並列であるので、各線分の論理式表現を論理和(OR)で結び、新たな1つの線分S123に割り当てる(1101)。これにより、線分S123の論理式表現は[A]*〜[B]+[C]*〜[D]+[E]*〜[F]となる。並列化の後、ノードN1とノードN3の間には2つの線分、線分S123と線分S4がある。これらの線分は直列であるので、各線分の論理式表現を論理積(AND)で結び、新たな1つの線分S1234に割り当てる(1102)。これにより、線分S1234の論理式表現は{[A]*〜[B]+[C]*〜[D]+[E]*〜[F]}*[G]のようになる。
【００２７】
このように、図１１の例では、直列化と並列化を繰り返すことで、グラフは始点ノードと終点ノード、および、その間の1つの線分に簡約化される。この変換手法を、以後、簡約型手法(ステップ208)と呼ぶこととする。図１２は上記簡約化手法の手順をまとめてフローチャート化して示したものである。図１２において、まず、簡約回数カウンターNを0に設定する(ステップ1201)。  次に、並列化が可能かどうかを調べ(ステップ1202)、並列化可能なら並列化を実行し、簡約回数カウンターに1を加える(ステップ1203)。上記ステップ1202〜1203の操作を繰り返し、並列化ができなくなると、次に直列化が可能かどうかを調べ(ステップ1204)、可能であれば直列化を実行し、簡約回数カウンターに1を加える(ステップ1205)。  次に、直列化ができなくなると、線分が1つに簡約化されたかを調べ(ステップ1206)、線分がひとつであれば簡約化完了(ステップ1207)とする。
線分が複数残る場合には、簡約回数カウンターを調べ(ステップ1209)、N ＞ 0であれば、再び並列化が可能になっている場合があるので、(ステップ1201)に戻る。
N = 0の場合には、簡約化できないと判断し、標準型論理式を用いる(ステップ1208)。
【００２８】
さて、本発明の好ましい実施形態によれば、経路探索結果に対し、経路の刈り取りとエラーチェックを行なった後、各リレーを含む経路を選択し(図２のステップ206)、標準型手法(ステップ207)と簡約型手法(ステップ208)で論理式に変換する。標準型手法、簡約型手法により得られる論理式をそれぞれ、標準型論理式、簡約型論理式と表現する。
標準型論理式は、全経路探索結果に基づき、全経路の論理式表現の論理和をとることをいい、単純で論理的な手法で作成されるため、経路探索結果に反する論理式が作成されることはない。しかし、回路中のリレー接点が各経路毎に論理積で並ぶことになり、回路上では一つのリレー接点が論理式上では変数として複数箇所に現れるため、論理式が長くなって人間が判読しにくいものとなる。
【００２９】
一方、簡約型論理式は、全経路探索結果からノード情報の簡約化を行うという手法で作成されるため、経路探索結果どおりの論理式が作成されない可能性がある。しかし人間が回路を見ながら論理式を作成する手順を模擬しており、因数分解がなされた形をとるため、標準型論理式より式が短く、人間が判読しやすい。また、電子式連動装置が論理式をプログラムで実行する際、計算時間を短縮することができる。そこで、好ましい実施例では、標準型論理式と簡約型論理式を照合し、両者が論理的に等しいことを確かめた上で(ステップ209)、論理式として優れている簡約型論理式を出力するようになされる（ステップ210）。このようにすることによって論理式作成時の信頼性を確保することができる。
【００３０】
図１３に、2つの論理式照合フローチャートの一例を示す。まず指定された回路に対し、2つの変換手法で論理式を作成する(ステップ1301)。
次に、論理式の左辺を展開する(ステップ1302)。
次に、変数と項情報を登録する(ステップ1303)。この際、項の中に含まれる不要な変数を削除した上で登録を行なう。例えば、論理式の性質上、項[A]*[A]*[B]は[A]*[B]と等価であり、[A]*[B]として登録する。
【００３１】
次に、真にならない項と冗長な項の情報を削除する(ステップ1304)。真にならない項とは、[A]*〜[A]*[B]のように、同名の変数で、一方が他方の否定を含む場合である。冗長な項とは、ある項のすべての変数が別の項に含まれている場合の後者の項である。
例えば、2つの項[A]、[A]*[B]の論理和[A]+[A]*[B]は[A]*{1+[B]}のように因数分解でき、1+[B]は恒等的に真(1)であるので、[A]*[B]は冗長な項である。
そのような項の情報をすべて削除した後、残りの項を1つずつ比較する(ステップ1305)。すべての項が一致した場合、2つの論理式は論理的に等しいと判断する(ステップ1306)。反対に、項の数が異なる場合や、一致しない項が存在する場合、2つの論理式は論理的に等しくないと判断する(ステップ1307)。
【００３２】
2つの結果が一致すると、簡約型論理式を図１の表示部103や出力部104に出力し（図２のステップ210）、入力した結線図と比較する（ステップ212）。
2つの結果が一致しない場合、どちらかの変換手法に誤りがあると判断し、論理式を出力せず(ステップ211)、これにより結線図と合致しない論理式が作成されることを防ぐことができる。
【００３３】
次に、このような過程を経て得られる論理式に対して、マウスやキーボードを用いて、ディスプレイ上に表示される結線図上のリレーなどの条件や状態を設定した後(ステップ213)、論理式演算(ステップ214)を行なう。結線図上の各リレーやリレー接点に対応する図形データのセル番号、リレーに対応する論理式、及び論理式の論理演算結果を互いに関連付けてメモリなどの計算機内の記憶装置に記憶させておく。これにより、論理式の論理演算を行ったときに、演算結果（1／0）に応じてその論理式に対応する結線図上のリレーのシンボルを、例えば、動作（1）なら青色、無動作（0）なら赤色などで表示することで、リレーの動作を確認することができる。
【００３４】
論理式演算を行う方法として、例えば、論理式の左辺を後置記法に変換する方法がある。後置記法は、変数を先に書き、その変数に対する演算子を後に書く記法であり、計算機で式の四則演算や論理演算を行うことを容易にするものである。例えば、論理式[X]+[Y]=[R]の左辺を後置記法に書き換えると、[X][Y]+となる。変数[X]の値が1、変数[Y]の値が0の場合、その値をメモリなどに記憶させておき、対応する演算子が現れた時に、順次2つの値を取り出して演算を実施し、再び結果をメモリに記憶させる。そのような操作を繰り返すことで、論理式の演算が行なわれる。
【００３５】
この場合、左辺の演算結果は1となり、右辺の変数[R]の値を1に更新する。変数[R]の値が１であるとは、結線図上では、リレーRが動作状態にあることを意味し、このときのリレーの動作状態を結線図上に表示することができる(ステップ215)。これにより、意図したとおりに回路が動作するかどうかを確認することができる。なお、計算機で式の四則演算や論理演算を行うことを容易にする他の手法として前置記法もあり、これを用いることができるのは言うまでもない。
以上の手順により、論理式から連動論理データを作成することができる(ステップ216)。
【図面の簡単な説明】
【００３６】
【図１】本発明が前提とする連動論理データ作成方法の例を示し、図１（a）は処理装置の基本構成を示すブロック図であり、図１(b)はその作用を示すフローチャートである。
【図２】本発明の実施の形態１による連動論理データ作成方法を示すフローチャート図である。
【図３】図３(a）は図２で作成された結線図の一例、図３(b)は図形データの一例を示す図である。
【図４】図３(b)の図形データから変換されるノード情報の一例を示す図である。
【図５】経路のノード情報による表現方法の例を示す図である。
【図６】標準型手法によって論理式を作成する方法をフローチャートで示した図である。
【図７】1つの回路で複数のリレーを制御する回路の刈り取りを示す図である。
【図８】構成不能な経路が含まれる回路の刈り取りを示す図である
【図９】図９(a)は冗長な経路が含まれる回路例、図９(b)はこれを論理式変換する例を示す図である。
【図１０】図１０(a)は電流方向により動作が異なるリレーを持つ回路の例を示す図、図１０(b)はそれをノード情報で表した例を示す図である。
【図１１】本発明の実施の形態２による簡約型手法によるノード情報の処理方法を示す図である。
【図１２】簡約化手法によって論理式を作成する方法をフローチャートで示した図である。
【図１３】標準型手法および簡約型手法の2つの論理式を照合するフローチャートを示す図である。
【符号の説明】
【００３７】
１０１  入力部
１０２  計算機                  
１０３  表示部
１０４  出力部
１０５  結線図
４０１  線分
４０２，５０１  ノード
Ｂ２４  陽極端
Ｃ２４  陰極端
【図１】
2005041341.tif 000003
【図２】
2005041341.tif 000004
【図３】
2005041341.tif 000005
【図４】
2005041341.tif 000006
【図５】
2005041341.tif 000007
【図６】
2005041341.tif 000008
【図７】
2005041341.tif 000009
【図８】
2005041341.tif 000010
【図９】
2005041341.tif 000011
【図１０】
2005041341.tif 000012
【図１１】
2005041341.tif 000013
【図１２】
2005041341.tif 000014
【図１３】
2005041341.tif 000015