JPH08278957A - 実行不可能解及び無限解の解析支援装置 - Google Patents

Abstract

(57)【要約】 【目的】 本発明の目的は、最適化計算の結果求められ
た実行不可能解または、無限解を解析するための情報を
ユーザに分かり易い形態で提供することが可能な実行不
可能解及び無限解の解析支援装置を提供することであ
る。 【構成】 本発明は、プロセスフロー生成手段１３０
と、プロセスフローの要素の内容を記載したパス名を一
意に付与される変数名と組にして蓄積する変数・要素対
応情報蓄積手段２００と、最適化計算の結果を蓄積する
解蓄積手段４００と、解蓄積手段４００の内容を参照し
て、実行不可能解または無限解判定の原因となった変数
名を取得して、検索したパス名と変数名を所定のフォー
マットに編集して表示手段６００表示する編集手段７０
０とを有する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、実行不可能解及び無限
解の解析支援装置に係り、特に、数理計画問題を解く場
合に、実行不可能解や無限解となった原因の解析を支援
するための実行不可能解及び無限解の解析支援装置に関
する。

【０００２】詳しくは、石油・化学プラントの生産計
画、運転計画等を数理計画問題として解く場合に利用で
きる数理計画システムの最適化計算の結果、実行不可能
解または、無限解が得られた場合にＧＵＩ（Graphical
User Interface) を使用して解析支援を行う実行不可能
解及び無限解の解析支援装置に関する。

【０００３】一般的に、実行不可能解または無限解の原
因解析は、コンピュータとオペレータとの間において、
ポインティングデバイスを用いてプルダウンメニューや
ウィンドウ、アイコン等のグラフィカルな部品群を操作
してユーザインタフェースを行うＧＵＩを使用すること
により、ＧＵＩにおけるディスプレイ装置の表示情報を
参照して以下のような手順で行なわれる。

【０００４】ステップ１） 実行不可能解または、無限
解の原因となる変数を特定する。 ステップ２） 適切なデータが設定されているかどうか
を確認する。 ステップ３） データが適切でなければ、修正する。 モデリングシステムを使用して数理計画法のモデルデー
タを生成する場合は、数理計画法での定式化を全く意識
しないで、プロセスフローの作成及びデータの入力を行
うことができるというメリットがある。その反面、変数
名を意識することなく自動的にモデルデータが生成され
るため、実行不可能解や無限解になった場合に、原因と
なっている変数がプロセスフロー上の何に相当するのか
を探索するのに、手間が係るというデメリットがある。

【０００５】このため、モデリングシステムによって生
成されたモデルデータの変数名がプロセスフロー上のど
の部分に相当するのかを解析した情報がユーザに提供さ
れることが望まれている。

【０００６】

【従来の技術】最初に、種々の計画等に使用される最適
解を求めるための処理について説明する。図２０は、解
析支援システム構成図である。同図に示すシステムは、
モデリングシステム１００、変数マップファイル２０
０、モデルデータファイル３００、解情報ファイル４０
０、数理計画法システム５００、ディスプレイ装置６０
０及びモデル生成情報ファイル９００より構成される。

【０００７】モデリングシステム１００は、一般的に
は、与えられたデータを数理計画モデルに正確に表現で
き、最初のモデル構築に使用された以外の新しいデータ
にも追随する汎化能力を有するものとし、同図の例で
は、変数マップファイル２００、モデルデータファイル
３００及びモデル生成情報ファイル９００を生成する。
さらに、モデリングシステム１００は、数理計画法シス
テム５００が計算した演算結果をディスプレイ装置６０
０を介してユーザに提示する。

【０００８】変数マップファイル２００は、モデリング
システム１００が生成したモデルデータの変数名と、そ
の変数名が実際のプロセスフロー上で何に相当するのか
を表すパス名の対応情報が格納されるファイルである。
図２１は、変数マップの例を示す。変数マップは、モデ
リングシステム１００が自動的に命名した変数名と、変
数名が実際のプロセスフロー上の何に相当するのかを表
すパス名より構成される。同図において、“Ｒ”で始ま
る変数名は行変数名を、また、“Ｃ”で始まる変数名は
列変数名を表す。（＊）は、モデリングシステムが命名
した変数“Ｃ００００００７”がプロセスフロー（詳細
は、後述する）上のラインＬ１の第１期の入力量のデー
タを表す変数名であることを意味している。

【０００９】モデルデータファイル３００は、モデリン
グシステム１００が生成したモデルデータを格納する。
解情報ファイル４００は、数理計画法システム５００に
よる最適化計算で求められた解の情報が格納されるファ
イルである。解情報ファイル４００には、最適化計算に
おいて、最適解が求められた場合だけでなく、実行不可
能解や無限解が導出された場合にも、その解を得た時点
での解情報が出力される。

【００１０】モデリング生成情報ファイル９００は、モ
デリングシステム１００がモデルデータを生成するとき
に、各変数の詳細情報が格納されるファイルである。図
２２は、モデル生成情報ファイルのデータの例を示す。
同図において、“＊”が付与されている内容は、式“Ｒ
０００００１４”がプロセスフロー上のラインＬ９の第
１期の消費量に関する式であることを示し、変数“Ｃ０
００００１３”及び変数“Ｃ０００００３３”の差が
“０”、即ち、第１期における装置から出力されるライ
ンＬ９の量とプロセスフロー全体から出力されるライン
Ｌ９の量が等しいことを表している式であることを意味
している。また、変数“Ｃ０００００１３”及び変数
“Ｃ０００００３３”に設定されている上下限値も併せ
てモデル生成情報ファイル９００に格納される。

【００１１】ここで、数理計画法システム５００が実行
不可能解や無限解であると判定する場合の方法を説明す
る。数理計画法システム５００は、すべての制約条件を
満たすことができない状態である解を実行不可能解であ
ると判定する。また、制約条件が所定範囲内において解
を求めるには足りないため、評価値（目的関数値）をい
くらでも大きくあるいは、小さくできる状態となる解を
無限解であると判定する。

【００１２】最適化手法としてシンプレックス法を採用
する場合の判定方法を説明する。シンプレックス法は、
各制約式が構成する端点（例えば、ｎ本の制約式なら
ば、ｎ次元多面体の頂点）を辿りながら、目的関数が最
大または、最小となる端点（最適解）を探索していく手
法である。なお、端点を辿る手法は、数学的な行列演算
を用いる。

【００１３】シンプレックス法の実行不可能解とは、探
索中にどの方向に行っても実行不可能量（各制約式を満
たさない量の総和）が増加するもしくは変わらない端点
に到達した時点における解を指す。即ち、これ以上実行
不可能量が減少しないと判明した時点の解を意味する。
また、無限解とは、探索中に全ての制約条件を満たした
まま、目的関数値を無限解に大きく或いは、小さくでき
る端点に達した時点における解を指す。即ち、目的関数
を最大にする場合ならば、目的関数に正の係数を持ち、
他の制約条件に無関係に無限に大きくできる変数が存在
すると判明した時点の解を意味する。

【００１４】ディスプレイ装置６００は、ユーザが数理
計画法システム５００における最適化計算の経過や結果
を取得するための種々の表示情報を表示する。表示情報
のための画面の種類として実行時出力情報表示画面、解
参照用ウィンドウ、実行不可能解／無限解情報表示用ウ
ィンドウが用意されているものとする。図２３は、従来
のディスプレイ表示の例を示す図である。同図に示す表
示の例として、ユーザが装置（処理要素）構成や処理フ
ローを設定するためのプロセスフロー６１０、最適化計
算の経過情報を表示するための実行時出力情報表示画面
６２０、最適化計算により求められた結果を表示するた
めの解参照用ウィンドウ６３０、及び値設定テーブル６
５０が表示される。これらの各表示画面は、ユーザがポ
インティングデバイスを用いて種々選択することにより
表示される。

【００１５】プロセスフロー６１０は、ユーザが実行し
ようとする内容に基づいて、ポインティングデバイスを
用いて、各要素を処理する装置を表すボックス（図２４
の例では、Ｂ１，Ｂ２，Ｂ３，Ｂ４）や各種要素の流れ
を示すライン（図２４の例では、Ｌ１〜Ｌ１２）を入力
する。また、プロセスフロー６１０の下部には、図２４
に示すように、結果表示部６１１が設けられており、最
適化計算の結果、求められた解の状態（最適解、実行不
可能解、無限解等）と目的関数値を表示する。

【００１６】実行時出力情報表示画面６２０は、モデリ
ングシステム１００による数理計画法のモデルデータ生
成の経過情報、数理計画法システム５００の実行経過情
報、及び数理計画法システム５００の解情報をモデリン
グシステム１００が取得するときの経過情報を表示す
る。

【００１７】解参照用ウィンドウ６３０は、数理計画法
システム５００により求められた解を解情報ファイル４
００から読み出して表示するためのウィンドウである。
値設定テーブル６５０は、最適化計算において必要とな
るプロセスフロー６１０における各装置（Ｂ１，Ｂ２，
Ｂ３，Ｂ４）やプロセスフロー全体の入出力量の上限値
または、下限値の設定、種々の条件値等を各装置毎やプ
ロセスフロー全体のデータとして設定するためのテーブ
ルである。また、値設定テーブル６５０には、数理計画
方システム５００により求められた解を入力したデータ
毎に表示できる。図２５は、値設定テーブルの例を示
す。同図では、装置Ｂ１の入出力情報を設定するための
値設定テーブルの例である。上段のテーブルは、装置Ｂ
１の入力情報テーブルを示し、下段のテーブルは、装置
Ｂ１の出力情報テーブルを示す。上限値欄及び下限値欄
にはユーザ入力値を、またアクティビティ欄には数理計
画法システム５００の最適化計算により求められた解を
表示する。

【００１８】次に、図２０における動作について説明す
る。図２６は、従来の解析支援システムの処理のフロー
チャートである。 ステップ１０１） ユーザがモデリングシステム１００
を使用して、希望する処理のプロセスフロー６１０をデ
ィスプレイ装置６００上に作成する。

【００１９】ステップ１０２） 次に、ユーザは、モデ
リングシステム１００を利用して、値設定テーブル６５
０に条件値を入力する。条件値とは、例えば、入荷量を
入力する場合に、最低限ｎトン（ｔ）の入荷量が必要で
ある、あるいは、工場生産時点における歩留り率は平均
ｎ％未満でなければならない等の数理計画法システム５
００が計算する際に用いる条件を設定する。この設定
は、各装置毎及びプロセスフロー全体のデータとして設
定することが可能である。

【００２０】ステップ１０３） モデリングシステム１
００は、モデルデータを生成し、当該モデルデータにシ
ーケンシャルに変数名を付与して、当該変数名がプロセ
スフロー６１０上のどの部分に相当するかを示すパス名
と組にして変数マップファイル２００に格納する。

【００２１】ステップ１０４） モデリングシステム１
００は、モデルデータを生成したときの式や変数の詳細
情報をモデル生成情報ファイル９００に格納する。 ステップ１０５） 次に、モデリングシステム１００
は、モデルデータをモデルデータファイル３００に格納
する。

【００２２】ステップ１０６） 数理計画法システム５
００は、モデルデータファイル３００からモデルデータ
を入力し、最適化計算を実行して、最適化計算により求
めた解を解情報ファイル４００に出力する。 ステップ１０７） モデリングシステム１００は、解情
報ファイル４００を参照して解析し、数理計画法システ
ム５００の最適化計算結果を読み込み、目的関数の解状
態を取得する。

【００２３】ステップ１０８） モデリングシステム１
００は、取得した最適化計算結果に基づいてディスプレ
イ装置６００にプロセスフロー６１０を表示する。 ステップ１０９） モデリングシステム１００は、取得
した最適化計算結果に基づいて値設定テーブルをディス
プレイ装置６００の画面上に表示する。

【００２４】ステップ１１０） ここで、プロセスフロ
ー上の結果表示部６１１の解状態に実行不可能解または
無限解と表示された場合、または、実行時出力情報表示
画面６２０に含まれる数理計画法システム５００の実行
経過情報中に、実行不可能解または、無限解を検出した
ことが表示された場合、つまり、実行不可能解または無
限解が存在する場合には、ステップ１１１に移行し、存
在しない場合には、処理を終了する。

【００２５】ステップ１１１） 上記のステップ１１０
において、実行不可能解または無限解が存在すると判定
された場合には、ユーザは、実行時出力情報表示画面６
２０の変数名を参照する。図２７の実行時出力情報表示
画面の例において、（Ａ）は最適解になっている場合の
例であり、ａに示す“210.00000 ”は最適解が得られた
ときの目的関数の値を表している。（Ｂ）は、変数“R0
000012”、“R0000018”、“R0000032”が実行不可能解
判定の原因になっていることを示している。ｂは、実行
不可能解判定の原因となった行変数番号を示し、ｃは、
実行不可能解判定の原因となった行変数名、ｄは、実行
不可能解判定の原因となった行で、現在、基底に入って
いる変数番号、ｅは、実行不可能解判定の原因となった
行で、現在、基底に入っている変数名を表す。（Ｃ）
は、変数“C0000005”が無限解判定の原因となっている
ことを示している。ｆは、無限解判定の原因となった変
数番号を示し、ｇは、無限解判定の原因となった変数名
を示す。

【００２６】ステップ１１２） ユーザは、変数マップ
ファイル２００、モデル生成情報ファイル９００また
は、解参照用ウィンドウ６３０を参照して原因となって
いる変数名がプロセスフロー６１０上の何に相当するか
をパス名から判断する。例えば、実行時出力情報表示画
面６２０上で、変数“R0000009”が、実行不可能解判定
の原因である場合には、ユーザは、変数マップファイル
２００を参照して、変数名“R0000009”に対応するパス
名“．INPUT(L1) ”をピックアップする。ここで、実行
不能解判定の原因は、プロセスフロー６１０上のライン
Ｌ１の入力量であることが分かる。

【００２７】モデル生成情報ファイル９００を参照する
場合には、例えば、図２２に示すようなモデル生成情報
ファイルが生成されている場合に、“R0000014”生成時
の詳細情報を検索して取得する。これにより、式“R000
0014”は、変数“C0000013”及び“C0000033”からな
り、これらの変数に実行不可能解の原因があるものと判
定する。

【００２８】また、解参照用ウィンドウ６３０を参照す
る場合には、例えば、図２８に示すような解参照用ウィ
ンドウ６３０が表示されている場合に、“C0000007”が
無限解判定の原因であると判断されている場合には、ユ
ーザは、変数名“C0000007”に対応するパス名“．INPU
T(L1).T1”を解参照用ウィンドウ６３０を検索して取得
する。これにより、プロセスフロー６１０上のラインＬ
１の第１期の入力量のデータが無限解判定の原因である
ものと判定する。

【００２９】このようにして、ユーザは、実行不能解や
無限解の原因となった要素を抽出し、分析を行う。

【００３０】

【発明が解決しようとする課題】しかしながら、上記従
来の技術では、数理計画法システムの実行時の出力情報
中に含まれている実行不可能解または、無限解判定の原
因となっている変数名に基づいて変数マップファイルや
解参照用ウィンドウ等を参照して、原因となっている変
数名が、プロセスフロー上のどの要素に対応するかをパ
ス名から判断する作業が必要である。このため、本来、
数理計画法の定式化を意識せずに、最適な計画を立案す
ることができるという特徴を有するモデリングシステム
であるにも関わらず、ユーザは、モデリングシステムに
より自動生成された数理計画法のモデルデータから解析
を始めなければならないという矛盾がある。

【００３１】従って、実行不可能解や無限解となった原
因の解析を行う要素を把握するまでに上記のような手順
を踏襲しなくてはならず、ユーザの負担が大きいという
問題がある。本発明は、上記の点に鑑みなされたもの
で、ユーザが設定した内容の範囲で、最適化計算の結果
求められた実行不可能解または、無限解を解析するため
の情報をユーザに分かり易い形態で提供することが可能
な実行不可能解及び無限解の解析支援装置を提供するこ
とを目的とする。

【００３２】本発明の更なる目的は、プロセスフロー上
に表示されている要素のうち、どの要素が実行不可能解
または、無限解判定の原因となっているかを画面上で特
定色または、ブリンキングで表示することが可能な実行
不可能解及び無限解の解析支援装置を提供することであ
る。

【００３３】本発明の更なる目的は、プロセスフローが
階層構造を有する場合において、上記同様に特定色で表
示またはブリンキング可能な実行不可能解及び無限解の
解析支援装置を提供することである。本発明の更なる目
的は、実行不可能解または前記無限解判定の原因となっ
ている変数名とパス名を解参照用ウィンドウに表示し、
さらに、パス名に関する説明文を付与することが可能な
実行不可能解及び無限解の解析支援装置を提供すること
である。

【００３４】本発明の更なる目的は、実行不可能解また
は前記無限解判定の原因となっている変数名とパス名を
実行不可能解／無限解情報表示用ウィンドウに表示し、
さらに、パス名に関する説明文を付与することが可能な
実行不可能解及び無限解の解析支援装置を提供すること
である。

【００３５】本発明の更なる目的は、プロセスフローと
値設定テーブルを同時に表示でき、実行不可能解または
前記無限解判定の原因を容易に把握することが可能な実
行不可能解及び無限解の解析支援装置を提供することで
ある。

【００３６】

【課題を解決するための手段】第１の発明は、モデリン
グシステムでモデル化された情報に基づいて数理計画法
システムにより最適解を求める際に、実行不可能解また
は、無限解が発生した場合に、該実行不可能解または、
該無限解判定の原因を解析するための解析支援装置であ
って、数値データ及びＧＵＩを使用した表示手段上に生
成される各種要素の流れ及びそれらの要素を処理する手
段を示すプロセスフロー内の実行不可能解または、無限
解判定の原因となっている要素を、所定の方法で他の要
素と区別して表示する出力手段を有する。

【００３７】第２の発明は、上記の第１の発明の出力手
段が、プロセスフロー上に表示されている要素のうち、
実行不可能解または、無限解判定の原因となっている要
素を特定の色で表示する第１の表示手段を有する。第３
の発明は、出力手段が実行不可能解または無限解判定の
原因となった変数名の数値情報が設定される値設定格納
手段と、値設定格納手段の内容を表示し、実行不可能解
または無限解判定の原因となった変数名に該当する箇所
を特定の色で表示する値設定画面表示手段とを含む。

【００３８】第４の発明は、出力手段が、編集手段によ
り編集されたプロセスフローを表示すると同時に、値設
定画面表示手段による表示も行う二種ウィンドウ表示手
段を含む。第５の発明は、上記の第１の発明の出力手段
が、生成されるプロセスフロー上に表示されている要素
のうち、実行不可能解または、無限解判定の原因となっ
ている要素の該プロセスフロー上の位置を認識し、位置
をブリンキングする第２の表示手段を有する。

【００３９】第６の発明は、上記の第１の発明の出力手
段が、階層構造を有するプロセスフロー上に表示されて
いる要素のうち、実行不可能解または、無限解判定の原
因となっている要素及びその要素を包含する上位の階層
内の要素の各プロセスフロー上の位置を認識し、該位置
を特定の色で表示する第３の表示手段を有する。

【００４０】第７の発明は、上記の第１の発明の出力手
段が、階層構造を有するプロセスフロー上に表示されて
いる要素のうち、実行不可能解または、無限解判定の原
因となっている要素及びその要素を包含する上位の階層
内の要素の各プロセスフロー上の位置を認識し、該位置
をブリンキングする第４の表示手段を有する。

【００４１】第８の発明は、上記の第１の発明の出力手
段が、数理計画法システムの最適化計算の実行時に出力
される実行時出力情報に、実行不可能解または、無限解
判定の原因となっている変数名と該変数名が実際のプロ
セスフロー上で何に相当しているかを示す情報であるパ
ス名、及びパス名の説明文を表示する第５の表示手段を
有する。

【００４２】また、第９の発明は、上記の第１の発明の
出力手段が、数理計画法システムの最適化計算の実行で
実行不可能解または無限解が得られた場合に、実行不可
能解または無限解判定の原因となっている変数名と該変
数名が実際のプロセスフロー上で何に相当しているかを
示す情報であるパス名を解参照用ウィンドウの第１の画
面に、変数名と変数名に関する説明文を解参照用ウィン
ドウの切り換えられた第２の画面に表示する第６の表示
手段を有する。

【００４３】また、第１０の発明は、上記第１の発明の
出力手段が、数理計画法システムの最適化計算の実行で
実行不可能解または無限解が得られた場合に、実行不可
能解または無限解判定の原因となっている変数名と該変
数名が実際のプロセスフロー上で何に相当しているかを
示す情報であるパス名とパス名の説明文を実行不可能解
／無限解情報表示用ウィンドウに表示する第７の表示手
段を有する。

【００４４】図１は、本発明の原理構成図である。第１
１の発明は、上記第１の発明の出力手段が、プロセスフ
ローを作成するプロセスフロー生成手段１３０と、プロ
セスフローの要素の内容を記載したパス名を一意に付与
される変数名と組とする情報と、モデリングシステムに
おいてモデルデータを生成する際に設定される編集の詳
細情報とを蓄積する変数・要素対応情報蓄積手段２００
と、数理計画法システムの最適化計算の結果を蓄積する
解蓄積手段４００と、解蓄積手段４００の内容を参照し
て、内容に実行不可能解または無限解が存在する場合
に、実行不可能解または無限解判定の原因となった変数
名を取得して、変数名で変数・要素対応情報蓄積手段２
００を検索し、検索されたパス名と変数名を所定のフォ
ーマットに編集して表示手段６００に表示する編集手段
７００とを有する。

【００４５】また、第１２の発明は、上記の第９の発明
の編集手段７００が、変数名またはパス名に対応する説
明文を蓄積するメッセージ蓄積手段と、メッセージ蓄積
手段を変数名またはパス名で検索し、パス名に対応する
説明文を変数名またはパス名と組にして所定のフォーマ
ットに編集するメッセージ編集手段を含む。

【００４６】また、第１３の発明は、上記の第１０の発
明のメッセージ蓄積手段が、変数・要素対応情報蓄積手
段に格納する要素情報毎に対応するメッセージを生成す
るメッセージ生成手段を含む。

【００４７】

【作用】本発明では、ユーザが入力したプロセスフロー
と数値データからモデリングシステムが作成したモデル
データを用いて、数理計画法システムで最適化計算した
結果が実行不可能解または無限解になった場合に、プロ
セスフロー上の原因部分をマーキングして表示する、ま
たは、解参照用ウィンドウ、実行時出力情報表示画面、
実行不可能解／無限解情報表示用ウィンドウに表示する
ことにより、以下のように原因の解析を行うことが可能
となる。

【００４８】まず、ユーザは、プロセスフロー上に特定
色で表示されたボックスまたはライン等の原因要素を認
識することが可能となる。また、ユーザは、モデリング
システムの実行時出力情報表示画面、解参照用ウィンド
ウ、または、実行不可能解／無限解情報表示用ウィンド
ウに表示されているパス名を見てプロセスフローのどの
ボックスまたはラインのどのデータが実行不可能解また
は無限解判定の原因となっているのかを識別することが
可能となる。

【００４９】これにより、ユーザは、上記のようにして
原因要素を認識し、データの設定内容を確認し、実行不
可能解または無限解の原因を解析するためのプロセスを
容易に取得することが可能となる。また、プロセスフロ
ーと共に、当該プロセスフローにおいて実行不可能解ま
たは無限解の判定の原因となった変数名に関する値設定
格納手段（値設定テーブル）も表示し、プロセスフロー
上において、実行不可能解または無限解の判定の原因と
なった箇所を、値設定テーブル上においてもプロセスフ
ローと同様に特定の色で表示することが可能となる。こ
れにより、ユーザは、プロセスフロー上では、実行不可
能解または無限解の判定の原因となった位置を確認し、
表示された値設定テーブル上ではその値を確認すること
が可能となる。

【００５０】

【実施例】以下、図面と共に、本発明の実施例を詳細に
説明する。図２は、本発明の一実施例の実行不可能解／
無限解解析支援装置の構成を示す。同図中、図２０と同
一構成部分には、同一符号を付し、その説明を省略す
る。

【００５１】モデリングシステム１００は、変数マップ
生成部１１０、モデルデータ生成部１２０、プロセスフ
ロー生成部１３０、解情報解析部１４０、出力編集部１
５０、出力部１６０、入力部１７０、値設定テーブル生
成部１９０及びディスプレイ装置６００より構成され
る。また、各構成要素により参照されるファイルとし
て、変数マップファイル２００、モデルデータファイル
３００、解情報ファイル４００、メッセージファイル８
００及びモデル生成情報ファイル９００がある。

【００５２】また、ディスプレイ装置６００は、表示画
面として、プロセスフロー６１０、実行時出力情報表示
画面６２０、解参照用ウィンドウ６３０、実行不可能解
／無限解情報表示用ウィンドウ６４０、値設定テーブル
６５０の各ウィンドウを有する。

【００５３】変数マップ生成部１１０は、従来の技術と
同様の方法で変数マップファイル２００を生成する。変
数マップファイル２００の内容は図２１に示す構成と同
様であるので、詳細な説明は省略する。また、変数マッ
プ生成部１１０は、変数マップファイル２００の生成時
にメッセージファイル８００も同時に作成する。つま
り、変数に対応する要素がプロセスフロー６１０のどの
要素に対応するかを示す情報（パス名）に関するメッセ
ージ（説明文）を生成して、パス名と組にしてメッセー
ジファイル８００に格納する。例えば、パス名が“．IN
PUT(L1).T1”であれば、『入力量』、『Ｌ１』、『第１
期』のように単語毎に区切ってメッセージファイル８０
０に登録しておき、編集時に文章化する。または、パス
名“．INPUT(L1).T1”に対応する文章として『ラインＬ
１の、第１期の、入力量』を、メッセージファイル８０
０に登録する方法もある。

【００５４】モデルデータ生成部１２０は、従来の技術
と同様の方法により、ユーザが入力部１７０から入力し
たデータにより生成されたプロセスフロー６１０と数値
データ（値設定テーブル）からモデルデータを作成し、
モデルデータファイル３００に格納する。また、モデル
データ生成部１２０は、各変数の詳細情報をモデル生成
情報ファイル９００に格納する。データの内容は図２２
と同様であるので詳細な説明は省略する。

【００５５】プロセスフロー生成部１３０は、ユーザが
入力部１７０より装置やラインの指定情報を入力する
と、それらの指定情報をプロセスフロー６１０上に設定
すると共に、数理計画法システム５００による最適化計
算後に、当該計算の結果に基づいて表示できるフォーマ
ットに編集を行うように出力編集部１５０に指示する。

【００５６】解情報解析部１４０は、解情報ファイル４
００に格納されている最適化計算結果を解析する。図３
は、本発明の一実施例の解情報ファイル４００のデータ
の例を示す。解情報ファイル４００は、変数名、上限
値、下限値、アクティビティ、パス名などから構成され
る。同図は最適化計算後に出力される解情報ファイル４
００の内容の例を示しており、少なくとも変数名と当該
変数名に対応するパス名の組により構成される。同図に
おいて、上限値または下限値の欄に出力される“none”
はユーザによって上限値または下限値が入力されていな
いことを表す。また、変数や式が持っている値であるア
クティビティは、最適化計算により求められた変数の値
（R0000001, R0000002, …, C0000001, C0000002, …
の値) であり、このアクディビティ欄に表示される。同
図において、データ番号３は、数理計画法システム５０
０における最適化計算の結果得られた目的関数の情報を
示す。

【００５７】出力編集部１５０は、解情報解析部１４０
から解析情報を取得すると、当該情報に基づいて、変数
名やそのパス名や説明文章等を実行時出力情報６２０
や、解参照用ウィンドウ６３０や、実行不可能／無限解
情報表示用ウィンドウ６４０用のフォーマットに編集す
る。また、出力編集部１５０は、プロセスフロー生成部
１３０がプロセスフロー６１０に実行不可能解や無限解
となった原因と判断された変数名に対応するプロセスフ
ロー６１０上の要素を特殊表示するための編集を行い、
プロセスフロー生成部１３０で編集されたフォーマット
と共に編集された情報を渡す。また、出力編集部１５０
は、値設定テーブル６５０に実行不可能解や無限解とな
った原因と判断された変数名に関する値設定箇所を特殊
表示するための編集を行い、値設定テーブル生成部１９
０で編集されたフォーマットと共に編集された情報を渡
す。また、解情報解析部１４０から渡されるデータをア
クセス先に転送を行う。転送先は値設定テーブル生成部
１９０、プロセスフロー生成部１３０、出力部１６０等
である。

【００５８】出力部１６０は、出力編集部１５０で各種
編集された編集内容を実行時出力情報表示画面６２０、
解参照用ウィンドウ６３０、実行不可能解／無限解情報
表示用ウィンドウ６４０の中からユーザにより指定され
た画面情報をディスプレイ装置６００に渡す。

【００５９】値設定テーブル生成部１９０は、ユーザが
入力部１７０より装置の移動、物資の入出力情報を入力
すると、それらの入力情報を値設定テーブル６５０上に
設定すると共に、数理計画法システム５００による最適
化計算後に、当該計算結果に基づいて表示できるフォー
マットに編集を行うように出力編集部１５０に指示す
る。

【００６０】ディスプレイ装置６００は、プロセスフロ
ー６１０、実行時出力情報表示画面６２０、解参照用ウ
ィンドウ６３０、実行不可能解／無限解情報表示用ウィ
ンドウ６４０及び値設定テーブル６５０を出力部１６０
の指示により表示するものとする。ディスプレイ装置６
００の各表示画面は、出力部１６０の制御により表示さ
れ、１つのディプレイ画面上に複数の表示画面（ウィン
ドウ）を個々に表示するか、または、同時に表示するこ
とも可能であるものとする。

【００６１】入力部１７０は、ユーザにより指示データ
（例えば、表示ウィンドウの指定）、プロセスフロー６
１０への指定情報、値設定テーブル６５０への入力情報
等が入力される。図４は、本発明の一実施例の実行不可
能解及び無限解の解析支援方法の処理のフローチャート
である。

【００６２】ステップ２０１） ユーザが、入力部１７
０よりモデリングシステム１００の起動指示を行うと、
プロセスフロー生成部１３０は、入力部１７０からユー
ザが指定した情報に従って、プロセスフロー６１０を生
成して、出力編集部１５０、出力部１６０を介してディ
スプレイ装置６００に渡す。これにより、ディスプレイ
装置６００は、プロセスフロー６１０を表示する。

【００６３】ステップ２０２） 値設定テーブル生成部
１９０は、入力部１７０からユーザが入力した情報に従
って、値設定テーブル６５０を生成して、出力編集部１
５０、出力部１６０を介してディスプレイ装置６００に
渡す。これによりディスプレイ装置６００は、値設定テ
ーブル６５０を表示する。

【００６４】ステップ２０３） 変数マップ生成部１１
０は、ステップ２０１により生成されたプロセスフロー
６１０の設定内容を示すデータ（パス名）に変数名を自
動的に付与して、変数マップファイル２００を生成す
る。また、変数マップ生成部１１０は、プロセスフロー
６１０の各設定要素に対応するパス名の意味を表す説明
文を生成してメッセージファイル８００に登録する。

【００６５】ステップ２０４） モデリングシステム１
００は、モデルデータを生成したときの式や編集の詳細
情報をモデル生成情報ファイル９００に格納する。 ステップ２０５） 次に、モデルデータ生成部１２０
は、モデルデータを生成し、生成されたモデルデータを
モデルデータファイル３００に格納する。

【００６６】ステップ２０６） 数理計画法システム５
００が、モデルデータファイル３００から情報を入力し
て、最適化計算を行い、結果を解情報ファイル４００に
格納する。 ステップ２０７） 解情報解析部１４０は、解情報ファ
イル４００を参照して解析し、数理計画法システム５０
０の最適化計算結果を読み込み、目的関数の解状態を取
得する。

【００６７】ステップ２０８） 解情報解析部１４０
は、出力編集部１５０を介してプロセスフロー生成部１
３０に解情報ファイル４００を解析した結果を渡し、こ
の結果に基づいてプロセスフロー生成部１３０は、プロ
セスフロー６１０を生成し、出力編集部１５０、出力部
１６０を介してディスプレイ装置６００に転送する。こ
のとき、出力編集部１５０は、実行不可能解または無限
解が得られた場合には、原因となっているプロセスフロ
ー６１０上の位置を特定色で表示するよう編集する。

【００６８】ステップ２０９） 解情報解析部１４０
は、出力編集部１５０を介して、値設定テーブル生成部
１９０に解情報ファイル４００を解析した結果を渡す。
この結果に基づいて値設定テーブル生成部１９０は、値
設定テーブル６５０を生成する。実行不可能解または、
無限解が取得されている場合には、出力編集部１５０、
出力部１６０を介してディスプレイ装置６００に転送す
る。このとき、出力編集部１５０は、原因となっている
値設定テーブル６５０上の位置を特定色で表示するよう
編集する。

【００６９】なお、上記のステップ２０７とステップ２
０８までの処理を図５において詳述し、ステップ２０９
の処理を図６において詳述する。 ステップ２１０） 解情報解析部１４０は、解情報ファ
イル４００の内容を解析した結果、解情報ファイル４０
０の情報に実行不可能解または、無限解が含まれていな
い場合には、処理を終了する。また、含まれている場合
には、ステップ２１１に移行する。

【００７０】ステップ２１１） 解情報解析部１４０
は、実行不能解または、無限解判定の原因となった変数
名を解情報ファイル４００より取得し、変数マップファ
イル２００を参照して対応するパス名を取得して、出力
編集部１５０に転送する。これにより、出力編集部１５
０は、実行時出力情報表示画面６２０に表示可能な形式
に編集して、実行不可能解／無限解情報として出力部１
６０に転送する。出力部１６０は、当該実行時出力情報
表示画面６２０をディスプレイ装置６００上に表示する
よう制御する。

【００７１】ステップ２１２） また、出力編集部１５
０は、解情報解析部１４０より変数マップファイル２０
０で実行不可能解または、無限解判定の原因となった変
数名に対応するパス名を取得した場合には、プロセスフ
ロー６１０上で当該箇所を特定の色で表示するように編
集する。出力編集部１５０は、出力部１６０に対して、
プロセスフロー６１０上の特定部分のみを特定の色で表
示するように指示する。出力部１６０は、当該指示に基
づいてディスプレイ装置６００を制御する。

【００７２】ステップ２１３） ディスプレイ装置６０
０上の解参照用ウィンドウ６３０の実行不可能解／無限
解表示ボタンがユーザによりクリックされた場合には
（詳細は図１４、図１５を用いて後述する）、ステップ
２１４に移行し、クリックされていない場合には、ステ
ップ２１５に移行する。

【００７３】ステップ２１４） 出力編集部１５０は、
ユーザにより解参照用ウィンドウ６３０の実行不可能解
／無限解表示ボタンがクリックされた場合には、解参照
用ウィンドウ６３０に表示すべく、判定の原因になった
変数名とパス名との対応表、または、判定の原因になっ
た変数名とその変数の説明文章を編集し、出力部１６０
に転送する。出力部１６０は、解参照用ウィンドウ６３
０の表示を行う。なお、説明文章を表示する場合は、出
力編集部１５０は、取得したパス名をキーにしてメッセ
ージファイル８００を検索して取得した説明文を変数名
と共に編集する。

【００７４】ステップ２１５） 次に、ユーザにより、
実行不可能／無限解情報表示コマンドが入力され、当該
コマンドが実行された場合には、ステップ２１４に移行
し、入力されない場合には、処理を終了する。 ステップ２１６） 出力編集部１５０は、判定の原因に
なった変数名とパス名との対応表または、判定の原因に
なった変数名と変数の説明文章を実行不可能解／無限解
情報表示用ウィンドウ６４０に表示する形式に編集し、
出力部１６０に転送する。出力部１６０は、出力編集部
１５０の指示により転送された情報を実行不可能解／無
限解情報表示用ウィンドウ６４０に出力するようディス
プレイ装置６００を制御する。

【００７５】次に、上記のフローチャートのステップ２
０８を詳細に説明する。図５は、本発明の一実施例のプ
ロセスフロー生成の動作を示すフローチャートである。 ステップ３０１） モデリングシステム１００は、当該
最適化計算結果の変数の情報を解情報解析部１４０に転
送する。

【００７６】ステップ３０２） 解情報解析部１４０
は、読み込んだ最適化計算結果の目的関数の状態が、実
行不可能解または無限解以外であれば、プロセスフロー
６１０上に特殊な色での表示のための編集を行わないよ
うに出力編集部１５０に指示し、ステップ３０６に移行
する。また、実行不可能解または、無限解が存在してい
る場合には、ステップ３０３に移行する。

【００７７】ステップ３０３） 解情報解析部１４０
は、当該実行不可能解または無限解と判定された原因と
なる変数名を、ステップ３０１で読み込んだ解情報より
取得する。 ステップ３０４） 解情報解析部１４０は、取得した変
数名をキーとして変数マップファイル２００を検索し
て、当該変数名に対応するパス名を取得する。

【００７８】ステップ３０５） 解情報解析部１４０
は、実行不可能解又は無限解判定の原因となっているプ
ロセスフロー６１０上での位置を決定し、その位置情報
と共に特定色で表示するための情報を出力編集部１５０
に転送する。 ステップ３０６） 出力編集部１５０は、ステップ３０
２において実行不可能解または無限解が存在しない場合
には、プロセスフロー６１０に対して特定の色の表示を
行わないように編集して、出力部１６０にプロセスフロ
ー６１０の表示を指示する。また、存在する場合には、
プロセスフロー６１０上の該当位置を特定の色で表示す
るように編集して出力部１６０に表示を指示する。ディ
スプレイ装置６００は出力部１６０の指示によりプロセ
スフロー６１０を画面上に表示する。

【００７９】次に、値設定テーブル生成部１９０が、最
適化計算の結果、得られた数値を取得した時点以降の処
理について述べる。図６は、本発明の一実施例の値設定
テーブル生成部の動作を示すフローチャートである。

【００８０】ステップ４０１） モデリングシステム１
００は、当該最適化計算結果の変数の情報を解情報解析
部１４０に転送する。 ステップ４０２） 解情報解析部１４０は、取得した最
適化計算の結果に実行不可能解又は無限解がある場合に
はステップ４０３に移行し、存在しない場合には、値設
定テーブル生成部１９０の処理を終了する。

【００８１】ステップ４０３） 解情報解析部１３０
は、実行不可能解または無限解判定の原因となった変数
名を、ステップ４０１で読み込んだ解情報より取得す
る。 ステップ４０４） 解情報解析部１４０は、取得した変
数名でモデル生成情報ファイル９００を検索する。詳細
は後述する。

【００８２】ステップ４０５） 解情報解析部１４０
は、実行不可能解または無限解判定の原因に関連のある
値設定テーブル６５０を決定する。 ステップ４０６） 解情報解析部１４０は、該当する値
設定テーブル６５０上の位置（一行または一列）を決定
して、その位置を特定色で表示するための情報を出力編
集部１５０に転送する。

【００８３】ステップ４０７） 出力編集部１５０は、
転送された値設定テーブル６５０に表示するための情報
を、所定のフォーマットに編集して、出力部１６０に転
送し、出力部１６０は、その情報をディスプレイ装置６
００に転送する。ディスプレイ装置６００は、取得した
実行不可能解または無限解判定の原因に関連のある値設
定テーブル６５０を自動的に画面表示する。

【００８４】次に、上記のステップ４０４において、取
得した変数名でモデル生成情報ファイル９００を検索す
る処理を図２２を例に詳細に説明する。 まず、解情報解析部１４０は、読み込んだ解情報フ
ァイル４００の情報から、実行不可能解又は無限解判定
の原因となっている変数名“Ｒ０００００１４”を取得
する。

【００８５】 解情報解析部１４０は、取得した変数
名“Ｒ００００１４”でモデル情報生成情報ファイル９
００を検索する。この結果、以下のことが分かる。・変
数名“Ｒ０００００１４”は、ラインＬ９の第１期の消
費量に関する式の名前である。 ・ラインＬ９の消費量に関する式の内容は、 −１．０×（Ｃ０００００１３の値）＋１．０×（Ｃ０
００００３３の値）＝０ である。 ・変数Ｃ０００００１３は、装置から出力されるライン
Ｌ９の第１期の量を表しており、上限値＋∞、下限値５
０が設定されている。 ・変数Ｃ０００００１３のパス名から該当する値設定テ
ーブル、即ち、装置からの出力情報テーブルを自動的に
画面表示する。

【００８６】これにより、図７に示すような値設定テー
ブルが表示される。同図の例は、第１行目のラインＬ９
の行が特殊な色で表示される。以下に表示パターン毎に
編集及び表示について説明する。 （１） 実行時出力情報表示画面６２０への表示方法 解情報解析部１４０が、解情報ファイル４００から、数
理計画法システム５００において、実行された最適解の
演算結果について解析する。解析結果のパターンは、最
適解判定、実行不可能解判定、無限解判定がある。図８
は、本発明の一実施例の実行時出力情報表示画面への表
示例（変数名とパス名との対応表）を示す。なお、実行
時出力情報は、モデリングシステム１００による数理計
画法のモデルデータ生成の経過情報、数理計画法システ
ム５００が起動されてから解の出力が終了するまでの実
行時に出力される情報、及び数理計画法システム５００
の解情報をモデリングシステム１００が取得するときの
経過情報から成る。

【００８７】以下に示す各表示内容は、解情報解析部１
４０において、解情報ファイル４００を読み込んだ時点
で、実行不可能解や無限解が存在するかを判定し、存在
する場合には、出力編集部１５０が同図（Ｂ），（Ｃ）
に示すような出力フォーマットに編集し、出力部１６０
に渡す内容である。

【００８８】図８（Ａ）は、最適解となっている例を示
し、同図（Ｂ）は、変数“R0000012”、“R0000018”、
“R0000032”が実行不可能解判定の原因となっている場
合の例を示し、同図（Ｃ）は、変数“C0000005”が無限
解判定の原因になっている場合の例を示している。

【００８９】同図（Ｂ）のａは、数理計画法システムが
出力する実行不可能解判定情報を示しており、実行不可
能解判定の原因となった変数は、この例では３つあるも
のとする。ｂは、モデリングシステム１００が出力する
実行不可能解情報を示しており、モデリングシステム１
００が命名した変数名ｃと当該変数名がプロセスフロー
６１０上で何に対応しているかを表すパス名ｄの組によ
り表示している。このように表示する場合には、解情報
解析部１４０が解情報ファイル４００より実行不可能解
の判定の原因となった変数名を取得し、当該変数名で、
変数マップファイル２００を検索し、当該変数名に対応
するパス名を取得して、出力編集部１５０に転送する。

【００９０】同図（Ｃ）のｅは、数理計画法システム５
００が出力するの無限解判定情報を示しており、その変
数番号と変数名の組で表示され、ｆは、モデリングシス
テム１００が出力する無限解情報を示しており、モデリ
ングシステム１００が命名した変数名ｇと当該変数名が
プロセスフロー６１０上で何に相当するのかを表すパス
名ｈの組により表示している。このように表示する場合
には、解情報解析部１４０が解情報ファイル４００より
無限解判定の原因となった変数名を取得し、当該変数名
で、変数マップファイル２００を検索し、当該変数名に
対応するパス名を取得して、出力編集部１５０に転送す
る。

【００９１】このように、出力編集部１５０が編集した
内容を出力部１６０に転送することにより、出力部１６
０は、実行出力情報を実行出力情報画面６２０として表
示する。次に、実行出力情報として、階層構造をもつプ
ロセスフロー図の変数名とパス名の対応表を表示する例
を示す。図９は、本発明の一実施例の実行出力情報表示
画面への表示例（変数名とパス名の対応表）を示す。同
図において、ａは、数理計画法システム５００が表示す
る実行不可能解判定情報を示し、ｂは、モデリングシス
テム１００が出力する実行不可能解情報を示す。ｃは、
モデリングシステム１００が命名した変数名であり、ｄ
は、変数名のプロセスフロー６１０上で何に相当するか
を表すパス名である。このように表示する場合には、解
情報解析部１４０が、解情報ファイル４００より取得し
た実行不可能解判定の原因となった変数名をキーとし
て、変数マップファイル２００を検索して、当該変数名
に対応しているパス名を取得する。出力編集部１５０
は、これらの変数名及びパス名を図９に示すフォーマッ
トに編集して、出力部１６０に渡す。

【００９２】次に、実行時出力情報として、変数名と変
数の説明文章を表示する例を示す。図１０は、本発明の
一実施例の実行時出力情報表示画面への表示例（変数名
と変数の説明文章）を示す。同図において、ａは、数理
計画法システム５００が表示する実行不可能解判定情報
を示しており、変数名“R0000052”が実行不可能解判定
の原因となった変数であり、ｂは、当該変数名“R00000
52”がプロセスフロー６１０上で何に相当するかを説明
するための文章が表示される。出力編集部１５０は、当
該変数名に対応するパス名（．C.CB. CONSUME(LC3).T
(1) ）を取得し、当該パス名をキー情報にしてメッセー
ジファイル８００を検索して、その結果を読み込み、図
１０に示すように編集する。出力部１６０は、出力編集
部１５０より転送された情報を実行出力情報画面６２０
に表示する。

【００９３】図１０の例では、解情報解析部１４０が変
数マップファイル２００を検索して、“R0000052”に対
応するパス名“．C.CB. CONSUME(LC3).T(1) ”を取得し
て、出力編集部１５０に転送する。出力編集部１５０
は、当該パス名“．C.CB. CONSUME(LC3).T(1) ”をキー
として、メッセージファイル８００を検索して、『図面
型ボックスＣの下位図面の、図面型ボックスＣＢの下位
図面の、ラインＬＣ３の、第１期の、消費量』というメ
ッセージを取得して、実行時出力情報画面用のフォーマ
ットに編集して、出力部１６０に転送する。これによ
り、出力部１６０は、図１０に示すような実行時出力情
報画面を表示する。なお、以下に説明する各表示画面に
おける編集において、パス名の説明文を表示する場合に
は、上記と同様の方法により説明文を編集するものとす
る。

【００９４】（２） プロセスフロー６１０への表示方
法 数理計画法システム５００の最適化計算で実行不可能解
または、無限解が得られた場合、出力部１６０は、出力
編集部１５０の指示により実行不可能解または、無限解
の判定の原因となった変数のプロセスフロー６１０上の
位置をある特定色で表示する。なお、特定色で表示され
る位置情報は、プロセスフロー生成部１３０が管理して
いるため、解情報解析部１４０で解析した実行不可能解
または、無限解について出力編集部１５０で編集処理を
行い、プロセスフロー生成部１３０に編集内容を転送す
る。これにより、プロセスフロー生成部１３０は、特定
の色を使用する位置を決定し、出力編集部１５０に渡
し、出力部１６０が当該位置の要素を所定の特定の色で
表示するようにディスプレイ装置６００を制御する。

【００９５】図１１は、本発明の一実施例のプロセスフ
ローへの表示例を示す。同図の例では、解情報解析部１
４０において、実行不可能解判定の原因となっている変
数名に対応するパス名により、ラインＬ３、ラインＬ５
及びラインＬ７が実行不可能解判定の原因となったこと
を示している。このラインＬ３、ラインＬ５及びライン
Ｌ７を特殊な色、例えば、ディスプレイ画面が上の他の
ラインが黒で表示されていれば、黒以外の緑、青等の他
の色を用いて表示する。また、ディスプレイ装置がカラ
ー画面表示の機能を持っていない場合には、特殊な色を
使用せずに、当該箇所（ラインＬ３、ラインＬ５及びラ
インＬ７）をブリンキングさせることも可能である。

【００９６】また、プロセスフローが階層構造を持つ場
合には、下層部分に実行不可能解または無限解判定の原
因が存在する場合には、原因を有する最上層から下層ま
で辿り着けるように、特殊色で表示する。図１２は、本
発明の一実施例の階層構造を有するプロセスフローの例
を示す。同図に示す例は、プロセスフローが第１階層か
ら第３階層までの階層を有する例である。図１３は、本
発明の一実施例のプロセスフローへの表示例（階層構造
を持つプロセスフローの下層部分に実行不可能解または
無限解判定の原因が存在する場合）を示す。同図におい
て、矢印は各構成要素の流れを示し、四角形は各要素を
処理する装置を表す。

【００９７】図１３に示す内容は、第１階層のボックス
Ｃの下層の、第２階層のボックスＣＢの下層の、第３階
層のラインＬＣ３に関するデータが実行不可能解また
は、無限解判定の原因になっている例である。これは、
図９中ｄではパス名“．C.CB.CONSUME(LC3).T(1)”、ま
た、図１０中ｄでは、説明文章“図面ボックスＣの下位
図面の、…（省略）”で表されている。

【００９８】図１３に示す例では、実行不可能解または
無限解と判定された原因を第３階層に属しているライン
ＬＣ３が有している。従って、表示する場合には、最上
位図面から表示するため、第１階層を表示し、ボックス
Ｃを特殊色で表示する。次に、ボックスＣに属する第２
階層を表示し、ボックスＣＢを特殊色で表示する。最後
に、ボックスＣＢに属する第３階層を表示し、ラインＬ
Ｃ３を表示する。

【００９９】（３） 解参照用ウィンドウ６３０への表
示方法 次に、数理計画法システム５００の最適化計算で実行不
可能解または、無限解が得られた場合、実行不可能解ま
たは無限解判定の原因となった変数名とその変数名が実
際のプロセスフロー６１０上で何に相当するかを表すパ
ス名との対応表を実行不可能解／無限解表示ボタンを使
用して解参照用ウィンドウ６３０に表示する。

【０１００】図１４は、本発明の一実施例の解参照用ウ
ィンドウ６３０への表示例（変数名とパス名との対応
表）を示す。同図は、変数“R0000012”、“R000001
8”、“R0000032”が実行不可能解判定の原因になって
いるものとして説明する。同図（Ａ）において、実行不
可能解／無限解表示ボタン６３１をクリックすることに
より、同図（Ｂ）のウィンドウが表示される。同図
（Ａ）では、出力編集部１５０が、解参照用ウィンドウ
６３０の表示情報として、解情報ファイル４００にアク
セスして、数理計画法システム５００で実行された結果
情報を取得して、同図に示すフォーマットに編集して出
力する。ここで、ユーザが実行不可能解／無限解表示ボ
タン６３１をクリックすることにより、解情報解析部１
４０が、解情報ファイル４００をアクセスして、実行不
可能解または無限解の判定の原因になった変数名（“R0
000012”、“R0000018”、“R0000032”) を取得し、当
該変数名をキーとして、変数マップファイル２００をア
クセスし、対応するパス名を取得し、当該変数名とパス
名を出力編集部１５０に転送する。出力編集部１５０
は、図１４（Ｂ）に示すフォーマットに編集した情報を
出力部１６０に転送する。

【０１０１】このように、解参照用ウィンドウ６３０
は、初期画面表示時には、解情報ファイル４００から取
得した内容を表示しておき、実行不可能解／無限解表示
ボタン６３１がクリックされた段階で、実行不可能解ま
たは、無限解の情報を参照することが可能となる。

【０１０２】図１５は、本発明の一実施例の解参照用ウ
ィンドウへの表示例（変数名と変数の説明文章）を示
す。同図（Ａ）は、前述の図１４の（Ａ）の内容と同様
である。図１５（Ｂ）は、図１５（Ａ）において、実行
不可能解／無限解表示ボタン６３１がユーザによりクリ
ックされると、解情報解析部１４０は、解情報ファイル
４００より実行不可能解または、無限解の判定の原因に
なった変数名を取得して、当該変数名をキーにして、変
数マップファイル２００をアクセスして、パス名を取得
すると、当該パス名を出力編集部１５０に渡す。出力編
集部１５０は、当該パス名でメッセージファイル８００
をアクセスして、当該パス名に対応する説明文章を取得
し、図１５（Ｂ）に示すフォーマットに編集して、出力
部１６０に転送する。

【０１０３】例えば、変数名“R0000012”のパス名
が“．PRODUCT(L3).T1”である場合に、メッセージファ
イル８００から検索される説明文章は、“ラインＬ３
の、第１期の、生産量”である。従って、出力部１６０
は、変数名と説明文章をクリックにより切り換えられた
解参照用ウィンドウ６３０に表示する。

【０１０４】（４） 実行不可能解／無限解情報表示用
ウィンドウ６４０への表示方法 次に、数理計画法システム５００の最適化計算で実行不
可能解または、無限解が得られた場合、実行不可能解ま
たは無限解判定の原因となった変数名とその変数名が実
際のプロセスフロー６１０上で何に相当するかを表すパ
ス名との対応表を実行不可能解／無限解情報表示用ウィ
ンドウ６４０に表示する例を示す。

【０１０５】図１６は、本発明の一実施例の実行不可能
解／無限解情報表示用ウィンドウへの表示例（変数名と
パス名との対応表）を示す。同図は、変数“R0000052”
が実行不可能解判定の原因となっている場合を示す。解
情報解析部１４０は、解情報ファイル４００を読み込
み、実行不可能解判定の原因となっている変数名を取得
し、当該変数名で変数マップファイル２００を検索し
て、当該変数に対応するパス名を取得し、出力編集部１
５０に転送する。出力編集部１５０は、変数名とパス名
を組にして、図１６に示すフォーマットに編集して、出
力部１６０に転送する。同図の例では、解情報解析部１
４０は、実行不可能解判定の原因となっている変数名
“R0000052”を取得し、当該変数名で変数マップファイ
ル２００を検索したところ、パス名“.C.CB.CONSUME(LC
3).T(1) ”を取得し、当該変数名“R0000052”とパス名
“.C.CB.CONSUME(LC3).T(1) ”を出力編集部１５０に転
送する。出力編集部１５０は、当該情報を図１６に示す
実行不可能解／無限解情報表示用ウィンドウ６４０の出
力フォーマットに編集して、出力部１６０に転送する。
これにより、出力部１６０は、当該情報を出力する。

【０１０６】次に、実行不可能解または無限解判定の原
因となった変数名と変数の説明文章を実行不可能解／無
限解情報表示用ウィンドウ６４０に表示する例を説明す
る。図１７は、本発明の一実施例の実行不可能解／無限
解情報表示用ウィンドウへの表示例（変数名と変数の説
明文章）を示す。解情報解析部１４０は、解情報ファイ
ル４００を読み込み、実行不可能解判定の原因となって
いる変数名を取得し、当該変数名で変数マップファイル
２００を検索して、当該変数に対応するパス名を取得
し、出力編集部１５０に転送する。出力編集部１５０
は、パス名でメッセージファイル８００を検索して、当
該パス名に対応する説明文章を取得し、変数名と説明文
章の組を図１７に示すフォーマットに編集する。同図の
例では、解情報解析部１４０は、実行不可能解判定の原
因となっている変数名“R0000052”を取得し、当該変数
名で変数マップファイル２００を検索したところ、パス
名“.C.CB.CONSUME(LC3).T(1) ”を取得し、当該変数名
“R0000052”とパス名“.C.CB.CONSUME(LC3).T(1) ”を
出力編集部１５０に転送する。出力編集部１５０は、当
該パス名“.C.CB.CONSUME(LC3).T(1) ”をキーにして、
メッセージファイル８００を検索して、説明文章『図面
型ボックスＣの下位図面の、図面型ボックスＣＢの下位
図面の、ラインＬＣ３の、第１期の、消費量』を取得す
る。出力編集部１５０は、変数名と取得した説明文章を
実行不可能解／無限解情報表示用ウィンドウ６４０用に
編集して、出力部１６０に転送する。

【０１０７】出力部１６０は、転送された情報を実行不
可能解／無限解情報表示用ウィンドウ６４０に表示す
る。図１８は、本発明の一実施例のディスプレイ装置上
の表示例を示す。同図に示すように、上記の実施例で
は、ディスプレイ表示画面上に表示可能な種々の表示画
面に、実行不可能解または無限解の原因を解析するため
の情報をそれぞれ適合するフォーマットに編集して表示
することが可能となる。

【０１０８】（５） プロセスフロー６１０と値設定テ
ーブル６５０を表示する例 次に、プロセスフロー６１０を表示すると共に、値設定
テーブル６５０も同時に表示する例を示す。図１９は、
本発明の一実施例のプロセスフローと値設定テーブルを
同時に表示する例を示す。同図に示す例は、同図中、上
段の位置に表示されているプロセスフロー６１０におい
てラインＬ９の位置が特殊な色で表示されているとき、
併せて下段に表示されている値設定テーブル６５０のラ
インＬ９に該当する行も特殊な色で表示している。この
例では、ユーザがモデリングシステム１００を使用して
作成したプロセスフロー６１０の構成要素のデータに実
行不可能解判定の原因が存在する場合を示している。ま
た、図１９において、プロセスフロー６１０内のライン
Ｌ９と値設定テーブル６５０上のラインＬ９を同色で表
示する方が、その対応関係において更に有効である。

【０１０９】なお、上記の実施例において、メッセージ
ファイル８００を変数マップ生成部１１０が変数マップ
ファイル２００を生成する際に同時に生成する方法を説
明たが、この例に限定されることなく、ユーザがプロセ
スフローを生成した時点で作成しておいてもよい。

【０１１０】なお、本発明は、上記の実施例に限定され
ることなく、特許請求の範囲内で種々変更・応用が可能
である。

【０１１１】

【発明の効果】上述のように、本発明によれば、ユーザ
に最初に与えられる情報は、ユーザが作成したプロセス
フロー上への実行不可能解または無限解判定の原因とな
った要素の特定色による表示であるため、ユーザが認識
している範囲の分かりやすい情報で解析を開始すること
が可能となる。

【０１１２】また、本発明によれば、１つの画面上に種
々表示される、実行時出力情報表示画面、解参照用ウィ
ンドウ、実行不可能解／無限解情報表示用ウィンドウに
変数名及びパス名、さらに、パス名に関する説明文を併
せて表示することが可能となるため、変数マップファイ
ル等をユーザ自身がサーチしなくとも、実行不可能解ま
たは無限解判定の原因となった内容を容易に把握するこ
とができる。

【０１１３】さらに、本発明によれば、プロセスフロー
と値設定テーブルを対応付けて表示するため、プロセス
フローにおいて、実行不可能解または無限解判定の原因
となった位置（ラインまたは装置）を認識し、当該位置
に対応する値を値設定テーブルを参照することにより把
握できる。また、プロセスフロー及び値設定テーブル上
において実行不可能解または無限解判定の原因となった
部分を特定の色（例えば、同色）で表示するため、その
対応性が容易に把握することが可能である。

【図面の簡単な説明】

【図１】本発明の原理構成図である。

【図２】本発明の一実施例の実行不可能解／無限解解析
支援装置の構成図である。

【図３】本発明の一実施例の解情報ファイルのデータの
例を示す図である。

【図４】本発明の一実施例の実行不可能解及び無限解の
解析支援方法の処理のフローチャートである。

【図５】本発明の一実施例のプロセスフロー生成部の動
作を示すフローチャートである。

【図６】本発明の一実施例の値設定テーブル生成部の動
作を示すフローチャートである。

【図７】本発明の一実施例の値設定テーブルの出力例を
示す図である。

【図８】本発明の一実施例の実行時出力情報表示画面へ
の表示例（変数名とパス名との対応表）を示す図であ
る。

【図９】本発明の一実施例の実行時出力情報表示画面へ
の表示例（変数名とパス名との対応表）を示す図であ
る。

【図１０】本発明の一実施例の実行時出力情報表示画面
への表示例（変数名と変数の説明文章）を示す図であ
る。

【図１１】本発明の一実施例のプロセスフローへの表示
例を示す図である。

【図１２】本発明の一実施例の階層構造を有するプロセ
スフローの例を示す図である。

【図１３】本発明の一実施例のプロセスフローへの表示
例（階層構造を有するプロセスフロの下層部分に実行不
可能解または無限解判定の原因が存在する場合）を示す
図である。

【図１４】本発明の一実施例の解参照用ウィンドウへの
表示例（変数名とパス名との対応表）を示す図である。

【図１５】本発明の一実施例の解参照用ウィンドウへの
表示例（変数名と変数の説明文章）を示す図である。

【図１６】本発明の一実施例の実行不可能解／無限解情
報表示用ウィンドウへの表示例（変数名とパス名との対
応表）を示す図である。

【図１７】本発明の一実施例の実行不可能解／無限解情
報表示用ウィンドウへの表示例（変数名と変数の説明文
章）を示す図である。

【図１８】本発明の一実施例のディスプレイ装置上の表
示例を示す図である。

【図１９】本発明の一実施例のプロセスフローと値設定
テーブルを同時に表示する例を示す図である。

【図２０】解析支援システム構成図である。

【図２１】変数マップファイルの例を示す図である。

【図２２】モデル生成情報ファイルのデータの例を示す
図である。

【図２３】従来のディスプレイ装置上の表示例を示す図
である。

【図２４】従来のディスプレイ表示されているプロセス
フローの例を示す図である。

【図２５】値設定テーブルの例を示す図である。

【図２６】従来の解析支援システムの処理のフローチャ
ートである。

【図２７】数理計画法システムの実行時出力情報表示画
面への表示例を示す図である。

【図２８】従来の方法による、解参照用ウィンドウの例
を示す図である。

【符号の説明】

１００ モデリングシステム １１０ 変数マップ生成部 １２０ モデルデータ生成部 １３０ プロセスフロー生成部、プロセスフロー生成手
段 １４０ 解情報解析部 １５０ 出力編集部 １６０ 出力部、表示手段 １７０ 入力部 １９０ 値設定テーブル生成部、値設定格納手段、値設
定画面表示手段 ２００ 変数マップファイル、変数・要素対応情報蓄積
手段 ３００ モデルデータファイル ４００ 解情報ファイル、解蓄積手段 ６００ ディスプレイ装置 ６１０ プロセスフロー ６２０ 実行時出力情報表示画面 ６３０ 解参照ウィンドウ ６４０ 実行不可能解／無限解情報表示用ウィンドウ ７００ 編集手段 ８００ メッセージファイル ９００ モデル生成情報ファイル

Claims (13)

【特許請求の範囲】
1. 【請求項１】 モデリングシステムでモデル化された情
   報に基づいて数理計画法システムにより最適解を求める
   際に、実行不可能解または、無限解が発生した場合に、
   該実行不可能解または、該無限解の発生原因を解析する
   ための解析支援装置であって、 数値データ及びＧＵＩ（Graphical User Interface) を
   使用した表示手段上に生成される各種要素の流れ及び該
   要素を処理する手段を示すプロセスフロー内の前記実行
   不可能解または、前記無限解判定の原因となっている要
   素を、他の要素と区別して表示する出力手段を有するこ
   とを特徴とする実行不可能解及び無限解の解析支援装
   置。
2. 【請求項２】 前記出力手段は、 前記プロセスフロー上に表示されている要素のうち、前
   記実行不可能解または、前記無限解判定の原因となって
   いる要素を特定の色で表示する第１の表示手段を有する
   請求項１記載の実行不可能解及び無限解の解析支援装
   置。
3. 【請求項３】 前記出力手段は、 前記実行不可能解または前記無限解判定の原因となった
   変数名の数値情報が設定される値設定格納手段と、 前記値設定格納手段の内容を表示し、前記実行不可能解
   または前記無限解判定の原因となった変数名に該当する
   箇所を特定の色で表示する値設定画面表示手段とを含む
   請求項１記載の実行不可能解及び無限解の解析支援装
   置。
4. 【請求項４】 前記出力手段は、 前記第１の表示手段により編集されたプロセスフローを
   表示すると同時に、前記値設定画面表示手段による表示
   も行う二種ウィンドウ表示手段を含む請求項２及び３記
   載の実行不可能解及び無限解の解析支援装置。
5. 【請求項５】 前記出力手段は、 前記プロセスフロー図上に表示されている要素のうち、
   前記実行不可能解または、前記無限解判定の原因となっ
   ている要素の該プロセスフロー上の位置を認識し、該位
   置をブリンキングする第２の表示手段を有する請求項１
   記載の実行不可能解及び無限解の解析支援装置。
6. 【請求項６】 前記出力手段は、 階層構造を有するプロセスフロー上に表示されている要
   素のうち、前記実行不可能解または、前記無限解判定の
   原因となっている要素及び該要素を包含する上位の階層
   内の要素の各プロセスフロー上の位置を認識し、該位置
   を特定の色で表示する第３の表示手段を有する請求項１
   記載の実行不可能解及び無限解の解析支援装置。
7. 【請求項７】 前記出力手段は、 階層構造を有するプロセスフロー上に表示されている要
   素のうち、前記実行不可能解または、前記無限解判定の
   原因となっている要素及び該要素を包含する上位の階層
   内の要素の各プロセスフロー上の位置を認識し、該位置
   をブリンキングする第４の表示手段を有する請求項１記
   載の実行不可能解及び無限解の解析支援装置。
8. 【請求項８】 前記出力手段は、 前記数理計画法システムの計算の実行時に出力される実
   行時出力情報表示画面に、前記実行不可能解または、前
   記無限解判定の原因となっている変数名と該変数名が実
   際のプロセスフロー上で何に相当しているかを示す情報
   であるパス名及び該パス名に関する説明文を表示する第
   ５の表示手段を有する請求項１記載の実行不可能解及び
   無限解の解析支援装置。
9. 【請求項９】 前記出力手段は、 前記数理計画法システムの計算の実行で実行不可能解ま
   たは無限解が得られた場合に、前記実行不可能解または
   前記無限解判定の原因となっている変数名と該変数名が
   実際のプロセスフロー上で何に相当しているかを示す情
   報であるパス名を解参照用ウィンドウの第１の画面に、
   該変数名と該変数名に関する説明文を該解参照用ウィン
   ドウの切り換えられた第２の画面に表示する第６の表示
   手段を有する請求項１記載の実行不可能解及び無限解の
   解析支援装置。
10. 【請求項１０】 前記出力手段は、 前記数理計画法システムの計算の実行で実行不可能解ま
    たは無限解が得られた場合に、前記実行不可能解または
    前記無限解判定の原因となっている変数名と該変数名が
    実際のプロセスフロー上で何に相当しているかを示す情
    報であるパス名と該パス名に関する説明文を実行不可能
    解／無限解情報表示用ウィンドウに表示する第７の表示
    手段を有する請求項１記載の実行不可能解及び無限解の
    解析支援装置。
11. 【請求項１１】 前記出力手段は、 前記プロセスフローを作成するプロセスフロー生成手段
    と、 前記プロセスフローの要素の内容を記載したパス名を一
    意に付与される変数名と組とする情報と、前記モデリン
    グシステムにおいてモデルデータを生成する際に設定さ
    れる変数の詳細情報とを蓄積する変数・要素対応情報蓄
    積手段と、 前記数理計画法システムの計算の結果を蓄積する解蓄積
    手段と、 前記解蓄積手段の内容を参照して、該内容に実行不可能
    解または無限解が存在する場合に、該実行不可能解また
    は該無限解判定の原因となった変数名を取得して、該変
    数名で前記変数・要素対応情報蓄積手段を検索し、検索
    された前記パス名と前記変数名を所定のフォーマットに
    編集してプロセスフローとして前記表示手段に表示する
    編集手段とを有する請求項１記載の実行不可能解及び無
    限解の解析支援装置。
12. 【請求項１２】 前記編集手段は、 前記変数名または前記パス名に対応する説明文を蓄積す
    るメッセージ蓄積手段と、 前記メッセージ蓄積手段を前記変数名または前記パス名
    で検索し、前記パス名に対応する説明文を前記変数名ま
    たは前記パス名と組にして所定のフォーマットに編集す
    るメッセージ編集手段を含む請求項１１記載の実行不可
    能解及び無限解の解析支援装置。
13. 【請求項１３】 前記メッセージ蓄積手段は、 前記変数・要素対応情報蓄積手段に格納する要素情報毎
    に対応するメッセージを生成するメッセージ生成手段を
    含む請求項１２記載の実行不可能解及び無限解の解析支
    援装置。