(57)【特許請求の範囲】
【請求項１】
製品の設計において、設計仕様の項目である各種属性が持つ属性値の組合せによって表される設計の候補解を、記憶手段及び演算手段を有する計算機が生成する方法であって、
前記記憶手段には、前記各属性間において満たさなければならない関係を各属性値の組合せのテーブル形式に表したテーブル形制約データを属性の異なる組合せごとに記録されており、
当該方法は、
前記演算手段が、前記各属性間を、当該属性間を制約するテーブル形制約データによって連結した制約ネットワークを生成する第１のステップと、
前記演算手段が、前記記憶手段に記録された各テーブル形制約データに対して、入力指示された特定の属性の特定の値とは異なる前記特定の属性のその他の値を含む組を不活性化する第２のステップと、
前記演算手段が、各テーブル形制約データに格納される組合せに共通に含まれる各属性について、当該属性の値を含む各テーブル形制約データに格納された、不活性化されていない組に含まれている当該属性の値の集合を比較して、共通の値の集合だけ残し、その他の当該属性の値を含む前記各テーブル形制約データに格納された組を不活性化する第３のステップと、
前記演算手段が、各テーブル形制約デークに格納された、不活性化されていない組の各属性値の属性ごとの集合を、当該属性の第１解集合候補として前記記憶手段に記録する第４のステップと、
前記演算手段が、各属性について、当該属性の第２解集合候補に含まれる値のうち、前記各テーブル形制約データを満たす値の集合を当該属性の第２解集合候補として前記記憶手段に記録する第５のステップと、
前記演算手段が、各属性について、当該属性の第2解集合候補に含まれる値と異なる値を含む各テーブル形制約データに格納された、不活性化されていない組を不活性化する第６のステップと、
前記演算手段が、各テーブル形制約データに格納された、不活性化されていない、組の各属性値の属性ごとの集合を、当該属性の最終解集合として出力する第７のステップと、
を有することを特徴とする候補解生成方法。
【請求項２】
請求項１記載の候補解生成方法において、
前記第５のステップにおいて、前記演算手段は、
前記複数のテーブル形制約データのうちの同じ属性について、当該属性がほかの属性との間で満たさなければならない関係を記述している複数のテーブル形制約データを順次連立し、前記同じ属性について解くことにより生成される関係である縮約関係を生成して記録し、
各属性について、当該属性の第１解集合候補に含まれる値のうち、前記各縮約関係を満たす値の集合を当該属性の第３解集合候補として記録し、
各属性について、当該属性の第３解集合候補に含まれる値と異なる値を含む、各テーブル形制約データに含まれる、不活性化されていない組を不活性化し、
各テーブル形制約データに格納された、不活性化されていない組の各属性値の属性ごとの集合を、当該属性の第４解集合候補として記録し、
各属性について、当該属性の第４解集合候補に含まれる値のうち、前記各テーブル形制約データを満たす値の集合を当該属性の前記第２解集合候補とするステップであることを特徴とする候補解生成方法。
【請求項３】
請求項１または２記載の候補解生成方法において、
前記テーブル形制約データの一部は、前記各属性間において満たさなければならない関係を等式または不等式でそれぞれ記述した式形制約データであることを特徴とする候捕解生成方法。
【請求項４】
請求項１または２記載の候補解生成方法において、
前記テーブル形制約データの一部は、前記各属性間において満たさなければならない関係を手続きとして記述した手続き形制約データであることを特徴とする候補解生成方法。
【請求項５】
請求項２記載の候補解生成方法において、
前記第６のステップにおいて、前記演算手段は、
同じ属性について、当該同じ属性と他の属性との間で満たさなければならない関係を記述している複数のテーブル形制約データであっても、
離散値の値域、または、一意の値や区間値のみを、前記第１解候補集合に含まれる属性の値として持つ属性が前記同じ属性である場合には連立しないことを特徴とする候補解生成方法。
【発明の詳細な説明】
【０００１】
【産業上の利用分野】
本発明は設計支援を目的としたコンピュ−タ・ソフトウェアの分野で、多様な属性項目、属性値のバリエ−ションをもつ製品について、顧客の要求を満たす製品の属性項目値を制約に基づいて決定していく過程において、複数の解候補をもちながら検討を行ない、複数の候補解を求める方法およびそれを実現する装置に関する。
【０００２】
【従来の技術】
設計問題を解く場合の解は、設計仕様の項目である各種属性の組合せとして表され、設計条件によっては、一つの設計条件において複数の設計解が成立し得ることが少なくない。そのため、複数の解候補を持ちながら設計の制約充足を行なうことが有用である。制約充足を行なう手法には、属性と制約のつながりを表現したネットワ−クをたどることで属性値を設定する制約伝播がある。
【０００３】
また、異なる種類の制約からなる問題を解く方法としては、特開平3-63824号公報において、複数の制約解消部に通信管理部を接続し、通信管理部が対応表を参照して、入力デ−タをデ−タのタイプに応じた制約解消部に送るという制約解消装置が記載されている。
【０００４】
また、論文「複数の制約ソルバ−を結合した非線形不等式制約ソルバ−」（ＩＣＯＴ研究論文  TR-0738，新世代コンピュ−タ開発機構）においては、区間法、シンプレックス法、グレブナ−ベ−スによる３つの制約ソルバ−を結合し、さらにそれらの間で変数の値や上限下限値、線形化された等式を交換することによってより広い範囲の非線形不等式を解くことができる制約ソルバ−Consortが記載されている。
【０００５】
【発明が解決しようとする課題】
設計問題において、複数の解候補を生成しながら検討を行おうとした場合には、属性値同士の一つの組合せを一つの解候補としながら設計解を求めていくことになる。属性値の組合せは、図48に示すように木構造で表すことができるので、平易に属性値の組合せ全てについて逐次に制約を伝播させていたのでは、実際の製品規模の問題に対応するには処理時間が多くなりすぎるという問題があった。
【０００６】
また、実際の製品規模の設計問題においては、制約をその種類に応じてテ−ブル形、等式形、不等式形、手続き形といった形態で表現することがあるが、このような４種類の制約が混在した問題において、制約の形態の特徴を生かした複数候補解生成方法は従来存在していなかった。
【０００７】
本発明の目的は、属性値の全ての組合せについて検討した上で、とり得る全ての設計解を求めようとした場合において、検討する解候補のうち、解となり得ないために削除される候補については、なるべく早期に削除の判定がなされることを実現するための方法を提供することである。
【０００８】
また、複数の形態からなる制約の充足問題の解法として、制約の形態ごとに別々の制約充足部を持ち、同時に複数の制約充足部を起動して値や式を交換するという方法があるが、単に複数の制約充足部を同時に起動するよりも、より少ない計算量で問題を解くことが、本発明の目的である。
【０００９】
【課題を解決するための手段】
上記の課題を解決するために、本発明は、製品の設計仕様項目を属性として定義し、前記各属性間において満たさなければならない関係をそれぞれ記述した複数の関係制約を生成し、属性の異なる組合せごとにテ−ブル形制約を生成し、各テーブル形制約に、対応する組合せに属する属性の値の組を記述する手段と、
前記生成された関係制約とテ−ブル形制約とを記憶する記憶手段と、
各テーブル形制約に含まれる、入力された特定の属性の特定の値と異なる、前記特定の属性の値を含む組を不活性化する手段と、
各テーブル形制約に対応する組合せに共通に含まれる各属性について、
当該属性の値を含む各テーブル形制約ごとに求まる、当該テーブル形制約に記述された不活性化されていない組に含まれている当該属性の値の集合の交わりの集合に含まれない当該属性の値を含む、当該属性を含む各テーブル形制約に記述された組を不活性化する手段と、
各テ−ブル形制約に記述された不活性化されていない組に記述された各属性の値の、属性ごとの集合を、当該属性の第１解集合候補とする手段と、
各属性について、当該属性の第１解集合候補に含まれる値のうち、前記各関係制約を満たす値の集合を当該属性の第２解集合候補とする手段と、
各属性について、当該属性の第２解集合候補に含まれる値と異なる値を含む、各テーブル形制約に含まれる不活性化されていない組を不活性化する手段と、
各テ−ブル形制約に記述された不活性化されていない組に記述された各属性の値の、属性ごとの集合を、当該属性の最終解集合として出力する手段とを有することができる。
【００１０】
さらに、製品の設計仕様項目を属性として定義し、属性の値の組によって各属性および属性間を制約する、属性の異なる組合せごとに生成されたテ−ブル形制約と、前記各属性間において満たさなければならない関係によって、属性間を制約する複数の関係制約とに基づいて、各属性間を当該属性間を制約するテ−ブル形制約もしくは関係制約によって連結した制約ネットワ−クを生成する手段と、
該制約ネットワークを、属性間が、テーブル形制約のみにより連結されているグループと、属性間が関係制約のみにより連結されているグループとに分割する手段と、
テーブル形制約について分割された各グループにおいて、該グループに含まれるテ−ブル型制約が複数ある場合に、該複数の制約に対応テーブル形制約を全て満たす制約である統合テーブル形制約を生成する手段と、
前記関係制約について分割された各々のグループにおいて、該グループに含まれる関係制約が複数ある場合に、該複数の関係制約を全て満たす制約である統合関係制約を生成する手段と、
生成した前記統合テーブル形制約および統合関係制約を満たす各属性の値の集合を求める手段とを有することもできる。
【００１１】
さらに、製品の設計仕様項目を属性として定義し、属性の値によって属性間を制約する複数の制約を生成する手段と、
生成された制約を、所定の属性の値に依存せずに定まった制約を行う共通制約と、所定の属性の値に応じた制約を行う非共通制約とに分離する手段と、
共通制約の制約を満たす属性の解の集合である共通部分解集合を求める手段と、
前記所定の属性の取り得る値毎に、前記求められた共通部分解集合のうち、当該所定の属性の値に応じた前記非共通制約の制約を満たす属性の解集合を求める手段とを有することもできる。
【００１２】
【作用】
製品の設計仕様項目を属性として定義し、前記各属性間において満たさなければならない関係をそれぞれ記述した複数の関係制約を生成し、属性の異なる組合せごとにテ−ブル形制約を生成し、各テーブル形制約に、対応する組合せに属する属性の値の組を記述する。そして、各テーブル形制約に含まれる、入力された特定の属性の特定の値と異なる、前記特定の属性の値を含む組を不活性化する。
【００１３】
次に、各テーブル形制約に対応する組合せに共通に含まれる各属性について、当該属性の値を含む各テーブル形制約ごとに求まる、当該テーブル形制約に記述された不活性化されていない組に含まれている当該属性の値の集合の交わりの集合に含まれない当該属性の値を含む、当該属性を含む各テーブル形制約に記述された組を不活性化する。
【００１４】
さらに、各テ−ブル形制約に記述された不活性化されていない組に記述された各属性の値の、属性ごとの集合を、当該属性の第１解集合候補とする。各属性について、当該属性の第１解集合候補に含まれる値のうち、前記各関係制約を満たす値の集合を当該属性の第２解集合候補とする。各属性について、当該属性の第２解集合候補に含まれる値と異なる値を含む、各テーブル形制約に含まれる不活性化されていない組を不活性化する。そして、各テ−ブル形制約に記述された不活性化されていない組に記述された各属性の値の、属性ごとの集合を、当該属性の最終解集合として出力する。
【００１５】
このようにして、制約ネットワ−クを制約形態ごとに分割し、制約形態ごとに特質を生かした制約の充足処理を適用すること、またそれら複数の制約充足処理の起動順序を制御すること、さらに、各制約充足処理起動の結果として設定された属性値の許容範囲について、範囲の最も狭い方向に整合維持処理を行なうことによって、解候補として生成する属性の値や範囲の組合せ数を絞り込めるので、計算処理量が抑えられる。また、制約ネットワ−クを縮小して制約充足を行なうことにより、少ない制約の起動によって制約ネットワ−ク全体を見渡して、解候補の解としての成立性を判定できる。
【００１６】
さらに、属性に対して、ユ−ザの要求を、固定値だけでなく、下限値、上限値の一方または両方で入力することが可能であるため、ユ−ザの意向を柔軟に反映した複数の候補解を出力できる。
【００１７】
さらに、生成されたテ−ブル形制約およびまたは関係制約において、所定の属性の値に依存せずに制約を行う共通制約と、所定の属性の値に応じた制約を行う非共通制約とを分離し、分離された共通制約の制約を満たす属性の解集合である共通部分解集合をまず求め、前記所定の属性の取り得る値毎に、前記求められた共通部分解集合のうち、所定の属性の値に応じた前記非共通制約の制約を満たす属性の解集合を求めることができる。
【００１８】
【実施例】
以下に本発明の一実施例を図面により説明する。
【００１９】
図１は本発明による複数候補解生成方法の機能構成図である。図１において
101は設計対象の仕様項目等を表す属性、および属性間の関連規則である制約からなる設計知識、102は制約充足時に起動対象となる制約の集合およびそれらの制約の関連属性を保持するワ−キングエリア、103はワ−キングエリア内の制約集合を部分的に充足している部分解を保持する部分解候補格納部、104は部分解候補の番号や受渡しを管理する部分解候補管理部、105、106、107、108はワ−キングエリア内に保持されている属性集合と制約集合を参照して制約充足処理を行う制約充足部であるが、105は特にテ−ブル形制約の制約充足処理を行うテ−ブル形制約充足部、106は特に等式形制約の制約充足処理を行う等式形制約充足部、107は特に不等式形制約の制約充足処理を行う不等式形制約充足部、108は特に手続き形制約の制約充足処理を行う手続き形制約充足部、109は前記複数の制約充足部と部分解候補管理部との間で解候補の受渡しを行い、さらに前記複数の制約充足部の起動順序を制御する候補解生成制御部、110は制約充足処理を行っている間に、属性に設定された、値の許容範囲に変更が生じる度ごとに、属性に設定された離散値、あるいは値の下限と上限とからなる区間値で表された、その属性のとり得る値の許容範囲の整合性を、値の範囲の狭い方向に維持する属性値許容範囲整合性維持部である。
【００２０】
図２は図１の機能を実現するためのハ−ドウェア構成の例である。図２において3001はシステムバス、3002はバス制御装置、3003は中央処理装置、3004は主記憶装置、3005はキ−ボ−ド、3006はディスプレイ、3007はマウス、3008はディスク制御装置、3009はディスク、3010はプリンタである。ディスク(3009)には設計知識(図1の101)が保持され、制約充足時に起動対象となる制約の集合およびそれらの制約の関連属性は、中央処理装置(3003)にて行われる候補解生成制御部(109)の演算により呼び出され、バス制御装置(3002)により制御されるシステムバス(3001)を介して、ディスク制御装置(3008)によりディスク(3009)上から検索されて、主記憶装置(3004)上のワ−キングエリア(102)に記憶される。主記憶装置(3004)上にはまた、部分解候補格納部(103)がある。部分解候補管理部(104)およびテ−ブル形制約充足部(105)、等式形制約充足部(106)、不等式形制約充足部(107)、手続き形制約充足部(108)、属性値許容範囲整合性維持部(109)の演算は、中央処理装置(3003)にて行われる。ディスプレイ(3006)には、解探索範囲とする値の入力画面やシステムの経過表示画面、求まった候補解の表示画面等の、ユ−ザとの対話画面を表示し、ユ−ザはキ−ボ−ド(3005)やマウス(3007)を用いて対話操作を行う。また、プリンタ(3010)からは、求めた設計候補解を仕様書や図面の形で出力できる。
【００２１】
図３は、本発明における候補解生成処理の概略フローチャートであり、図４は仕様項目である属性の値域情報格納エリアのデ−タ型である。まず、図４について説明する。属性の値域情報として、離散値の有無を示すフラグと、数値型デ−タであるか否かを示すフラグを付与する。文字列型デ−タであろうと、数値型デ−タであろうと、離散値の値域を持つ属性ならば、候補解絞り込み処理開始時には、値域情報格納エリア内に初期値としての離散値を格納しているが、デ−タ入力や制約充足処理などの候補解絞り込み処理の実行に伴って、値域情報格納エリアから解の範囲外となった離散値を削除し、候補として残っている離散値のみを保持するものとする。さらに、数値型デ−タである属性ならば、候補解絞り込み処理開始時には、初期の値の範囲が与えられていれば、値域情報格納エリア内に下限値と上限値とからなる区間値を格納し、初期の下限値が与えられていなければ下限値は−∞、初期の上限値が与えられていなければ上限値は∞としておくが、デ−タ入力や制約充足処理などの候補解絞り込み処理の実行に伴って、値域情報格納エリア内で、通常、属性の値の範囲を表す区間値は更新されていく。また、その区間値の更新は、区間値を狭帯化する方向、すなわち下限値は大きくなる方向、上限値は小さくなる方向にのみ行なわれる。
【００２２】
次に、図３の概略処理フロ−を説明するために、以下、エレベ−タ−の機器選定・レイアウト設計を事例として具体的に述べる。
【００２３】
図５および図６は、エレベ−タ−の機器選定・レイアウト設計における属性のいくつかについて、値域情報格納エリアに初期値として格納されたデ−タの例を示したものである。図５および図６の表の１行目にはデ−タ項目を、２行目以降には、積載量、かご内法奥行といった属性についてのデ−タ例を具体的に記している。積載量、ドア形式以外の属性の意味は、図７のエレベ−タ−の昇降路の平面図に示す寸法線の通りである。属性は、対象製品によって異なる。図５および図６の表の各列は、図４にて示した属性の値域情報の項目に対応しており、１列目から６列目まで順に、属性名、離散値の有無フラグ、値域としての離散値、数値型デ−タか否かを表すフラグ、値域としての下限値、値域としての上限値を記している。
【００２４】
図８および９は、本実施例における属性間の関連規則を表す制約の例である。図８に示したC1,C2,C4,C10,C11,C13はテ−ブル形制約であり、例えばC1は、積載量、かご内法間口、かご内法奥行、かご外法間口、かご外法奥行の値の組合せを規定した制約である。図９に示したC5,C7,C8,C12,C14は等式形制約であり、C3, C6,C9は不等式形制約である。例えばC3は、かご吊芯奥行dYの値が、S1の値とD1の値(図７参照)を加えた値以上でなければならないことを規定した制約である。等式形制約と不等式形制約を合わせて、式形制約と呼ぶ。図10は、本実施例における属性と制約の関連を表した制約ネットワ−ク図である。この図は、エレベ−タ−の機器選定・レイアウト設計における制約ネットワ−クの部分的な一例である。
【００２５】
ここで、図３に示した、本発明における候補解生成処理の概略フローチャートの説明を行う。
【００２６】
まず、候補解生成にあたって、ユーザインターフェースを介して取り込んだ入力データをもとに、候補解生成制御部（109）が、値域情報格納エリアのデータ更新を行う(処理301)。ここでは、次のような入力要求があったとする。
【００２７】
積載量は、400〜600kg
かご外法間口(W2)（図７参照）は、1200〜1300mm
ドア形式は、片開き
現場調査寸法A(A)は、590mm
現場調査寸法B(B)は、1020mm
現場調査寸法C(C)は、150mm
本発明においては、入力デ−タは、一意の値であっても、あるいは下限値、上限値両方からなる区間値、または下限値、上限値どちらか一方のみによって値の範囲を指定するものであってもよい。属性値許容範囲整合性維持部（図１の110）は、デ−タの入力に伴って、属性の値域情報を格納するエリアの値を更新し、さらに、図11の斜線部のように、デ−タ入力のあった属性を関連属性とするテ−ブル形制約から、入力範囲外となった属性値に関する値の組合せを不活性化する。例えば、図11において制約C1からは、積載量を400〜600kgとし、かご外法間口(W2)を1200〜1300mmとするという入力デ−タに基づいて、値域の範囲外の値となった、積載量として{750}、かご外法間口として{1350,1450,1500}を有する値の組合せを不活性化する（解の候補からはずす）。
【００２８】
次に、制約充足処理を起動する前に、候補解生成制御部(109)がワーキングエリア(102)にて制約ネットワ−クを制約形態により分割する(処理302)。以下、制約形態別に分割された単位を制約グル−プと称し、異なる複数種類の制約に関連する属性を境界属性と称することにするが、制約グル−プの生成は、境界属性でネットワ−クを切断した制約ネットワ−クから、連結グラフを探索するなどの方法を用いて行なう。図10の制約ネットワ−クの場合、テ−ブル形の制約グル−プとしてC1,C2,C4,C11,C13からなるグル−プ、およびC10からなるグル−プが、式形の制約グル−プとしてC3,C5,C6,C7,C8,C9からなるグル−プ、およびC12,C14からなるグル−プが、手続き形の制約グル−プとしてC15からなるグル−プが生成される。
【００２９】
テ−ブル形の制約グル−プには、候補解生成制御部（109）がテ−ブル形制約充足部を起動(処理303)するが、その処理のフローチャートを図12に示す。本実施例では、テ−ブル形制約充足部には整合ラベリング問題の併合法を適用する。まずテ−ブル形の制約グル−プを抽出(処理1201)し、制約を頂点に、制約間をつなぐ共通な関連属性を辺とする制約頂点ネットワ−クを生成(処理1202)する。図10の制約ネットワ−クから生成された、C1,C2,C4,C11,C13からなる制約グル−プより、図13に示すような制約頂点ネットワ−クが生成できる。例えば、C1とC2には「かご外法奥行(D2)」という属性が共通して関連しているので、C1とC2の間を「かご外法奥行(D2)」を辺として結んでいる。このネットワ−クの辺一つ一つについて辺整合をとる(処理1203,処理1204)ことによって、制約充足処理を進める。例として、図13の辺1における辺整合処理を、図14をもとにして説明する。辺1における共通属性「かご外法奥行(D2)」のC1における値域{1085,1120,1320,1370, 1470}(図11参照)をC2に送って、C2における値域{1085,1120,1285,1320,1370,   1470,1485,1670,1765}(図11参照)について、C1における値域との整合処理を実行する。この場合、C2における値域の{1285,1485,1670,1765}という要素は、C1における値域には存在しないので、C2における値域から{1285,1485,1670,1765}が削除され、C2における「かご外法奥行(D2)」の値域は{1085,1120,1320,1370,   1470}に更新される。そして、図15の斜線部のように、制約C2から、値域の範囲外となった値{1285,1485,1670,1765}を有する値の組合せを不活性化する。次に、C2における「かご外法奥行(D2)」の値域をC1に送ると、C2とC1における「かご外法奥行(D2)」の値域の整合がとれていることが確認され、制約C1とC2との間の辺1における辺整合処理を終了して、「かご外法奥行(D2)」の値域情報格納エリアの値を更新する。またさらに、図16のような制約C1とC2を結合した制約「C1＆2」を生成する。すると、図13の制約頂点ネットワ−クは図17のような形に変化する。また、「かご外法奥行(D2)」以外の制約C1＆2の関連属性についての、値域情報格納エリアの値を更新する。例えば、図15に示されているように、C2において「かご前芯」から640,740,835,880という値が削除されたので、「かご前芯」の値域情報格納エリアからも640,740,835,880という値を削除する。同様に、「かご後芯」から645,745,835,885という値が削除されたので、「かご後芯」の値域情報格納エリアからも645,745,835,885という値を削除する。辺2,3,4,5についても同様に辺整合処理を繰り返すと、最終的には、図18のような制約「C1＆2＆4＆11＆13」が生成され、制約頂点ネットワ−クは図19のようになる。また、この制約頂点ネットワ−クでの処理終了時における、値域情報格納エリア内の値域情報は、図20および21のように更新されている。
【００３０】
他の、テ−ブル形の制約グル−プについても同様の処理を終了した(処理1205)ならば、式形制約についての処理に移るよう、図1の候補解生成制御部(109)が制御を行う。
【００３１】
式形制約の充足処理を行う際には、本実施例では区間法を用いるが、効率良い式形制約充足処理方法として、制約ネットワ−クを縮小し、より早期に属性の値域を絞り込むことを目的として縮約式を生成、利用する。式形制約から縮約式を生成する処理(図3の処理304)について、図22のフローチャートをもとに説明する。縮約式生成処理は、等式・不等式形制約充足部にて行う。縮約式とは、共通な関連属性を持つ式形制約を連立して、共通な関連属性を消去することによって生成される式のことを指している。また、縮約式を生成するために連立する、複数の式形制約のまとまりのことを、式連立単位と呼ぶことにする。式形制約から縮約式を生成する処理はまず、式連立単位抽出(処理2201)から始まるが、式連立単位は、式形の制約グル−プ内を、式形制約間の共通属性のうち"離散値の値域を持つ属性"，"一意の値や区間値が入力された属性"を式連立単位境界としてさらに分割したものである。式連立単位抽出時に、式形の制約グル−プの分割判定を前記の通りにする理由については、縮約式への制約の充足例の説明後に述べる。図10の制約ネットワ−クから生成された、C3,C5,C6,C7,C8,C9からなる制約グル−プから式連立単位を抽出する具体例を挙げる。C3,C5,C6,C7,C8,C9の制約については、前述のように図9で示している。式形制約間の共通属性のうち "離散値の値域を持つ属性"に該当する属性「D1」が式連立単位境界となるため、図23に示す式連立単位(ア)および式連立単位(イ)を得ることができる。
【００３２】
式連立単位抽出後、各式連立単位内で、共通属性を消去した式が生成可能であるか判断し(図22の処理2202)、可能であれば共通属性を消去した式を生成する(処理2203)。このとき生成された式が縮約式である。共通属性を消去した式は、等式同士の間、あるいは等式と一つの不等式の間であれば必ず生成可能であるが、不等式間では、生成不可能な場合もある。例えば、
制約  Ｅ≧Ｆ＋Ｇ          (1)
制約  Ｅ≦Ｈ              (2)
という２つの式を連立した場合は、共通属性Ｅを(1)，(2)式から消去して、
Ｆ＋Ｇ≦Ｈ          (3)
という縮約式が生成されるのに対して、
制約  Ｅ≧Ｉ＋Ｊ          (4)
制約  Ｅ≧Ｋ              (5)
という２つの式を連立した場合は、共通属性Ｅに対する不等号の向きが同じであるため、縮約式は生成不可能である。図23に示す式連立単位(ア)は、
制約C５  昇降路最小奥行＝Ｄ１＋Ｄ２＋Ｄ３      (6)
制約C６  昇降路最小奥行≦昇降路奥行            (7)
制約C７  昇降路奥行＝Ａ＋Ｂ＋Ｃ                (8)
という３つの式からなるので、(6),(7),(8)式を連立して、共通属性を消去する。まず、(6),(7)式から共通属性「昇降路最小奥行」を消去して、
Ｄ１＋Ｄ２＋Ｄ３≦昇降路奥行          (9)
という式が生成され、さらに(9),(8)式から共通属性「昇降路奥行」を消去することによって、
Ｄ１＋Ｄ２＋Ｄ３≦Ａ＋Ｂ＋Ｃ         (10)
という縮約式が生成される。この縮約式が生成されたことによって、式連立単位(ア)のネットワ−クは、図24に示すように、制約C5＆6＆7に縮約される。また、式連立単位(イ)においても、同様に、制約C3,C8,C9を連立して、
CWT芯_かご後最小距離≦CWT芯位置dY−S2−S1−D1         (11)
という縮約式を生成することによって、ネットワ−クが図25に示すように制約C3＆8＆9に縮約される。つまり、図23に示されていた、６個の式形制約の連結したネットワ−クは、縮約式生成処理によって、図26に示した２個の縮約式からなるネットワ−クに縮小される。縮約式生成処理は、図22の処理2201において抽出した全ての式連立単位に対して実行が済めば(処理2204)、終了する。
【００３３】
等式・不等式形制約の充足処理は、本実施例では、式に対して、属性の下限値、上限値の絞込みが収束するまで区間法を実行することによって行う。以下、これについて説明する。縮約式生成後はまず、候補解生成制御部(109)により、等式・不等式形制約充足部を起動し、縮約式への制約充足処理を行う(図3の処理305)。例として縮約式(10),(11)への制約充足処理を説明するが、処理開始時点での縮約式(10),(11)の関連属性の値に関する情報は、図27に示す通りである。まず、縮約式(10)については、Ｄ１、Ａ、Ｂ、Ｃの値は一意に設定されている。よって、縮約式(10)は、
Ｄ２＋Ｄ３≦1580                                      (12)
となるので、区間法などを用いてＤ２、Ｄ３の値の範囲を求める。すなわち、Ｄ３の区間値が[220,230]であるので、式(12)より、Ｄ２の上限値は1360に更新される。次に、縮約式(11)については、値域の最も広い属性はCWT芯位置dYであり、CWT芯位置dY以外の属性の値域が有限であるので、まず、CWT芯位置dYの値域を絞り込むことができる。縮約式(11)は、
CWT芯位置dY≧CWT芯_かご後最小距離＋S2＋S1＋D1         (13)
と変形でき、右辺の各属性に下限値を代入することによって、
CWT芯位置dY≧1385                                     (14)
となり、CWT芯位置dYの下限値は、0から1385に更新される。
【００３４】
等式・不等式形制約の充足処理において、最初から式形制約全てに対して処理を行うのでなく、初めは縮約式を利用すれば、より少ない数の式について区間法の適用を繰り返すことによって、すなわち、より少ない処理時間で、式形の制約グル−プ内の属性の値域、特に他の制約形態の制約グル−プとの境界属性の値域を絞り込める可能性が高い。前述のC3,C5,C6,C7,C8,C9からなる制約グル−プを例にいえば、縮約式を利用しなければ、６個の式形制約を対象として、属性の値域が収束するまで区間法の適用を繰り返さねばならぬところを、初めは２個という、より少ない数の縮約式について区間法の適用を繰り返すことによって属性値の絞込みを行うことが可能となっている。
【００３５】
また、前述の、縮約式生成のための式連立単位抽出時における、式形の制約グル−プの分割判定は、縮約式への区間法適用による属性値絞込みの効果を高める。すなわち、式形制約充足処理実行前には、"離散値の値域を持つ属性"および"一意の値や区間値が入力された属性"以外の属性の値域は、範囲が無限であるかあるいは有限であっても広いといえる。よって、"離散値の値域を持つ属性"および"一意の値や区間値が入力された属性"以外の属性を式連立時の消去対象として縮約式を生成し、縮約式の関連属性の内訳が、前述の例にある縮約式(10),(11)のように、"離散値の値域を持つ属性"および"一意の値や区間値が入力された属性"以外の属性が１個以下になるように構成されることが、属性値絞込みに必要であるからである。
【００３６】
縮約式によって、属性値の範囲が更新されたので、図３の処理303のテ−ブル形制約充足部起動終了時の値の範囲との整合性維持処理を属性値許容範囲整合性維持部(図１の110)にて行なう。属性値許容範囲整合性維持部(110)では、属性の値域情報格納エリアに異なる値域情報が送られた場合に、エリア内の値域情報と新規に送られてきた値域情報との間で、より狭い方向に値域を更新して整合をとる。前述のように、縮約式(10)にて、テ−ブル形制約グル−プとの境界属性である「Ｄ２」の値域情報が更新されたので、Ｄ２を例に、図28を使用して整合のとり方について説明する。Ｄ２の候補解生成時の値域情報は、テ−ブル形制約からは、候補として残っている離散値は{1085,1120,1320,1370,1470}、区間値は   [1085,1470]となっていたが、縮約式(10)から上限値が1360に更新されたので、区間値が[1085,1360]となり、それに伴い、候補として残っている離散値から   1370,1470が削除されて、{1085,1120,1320}に情報が更新される。
【００３７】
同様にして縮約式の起動が全て終了したならば、候補解生成制御部(109)により部分解候補の絞り込み(図３の処理306)を行なう。処理303のテ−ブル形制約充足部起動終了時に生成されている、制約「C1＆2＆4＆11＆13」のようなテ-ブル(図18参照)に保持されている値の組合せ一つ一つは、解の候補として残っている値の組合せを示しているので、部分解候補であるといえる。処理305の縮約式起動によって候補値の範囲が更新された属性を関連属性に持つテ−ブルにおいては、候補値の範囲外となった値を含んでいるような属性値の組合せを不活性化する必要がある。この処理が、部分解候補を絞り込む処理(図３の処理306)であり、図 29にその例を示す。縮約式(10)を起動したことによって、属性「Ｄ２」の候補として残っている離散値が{1085,1120,1320}に更新されたので、それ以外の値をとる組合せは不活性化される。
【００３８】
本実施例ではここで、残った組合せについて、候補解生成制御部(109)からの指示に従って、部分解候補管理部(104)が部分解候補番号を付け(図３の処理307)、部分解候補格納部(103)に納める。番号を付けた部分解候補の数が、Ｎであるとすると、候補解生成制御部（109）が、部分解候補番号１からＮまでについて(処理308)、等式形・不等式形・手続形制約充足部を起動して、等式形・不等式形・手続形制約充足部を起動可能なものから順次起動していく(処理309)。すなわち、たとえば、図26に示した２個の縮約式からなるネットワークに対しては、図23に示した６個の式のうち式形制約充足部を起動可能なものから順次起動していく。手続形制約の例を図30に示し、図30の手続形制約に関連する属性を寸法線で表したエレベ−タ−の昇降路平面図を図31に示す。この例は、図10の制約ネットワ-ク中の制約C15を表している。かごドアレ-ル長さ、かご吊芯間口、出入口芯ズレ量、かご出入口幅、かごドアレ-ル戸当り側長さ、かご敷居長さ、かご敷居戸当り側長さという属性の値が、入力または制約充足処理によって設定されていると、図30のフロ−チャ−トに従ってかご左出入口出張り量の値を算出する。各制約充足部の起動制御は、候補解生成制御部(109)が行い、これにより、各部分解候補は、部分解候補管理部(104)によって部分解候補格納部から取り出されたり、部分解候補格納部に納められたりする。図３の処理309において、値の整合に矛盾の生じた部分解候補があれば、候補解生成制御部(109)により、その部分解候補は削除する。候補解生成制御部(109)が、部分解候補管理部(104)を通じて、最終的に残った部分解候補を部分解候補格納部(103)に問い合わせ、候補解として値域情報格納エリア（図20，図21参照）に出力(処理310)して、候補解生成処理は終了する。生成された候補解は、適宜、ディスプレイ3006(図48参照)において表示されたり、プリンタ3010からプリントアウトされる。
【００３９】
次に、以下に本発明の第二の実施例を図面により説明する。
【００４０】
図32は本発明の第二の実施例における複数候補解生成方法の機能構成図である。図32において構成部101から110は第一の実施例と同じである。321は、基本的な仕様に関する属性等の値を条件として、設計知識のうち、活性化する属性および制約の集合を生成してワ−キングエリアに格納する属性制約集合切替制御部である。
【００４１】
図32の機能を実現するためのハ−ドウェア構成の例は、第一の実施例と同じである。属性制約集合切替制御部(図32の321)の演算は、中央処理装置(図２の3003)にて行われる。
【００４２】
第二の実施例は、第一の実施例のように設計知識を構成する属性および制約が全て常に活性状態にあるのとは異なって、属性および制約の中に、基本的な仕様に関する属性等の値を条件として、活性または不活性であるという活性状態が切り替わるものが存在する場合に、複数候補解を求める例について述べるものである。言い換えれば、属性値を条件として、設計知識のうち、活性状態にある属性および制約の集合が切り替わる場合の実施例である。
【００４３】
設計知識内には、活性状態の切り替えに影響されず、常に活性状態にある属性、制約が存在するが、これを以下、共通属性、共通制約と称する。一方、活性状態の切り替えが生じる属性および制約を、以下それぞれ非共通属性、非共通制約と称する。
【００４４】
図33および図34は、属性値を条件として、活性状態にある属性および制約の集合が切り替わるような制約ネットワ−クの例である。ＣＷＴレイアウトタイプという、釣合いおもりを、エレベ−タ−のかごの正面から見てどの方向に落とすように配置するかを表す属性の値によって、活性状態にある属性制約集合が切り替わり、制約ネットワ−クは異なったものになる。図33に示す制約ネットワ−クは、ＣＷＴレイアウトタイプが、”後落ち”の場合のものであり、図34に示す制約ネットワ−クは、ＣＷＴレイアウトタイプが、”左落ち”の場合のものである。図35には、ＣＷＴレイアウトタイプが、”左落ち”の場合のエレベ−タ−の昇降路平面図を示す。ＣＷＴレイアウトタイプが、”後落ち”の場合のエレベ−タ−の昇降路平面図は図７に示した通りである。図36には、図33および図34に記載されている属性のうち、属性制約集合切替において、切替の条件となる基本的な仕様に関する属性、および活性状態が切り替わる属性の、設計解の求解開始時の値域情報を示す。ＣＷＴレイアウトタイプという属性が前者の属性に当てはまり、ＣＷＴ芯＿かご後距離、ＣＷＴ芯＿かご後最小距離、ＣＷＴ芯＿かご左距離、ＣＷＴ芯＿かご左最小距離という属性が後者の属性に当てはまる。図37には、第一の実施例には表れておらず、第二の実施例の制約ネットワ−ク(図33および図34)にのみ存在するテ−ブル形制約例の内容を示す。制約C4-1、C4-2、およびC13-1、C13-2の説明は後述する。図33および図34に記載されている他のテ−ブル形制約の内容は、図８に示した通りである。図38には、第二の実施例の制約ネットワ−ク(図33および図34)に存在する式形制約例の内容一覧を示す。アンダ−ラインを引いた属性が、基本的な仕様に関する属性等の値を条件として、活性状態が切り替わる属性、つまり前述の非共通属性である。
【００４５】
以上挙げた図33〜38および図39をもとに、属性制約集合切替の例を説明する。
【００４６】
まず、ＣＷＴレイアウトタイプの値が条件となって生じる属性制約集合切替の例について述べる。図39には、ＣＷＴレイアウトタイプの値に関する属性集合切替条件の一例および条件の表記方法の一例を示す。ＣＷＴレイアウトタイプの値が”後落ち”ならば、属性「ＣＷＴ芯＿かご後距離」および「ＣＷＴ芯＿かご後最小距離」が活性となり、”左落ち”ならば、属性「ＣＷＴ芯＿かご左距離」および「ＣＷＴ芯＿かご左最小距離」が活性となる。そして、これら非共通属性を関連属性とする制約は、関連属性の活性状態に伴って、活性状態が切り替わることになる。C8,C9,C10は、属性「ＣＷＴ芯＿かご後距離」および「ＣＷＴ芯＿かご後最小距離」が活性の場合にのみ活性な制約となり、C15,C16,C17は、属性「ＣＷＴ芯＿かご左距離」および「ＣＷＴ芯＿かご左最小距離」が活性の場合にのみ活性な制約となる。よって、非共通属性「ＣＷＴ芯＿かご後距離」および「ＣＷＴ芯＿かご後最小距離」および非共通制約C8,C9,C10は、図33に示されるＣＷＴレイアウトタイプの値が”後落ち”の場合の制約ネットワ−クにのみ表れる。また、非共通属性「ＣＷＴ芯＿かご左距離」および「ＣＷＴ芯＿かご左最小距離」および非共通制約C15,C16,C17は、図34に示されるＣＷＴレイアウトタイプの値が”左落ち”の場合の制約ネットワ−クにのみ表れる。
【００４７】
次に、ドア形式の値が条件となって生じる制約集合切替の例について述べる。図37の制約C4-1、C4-2がその場合の非共通制約に該当する。かご前後最小寸法を設定する制約は、ドア形式の値が”片開き”と設定された場合にはC4-1が活性となり、”両開き”と設定された場合にはC4-2が活性となるというものである。図33、図34ではC4-nと記載している。また同様に、図37の制約C13-1、C13-2は、ＣＷＴレイアウトタイプの値が条件となって生じる制約集合切替の例であり、ＣＷＴレイアウトタイプの値が”後落ち”と設定された場合にはC13-1が活性となり、”左落ち”と設定された場合にはC13-2が活性となる。図33、図34ではC13-nと記載している。
【００４８】
よって、図33、図34の属性「ＣＷＴ芯＿かご後距離」,「ＣＷＴ芯＿かご後最小距離」,「ＣＷＴ芯＿かご左距離」,「ＣＷＴ芯＿かご左最小距離」、制約C8, C9,C10,C15,C16,C17およびC4-n,C13-n以外の属性と制約は、前述の共通属性および共通制約である。制約ネットワ−クのうち、共通属性および共通制約からなる部分を共通ネットワ−クと称する。図33、図34中に、共通ネットワ−クを太線で囲んで示す。
【００４９】
図40および図41は、本発明の第二の実施例における候補解生成処理の概略フロ−チャ−トである。第二の実施例では、図42に示す共通ネットワ−クを対象に、事前処理として、第一の実施例の図３のフロ−チャ−トと同様な処理を行って、共通ネットワ−クにおける解候補を絞り込んでおく。事前処理によって得られた解候補を共通部分解候補と称する。そして、対話処理時には、共通部分解候補を利用することによって、計算量を減らす。
【００５０】
図40には、事前処理として共通部分解候補を生成する処理のフロ−チャ−トを示す。候補解生成制御部(図32の109)が、まず、属性制約集合切替制御部(321)を起動して、共通ネットワ−クの抽出を行う(図40の処理4001)。次に、候補解生成制御部(109)が、ワ−キングエリア(102)にて制約グル−プの生成を行った(処理4002)後、同じく候補解生成制御部(109)が、テ−ブル形の制約グル−プには、テ−ブル形制約充足部を起動(処理4003)し、式形制約については縮約式を生成(処理4004)して、縮約式に対して式形制約充足部を起動(処理4005)する。候補解生成制御部(109)はさらに、属性値許容範囲整合性維持部(110)を起動して、処理4003のテ−ブル形制約充足部起動終了時の値の範囲と、処理4005の式形制約充足部起動終了時の値の範囲との間の整合性維持処理を行なうことによって、共通部分解候補の絞込みを行う(処理4006)。残った共通部分解候補について候補解生成制御部(109)は番号付けを行い(処理4007)、その共通部分解候補を部分解候補格納部(103)に納める。番号を付けた共通部分解候補の数が、Ｌであるとすると、候補解生成制御部(109)が、共通部分解候補番号１からＬまでについて(処理4008)、等式形・不等式形・手続形制約充足部を起動して、等式形・不等式形・手続形制約を起動可能なものから順次起動していく(処理4009)。各制約充足部の起動制御は、候補解生成制御部(109)が行い、これにより各部分解候補は、部分解候補管理部(104)によって部分解候補格納部から取り出されたり、部分解候補格納部に納められたりする。図40の処理4009において、値の整合に矛盾の生じた共通部分解候補があれば、候補解生成制御部(109)により、その共通部分解候補は削除する。候補解生成制御部(109)が、最終的に残った共通部分解候補を部分解候補格納部(103)に保持(処理4010)する。共通部分解候補番号Ｌについての処理4009および処理4010が終了したら、候補解生成制御部(109)が、属性制約集合切替組合せパタンの生成を行う(処理4011)。属性制約集合切替組合せパタンの例を図43に示す。前述のように、属性「ＣＷＴレイアウトタイプ」の値および属性「ドア形式」の値は属性制約集合の切り替え条件となっているので、ＣＷＴレイアウトタイプおよびドア形式の取りうる値の組合せを、属性制約集合切替組合せパタンと定義することができる。この例では、ＣＷＴレイアウトタイプの取りうる値が２通り、ドア形式の取りうる値が２通りあるので、計４通りの組合せパタンが生成される。以上で、事前処理として行う共通部分解候補生成処理を終了する。
【００５１】
図41には、対話処理時に候補解を生成する処理のフロ−チャ−トを示す。候補解生成制御部(図32の109)が、まず、ユ−ザ−インタ−フェ−スを介して入力デ−タを読み込み(図41の処理4101)、入力されたデ−タをもとに、入力範囲外となった属性値に関する共通部分解候補を、部分解候補格納部(103)から削除する(処理4102)。次に、属性値許容範囲整合性維持部(図32の110)が、属性の値域情報格納エリアの値を、入力されたデ−タ、および部分解候補格納部(103)に残っている共通部分解候補に基づいて更新する。共通部分解候補としてある程度絞り込まれている属性の値域を、属性の値域情報格納エリアに反映することによって、対話処理にて扱う属性の値域の範囲を狭めることができる。属性値許容範囲整合性維持部(110)はさらに、入力されたデ−タをもとに、デ−タ入力のあった属性を関連属性とするテ−ブル形制約から、入力範囲外となった属性値に関する値の組合せを不活性化する。次には候補解生成制御部(109)が、入力されたデ−タをもとに、前述の事前処理にて生成した属性制約集合切替組合せパタンから、入力範囲外となった属性値に関するパタンを不活性化して、活性状態にある属性制約集合切替組合せパタンに番号付けを改めて行う。本実施例では、入力デ−タによって不活性化された属性制約集合切替組合せパタンはなく、図43の属性制約集合切替組合せパタンは全て活性状態のままであったとする。活性状態にある属性制約集合切替組合せパタンの数がＭであるとすると、属性制約集合切替組合せパタン１からＭまでについて(処理4103)、第一の実施例の図３のフロ−チャ−トと同様な処理を繰り返し行う。
【００５２】
候補解生成制御部(109)が、まず、属性制約集合切替制御部(321)を起動して属性制約集合切替を行った(処理4104)後、制約グル−プの生成を行う(処理4105)。属性制約集合切替組合せパタン１についての処理は、属性制約集合切替(処理4104)および制約グル−プの生成(処理4105)の結果生成された、図44に示す制約ネットワ−クにて候補解を求める処理となる。候補解生成制御部(109)が、テ−ブル形の制約グル−プには、テ−ブル形制約充足部を起動(処理4106)し、式形制約については縮約式を生成(処理4107)して、縮約式に対して式形制約充足部を起動(処理4108)する。候補解生成制御部(109)はさらに、属性値許容範囲整合性維持部(110)を起動して、処理4106のテ−ブル形制約充足部起動終了時の値の範囲と、処理4108の式形制約充足部起動終了時の値の範囲との間の整合性維持処理を行なうことによって、部分解候補の絞込みを行う(処理4109)。残った部分解候補について候補解生成制御部(109)は番号付けを行い(処理4110)、部分解候補格納部(103)に納める。番号を付けた部分解候補の数が、Ｎであるとすると、候補解生成制御部(109)が、部分解候補番号１からＮまでについて(処理4111)、等式形・不等式形・手続形制約充足部を起動して、等式形・不等式形・手続形制約を起動可能なものから順次起動していく(処理4112)。各制約充足部の起動制御は、候補解生成制御部(109)が行い、これにより各部分解候補は、部分解候補管理部(104)によって部分解候補格納部から取り出されたり、部分解候補格納部に納められたりする。図41の処理4112において、値の整合に矛盾の生じた部分解候補があれば、候補解生成制御部(109)によりその部分解候補は削除する。候補解生成制御部(109)は最終的に残った部分解候補を部分解候補格納部(103)に問い合わせ、属性制約集合切替組合せパタン１における処理結果格納用の値域情報格納エリアに候補解として出力(処理4113)する。属性制約集合切替組合せパタン２についての処理は、図45に示す制約ネットワ−クにて処理4104〜4112を行って、求まった候補解を属性制約集合切替組合せパタン２における処理結果格納用の値域情報格納エリアに出力(処理4113)する処理となる。同様に、属性制約集合切替組合せパタン３についての処理は、図46に示す制約ネットワ−クにて処理4104〜4112を行って、求まった候補解を属性制約集合切替組合せパタン３における処理結果格納用の値域情報格納エリアに出力(処理4113)する処理となる。さらに同様に、属性制約集合切替組合せパタン４についての処理は、図47に示す制約ネットワ−クにて処理4104〜4112を行って、求まった候補解を属性制約集合切替組合せパタン４における処理結果格納用の値域情報格納エリアに出力(処理4113)する処理となる。属性制約集合切替組合せパタンＭについて処理4104〜4113が済むと候補解生成処理は終了する。生成された候補解は、適宜、ディスプレイ3006(図48参照)において表示されたり、プリンタ3010からプリントアウトされる。
【００５３】
【発明の効果】
本発明によれば、検討する解候補のうち、解となりえないために削除される候補については、なるべく早期に削除の判定を行うことができる。また、より少ない計算量で、解の候補を生成することができる。
【００５４】
【図面の簡単な説明】
【図１】本発明による複数候補解生成方法の機能構成図である。
【図２】図１を実現するための装置の利用形態の一実施例を示すハ−ドウェア構成図である。
【図３】本発明における候補解生成処理の概略フローチャートである。
【図４】本発明における属性のデ−タ構造の説明図である。
【図５】エレベ−タ−の機器選定・レイアウト設計における属性のデ−タ例の説明図(その１)である。
【図６】エレベ−タ−の機器選定・レイアウト設計における属性のデ−タ例の説明図(その２)である。
【図７】エレベ−タ−の属性の例の説明図である。
【図８】エレベ−タ−の設計知識におけるテ−ブル形制約の例の説明図(その１)である。
【図９】エレベ−タ−の設計知識における式形制約の例の説明図(その１)である。
【図１０】本発明の第一の実施例で用いる制約ネットワ−クの例の説明図である。
【図１１】デ−タ入力後のテ−ブル形制約における値の組合せの活性/不活性状態の説明図である。
【図１２】テ−ブル形制約充足部の処理のフローチャートである。
【図１３】制約頂点ネットワ−クの例の説明図である。
【図１４】上記制約頂点ネットワ−クの辺１における辺整合処理の説明図(その１)である。
【図１５】上記制約頂点ネットワ−クの辺１における辺整合処理の説明図(その２)である。
【図１６】上記制約頂点ネットワ−クの辺１における辺整合結果の説明図である。
【図１７】辺１における辺整合処理後の制約頂点ネットワ−クの状態の説明図である。
【図１８】上記制約頂点ネットワ−クの全ての辺における辺整合処理終了結果の説明図である。
【図１９】全ての辺における辺整合処理終了後の制約頂点ネットワ−クの状態の説明図である。
【図２０】図１３の制約頂点ネットワ−クにおける辺整合処理終了時の属性値域情報の説明図(その１)である。
【図２１】図１３の制約頂点ネットワ−クにおける辺整合処理終了時の属性値域情報の説明図(その２)である。
【図２２】縮約式生成の処理のフローチャートである。
【図２３】式連立単位の例の説明図である。
【図２４】図２３の式連立単位(ア)における縮約の説明図である。
【図２５】図２３の式連立単位(イ)における縮約の説明図である。
【図２６】縮約式生成後の図２３の制約ネットワ−クの説明図である。
【図２７】縮約式起動直前の属性値域情報の説明図である。
【図２８】テ−ブル形制約の関連属性であってかつ式型制約の関連属性である属性における値の範囲の整合性維持処理の説明図である。
【図２９】部分解候補絞り込み後に残った属性値の組合せの説明図である。
【図３０】エレベ−タ−の手続き形制約の例の説明図である。
【図３１】エレベ−タ−の手続き形制約の例の関連属性の説明図である。
【図３２】第二の実施例に挙げる複数候補解生成方法の機能構成図である。
【図３３】ＣＷＴレイアウトタイプが後落ちの場合の制約ネットワ−クの例の説明図である。
【図３４】ＣＷＴレイアウトタイプが左落ちの場合の制約ネットワ−クの例の説明図である。
【図３５】ＣＷＴレイアウトタイプが左落ちの場合のエレベ−タ−の属性の例の説明図である。
【図３６】エレベ−タ−の機器選定・レイアウト設計における属性のデ−タ例の説明図(その３)である。
【図３７】エレベ−タ−の設計知識におけるテ−ブル形制約の例の説明図(その２)である。
【図３８】エレベ−タ−の設計知識における式形制約の例の説明図(その２)である。
【図３９】ＣＷＴレイアウトタイプの値に関する属性集合切替の条件の例の説明図である。
【図４０】本発明の第二の実施例における共通部分解候補生成処理の概略フロ−チャ−トである。
【図４１】本発明の第二の実施例における候補解生成処理の概略フロ−チャ−トである。
【図４２】第二の実施例での制約ネットワ−クの例における共通ネットワ−クである。
【図４３】属性制約集合切替組合せパタンの例の説明図である。
【図４４】属性制約集合切替組合せパタン１の場合の制約ネットワ−クの例の説明図である。
【図４５】属性制約集合切替組合せパタン２の場合の制約ネットワ−クの例の説明図である。
【図４６】属性制約集合切替組合せパタン３の場合の制約ネットワ−クの例の説明図である。
【図４７】属性制約集合切替組合せパタン４の場合の制約ネットワ−クの例の説明図である。
【図４８】従来技術における管理すべき属性値の組合せの模式的な説明図である。
【符号の説明】
101…設計知識、
102…ワ−キングエリア、
103…部分解候補格納部、
104…部分解候補管理部、
105…テ−ブル形制約充足部、
106…等式形制約充足部、
107…不等式形制約充足部、
108…手続き形制約充足部、
109…候補解生成制御部、
110…属性値許容範囲整合性維持部
321…属性制約集合切替制御部
【図１】
0003720867.tif 000002
【図２】
0003720867.tif 000003
【図３】
0003720867.tif 000004
【図４】
0003720867.tif 000005
【図５】
0003720867.tif 000006
【図６】
0003720867.tif 000007
【図７】
0003720867.tif 000008
【図８】
0003720867.tif 000009
【図９】
0003720867.tif 000010
【図１０】
0003720867.tif 000011
【図１１】
0003720867.tif 000012
【図１２】
0003720867.tif 000013
【図１３】
0003720867.tif 000014
【図１４】
0003720867.tif 000015
【図１５】
0003720867.tif 000016
【図１６】
0003720867.tif 000017
【図１７】
0003720867.tif 000018
【図１８】
0003720867.tif 000019
【図１９】
0003720867.tif 000020
【図２０】
0003720867.tif 000021
【図２１】
0003720867.tif 000022
【図２２】
0003720867.tif 000023
【図２３】
0003720867.tif 000024
【図２４】
0003720867.tif 000025
【図２５】
0003720867.tif 000026
【図２６】
0003720867.tif 000027
【図２７】
0003720867.tif 000028
【図２８】
0003720867.tif 000029
【図２９】
0003720867.tif 000030
【図３０】
0003720867.tif 000031
【図３１】
0003720867.tif 000032
【図３２】
0003720867.tif 000033
【図３３】
0003720867.tif 000034
【図３４】
0003720867.tif 000035
【図３５】
0003720867.tif 000036
【図３６】
0003720867.tif 000037
【図３７】
0003720867.tif 000038
【図３８】
0003720867.tif 000039
【図３９】
0003720867.tif 000040
【図４０】
0003720867.tif 000041
【図４１】
0003720867.tif 000042
【図４２】
0003720867.tif 000043
【図４３】
0003720867.tif 000044
【図４４】
0003720867.tif 000045
【図４５】
0003720867.tif 000046
【図４６】
0003720867.tif 000047
【図４７】
0003720867.tif 000048
【図４８】
0003720867.tif 000049