"システムを制御する制御装置の複数の制御パラメータを設定する制御パラメータ設定装置であって、前記複数の制御パラメータのパラメータ値を設定するパラメータ値設定部と、前記パラメータ値設定部を介して、前記複数の制御パラメータのうち、何れかが変更された場合に、互いに関連する制御パラメータ間で満たすべき制約条件を満たさない制御パラメータが少なくなるように個々のパラメータ値を確率的に変更することで、最終的に全ての制約条件を満たすパラメータ値の組を求める確率的制約充足解法を実行する確率的制約充足エンジン部と、を備え、前記確率的制約充足エンジン部は、変更された制御パラメータに関連する他の制御パラメータのパラメータ値を変更する際には、所定の評価関数の評価値を増加させるように変更することを特徴とする、制御パラメータ設定装置。前記確率的制約充足エンジン部は、前記所定の評価関数として、以下の数式2を使用し、ΣζoldVPi,newVPi22前記数式2において、関数ζは、ζx,y=1x=y、ζx,y=0x≠yと定義され、前記数式2において、前記newVPiは、前記確率的制約充足エンジンが変更した前記他の制御パラメータのパラメータ値であり、前記oldVPiは、前記確率的制約充足エンジンが変更した前記他の制御パラメータの変更前のパラメータ値である、請求項1記載の制御パラメータ設定装置。前記確率的制約充足エンジン部は、前記所定の評価関数として、以下の数式3を使用し、-ΣoldVPi-newVPi23前記数式3において、前記newVPiは、前記確率的制約充足エンジンが変更した前記他の制御パラメータのパラメータ値であり、前記oldVPiは、前記確率的制約充足エンジンが変更した前記他の制御パラメータの変更前のパラメータ値である、請求項1記載の制御パラメータ設定装置。特許文献1に開示された制御パラメータ設定装置は、ある制御パラメータを変更した際に、その制御パラメータと関係がある他のパラメータが所定の条件を満たさない場合、それらパラメータを示すだけであった。すなわち、特許文献1に開示された制御パラメータ設定装置は、プラントの制御を対象としており、プラントの運転は、そのプラントの制御方法について教育を受けた運転員が操作することを前提としているために、条件を満たさないパラメータが何であるかを示すだけでよかった。一方、FAシステムや製造ラインにおいては、複数個のFAコントローラ、ネットワーク、I/Oユニットを組合せて制御装置を構成する。個々のユニットは個別に販売されたものを利用者が購入し、これらを組合せて制御装置を構成する。従って、ユニットを組合せて実現する機能や、ユニット間の制約は各ユニットのマニュアルにしか記述されておらず、制約条件を満たさない制御パラメータを示されただけでは、ユニットの制約条件を満たした制御パラメータのパラメータ値を利用者が指定することは困難であるという問題が生じる。本発明は上記のような問題点を解消するためになされたもので、FAシステムや製造ラインなどの制御装置において、制約条件を満たした制御パラメータのパラメータ値の設定が容易な制御パラメータ設定装置を提供することを目的とする。本発明に係る制御パラメータ設定装置の態様は、システムを制御する制御装置の複数の制御パラメータを設定する制御パラメータ設定装置であって、前記複数の制御パラメータのパラメータ値を設定するパラメータ値設定部と、前記パラメータ値設定部を介して、前記複数の制御パラメータのうち、何れかが変更された場合に、互いに関連する制御パラメータ間で満たすべき制約条件を満たさない制御パラメータが少なくなるように個々のパラメータ値を確率的に変更することで、最終的に全ての制約条件を満たすパラメータ値の組を求める確率的制約充足解法を実行する確率的制約充足エンジン部とを備え、前記確率的制約充足エンジン部は、変更された制御パラメータに関連する他の制御パラメータのパラメータ値を変更する際には、所定の評価関数の評価値を増加させるように変更する。本発明に係る制御パラメータ設定装置の態様によれば、パラメータ値設定部を介して、複数の制御パラメータのうち、何れかが変更された場合に、制約条件を満たし、かつ評価関数の評価値の高い他の制御パラメータのパラメータ値を提示することができるので、制約条件を満たした制御パラメータのパラメータ値の設定が容易となる。<実施の形態1>図1は本発明に係る実施の形態1の制御パラメータ設定装置1のシステム構成を示すブロック図である。図1に示す制御パラメータ設定装置1においては、パラメータデータ格納部2、パラメータ制約条件格納部3、パラメータ値評価関数格納部4、確率的制約充足エンジン5、パラメータ値設定部6、制約条件式設定部7およびパラメータ値評価関数設定部8を有して構成されている。パラメータ値設定部6は、パラメータ種別とパラメータ値を設定する機能を有し、パラメータデータ格納部2は、パラメータ設定部6で設定されたパラメータ種別とパラメータ値との組を保管する機能を有している。制約条件式設定部7は、パラメータ設定部6で設定したパラメータ間で満たすべき制約条件を制約条件式として設定する機能を有し、パラメータ制約条件格納部3は、制約条件設定部7で設定された制約条件式を保管する機能を有している。パラメータ値評価関数設定部8は、制約条件設定部7で設定された各制約条件式を満たすパラメータ値の組の評価関数を設定する機能を有し、パラメータ値評価関数格納部4は、パラメータ値評価関数設定部8で設定された、パラメータ値の組に対する評価関数を保管する機能を有している。なお、パラメータ値設定部6、制約条件式設定部7およびパラメータ値評価関数設定部8は、外部の入出力端末10を介して利用者がアクセス可能なように構成されている。確率的制約充足エンジン5は、確率的制約充足解法に基づき、全ての制約条件を満たすように、パラメータ値の組を求める機能を有している。ここで、確率的制約充足解法とは、任意のパラメータ値の組から、制約条件を満たさないパラメータを少なくするように個々のパラメータ値を確率的に変えることで、最終的には全ての制約条件を満たすパラメータ値の組を求める方法であり、パラメータ値を変更する際には、所定の評価関数の評価値を増加させるように変更する。なお、確率的制約充足解法については種々の方法が知られているが、例えば、狩野均、制約充足問題の近似解法、人工知能学会誌Vol12No32pp359365で開示される山登り法を用いた解法を適用することができる。図2は、図1に示した制御パラメータ設定装置1をコンピュータシステムにより実現する場合のコンピュータシステムのハードウェア構成を示すブロック図である。図2に示すコンピュータシステムは、中央処理装置12と、メモリ等の主記憶装置13と、ハードディスク等の外部記憶装置14とを有するコンピュータ11と、マウスやキーボード等の入力装置15と、ディスプレイ等の表示装置16とで、その主要部が構成されている。制御パラメータ設定装置1図1の、パラメータデータ格納部2、パラメータ制約条件格納部3、パラメータ値評価関数格納部4および確率的制約充足エンジン5は、外部記憶装置4で実現される。パラメータ値設定部6、制約条件式設定部7およびパラメータ値評価関数設定部8は、外部記憶装置14に記憶されたソフトウェアプログラムを主記憶装置13に読み出して、中央処理装置12により実行することにより実現される。また、入出力端末10は、入力装置15と表示装置16とで、その主要部が構成されている。次に、図1に示した制御パラメータ設定装置1を用いた制御パラメータの設定動作について、図3に示すフローチャートを用いて、図4および図5を参照しつつ説明する。なお、以下ではFAシステムの制御装置FAコントローラのエンジニアリングツールとして制御パラメータ設定装置1を使用する例について説明する。図4はFAコントローラ内の用途別メモリの使用状況を示すメモリマップの初期状態の一例である。図4に示す用途別メモリは、メモリ領域31が、用途ごとにbit型内部メモリ領域32、word型内部メモリ領域33、bit型通信用メモリ領域34およびword型通信用メモリ領域35に分けられており、各々の領域でのメモリ容量を制御パラメータとする。なお、メモリ領域31の全容量は400byteであり、bit型内部メモリ領域32、word型内部メモリ領域33、bit型通信用メモリ領域34およびword型通信用メモリ領域35は均等に100byteずつに分けられているものとする。上記において、bit型内部メモリとはデータをビット単位で記憶するメモリであり、word型内部メモリとは、データをワード単位で記憶するメモリであり、bit型通信用メモリとはビット単位での通信を行うために使用するメモリであり、word型通信用メモリとはワード単位の通信を行うために使用するメモリである。ここで、制約条件式の一例として以下の数式1を示す。Vbit内部Vword内部Vbit通信Vword通信<4001上記数式1において、Vbit内部はbit型内部メモリ領域32の容量を示す制御パラメータ、Vword内部はword型内部メモリ領域33の容量を示す制御パラメータ、Vbit通信はbit型通信用メモリ34の容量を示す制御パラメータ、Vword通信はword型通信用メモリ35の容量を示す制御パラメータである。また評価関数として以下の数式2を示す。ΣζoldVPi,newVPi22上記数式2において、関数ζは以下のように定義される。ζx,y=1x=y、ζx,y=0x≠yまた、上記数式2において、newVPiは確率的制約充足エンジン5が変更した制御パラメータのパラメータ値であり、oldVPiは確率的制約充足エンジン5により変更された制御パラメータの、利用者がパラメータ値を変える前のパラメータ値である。図3のフローチャートに示すように、制御パラメータ設定装置1での制御パラメータ以下、単にパラメータと呼称する場合ありの設定を開始し、利用者が入出力端末10図1を介してパラメータ値設定部6を用いて1つのパラメータのパラメータ値を変更するステップS1。ここではbit型内部メモリ領域32の容量を該当パラメータとし、その値を100byteから110byteに変更するものとする。このパラメータ値の変更は、パラメータ値設定部6からパラメータデータ格納部2および確率的制約充足エンジン5に通知される。また、パラメータ設定部6で変更したパラメータ値の情報は制約条件式設定部7に与えられ、制約条件式設定部7では、パラメータ値が変更されたパラメータを含む制約条件式を制約条件式格納部3から抽出するステップS2。ここでは、bit型内部メモリ領域32の容量を示すパラメータVbit内部を含む制約条件式として、制約条件式格納部3に格納されている数式1を抽出する。抽出された数式1は、確率的制約充足エンジン5に与えられる。また、パラメータ設定部6で変更したパラメータ値の情報はパラメータ値評価関数設定部8に与えられ、パラメータ値評価関数設定部8では、パラメータ値が変更されたパラメータを含む評価関数をパラメータ値評価関数格納部4から抽出するステップS3。ここでは、bit型内部メモリ領域42の容量を示すパラメータVbit内部を含む評価関数として、パラメータ値評価関数格納部4に格納されている数式2を抽出する。抽出された数式2は、確率的制約充足エンジン5に与えられる。確率的制約充足エンジン5では、利用者が変更したパラメータ以外のパラメータ他のパラメータを1つ確率的に選び、そのパラメータ値を、制約条件式を満たすと共に、評価値を増加させる方向に変化させるステップS4。ここで、数式2で表される評価関数は、oldVPiすなわちxと、newVPiすなわちyとで値が変わらなかったすなわちx=yとなるパラメータの数が多いほど、評価値が大きな値となり、一方、値が変わったすなわちx≠yとなるパラメータの数が多いほど、評価値は小さな値となる。確率的制約充足エンジン5が確率的に選んだパラメータがword型内部メモリ領域33である場合、利用者がbit型内部メモリ領域32のパラメータ値、すなわち容量を変える前の、word型内部メモリ領域33の容量は100byteであり、確率的制約充足エンジン5はこの容量100byteを増やす、あるいは減らす方向に確率的に変化させる。本例では容量を増やすと数式1の制約条件式を満たさなくなるので容量を減らす方向に確率的に変化させる。ここで、word型内部メモリ領域33だけでなく、word型内部メモリ領域33以外のメモリ領域の容量も減らすことで数式1の制約条件式を満たすことができるが、数式2で表される評価関数は、値が変わったパラメータの数が多いほど、評価値が小さくなるので、確率的制約充足エンジン5は、値が変わる他のパラメータの数を極力少なくするように処理を進める。従って、word型内部メモリ領域33の容量を減少させるだけで、bit型内部メモリ領域32の容量の変更に対応できるのであれば、他のメモリ領域他のパラメータの容量は変更されないこととなる。ステップS4の処理は、ステップS2で抽出された制約条件式が複数ある場合には、全ての制約条件式に対して実行されるまで繰り返されステップS5、全ての制約条件式に対して実行された後は、制御パラメータの設定処理を終了する。図3に示した処理を経ることで、図4に示した用途別メモリのメモリ領域31の各メモリ領域の容量は、図5に示すように変更される。すなわち、bit型内部メモリ領域32は、100byteから110byteに容量が増えてbit型内部メモリ領域42となり、word型内部メモリ領域33は100byteから90byteに容量が減ってword型内部メモリ領域43となる。なお、bit型通信用メモリ領域34およびword型通信用メモリ領域35は容量に変化はない。このように、図3のステップS4における制約充足の結果、1つのメモリ領域の容量のみが小さくなった状態が解として出力される。すなわち、数式1で示す制約条件式によれば、全体のメモリ容量が400byteに決まっているので、利用者がbit型内部メモリ領域32の容量を増加させると、他のメモリ領域の容量を変更しなければならないが、制御パラメータ設定装置1図1において、パラメータ値評価関数格納部4で設定する評価関数として数式2の評価関数を設定することにより、パラメータ値が変わるのはbit型内部メモリ領域32の他はword型内部メモリ領域33のみとなり、あるパラメータのパラメータ値の変更により、値が変わる他のパラメータの数を極力少なくすることができる。<実施の形態2>本発明に係る実施の形態2の制御パラメータ設定装置においては、評価関数として以下の数式3を用いるものとし、システム構成は図1に示した制御パラメータ設定装置1と同じである。また、制御パラメータの設定動作は図3と同じである。-ΣoldVPi-newVPi23上記数式3において、上記数式3において、newVPiは確率的制約充足エンジン5が変更した制御パラメータのパラメータ値であり、oldVPiは確率的制約充足エンジン5により変更された制御パラメータの、利用者がパラメータ値を変える前のパラメータ値である。数式3で表される評価関数は、あるパラメータのパラメータ値の変更に伴う、他のパラメータの変更量が小さいほど、大きな評価値が得られる関数であり、パラメータ値を変化させるパラメータを確率的に1つ選び、その値を確率的に変化させると、各パラメータでほぼ均等にパラメータ値が減る方向に確率的に変化することとなる。すなわち、確率的制約充足エンジン5が確率的に選んだパラメータがword型内部メモリ領域33である場合、利用者がbit型内部メモリ領域32のパラメータ値、すなわち容量を変える前の、word型内部メモリ領域33の容量は100byteであり、確率的制約充足エンジン5はこの容量100byteを増やす、あるいは減らす方向に確率的に変化させる。本例では容量を増やすと数式1の制約条件式を満たさなくなるので容量を減らす方向に確率的に変化させる。ここで、word型内部メモリ領域33の容量を減少させるだけで、bit型内部メモリ領域32の容量の変更に対応できるとしても、数式3で表される評価関数は、他のパラメータの変更量が小さいほど、大きな評価値が得られる関数なので、確率的制約充足エンジン5は、word型内部メモリ領域33以外のメモリ領域の容量も均等に減らすように処理を進める。従って、word型内部メモリ領域33だけでなく他のメモリ領域の容量も変更されることとなる。このような評価関数をステップS4図3の処理で用いることで、図4に示した用途別メモリのメモリ領域31の各メモリ領域の容量は、図6に示すように変更される。すなわち、bit型内部メモリ領域32は、100byteから110byteに容量が増えてbit型内部メモリ領域52となり、word型内部メモリ領域33は、100byteから97byteに容量が減ってword型内部メモリ領域53となり、bit型通信用メモリ領域34は、100byteから96byteに容量が減ってbit型通信用メモリ領域54となり、word型通信用メモリ領域35は、100byteから97byteに容量が減ってword型通信用メモリ領域55となる。このように、数式3で表される評価関数を用いたステップS4図3における制約充足の結果、bit型内部メモリ領域の容量を100byteから110byteに変更した場合、他のメモリ領域の各々の容量が、ほぼ等しく減るような状態が解として出力される。すなわち、数式1で示す制約条件式によれば、全体のメモリ容量が400byteに決まっているので、利用者がbit型内部メモリ領域32の容量を増加させると、他のメモリ領域の容量を変更しなければならないが、制御パラメータ設定装置1図1において、パラメータ値評価関数格納部4で設定する評価関数として数式3の評価関数を設定することにより、あるパラメータのパラメータ値の変更により、パラメータ値が変わる他パラメータのパラメータ値の変化量の絶対値をほぼ均等に変化させることができる。<変形例>以上説明した実施の形態1および2においては、用途別メモリのメモリ領域を制御パラメータとし、その容量をパラメータ値として説明したが、本発明の適用はこれに限定されるものではない。例えば、あるシステムを構成するユニットの種類を制御パラメータとし、各ユニットの電源容量をパラメータ値として、あるシステムの電源ユニットの容量を制約条件とする場合や、CPUユニットに搭載されるプログラムの種類を制御パラメータとし、各プログラムの大きさバイト数をパラメータ値とし、CPUユニットのメモリ容量を制約条件とする場合等にも適用可能である。"