JPH08129582A - Method and device for generating candidate solution - Google Patents

Method and device for generating candidate solution

Info

Publication number
JPH08129582A
JPH08129582A JP7030891A JP3089195A JPH08129582A JP H08129582 A JPH08129582 A JP H08129582A JP 7030891 A JP7030891 A JP 7030891A JP 3089195 A JP3089195 A JP 3089195A JP H08129582 A JPH08129582 A JP H08129582A
Authority
JP
Japan
Prior art keywords
attribute
constraint
value
candidate
solution
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
JP7030891A
Other languages
Japanese (ja)
Other versions
JP3720867B2 (en
Inventor
Yoko Sotozaki
陽子 外崎
Yoshihisa Arai
良尚 荒井
Shingo Akasaka
信悟 赤坂
Atsuhiro Ishida
篤宏 石田
Noriyuki Haga
憲行 芳賀
Katsuyoshi Katsuta
勝義 勝田
Michisuke Sasaki
道甫 佐々木
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Hitachi Ltd
Hitachi Building Systems Engineering and Service Co Ltd
Hitachi Building Systems Engineering Co Ltd
Original Assignee
Hitachi Ltd
Hitachi Building Systems Engineering and Service Co Ltd
Hitachi Building Systems Engineering Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Hitachi Ltd, Hitachi Building Systems Engineering and Service Co Ltd, Hitachi Building Systems Engineering Co Ltd filed Critical Hitachi Ltd
Priority to JP03089195A priority Critical patent/JP3720867B2/en
Publication of JPH08129582A publication Critical patent/JPH08129582A/en
Application granted granted Critical
Publication of JP3720867B2 publication Critical patent/JP3720867B2/en
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

Links

Abstract

PURPOSE: To find all possible candidate solutions in a request range that a user inputs as to a design problem consisting of four kinds of styles that a table type, an equation type, an inequality type, and a procedure type. CONSTITUTION: A restriction network is reduced by using a table type restriction supplement part 105, an equation type restriction supplement part 106, an inequality type restriction supplement part 107, and a procedure type restriction supplement part 108 matched with characteristics of restrictions of the styles to speedily judge the possibility to be accepted as the solution of a combination of attribute values. Further, the four restriction supplement parts are controlled by a candidate solution generation control part 109 and an attribute value permissible range consistency maintaining part 110 maintain the ranges of attribute values sets by the respective restriction supplement parts in the narrowest direction to narrow down the combinations of attribute values as a solution candidate in an early stage.

Description

【発明の詳細な説明】Detailed Description of the Invention

【０００１】[0001]

【産業上の利用分野】本発明は設計支援を目的としたコ
ンピュ−タ・ソフトウェアの分野で、多様な属性項目、
属性値のバリエ−ションをもつ製品について、顧客の要
求を満たす製品の属性項目値を制約に基づいて決定して
いく過程において、複数の解候補をもちながら検討を行
ない、複数の候補解を求める方法およびそれを実現する
装置に関する。BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention is in the field of computer software for the purpose of design support.
For products with attribute value variations, in the process of determining the attribute item values of products that satisfy the customer's requirements based on constraints, consider while using multiple solution candidates and obtain multiple candidate solutions. A method and an apparatus for realizing the same.

【０００２】[0002]

【従来の技術】設計問題を解く場合の解は、設計仕様の
項目である各種属性の組合せとして表され、設計条件に
よっては、一つの設計条件において複数の設計解が成立
し得ることが少なくない。そのため、複数の解候補を持
ちながら設計の制約充足を行なうことが有用である。制
約充足を行なう手法には、属性と制約のつながりを表現
したネットワ−クをたどることで属性値を設定する制約
伝播がある。2. Description of the Related Art A solution for solving a design problem is expressed as a combination of various attributes which are items of design specifications, and depending on the design condition, there are many cases where a plurality of design solutions can be established under one design condition. . Therefore, it is useful to satisfy design constraints while having a plurality of solution candidates. As a method of satisfying the constraint, there is constraint propagation in which an attribute value is set by tracing a network expressing the connection between the attribute and the constraint.

【０００３】また、異なる種類の制約からなる問題を解
く方法としては、特開平3-63824号公報において、複数
の制約解消部に通信管理部を接続し、通信管理部が対応
表を参照して、入力デ−タをデ−タのタイプに応じた制
約解消部に送るという制約解消装置が記載されている。Further, as a method for solving a problem consisting of different kinds of constraints, in JP-A-3-63824, a communication management unit is connected to a plurality of constraint resolution units, and the communication management unit refers to the correspondence table. , A constraint elimination device that sends input data to a constraint elimination part according to the type of data.

【０００４】また、論文「複数の制約ソルバ−を結合し
た非線形不等式制約ソルバ−」（ＩＣＯＴ研究論文 TR
-0738，新世代コンピュ−タ開発機構）においては、区
間法、シンプレックス法、グレブナ−ベ−スによる３つ
の制約ソルバ−を結合し、さらにそれらの間で変数の値
や上限下限値、線形化された等式を交換することによっ
てより広い範囲の非線形不等式を解くことができる制約
ソルバ−Consortが記載されている。Also, the paper "Nonlinear Inequality Constraint Solver Combining Multiple Constraint Solvers" (ICOT Research Paper TR
-0738, New Generation Computer Development Organization) combines three constraint solvers by the interval method, simplex method, and Gröbner-based method, and further between them, the values of variables, upper and lower limits, and linearization. A constraint solver-Consort is described which can solve a wider range of nonlinear inequalities by exchanging the given equations.

【０００５】[0005]

【発明が解決しようとする課題】設計問題において、複
数の解候補を生成しながら検討を行おうとした場合に
は、属性値同士の一つの組合せを一つの解候補としなが
ら設計解を求めていくことになる。属性値の組合せは、
図48に示すように木構造で表すことができるので、平易
に属性値の組合せ全てについて逐次に制約を伝播させて
いたのでは、実際の製品規模の問題に対応するには処理
時間が多くなりすぎるという問題があった。In the design problem, when an attempt is made to generate a plurality of solution candidates for consideration, one combination of attribute values is used as one solution candidate to obtain a design solution. It will be. The combination of attribute values is
Since it can be represented by a tree structure as shown in Fig. 48, if constraints are propagated sequentially for all combinations of attribute values, it will take a lot of processing time to deal with the problem of the actual product scale. There was a problem of passing too much.

【０００６】また、実際の製品規模の設計問題において
は、制約をその種類に応じてテ−ブル形、等式形、不等
式形、手続き形といった形態で表現することがあるが、
このような４種類の制約が混在した問題において、制約
の形態の特徴を生かした複数候補解生成方法は従来存在
していなかった。In the actual product scale design problem, the constraint may be expressed in the form of table, equation, inequality, or procedural, depending on the type of constraint.
In such a problem in which four types of constraints coexist, there has been no conventional method of generating a plurality of candidate solutions that makes use of the feature of the form of the constraint.

【０００７】本発明の目的は、属性値の全ての組合せに
ついて検討した上で、とり得る全ての設計解を求めよう
とした場合において、検討する解候補のうち、解となり
得ないために削除される候補については、なるべく早期
に削除の判定がなされることを実現するための方法を提
供することである。The object of the present invention is deleted because all possible combinations of attribute values are examined and then all possible design solutions are to be obtained, among the candidate solutions to be examined, they cannot be solutions. It is to provide a method for realizing that a candidate for deletion is determined as early as possible.

【０００８】また、複数の形態からなる制約の充足問題
の解法として、制約の形態ごとに別々の制約充足部を持
ち、同時に複数の制約充足部を起動して値や式を交換す
るという方法があるが、単に複数の制約充足部を同時に
起動するよりも、より少ない計算量で問題を解くこと
が、本発明の目的である。Further, as a solution of the constraint satisfaction problem consisting of a plurality of forms, there is a method of having a separate constraint satisfaction part for each form of constraint and simultaneously activating a plurality of constraint satisfaction parts to exchange values and expressions. However, it is an object of the present invention to solve the problem with a smaller amount of calculation than simply starting a plurality of constraint satisfying units at the same time.

【０００９】[0009]

【課題を解決するための手段】上記の課題を解決するた
めに、本発明は、製品の設計仕様項目を属性として定義
し、前記各属性間において満たさなければならない関係
をそれぞれ記述した複数の関係制約を生成し、属性の異
なる組合せごとにテ−ブル形制約を生成し、各テーブル
形制約に、対応する組合せに属する属性の値の組を記述
する手段と、前記生成された関係制約とテ−ブル形制約
とを記憶する記憶手段と、各テーブル形制約に含まれ
る、入力された特定の属性の特定の値と異なる、前記特
定の属性の値を含む組を不活性化する手段と、各テーブ
ル形制約に対応する組合せに共通に含まれる各属性につ
いて、当該属性の値を含む各テーブル形制約ごとに求ま
る、当該テーブル形制約に記述された不活性化されてい
ない組に含まれている当該属性の値の集合の交わりの集
合に含まれない当該属性の値を含む、当該属性を含む各
テーブル形制約に記述された組を不活性化する手段と、
各テ−ブル形制約に記述された不活性化されていない組
に記述された各属性の値の、属性ごとの集合を、当該属
性の第１解集合候補とする手段と、各属性について、当
該属性の第１解集合候補に含まれる値のうち、前記各関
係制約を満たす値の集合を当該属性の第２解集合候補と
する手段と、各属性について、当該属性の第２解集合候
補に含まれる値と異なる値を含む、各テーブル形制約に
含まれる不活性化されていない組を不活性化する手段
と、各テ−ブル形制約に記述された不活性化されていな
い組に記述された各属性の値の、属性ごとの集合を、当
該属性の最終解集合として出力する手段とを有すること
ができる。In order to solve the above-mentioned problems, the present invention defines a product design specification item as an attribute and describes a plurality of relationships that must be satisfied among the attributes. A constraint is generated, a table type constraint is generated for each combination of different attributes, and a means for describing a set of attribute values belonging to the corresponding combination in each table type constraint, and the generated relational constraint and table. Storage means for storing a bull-shaped constraint, means for deactivating a set including a value of the specific attribute, which is different from the specific value of the input specific attribute, included in each table-shaped constraint, For each attribute commonly included in the combination corresponding to each table type constraint, included in the non-inactivated set described in the table type constraint, which is obtained for each table type constraint including the value of the attribute. Contains the value of the attribute that is not included in the set of intersection of a set of values of the attribute, means for deactivating the set described in the table-type constraints including the attributes,
For each attribute, a means for making a set for each attribute of the value of each attribute described in the non-inactivated set described in each table type constraint the first solution set candidate of the attribute, and Of the values included in the first solution set candidate of the attribute, a unit that sets a set of values that satisfy the relationship constraints as a second solution set candidate of the attribute, and a second solution set candidate of the attribute of each attribute. Means for deactivating the non-inactivated set included in each table type constraint that includes a value different from the value included in, and the non-inactivated set described in each table type constraint. A means for outputting a set of the described values of each attribute for each attribute as a final solution set of the attribute can be provided.

【００１０】さらに、製品の設計仕様項目を属性として
定義し、属性の値の組によって各属性および属性間を制
約する、属性の異なる組合せごとに生成されたテ−ブル
形制約と、前記各属性間において満たさなければならな
い関係によって、属性間を制約する複数の関係制約とに
基づいて、各属性間を当該属性間を制約するテ−ブル形
制約もしくは関係制約によって連結した制約ネットワ−
クを生成する手段と、該制約ネットワークを、属性間
が、テーブル形制約のみにより連結されているグループ
と、属性間が関係制約のみにより連結されているグルー
プとに分割する手段と、テーブル形制約について分割さ
れた各グループにおいて、該グループに含まれるテ−ブ
ル型制約が複数ある場合に、該複数の制約に対応テーブ
ル形制約を全て満たす制約である統合テーブル形制約を
生成する手段と、前記関係制約について分割された各々
のグループにおいて、該グループに含まれる関係制約が
複数ある場合に、該複数の関係制約を全て満たす制約で
ある統合関係制約を生成する手段と、生成した前記統合
テーブル形制約および統合関係制約を満たす各属性の値
の集合を求める手段とを有することもできる。Further, a table type constraint generated for each different combination of attributes, which defines a product design specification item as an attribute and restricts each attribute and between attributes by a set of attribute values, and each of the above attributes Based on a plurality of relational constraints that constrain the attributes according to the relations that must be satisfied between them, a constraint network in which each attribute is connected by a table type constraint or a relational constraint that constrains the attributes
And a means for dividing the constraint network into a group in which attributes are connected only by a table constraint and a group in which attributes are connected only by a relational constraint, and a table constraint In each group divided with respect to each group, when there are a plurality of table type constraints included in the group, means for generating an integrated table type constraint that is a constraint that satisfies all the table type constraints corresponding to the plurality of constraints; In each of the groups divided about the relationship constraint, when there are a plurality of relationship constraints included in the group, a unit for generating an integrated relationship constraint that is a constraint that satisfies all of the plurality of relationship constraints, and the generated integrated table form. And means for obtaining a set of values of each attribute satisfying the constraint and the integration relation constraint.

【００１１】さらに、製品の設計仕様項目を属性として
定義し、属性の値によって属性間を制約する複数の制約
を生成する手段と、生成された制約を、所定の属性の値
に依存せずに定まった制約を行う共通制約と、所定の属
性の値に応じた制約を行う非共通制約とに分離する手段
と、共通制約の制約を満たす属性の解の集合である共通
部分解集合を求める手段と、前記所定の属性の取り得る
値毎に、前記求められた共通部分解集合のうち、当該所
定の属性の値に応じた前記非共通制約の制約を満たす属
性の解集合を求める手段とを有することもできる。Further, a means for defining a product design specification item as an attribute and generating a plurality of constraints for constraining the attributes according to the value of the attribute, and the generated constraint do not depend on the value of a predetermined attribute. A means for separating a common constraint that performs a fixed constraint and a non-common constraint that performs a constraint according to the value of a predetermined attribute, and a means for obtaining a common part decomposition set that is a set of solution of attributes that satisfy the constraint of the common constraint And means for obtaining, for each possible value of the predetermined attribute, a solution set of attributes satisfying the constraint of the non-common constraint according to the value of the predetermined attribute, of the obtained common part decomposition set. You can also have.

【００１２】[0012]

【作用】製品の設計仕様項目を属性として定義し、前記
各属性間において満たさなければならない関係をそれぞ
れ記述した複数の関係制約を生成し、属性の異なる組合
せごとにテ−ブル形制約を生成し、各テーブル形制約
に、対応する組合せに属する属性の値の組を記述する。
そして、各テーブル形制約に含まれる、入力された特定
の属性の特定の値と異なる、前記特定の属性の値を含む
組を不活性化する。[Function] The design specification item of the product is defined as an attribute, a plurality of relation constraints describing the relations that must be satisfied among the respective attributes are generated, and a table type constraint is generated for each different combination of attributes. , Each table type constraint describes a set of attribute values belonging to the corresponding combination.
Then, the set including the value of the specific attribute, which is different from the specific value of the input specific attribute, included in each table type constraint is inactivated.

【００１３】次に、各テーブル形制約に対応する組合せ
に共通に含まれる各属性について、当該属性の値を含む
各テーブル形制約ごとに求まる、当該テーブル形制約に
記述された不活性化されていない組に含まれている当該
属性の値の集合の交わりの集合に含まれない当該属性の
値を含む、当該属性を含む各テーブル形制約に記述され
た組を不活性化する。Next, with respect to each attribute commonly included in the combination corresponding to each table type constraint, the passivation described in the table type constraint is obtained for each table type constraint including the value of the attribute. The set described in each table-type constraint including the attribute, which includes the value of the attribute that is not included in the intersection set of the set of the values of the attribute that is included in the non-set, is inactivated.

【００１４】さらに、各テ−ブル形制約に記述された不
活性化されていない組に記述された各属性の値の、属性
ごとの集合を、当該属性の第１解集合候補とする。各属
性について、当該属性の第１解集合候補に含まれる値の
うち、前記各関係制約を満たす値の集合を当該属性の第
２解集合候補とする。各属性について、当該属性の第２
解集合候補に含まれる値と異なる値を含む、各テーブル
形制約に含まれる不活性化されていない組を不活性化す
る。そして、各テ−ブル形制約に記述された不活性化さ
れていない組に記述された各属性の値の、属性ごとの集
合を、当該属性の最終解集合として出力する。Further, a set for each attribute of the value of each attribute described in the non-inactivated set described in each table type constraint is set as a first solution set candidate of the attribute. For each attribute, among the values included in the first solution set candidate of the attribute, a set of values satisfying the relationship constraint is set as the second solution set candidate of the attribute. For each attribute, the second of the attribute
The non-inactivated set included in each table type constraint including a value different from the value included in the solution set candidate is inactivated. Then, the set for each attribute of the value of each attribute described in the non-inactivated set described in each table type constraint is output as the final solution set of the attribute.

【００１５】このようにして、制約ネットワ−クを制約
形態ごとに分割し、制約形態ごとに特質を生かした制約
の充足処理を適用すること、またそれら複数の制約充足
処理の起動順序を制御すること、さらに、各制約充足処
理起動の結果として設定された属性値の許容範囲につい
て、範囲の最も狭い方向に整合維持処理を行なうことに
よって、解候補として生成する属性の値や範囲の組合せ
数を絞り込めるので、計算処理量が抑えられる。また、
制約ネットワ−クを縮小して制約充足を行なうことによ
り、少ない制約の起動によって制約ネットワ−ク全体を
見渡して、解候補の解としての成立性を判定できる。In this way, the constraint network is divided for each constraint form, and the constraint satisfying process utilizing the characteristics of each constraint form is applied, and the activation order of the plurality of constraint satisfying processes is controlled. Furthermore, regarding the allowable range of attribute values set as a result of each constraint satisfaction process activation, by performing matching maintenance processing in the direction of the narrowest range, the number of combinations of attribute values and ranges to be generated as solution candidates can be determined. Since it can be narrowed down, the amount of calculation processing can be suppressed. Also,
By reducing the constraint network and satisfying the constraints, it is possible to determine the feasibility of the solution candidate as a solution by overlooking the entire constraint network by activating a small number of constraints.

【００１６】さらに、属性に対して、ユ−ザの要求を、
固定値だけでなく、下限値、上限値の一方または両方で
入力することが可能であるため、ユ−ザの意向を柔軟に
反映した複数の候補解を出力できる。Further, the user's request for the attribute is
Since it is possible to input not only a fixed value but also a lower limit value, an upper limit value, or both, it is possible to output a plurality of candidate solutions that flexibly reflect the user's intention.

【００１７】さらに、生成されたテ−ブル形制約および
または関係制約において、所定の属性の値に依存せずに
制約を行う共通制約と、所定の属性の値に応じた制約を
行う非共通制約とを分離し、分離された共通制約の制約
を満たす属性の解集合である共通部分解集合をまず求
め、前記所定の属性の取り得る値毎に、前記求められた
共通部分解集合のうち、所定の属性の値に応じた前記非
共通制約の制約を満たす属性の解集合を求めることがで
きる。Further, in the generated table type constraint and / or relational constraint, a common constraint that does not depend on the value of a predetermined attribute and a non-common constraint that performs a constraint according to the value of the predetermined attribute , And first obtain a common part decomposition set that is a solution set of attributes that satisfy the constraints of the separated common constraint, and for each possible value of the predetermined attribute, of the obtained common part decomposition set, It is possible to obtain a solution set of attributes that satisfy the constraint of the non-common constraint according to the value of the predetermined attribute.

【００１８】[0018]

【実施例】以下に本発明の一実施例を図面により説明す
る。DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS An embodiment of the present invention will be described below with reference to the drawings.

【００１９】図１は本発明による複数候補解生成方法の
機能構成図である。図１において101は設計対象の仕様
項目等を表す属性、および属性間の関連規則である制約
からなる設計知識、102は制約充足時に起動対象となる
制約の集合およびそれらの制約の関連属性を保持するワ
−キングエリア、103はワ−キングエリア内の制約集合
を部分的に充足している部分解を保持する部分解候補格
納部、104は部分解候補の番号や受渡しを管理する部分
解候補管理部、105、106、107、108はワ−キングエリア
内に保持されている属性集合と制約集合を参照して制約
充足処理を行う制約充足部であるが、105は特にテ−ブ
ル形制約の制約充足処理を行うテ−ブル形制約充足部、
106は特に等式形制約の制約充足処理を行う等式形制約
充足部、107は特に不等式形制約の制約充足処理を行う
不等式形制約充足部、108は特に手続き形制約の制約充
足処理を行う手続き形制約充足部、109は前記複数の制
約充足部と部分解候補管理部との間で解候補の受渡しを
行い、さらに前記複数の制約充足部の起動順序を制御す
る候補解生成制御部、110は制約充足処理を行っている
間に、属性に設定された、値の許容範囲に変更が生じる
度ごとに、属性に設定された離散値、あるいは値の下限
と上限とからなる区間値で表された、その属性のとり得
る値の許容範囲の整合性を、値の範囲の狭い方向に維持
する属性値許容範囲整合性維持部である。FIG. 1 is a functional block diagram of a multiple candidate solution generation method according to the present invention. In FIG. 1, 101 is a design knowledge consisting of attributes representing specification items of a design target and constraints which are association rules between attributes, and 102 holds a set of constraints to be activated when constraints are satisfied and related attributes of those constraints. Working area, 103 is a partial solution candidate storage section that holds a partial solution that partially satisfies the constraint set in the working area, and 104 is a partial solution candidate that manages the partial solution candidate number and delivery. The management units 105, 106, 107, and 108 are constraint satisfying units that perform constraint satisfaction processing by referring to the attribute set and constraint set held in the working area, but 105 is particularly a table type constraint. Table-type constraint satisfaction unit that performs the constraint satisfaction processing of
106 is an equality constraint satisfaction part that performs constraint satisfaction processing of equality constraints, 107 is an inequality constraint satisfaction part that performs constraint satisfaction processing of inequality constraints, and 108 is particularly constraint satisfaction processing of procedural constraints Procedural constraint satisfaction unit, 109 performs the delivery of solution candidates between the plurality of constraint satisfaction units and partial decomposition candidate management unit, further candidate solution generation control unit for controlling the activation order of the plurality of constraint satisfaction units, 110 is a discrete value set in the attribute, or an interval value consisting of the lower and upper limits of the value, each time the allowable range of the value set in the attribute changes during the constraint satisfaction process. This is an attribute value allowable range consistency maintaining unit that maintains the consistency of the allowable range of values represented by the attribute in the direction of the narrow value range.

【００２０】図２は図１の機能を実現するためのハ−ド
ウェア構成の例である。図２において3001はシステムバ
ス、3002はバス制御装置、3003は中央処理装置、3004は
主記憶装置、3005はキ−ボ−ド、3006はディスプレイ、
3007はマウス、3008はディスク制御装置、3009はディス
ク、3010はプリンタである。ディスク(3009)には設計知
識(図1の101)が保持され、制約充足時に起動対象となる
制約の集合およびそれらの制約の関連属性は、中央処理
装置(3003)にて行われる候補解生成制御部(109)の演算
により呼び出され、バス制御装置(3002)により制御され
るシステムバス(3001)を介して、ディスク制御装置(300
8)によりディスク(3009)上から検索されて、主記憶装置
(3004)上のワ−キングエリア(102)に記憶される。主記
憶装置(3004)上にはまた、部分解候補格納部(103)があ
る。部分解候補管理部(104)およびテ−ブル形制約充足
部(105)、等式形制約充足部(106)、不等式形制約充足部
(107)、手続き形制約充足部(108)、属性値許容範囲整合
性維持部(109)の演算は、中央処理装置(3003)にて行わ
れる。ディスプレイ(3006)には、解探索範囲とする値の
入力画面やシステムの経過表示画面、求まった候補解の
表示画面等の、ユ−ザとの対話画面を表示し、ユ−ザは
キ−ボ−ド(3005)やマウス(3007)を用いて対話操作を行
う。また、プリンタ(3010)からは、求めた設計候補解を
仕様書や図面の形で出力できる。FIG. 2 shows an example of a hardware configuration for realizing the function of FIG. In FIG. 2, 3001 is a system bus, 3002 is a bus controller, 3003 is a central processing unit, 3004 is a main memory, 3005 is a keyboard, 3006 is a display,
3007 is a mouse, 3008 is a disk controller, 3009 is a disk, and 3010 is a printer. The disk (3009) holds design knowledge (101 in FIG. 1), and a set of constraints to be activated when the constraints are satisfied and associated attributes of those constraints are candidate solution generation performed by the central processing unit (3003). The disk controller (300) is called up by the operation of the control unit (109) and is controlled by the bus controller (3002) via the system bus (3001).
8) is retrieved from the disk (3009) by the main memory
It is stored in the working area (102) above (3004). There is also a partial decomposition candidate storage unit (103) on the main storage device (3004). Partial decomposition candidate management unit (104), table type constraint satisfaction unit (105), equality type constraint satisfaction unit (106), inequality type constraint satisfaction unit
The central processing unit (3003) performs the calculations of (107), the procedural constraint satisfaction unit (108), and the attribute value allowable range consistency maintaining unit (109). The display (3006) displays an interactive screen with the user, such as a screen for inputting values to be used as the solution search range, a system progress display screen, and a display screen for the obtained candidate solutions. Interactive operation is performed using the board (3005) and mouse (3007). The printer (3010) can output the obtained design candidate solution in the form of specifications or drawings.

【００２１】図３は、本発明における候補解生成処理の
概略フローチャートであり、図４は仕様項目である属性
の値域情報格納エリアのデ−タ型である。まず、図４に
ついて説明する。属性の値域情報として、離散値の有無
を示すフラグと、数値型デ−タであるか否かを示すフラ
グを付与する。文字列型デ−タであろうと、数値型デ−
タであろうと、離散値の値域を持つ属性ならば、候補解
絞り込み処理開始時には、値域情報格納エリア内に初期
値としての離散値を格納しているが、デ−タ入力や制約
充足処理などの候補解絞り込み処理の実行に伴って、値
域情報格納エリアから解の範囲外となった離散値を削除
し、候補として残っている離散値のみを保持するものと
する。さらに、数値型デ−タである属性ならば、候補解
絞り込み処理開始時には、初期の値の範囲が与えられて
いれば、値域情報格納エリア内に下限値と上限値とから
なる区間値を格納し、初期の下限値が与えられていなけ
れば下限値は−∞、初期の上限値が与えられていなけれ
ば上限値は∞としておくが、デ−タ入力や制約充足処理
などの候補解絞り込み処理の実行に伴って、値域情報格
納エリア内で、通常、属性の値の範囲を表す区間値は更
新されていく。また、その区間値の更新は、区間値を狭
帯化する方向、すなわち下限値は大きくなる方向、上限
値は小さくなる方向にのみ行なわれる。FIG. 3 is a schematic flowchart of the candidate solution generation processing according to the present invention, and FIG. 4 is a data type of the range information storage area of the attribute which is a specification item. First, FIG. 4 will be described. As the value range information of the attribute, a flag indicating the presence / absence of a discrete value and a flag indicating whether it is numeric type data are added. Whether it is character string type data or numeric type data
If the attribute has a range of discrete values, discrete values as initial values are stored in the range information storage area at the start of the candidate solution narrowing process, but data input, constraint satisfaction processing, etc. With the execution of the candidate solution narrowing-down process, the discrete values out of the solution range are deleted from the range information storage area, and only the discrete values remaining as candidates are retained. Further, if the attribute is numeric type data, at the time of starting the candidate solution narrowing down process, if the initial value range is given, the interval value consisting of the lower limit value and the upper limit value is stored in the range information storage area. However, if the initial lower limit value is not given, the lower limit value is set to −∞, and if the initial upper limit value is not given, the upper limit value is set to ∞, but candidate solution narrowing processing such as data input and constraint satisfaction processing is performed. As a result of the execution of, the section value representing the range of the value of the attribute is normally updated in the value range information storage area. Further, the updating of the section value is performed only in the direction of narrowing the section value, that is, in the direction of increasing the lower limit value and in the direction of decreasing the upper limit value.

【００２２】次に、図３の概略処理フロ−を説明するた
めに、以下、エレベ−タ−の機器選定・レイアウト設計
を事例として具体的に述べる。Next, in order to explain the schematic processing flow of FIG. 3, the equipment selection and layout design of the elevator will be specifically described below as an example.

【００２３】図５および図６は、エレベ−タ−の機器選
定・レイアウト設計における属性のいくつかについて、
値域情報格納エリアに初期値として格納されたデ−タの
例を示したものである。図５および図６の表の１行目に
はデ−タ項目を、２行目以降には、積載量、かご内法奥
行といった属性についてのデ−タ例を具体的に記してい
る。積載量、ドア形式以外の属性の意味は、図７のエレ
ベ−タ−の昇降路の平面図に示す寸法線の通りである。
属性は、対象製品によって異なる。図５および図６の表
の各列は、図４にて示した属性の値域情報の項目に対応
しており、１列目から６列目まで順に、属性名、離散値
の有無フラグ、値域としての離散値、数値型デ−タか否
かを表すフラグ、値域としての下限値、値域としての上
限値を記している。5 and 6 show some of the attributes in the equipment selection / layout design of the elevator.
It is an example of data stored as an initial value in the range information storage area. The first line of the tables of FIGS. 5 and 6 shows data items, and the second and subsequent lines show concrete examples of data regarding attributes such as load capacity and car depth. The meanings of the attributes other than the load capacity and the door type are as shown in the dimension line shown in the plan view of the elevator hoistway of FIG.
The attributes differ depending on the target product. Each column of the tables of FIGS. 5 and 6 corresponds to the item of the range information of the attribute shown in FIG. 4, and the attribute name, the presence / absence flag of the discrete value, and the range are arranged in order from the first column to the sixth column. As a discrete value, a flag indicating whether or not it is numerical type data, a lower limit value as a value range, and an upper limit value as a value range.

【００２４】図８および９は、本実施例における属性間
の関連規則を表す制約の例である。図８に示したC1,C2,
C4,C10,C11,C13はテ−ブル形制約であり、例えばC1は、
積載量、かご内法間口、かご内法奥行、かご外法間口、
かご外法奥行の値の組合せを規定した制約である。図９
に示したC5,C7,C8,C12,C14は等式形制約であり、C3,C6,
C9は不等式形制約である。例えばC3は、かご吊芯奥行dY
の値が、S1の値とD1の値(図７参照)を加えた値以上でな
ければならないことを規定した制約である。等式形制約
と不等式形制約を合わせて、式形制約と呼ぶ。図10は、
本実施例における属性と制約の関連を表した制約ネット
ワ−ク図である。この図は、エレベ−タ−の機器選定・
レイアウト設計における制約ネットワ−クの部分的な一
例である。FIGS. 8 and 9 are examples of constraints representing association rules between attributes in this embodiment. C1, C2 shown in FIG.
C4, C10, C11, C13 are table type constraints, for example C1 is
Load capacity, inside car frontage, inside car depth, outside car frontage,
It is a constraint that regulates the combination of the values of the outer car depth. Figure 9
C5, C7, C8, C12, C14 shown in are the equality constraints, and C3, C6,
C9 is an inequality form constraint. For example, C3 is a basket hanging core depth dY
Is a constraint that specifies that the value of must be greater than or equal to the sum of the value of S1 and the value of D1 (see FIG. 7). The equality constraint and the inequality constraint are collectively referred to as the equation constraint. Figure 10
It is a constraint network diagram showing the relationship between the attribute and the constraint in the present embodiment. This figure shows the selection of equipment for elevators.
It is a partial example of a constraint network in layout design.

【００２５】ここで、図３に示した、本発明における候
補解生成処理の概略フローチャートの説明を行う。Here, the schematic flow chart of the candidate solution generation processing in the present invention shown in FIG. 3 will be described.

【００２６】まず、候補解生成にあたって、ユーザイン
ターフェースを介して取り込んだ入力データをもとに、
候補解生成制御部（109）が、値域情報格納エリアのデ
ータ更新を行う(処理301)。ここでは、次のような入力
要求があったとする。First, in generating the candidate solution, based on the input data taken in through the user interface,
The candidate solution generation control unit (109) updates the data in the range information storage area (process 301). Here, it is assumed that the following input request is made.

【００２７】積載量は、400〜600kg かご外法間口(W2)（図７参照）は、1200〜1300mm ドア形式は、片開き 現場調査寸法A(A)は、590mm 現場調査寸法B(B)は、1020mm 現場調査寸法C(C)は、150mm 本発明においては、入力デ−タは、一意の値であって
も、あるいは下限値、上限値両方からなる区間値、また
は下限値、上限値どちらか一方のみによって値の範囲を
指定するものであってもよい。属性値許容範囲整合性維
持部（図１の110）は、デ−タの入力に伴って、属性の
値域情報を格納するエリアの値を更新し、さらに、図11
の斜線部のように、デ−タ入力のあった属性を関連属性
とするテ−ブル形制約から、入力範囲外となった属性値
に関する値の組合せを不活性化する。例えば、図11にお
いて制約C1からは、積載量を400〜600kgとし、かご外法
間口(W2)を1200〜1300mmとするという入力デ−タに基づ
いて、値域の範囲外の値となった、積載量として{75
0}、かご外法間口として{1350,1450,1500}を有する値の
組合せを不活性化する（解の候補からはずす）。The loading capacity is 400 to 600 kg. The outside car frontage (W2) (see Fig. 7) is 1200 to 1300 mm. The door type is single-sided. Site survey dimension A (A) is 590 mm Site survey dimension B (B) In the present invention, the input data is a unique value, or a lower limit value, an upper limit value, or a lower limit value or an upper limit value. The range of values may be specified by only one of them. The attribute value allowable range consistency maintaining unit (110 in FIG. 1) updates the value of the area for storing the value range information of the attribute in accordance with the input of data, and further, FIG.
As indicated by the shaded area, the table-type constraint in which the attribute for which data has been input is the related attribute is used to deactivate the combination of values relating to the attribute value that is outside the input range. For example, from the constraint C1 in FIG. 11, based on the input data that the loading capacity is 400 to 600 kg and the car outside frontage (W2) is 1200 to 1300 mm, the value is out of the range, As load capacity (75
0}, inactivate the combination of values with {1350,1450,1500} as the cage outlier (remove it as a solution candidate).

【００２８】次に、制約充足処理を起動する前に、候補
解生成制御部(109)がワーキングエリア(102)にて制約ネ
ットワ−クを制約形態により分割する(処理302)。以
下、制約形態別に分割された単位を制約グル−プと称
し、異なる複数種類の制約に関連する属性を境界属性と
称することにするが、制約グル−プの生成は、境界属性
でネットワ−クを切断した制約ネットワ−クから、連結
グラフを探索するなどの方法を用いて行なう。図10の制
約ネットワ−クの場合、テ−ブル形の制約グル−プとし
てC1,C2,C4,C11,C13からなるグル−プ、およびC10から
なるグル−プが、式形の制約グル−プとしてC3,C5,C6,C
7,C8,C9からなるグル−プ、およびC12,C14からなるグル
−プが、手続き形の制約グル−プとしてC15からなるグ
ル−プが生成される。Next, before starting the constraint satisfaction process, the candidate solution generation control unit (109) divides the constraint network in the working area (102) according to the constraint form (process 302). Hereinafter, a unit divided into constraint types will be referred to as a constraint group, and attributes associated with different types of constraints will be referred to as boundary attributes. Is performed using a method such as searching a connected graph from the constraint network obtained by cutting. In the case of the constraint network shown in FIG. 10, a group of C1, C2, C4, C11, and C13 and a group of C10 are table-type constraint groups. C3, C5, C6, C
A group consisting of 7, C8, C9 and a group consisting of C12, C14 and a group consisting of C15 are generated as a procedural constraint group.

【００２９】テ−ブル形の制約グル−プには、候補解生
成制御部（109）がテ−ブル形制約充足部を起動(処理30
3)するが、その処理のフローチャートを図12に示す。本
実施例では、テ−ブル形制約充足部には整合ラベリング
問題の併合法を適用する。まずテ−ブル形の制約グル−
プを抽出(処理1201)し、制約を頂点に、制約間をつなぐ
共通な関連属性を辺とする制約頂点ネットワ−クを生成
(処理1202)する。図10の制約ネットワ−クから生成され
た、C1,C2,C4,C11,C13からなる制約グル−プより、図13
に示すような制約頂点ネットワ−クが生成できる。例え
ば、C1とC2には「かご外法奥行(D2)」という属性が共通
して関連しているので、C1とC2の間を「かご外法奥行(D
2)」を辺として結んでいる。このネットワ−クの辺一つ
一つについて辺整合をとる(処理1203,処理1204)ことに
よって、制約充足処理を進める。例として、図13の辺1
における辺整合処理を、図14をもとにして説明する。辺
1における共通属性「かご外法奥行(D2)」のC1における
値域{1085,1120,1320,1370, 1470}(図11参照)をC2に送
って、C2における値域{1085,1120,1285,1320,1370,147
0,1485,1670,1765}(図11参照)について、C1における値
域との整合処理を実行する。この場合、C2における値域
の{1285,1485,1670,1765}という要素は、C1における値
域には存在しないので、C2における値域から{1285,148
5,1670,1765}が削除され、C2における「かご外法奥行(D
2)」の値域は{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のように更新されている。For the table type constraint group, the candidate solution generation control unit (109) activates the table type constraint satisfaction unit (process 30).
3), but the flowchart of the process is shown in FIG. In this embodiment, the merging method of the matching labeling problem is applied to the table type constraint satisfying portion. First, a table-type constraint group
Group (process 1201) to generate a constraint vertex network with constraints as vertices and edges as common related attributes connecting the constraints.
(Process 1202) From the constraint group consisting of C1, C2, C4, C11, C13 generated from the constraint network of FIG.
A constraint vertex network as shown in can be generated. For example, C1 and C2 are commonly associated with the attribute "outer car depth (D2)", so between C1 and C2 is "outer car depth (D2)".
2) ”is connected as a side. By performing edge matching for each edge of this network (process 1203, process 1204), the constraint satisfaction process is advanced. As an example, side 1 in Figure 13
The edge matching process in FIG. 14 will be described with reference to FIG. Side
Send the range {1085, 1120, 1320, 1370, 1470} (see Fig. 11) in C1 of the common attribute "outer cage depth (D2)" in 1 to C2, and the range in C2 {1085, 1120, 1285, 1320 , 1370,147
For 0,1485,1670,1765} (see FIG. 11), the matching process with the range in C1 is executed. In this case, the element {1285,1485,1670,1765} of the range in C2 does not exist in the range in C1, so the range in C2 is {1285,148
5,1670,1765} has been deleted, and “Cage Outer Depth (D
The range of "2)" is updated to {1085,1120,1320,1370,1470}. Then, as indicated by the hatched portion in FIG. 15, from the constraint C2, the combination of values having values {1285, 1485, 1670, 1765} that are outside the range of the range is deactivated. Next, when the range of the “outer cage depth (D2)” in C2 is sent to C1, it was confirmed that the ranges of the “outer cage depth (D2)” in C2 and C1 are consistent, and the constraint C1 The edge matching process on the edge 1 between C2 and C2 is finished, and the value of the range information storage area of "outer car depth (D2)" is updated. Furthermore, a constraint "C1 &2" that combines the constraints C1 and C2 as shown in FIG. 16 is generated. Then, the constraint vertex network of FIG. 13 changes to the form shown in FIG. Also,
Update the value in the range information storage area for the related attributes of constraints C1 & 2 other than "outer car depth (D2)". For example,
As shown in FIG. 15, since the value of 640,740,835,880 is deleted from the “car front core” in C2, the value of 640,740,835,880 is also deleted from the range information storage area of the “car front core”. Similarly, 645,745
Since the value 835,885 has been deleted, the values 645,745,835,885 are also deleted from the value range information storage area of the “car rear core”. Repeating the edge matching process for edges 2, 3, 4, and 5 in the same way, finally, the constraint “C1 & 2 & 4 & 11
& 13 ”is generated, and the constraint vertex network is as shown in FIG. Further, the range information in the range information storage area at the end of the processing in this restricted vertex network is shown in FIG.
And 21 have been updated.

【００３０】他の、テ−ブル形の制約グル−プについて
も同様の処理を終了した(処理1205)ならば、式形制約に
ついての処理に移るよう、図1の候補解生成制御部(109)
が制御を行う。If the same processing is completed for the other table-type constraint groups (step 1205), the candidate solution generation control unit (109 in FIG. )
Control.

【００３１】式形制約の充足処理を行う際には、本実施
例では区間法を用いるが、効率良い式形制約充足処理方
法として、制約ネットワ−クを縮小し、より早期に属性
の値域を絞り込むことを目的として縮約式を生成、利用
する。式形制約から縮約式を生成する処理(図3の処理30
4)について、図22のフローチャートをもとに説明する。
縮約式生成処理は、等式・不等式形制約充足部にて行
う。縮約式とは、共通な関連属性を持つ式形制約を連立
して、共通な関連属性を消去することによって生成され
る式のことを指している。また、縮約式を生成するため
に連立する、複数の式形制約のまとまりのことを、式連
立単位と呼ぶことにする。式形制約から縮約式を生成す
る処理はまず、式連立単位抽出(処理2201)から始まる
が、式連立単位は、式形の制約グル−プ内を、式形制約
間の共通属性のうち"離散値の値域を持つ属性"，"一意
の値や区間値が入力された属性"を式連立単位境界とし
てさらに分割したものである。式連立単位抽出時に、式
形の制約グル−プの分割判定を前記の通りにする理由に
ついては、縮約式への制約の充足例の説明後に述べる。
図10の制約ネットワ−クから生成された、C3,C5,C6,C7,
C8,C9からなる制約グル−プから式連立単位を抽出する
具体例を挙げる。C3,C5,C6,C7,C8,C9の制約について
は、前述のように図9で示している。式形制約間の共通
属性のうち "離散値の値域を持つ属性"に該当する属性
「D1」が式連立単位境界となるため、図23に示す式連立
単位(ア)および式連立単位(イ)を得ることができる。In the present embodiment, the interval method is used for the processing of satisfying the expression form constraint, but as an efficient expression form constraint satisfaction processing method, the constraint network is reduced and the range of the attribute is determined earlier. A contraction formula is generated and used for the purpose of narrowing down. Processing to generate a contraction expression from expression form constraints (Processing 30 in Figure 3
4) will be described with reference to the flowchart of FIG.
The contraction expression generation process is performed by the equality / inequality form constraint satisfaction unit. The contraction expression refers to an expression generated by eliminating common related attributes by combining expression form constraints having common related attributes. Also, a group of a plurality of expression form constraints that are simultaneous to generate a contraction expression will be referred to as an expression simultaneous unit. The process of generating a contraction formula from an expression form constraint starts with expression simultaneous unit extraction (process 2201), but the expression simultaneous unit is the common attribute between expression form constraints within the expression form constraint group. It is a subdivision of "attribute with discrete value range" and "attribute with unique value or interval value" as the simultaneous equation unit boundaries. The reason why the determination of division of the constraint group of the expression type is performed as described above when extracting the simultaneous equation unit will be described after the description of the example of satisfying the constraint to the contraction expression.
C3, C5, C6, C7, generated from the constraint network of FIG.
A specific example of extracting the simultaneous equation unit from the constraint group consisting of C8 and C9 will be given. The restrictions on C3, C5, C6, C7, C8, and C9 are shown in FIG. 9 as described above. Among the common attributes between the expression form constraints, the attribute "D1" that corresponds to the "attribute with a discrete value range" is the equation simultaneous unit boundary, so the equation simultaneous unit (a) and the simultaneous equation unit (a) shown in FIG. ) Can be obtained.

【００３２】式連立単位抽出後、各式連立単位内で、共
通属性を消去した式が生成可能であるか判断し(図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)、終了する。After the simultaneous equation unit is extracted, it is determined in each of the simultaneous equation units whether the expression with the common attribute deleted can be generated (process 2202 in FIG. 22), and if possible, the expression with the common attribute deleted is generated. Yes (process 2203). The formula generated at this time is a contraction formula. An expression with the common attribute deleted can always be generated between equalities or between an equality and one inequality, but cannot be generated between inequalities. For example, if two equations of constraint E ≧ F + G (1) constraint E ≦ H (2) are simultaneous, the common attribute E is (1),
When Eq. (2) is deleted and a contraction expression F + G ≦ H (3) is generated, two equations of constraint E ≧ I + J (4) constraint E ≧ K (5) are combined. Since the inequality sign for the common attribute E is the same, the contraction expression cannot be generated. The equations shown in Fig. 23 (A) are three equations: constraint C5 hoistway minimum depth = D1 + D2 + D3 (6) constraint C6 hoistway minimum depth ≤ hoistway depth (7) constraint C7 hoistway depth = A + B + C (8) Therefore, the equations (6), (7), and (8) are combined to eliminate the common attribute. First, the common attribute "minimum depth of hoistway" is deleted from equations (6) and (7), and the equation D1 + D2 + D3 ≤ hoistway depth (9) is generated. Furthermore, common attributes are obtained from equations (9) and (8). By deleting the “hoistway depth”, the contraction formula D1 + D2 + D3 ≦ A + B + C (10) is generated. By the generation of this contraction formula, the network of the simultaneous equation unit (a) is contracted into the constraints C5 & 6 & 7, as shown in FIG. Similarly, in the simultaneous equation unit (b), the constraints C3, C8, and C9 are also simultaneous equations, and the contraction formula CWT core_minimum distance after car ≤ CWT core position dY-S2-S1-D1 (11) By generating, the network is reduced to the constraints C3 & 8 & 9 as shown in FIG. That is,
The network shown in FIG. 23 in which the six expression form constraints are connected is reduced to the network composed of the two reduction expressions shown in FIG. 26 by the reduction expression generation processing. The contraction formula generation process ends when all formula simultaneous units extracted in process 2201 of FIG. 22 have been executed (process 2204).

【００３３】等式・不等式形制約の充足処理は、本実施
例では、式に対して、属性の下限値、上限値の絞込みが
収束するまで区間法を実行することによって行う。以
下、これについて説明する。縮約式生成後はまず、候補
解生成制御部(109)により、等式・不等式形制約充足部
を起動し、縮約式への制約充足処理を行う(図3の処理30
5)。例として縮約式(10),(11)への制約充足処理を説明
するが、処理開始時点での縮約式(10),(11)の関連属性
の値に関する情報は、図27に示す通りである。まず、縮
約式(10)については、Ｄ１、Ａ、Ｂ、Ｃの値は一意に設
定されている。よって、縮約式(10)は、 Ｄ２＋Ｄ３≦1580 (12) となるので、区間法などを用いてＤ２、Ｄ３の値の範囲
を求める。すなわち、Ｄ３の区間値が[220,230]である
ので、式(12)より、Ｄ２の上限値は1360に更新される。
次に、縮約式(11)については、値域の最も広い属性はCW
T芯位置dYであり、CWT芯位置dY以外の属性の値域が有限
であるので、まず、CWT芯位置dYの値域を絞り込むこと
ができる。縮約式(11)は、 CWT芯位置dY≧CWT芯_かご後最小距離＋S2＋S1＋D1 (13) と変形でき、右辺の各属性に下限値を代入することによ
って、 CWT芯位置dY≧1385 (14) となり、CWT芯位置dYの下限値は、0から1385に更新され
る。In the present embodiment, the processing for satisfying the equality / inequality form constraints is performed by executing the interval method for the expressions until the narrowing down of the lower limit value and the upper limit value of the attributes converge. Hereinafter, this will be described. After the reduction expression is generated, the candidate solution generation control unit (109) first activates the equality / inequality form constraint satisfaction unit to perform constraint satisfaction processing on the reduction expression (process 30 in FIG. 3).
Five). As an example, the constraint satisfaction process to the contraction formulas (10) and (11) will be described. Information on the values of the related attributes of the contraction formulas (10) and (11) at the start of the process is shown in FIG. 27. On the street. First, in the contraction formula (10), the values of D1, A, B, and C are uniquely set. Therefore, the contraction formula (10) is D2 + D3 ≦ 1580 (12), and the range of the values of D2 and D3 is obtained by using the interval method or the like. That is, since the section value of D3 is [220,230], the upper limit value of D2 is updated to 1360 from equation (12).
Next, regarding contraction formula (11), the attribute with the widest range is CW.
Since it is the T core position dY and the value range of attributes other than the CWT core position dY is finite, the range of the CWT core position dY can be narrowed down first. The contraction formula (11) can be transformed as CWT core position dY ≥ CWT core_minimum distance after car + S2 + S1 + D1 (13), and by substituting the lower limit value for each attribute on the right side, CWT core position dY ≥ 1385 (14) Therefore, the lower limit value of the CWT core position dY is updated from 0 to 1385.

【００３４】等式・不等式形制約の充足処理において、
最初から式形制約全てに対して処理を行うのでなく、初
めは縮約式を利用すれば、より少ない数の式について区
間法の適用を繰り返すことによって、すなわち、より少
ない処理時間で、式形の制約グル−プ内の属性の値域、
特に他の制約形態の制約グル−プとの境界属性の値域を
絞り込める可能性が高い。前述のC3,C5,C6,C7,C8,C9か
らなる制約グル−プを例にいえば、縮約式を利用しなけ
れば、６個の式形制約を対象として、属性の値域が収束
するまで区間法の適用を繰り返さねばならぬところを、
初めは２個という、より少ない数の縮約式について区間
法の適用を繰り返すことによって属性値の絞込みを行う
ことが可能となっている。In the processing for satisfying the equality / inequality form constraints,
If the contraction expression is used at the beginning instead of performing the processing for all the expression form constraints from the beginning, by applying the interval method to a smaller number of expressions, that is, with less processing time, the expression form is reduced. Range of attributes in the constraint group of,
Especially, there is a high possibility that the range of the boundary attribute with the constraint group of another constraint form can be narrowed down. Taking the constraint group consisting of C3, C5, C6, C7, C8, and C9 as an example, the range of attributes converges for six formula-shaped constraints unless a contraction formula is used. Where the application of the interval method must be repeated until
It is possible to narrow down attribute values by repeating application of the interval method for a smaller number of contraction expressions, which is initially two.

【００３５】また、前述の、縮約式生成のための式連立
単位抽出時における、式形の制約グル−プの分割判定
は、縮約式への区間法適用による属性値絞込みの効果を
高める。すなわち、式形制約充足処理実行前には、"離
散値の値域を持つ属性"および"一意の値や区間値が入力
された属性"以外の属性の値域は、範囲が無限であるか
あるいは有限であっても広いといえる。よって、"離散
値の値域を持つ属性"および"一意の値や区間値が入力さ
れた属性"以外の属性を式連立時の消去対象として縮約
式を生成し、縮約式の関連属性の内訳が、前述の例にあ
る縮約式(10),(11)のように、"離散値の値域を持つ属
性"および"一意の値や区間値が入力された属性"以外の
属性が１個以下になるように構成されることが、属性値
絞込みに必要であるからである。The division judgment of the constraint group of the expression form at the time of extracting the simultaneous expression unit for generating the contraction expression enhances the effect of narrowing the attribute value by applying the interval method to the contraction expression. . In other words, the range of attributes other than "attribute with discrete value range" and "attribute with unique value or interval value" is infinite or finite before the execution of the expression form constraint satisfaction process. But it can be said that it is wide. Therefore, a contraction expression is generated for attributes other than "attributes having a discrete value range" and "attributes in which unique values or interval values are input", and a contraction expression is generated. The breakdown is 1 as shown in the contraction expressions (10) and (11) in the above example, except for "attributes with discrete value range" and "attributes with unique values or interval values". This is because it is necessary to narrow down the attribute values that the number of attributes is less than or equal to the number.

【００３６】縮約式によって、属性値の範囲が更新され
たので、図３の処理303のテ−ブル形制約充足部起動終
了時の値の範囲との整合性維持処理を属性値許容範囲整
合性維持部(図１の110)にて行なう。属性値許容範囲整
合性維持部(110)では、属性の値域情報格納エリアに異
なる値域情報が送られた場合に、エリア内の値域情報と
新規に送られてきた値域情報との間で、より狭い方向に
値域を更新して整合をとる。前述のように、縮約式(10)
にて、テ−ブル形制約グル−プとの境界属性である「Ｄ
２」の値域情報が更新されたので、Ｄ２を例に、図28を
使用して整合のとり方について説明する。Ｄ２の候補解
生成時の値域情報は、テ−ブル形制約からは、候補とし
て残っている離散値は{1085,1120,1320,1370,1470}、区
間値は [1085,1470]となっていたが、縮約式(10)から
上限値が1360に更新されたので、区間値が[1085,1360]
となり、それに伴い、候補として残っている離散値から
1370,1470が削除されて、{1085,1120,1320}に情報が
更新される。Since the attribute value range is updated by the contraction formula, the attribute value allowable range matching process is performed to maintain the consistency with the value range at the end of activation of the table type constraint satisfying unit in the process 303 of FIG. The sex maintenance unit (110 in FIG. 1) is used. In the attribute value allowable range consistency maintaining unit (110), when different range information is transmitted to the range information storage area of the attribute, the range information within the area and the newly transmitted range information are more The range is updated in the narrow direction to achieve consistency. As mentioned above, the contraction formula (10)
, Which is a boundary attribute with the table type constraint group, "D
Since the range information of "2" has been updated, the method of matching will be described using D2 as an example with reference to FIG. According to the table type constraint, the range information at the time of generating the candidate solution of D2 is {1085,1120,1320,1370,1470} for the discrete values remaining as candidates, and the interval value is [1085,1470]. However, since the upper limit value was updated to 1360 from contraction formula (10), the interval value is [1085,1360].
And accordingly, from the discrete values that remain as candidates,
1370 and 1470 are deleted and the information is updated to {1085,1120,1320}.

【００３７】同様にして縮約式の起動が全て終了したな
らば、候補解生成制御部(109)により部分解候補の絞り
込み(図３の処理306)を行なう。処理303のテ−ブル形制
約充足部起動終了時に生成されている、制約「C1＆2＆4
＆11＆13」のようなテ-ブル(図18参照)に保持されてい
る値の組合せ一つ一つは、解の候補として残っている値
の組合せを示しているので、部分解候補であるといえ
る。処理305の縮約式起動によって候補値の範囲が更新
された属性を関連属性に持つテ−ブルにおいては、候補
値の範囲外となった値を含んでいるような属性値の組合
せを不活性化する必要がある。この処理が、部分解候補
を絞り込む処理(図３の処理306)であり、図 29にその例
を示す。縮約式(10)を起動したことによって、属性「Ｄ
２」の候補として残っている離散値が{1085,1120,1320}
に更新されたので、それ以外の値をとる組合せは不活性
化される。Similarly, when the activation of the contraction formulas is completed, the candidate solution generation control unit (109) narrows down the partial decomposition candidates (process 306 in FIG. 3). The constraint "C1 & 2 &4" generated at the end of starting the table type constraint satisfaction part of process 303
& 11 & 13 ”, each of the combinations of values held in the table (see FIG. 18) indicates a combination of values that remain as solution candidates, and can therefore be said to be a partial solution candidate. . In a table having as an associated attribute an attribute whose range of candidate values has been updated due to the activation of the contraction expression of process 305, combinations of attribute values that include values outside the range of candidate values are inactive. Need to be converted. This process is a process for narrowing down partial decomposition candidates (process 306 in FIG. 3), and an example thereof is shown in FIG. By activating the contraction formula (10), the attribute "D
Discrete values remaining as candidates for "2" are {1085,1120,1320}
Since it has been updated to, combinations having other values are inactivated.

【００３８】本実施例ではここで、残った組合せについ
て、候補解生成制御部(109)からの指示に従って、部分
解候補管理部(104)が部分解候補番号を付け(図３の処理
307)、部分解候補格納部(103)に納める。番号を付けた
部分解候補の数が、Ｎであるとすると、候補解生成制御
部（109）が、部分解候補番号１からＮまでについて(処
理308)、等式形・不等式形・手続形制約充足部を起動し
て、等式形・不等式形・手続形制約充足部を起動可能な
ものから順次起動していく(処理309)。すなわち、たと
えば、図26に示した２個の縮約式からなるネットワーク
に対しては、図23に示した６個の式のうち式形制約充足
部を起動可能なものから順次起動していく。手続形制約
の例を図30に示し、図30の手続形制約に関連する属性を
寸法線で表したエレベ−タ−の昇降路平面図を図31に示
す。この例は、図10の制約ネットワ-ク中の制約C15を表
している。かごドアレ-ル長さ、かご吊芯間口、出入口
芯ズレ量、かご出入口幅、かごドアレ-ル戸当り側長
さ、かご敷居長さ、かご敷居戸当り側長さという属性の
値が、入力または制約充足処理によって設定されている
と、図30のフロ−チャ−トに従ってかご左出入口出張り
量の値を算出する。各制約充足部の起動制御は、候補解
生成制御部(109)が行い、これにより、各部分解候補
は、部分解候補管理部(104)によって部分解候補格納部
から取り出されたり、部分解候補格納部に納められたり
する。図３の処理309において、値の整合に矛盾の生じ
た部分解候補があれば、候補解生成制御部(109)によ
り、その部分解候補は削除する。候補解生成制御部(10
9)が、部分解候補管理部(104)を通じて、最終的に残っ
た部分解候補を部分解候補格納部(103)に問い合わせ、
候補解として値域情報格納エリア（図20，図21参照）に
出力(処理310)して、候補解生成処理は終了する。生成
された候補解は、適宜、ディスプレイ3006(図48参照)に
おいて表示されたり、プリンタ3010からプリントアウト
される。In this embodiment, the partial solution candidate management unit (104) assigns a partial solution candidate number to the remaining combinations in accordance with an instruction from the candidate solution generation control unit (109) (see the process of FIG. 3).
307), and stores it in the partial decomposition candidate storage unit (103). Assuming that the number of numbered partial decomposition candidates is N, the candidate solution generation control unit (109) selects partial decomposition candidate numbers 1 to N (process 308), equality form / inequality form / procedural form. The constraint satisfaction part is activated, and the equality / inequality / procedural constraint satisfaction part is activated in sequence from the one that can be activated (process 309). That is, for example, for a network consisting of two contraction expressions shown in FIG. 26, among the six expressions shown in FIG. . FIG. 30 shows an example of the procedural constraint, and FIG. 31 shows a hoistway plan view of the elevator in which attributes related to the procedural constraint shown in FIG. 30 are represented by dimension lines. This example represents constraint C15 in the constraint network of FIG. Input the values of the attributes such as car door rail length, car hanging core frontage, door misalignment amount, car door entrance width, car door rail door contact side length, car sill length, car sill door contact side length. Alternatively, if it is set by the constraint satisfaction process, the value of the car left entrance entrance protrusion amount is calculated according to the flowchart of FIG. Activation control of each constraint satisfying unit is performed by the candidate solution generation control unit (109), whereby each partial solution candidate is extracted from the partial solution candidate storage unit by the partial solution candidate management unit (104), or a partial solution candidate. It is stored in the storage. In the process 309 of FIG. 3, if there is a partial solution candidate having a contradiction in matching of values, the candidate solution generation control unit (109) deletes the partial solution candidate. Candidate solution generation control unit (10
9), through the partial solution candidate management unit (104), inquire of the finally remaining partial solution candidate to the partial solution candidate storage unit (103),
The candidate solution is output to the range information storage area (see FIGS. 20 and 21) (process 310), and the candidate solution generation process ends. The generated candidate solution is appropriately displayed on the display 3006 (see FIG. 48) or printed out from the printer 3010.

【００３９】次に、以下に本発明の第二の実施例を図面
により説明する。Next, a second embodiment of the present invention will be described below with reference to the drawings.

【００４０】図32は本発明の第二の実施例における複数
候補解生成方法の機能構成図である。図32において構成
部101から110は第一の実施例と同じである。321は、基
本的な仕様に関する属性等の値を条件として、設計知識
のうち、活性化する属性および制約の集合を生成してワ
−キングエリアに格納する属性制約集合切替制御部であ
る。FIG. 32 is a functional block diagram of a multiple candidate solution generation method in the second embodiment of the present invention. In FIG. 32, components 101 to 110 are the same as those in the first embodiment. Reference numeral 321 denotes an attribute constraint set switching control unit that generates a set of attributes and constraints to be activated in the design knowledge and stores them in the working area on the condition of the values of the attributes related to the basic specifications.

【００４１】図32の機能を実現するためのハ−ドウェア
構成の例は、第一の実施例と同じである。属性制約集合
切替制御部(図32の321)の演算は、中央処理装置(図２の
3003)にて行われる。An example of the hardware configuration for realizing the function of FIG. 32 is the same as that of the first embodiment. The operation of the attribute constraint set switching control unit (321 in FIG. 32) is performed by the central processing unit (FIG. 2).
3003).

【００４２】第二の実施例は、第一の実施例のように設
計知識を構成する属性および制約が全て常に活性状態に
あるのとは異なって、属性および制約の中に、基本的な
仕様に関する属性等の値を条件として、活性または不活
性であるという活性状態が切り替わるものが存在する場
合に、複数候補解を求める例について述べるものであ
る。言い換えれば、属性値を条件として、設計知識のう
ち、活性状態にある属性および制約の集合が切り替わる
場合の実施例である。The second embodiment is different from the first embodiment in that all the attributes and constraints constituting the design knowledge are always in an active state. Described below is an example of obtaining a plurality of candidate solutions when there is an active state in which the active state is switched to the active state or the inactive state based on the value of the attribute or the like regarding. In other words, this is an example in which the set of active attributes and constraints in the design knowledge is switched under the condition of the attribute value.

【００４３】設計知識内には、活性状態の切り替えに影
響されず、常に活性状態にある属性、制約が存在する
が、これを以下、共通属性、共通制約と称する。一方、
活性状態の切り替えが生じる属性および制約を、以下そ
れぞれ非共通属性、非共通制約と称する。In the design knowledge, there are attributes and constraints that are always in the active state without being affected by the switching of the active state. These are hereinafter referred to as common attributes and common constraints. on the other hand,
The attributes and constraints that cause the switching of the active state are hereinafter referred to as non-common attributes and non-common constraints, respectively.

【００４４】図33および図34は、属性値を条件として、
活性状態にある属性および制約の集合が切り替わるよう
な制約ネットワ−クの例である。ＣＷＴレイアウトタイ
プという、釣合いおもりを、エレベ−タ−のかごの正面
から見てどの方向に落とすように配置するかを表す属性
の値によって、活性状態にある属性制約集合が切り替わ
り、制約ネットワ−クは異なったものになる。図33に示
す制約ネットワ−クは、ＣＷＴレイアウトタイプが、”
後落ち”の場合のものであり、図34に示す制約ネットワ
−クは、ＣＷＴレイアウトタイプが、”左落ち”の場合
のものである。図35には、ＣＷＴレイアウトタイプ
が、”左落ち”の場合のエレベ−タ−の昇降路平面図を
示す。ＣＷＴレイアウトタイプが、”後落ち”の場合の
エレベ−タ−の昇降路平面図は図７に示した通りであ
る。図36には、図33および図34に記載されている属性の
うち、属性制約集合切替において、切替の条件となる基
本的な仕様に関する属性、および活性状態が切り替わる
属性の、設計解の求解開始時の値域情報を示す。ＣＷＴ
レイアウトタイプという属性が前者の属性に当てはま
り、ＣＷＴ芯＿かご後距離、ＣＷＴ芯＿かご後最小距
離、ＣＷＴ芯＿かご左距離、ＣＷＴ芯＿かご左最小距離
という属性が後者の属性に当てはまる。図37には、第一
の実施例には表れておらず、第二の実施例の制約ネット
ワ−ク(図33および図34)にのみ存在するテ−ブル形制約
例の内容を示す。制約C4-1、C4-2、およびC13-1、C13-2
の説明は後述する。図33および図34に記載されている他
のテ−ブル形制約の内容は、図８に示した通りである。
図38には、第二の実施例の制約ネットワ−ク(図33およ
び図34)に存在する式形制約例の内容一覧を示す。アン
ダ−ラインを引いた属性が、基本的な仕様に関する属性
等の値を条件として、活性状態が切り替わる属性、つま
り前述の非共通属性である。FIG. 33 and FIG. 34 are based on the condition of the attribute value.
It is an example of a constraint network in which a set of active attributes and constraints is switched. Depending on the value of the CWT layout type, which indicates the direction in which the counterweight should be dropped when viewed from the front of the elevator car, the attribute constraint set in the active state is switched, and the constraint network is changed. Will be different. In the constraint network shown in Fig. 33, the CWT layout type is "
In the constraint network shown in Fig. 34, the CWT layout type is "left drop". In Fig. 35, the CWT layout type is "left drop". Fig. 36 is a plan view of the elevator hoistway in the case of Fig. 36. The plan view of the elevator hoistway when the CWT layout type is "rear drop" is as shown in Fig. 7. , Range attribute information at the start of solution of the design solution, of the attributes described in FIG. 33 and FIG. 34, in the attribute constraint set switching CWT
The attribute of layout type applies to the former attribute, and the attributes of CWT core_car rear distance, CWT core_car minimum distance, CWT core_car left distance, and CWT core_car left minimum distance apply to the latter attribute. FIG. 37 shows the contents of a table type constraint example which does not appear in the first embodiment but exists only in the constraint network (FIGS. 33 and 34) of the second embodiment. Constraints C4-1, C4-2, and C13-1, C13-2
Will be described later. The contents of the other table type constraints described in FIGS. 33 and 34 are as shown in FIG.
FIG. 38 shows a list of contents of the expression type constraint example existing in the constraint network (FIGS. 33 and 34) of the second embodiment. The underlined attribute is the attribute whose active state is switched on condition of the value of the attribute relating to the basic specifications, that is, the above-mentioned non-common attribute.

【００４５】以上挙げた図33〜38および図39をもとに、
属性制約集合切替の例を説明する。Based on FIGS. 33 to 38 and FIG. 39 mentioned above,
An example of switching the attribute constraint set will be described.

【００４６】まず、ＣＷＴレイアウトタイプの値が条件
となって生じる属性制約集合切替の例について述べる。
図39には、ＣＷＴレイアウトタイプの値に関する属性集
合切替条件の一例および条件の表記方法の一例を示す。
ＣＷＴレイアウトタイプの値が”後落ち”ならば、属性
「ＣＷＴ芯＿かご後距離」および「ＣＷＴ芯＿かご後最
小距離」が活性となり、”左落ち”ならば、属性「ＣＷ
Ｔ芯＿かご左距離」および「ＣＷＴ芯＿かご左最小距
離」が活性となる。そして、これら非共通属性を関連属
性とする制約は、関連属性の活性状態に伴って、活性状
態が切り替わることになる。C8,C9,C10は、属性「ＣＷ
Ｔ芯＿かご後距離」および「ＣＷＴ芯＿かご後最小距
離」が活性の場合にのみ活性な制約となり、C15,C16,C1
7は、属性「ＣＷＴ芯＿かご左距離」および「ＣＷＴ芯
＿かご左最小距離」が活性の場合にのみ活性な制約とな
る。よって、非共通属性「ＣＷＴ芯＿かご後距離」およ
び「ＣＷＴ芯＿かご後最小距離」および非共通制約C8,C
9,C10は、図33に示されるＣＷＴレイアウトタイプの値
が”後落ち”の場合の制約ネットワ−クにのみ表れる。
また、非共通属性「ＣＷＴ芯＿かご左距離」および「Ｃ
ＷＴ芯＿かご左最小距離」および非共通制約C15,C16,C1
7は、図34に示されるＣＷＴレイアウトタイプの値が”
左落ち”の場合の制約ネットワ−クにのみ表れる。First, an example of attribute constraint set switching that occurs when the value of the CWT layout type is a condition will be described.
FIG. 39 shows an example of an attribute set switching condition regarding the value of the CWT layout type and an example of a notation method of the condition.
If the value of the CWT layout type is "rear drop", the attributes "CWT core_rear car distance" and "CWT core_minimum car rear distance" are active, and if "left drop", the attribute "CW
"T core_car left distance" and "CWT core_car left minimum distance" are activated. Then, in the constraint that these non-common attributes are related attributes, the active state is switched according to the active state of the related attributes. C8, C9, C10 are the attributes "CW
C15, C16, C1 becomes an active constraint only when "T core_car rear distance" and "CWT core_minimum car distance" are active.
7 is an active constraint only when the attributes “CWT core_car left distance” and “CWT core_car left minimum distance” are active. Therefore, non-common attributes "CWT core_car rear distance" and "CWT core_car minimum distance" and non-common constraint C8, C
9 and C10 appear only in the constraint network when the value of the CWT layout type shown in FIG. 33 is "lagged".
In addition, the non-common attributes "CWT core_car left distance" and "C
WT core_minimum car left distance "and non-common constraints C15, C16, C1
7, the value of the CWT layout type shown in Fig. 34 is "
It appears only in the constraint network in the case of "falling to the left".

【００４７】次に、ドア形式の値が条件となって生じる
制約集合切替の例について述べる。図37の制約C4-1、C4
-2がその場合の非共通制約に該当する。かご前後最小寸
法を設定する制約は、ドア形式の値が”片開き”と設定
された場合にはC4-1が活性となり、”両開き”と設定さ
れた場合にはC4-2が活性となるというものである。図3
3、図34ではC4-nと記載している。また同様に、図37の
制約C13-1、C13-2は、ＣＷＴレイアウトタイプの値が条
件となって生じる制約集合切替の例であり、ＣＷＴレイ
アウトタイプの値が”後落ち”と設定された場合にはC1
3-1が活性となり、”左落ち”と設定された場合にはC13
-2が活性となる。図33、図34ではC13-nと記載してい
る。Next, an example of constraint set switching that occurs when the value of the door format is a condition will be described. Constraints C4-1 and C4 in Figure 37
-2 corresponds to the non-common constraint in that case. As for the constraint to set the minimum dimension around the car, C4-1 becomes active when the value of door type is set to "single opening", and C4-2 becomes active when it is set to "double opening". That is. Figure 3
3. In FIG. 34, it is described as C4-n. Similarly, the constraints C13-1 and C13-2 in FIG. 37 are examples of constraint set switching that occurs when the value of the CWT layout type is set as a condition, and the value of the CWT layout type is set to "late fall". In case C1
If 3-1 becomes active and is set to “left fall,” C13
-2 becomes active. 33 and 34, it is described as C13-n.

【００４８】よって、図33、図34の属性「ＣＷＴ芯＿か
ご後距離」,「ＣＷＴ芯＿かご後最小距離」,「ＣＷＴ芯
＿かご左距離」,「ＣＷＴ芯＿かご左最小距離」、制約C
8,C9,C10,C15,C16,C17およびC4-n,C13-n以外の属性と制
約は、前述の共通属性および共通制約である。制約ネッ
トワ−クのうち、共通属性および共通制約からなる部分
を共通ネットワ−クと称する。図33、図34中に、共通ネ
ットワ−クを太線で囲んで示す。Therefore, the attributes “CWT core_car rear distance”, “CWT core_car minimum distance”, “CWT core_car left distance”, “CWT core_car left minimum distance” in FIGS. 33 and 34, Constraint C
Attributes and constraints other than 8, C9, C10, C15, C16, C17 and C4-n, C13-n are the common attributes and common constraints described above. A part of the constraint network, which consists of common attributes and common constraints, is called a common network. In FIG. 33 and FIG. 34, the common network is shown surrounded by a thick line.

【００４９】図40および図41は、本発明の第二の実施例
における候補解生成処理の概略フロ−チャ−トである。
第二の実施例では、図42に示す共通ネットワ−クを対象
に、事前処理として、第一の実施例の図３のフロ−チャ
−トと同様な処理を行って、共通ネットワ−クにおける
解候補を絞り込んでおく。事前処理によって得られた解
候補を共通部分解候補と称する。そして、対話処理時に
は、共通部分解候補を利用することによって、計算量を
減らす。40 and 41 are schematic flowcharts of the candidate solution generation processing in the second embodiment of the present invention.
In the second embodiment, the common network shown in FIG. 42 is subjected to the same preprocessing as the flow chart of the first embodiment shown in FIG. Narrow down the solution candidates. The solution candidates obtained by the preprocessing are called common part decomposition candidates. Then, at the time of the dialogue processing, the calculation amount is reduced by using the common part decomposition candidate.

【００５０】図40には、事前処理として共通部分解候補
を生成する処理のフロ−チャ−トを示す。候補解生成制
御部(図32の109)が、まず、属性制約集合切替制御部(32
1)を起動して、共通ネットワ−クの抽出を行う(図40の
処理4001)。次に、候補解生成制御部(109)が、ワ−キン
グエリア(102)にて制約グル−プの生成を行った(処理40
02)後、同じく候補解生成制御部(109)が、テ−ブル形の
制約グル−プには、テ−ブル形制約充足部を起動(処理4
003)し、式形制約については縮約式を生成(処理4004)し
て、縮約式に対して式形制約充足部を起動(処理4005)す
る。候補解生成制御部(109)はさらに、属性値許容範囲
整合性維持部(110)を起動して、処理4003のテ−ブル形
制約充足部起動終了時の値の範囲と、処理4005の式形制
約充足部起動終了時の値の範囲との間の整合性維持処理
を行なうことによって、共通部分解候補の絞込みを行う
(処理4006)。残った共通部分解候補について候補解生成
制御部(109)は番号付けを行い(処理4007)、その共通部
分解候補を部分解候補格納部(103)に納める。番号を付
けた共通部分解候補の数が、Ｌであるとすると、候補解
生成制御部(109)が、共通部分解候補番号１からＬまで
について(処理４００８）、等式形・不等式形・手続形
制約充足部を起動して、等式形・不等式形・手続形制約
を起動可能なものから順次起動していく（処理4009)。
各制約充足部の起動制御は、候補解生成制御部(109)が
行い、これにより各部分解候補は、部分解候補管理部(1
04)によって部分解候補格納部から取り出されたり、部
分解候補格納部に納められたりする。図40の処理4009に
おいて、値の整合に矛盾の生じた共通部分解候補があれ
ば、候補解生成制御部(109)により、その共通部分解候
補は削除する。候補解生成制御部(109)が、最終的に残
った共通部分解候補を部分解候補格納部(103)に保持(処
理4010)する。共通部分解候補番号Ｌについての処理400
9および処理4010が終了したら、候補解生成制御部(109)
が、属性制約集合切替組合せパタンの生成を行う(処理4
011)。属性制約集合切替組合せパタンの例を図43に示
す。前述のように、属性「ＣＷＴレイアウトタイプ」の
値および属性「ドア形式」の値は属性制約集合の切り替
え条件となっているので、ＣＷＴレイアウトタイプおよ
びドア形式の取りうる値の組合せを、属性制約集合切替
組合せパタンと定義することができる。この例では、Ｃ
ＷＴレイアウトタイプの取りうる値が２通り、ドア形式
の取りうる値が２通りあるので、計４通りの組合せパタ
ンが生成される。以上で、事前処理として行う共通部分
解候補生成処理を終了する。FIG. 40 shows a flowchart of processing for generating common part decomposition candidates as preprocessing. The candidate solution generation control unit (109 in FIG. 32) first sets the attribute constraint set switching control unit (32
1) is activated to extract the common network (process 4001 in FIG. 40). Next, the candidate solution generation control unit (109) generates a constraint group in the working area (102) (process 40).
(02) After that, the candidate solution generation control unit (109) also activates a table type constraint satisfaction unit for the table type constraint group (Processing 4
Then, for the expression form constraint, a contraction formula is generated (process 4004), and the formula form constraint satisfying unit is activated for the contraction formula (process 4005). The candidate solution generation control unit (109) further activates the attribute value allowable range consistency maintaining unit (110), and the range of values at the end of activation of the table type constraint satisfaction unit in process 4003, and the formula in process 4005. Shape constraint satisfaction part Narrow down common part decomposition candidates by performing consistency maintenance processing with the value range at the end of activation.
(Process 4006). The candidate solution generation control unit (109) numbers the remaining common part decomposition candidates (process 4007) and stores the common part decomposition candidates in the partial decomposition candidate storage unit (103). Assuming that the number of common part decomposition candidates numbered is L, the candidate solution generation control unit (109) selects common part decomposition candidate numbers 1 to L (process 4008) for equality / inequality form / The procedural constraint satisfaction unit is activated, and the equality, inequality, and procedural constraints are activated in sequence from those that can be activated (process 4009).
Activation control of each constraint satisfying unit is performed by the candidate solution generation control unit (109), whereby each partial solution candidate is managed by the partial solution candidate management unit (1).
It is taken out from the partial solution candidate storage unit or stored in the partial solution candidate storage unit according to 04). In process 4009 of FIG. 40, if there is a common part decomposition candidate having a contradiction in matching of values, the candidate solution generation control unit (109) deletes the common part decomposition candidate. The candidate solution generation control unit (109) holds the finally remaining common part decomposition candidate in the partial decomposition candidate storage unit (103) (process 4010). Processing 400 for common part disassembly candidate number L
9 and processing 4010 are completed, the candidate solution generation control unit (109)
Generates an attribute constraint set switching combination pattern (process 4
011). FIG. 43 shows an example of the attribute constraint set switching combination pattern. As described above, since the value of the attribute “CWT layout type” and the value of the attribute “door type” are the switching conditions of the attribute constraint set, the combination of the possible values of the CWT layout type and the door type is set as the attribute constraint. It can be defined as a set switching combination pattern. In this example, C
Since there are two possible values for the WT layout type and two possible values for the door type, a total of four combination patterns are generated. This is the end of the common part decomposition candidate generation process performed as the preliminary process.

【００５１】図41には、対話処理時に候補解を生成する
処理のフロ−チャ−トを示す。候補解生成制御部(図32
の109)が、まず、ユ−ザ−インタ−フェ−スを介して入
力デ−タを読み込み(図41の処理4101)、入力されたデ−
タをもとに、入力範囲外となった属性値に関する共通部
分解候補を、部分解候補格納部(103)から削除する(処理
4102)。次に、属性値許容範囲整合性維持部(図32の110)
が、属性の値域情報格納エリアの値を、入力されたデ−
タ、および部分解候補格納部(103)に残っている共通部
分解候補に基づいて更新する。共通部分解候補としてあ
る程度絞り込まれている属性の値域を、属性の値域情報
格納エリアに反映することによって、対話処理にて扱う
属性の値域の範囲を狭めることができる。属性値許容範
囲整合性維持部(110)はさらに、入力されたデ−タをも
とに、デ−タ入力のあった属性を関連属性とするテ−ブ
ル形制約から、入力範囲外となった属性値に関する値の
組合せを不活性化する。次には候補解生成制御部(109)
が、入力されたデ−タをもとに、前述の事前処理にて生
成した属性制約集合切替組合せパタンから、入力範囲外
となった属性値に関するパタンを不活性化して、活性状
態にある属性制約集合切替組合せパタンに番号付けを改
めて行う。本実施例では、入力デ−タによって不活性化
された属性制約集合切替組合せパタンはなく、図43の属
性制約集合切替組合せパタンは全て活性状態のままであ
ったとする。活性状態にある属性制約集合切替組合せパ
タンの数がＭであるとすると、属性制約集合切替組合せ
パタン１からＭまでについて(処理4103)、第一の実施例
の図３のフロ−チャ−トと同様な処理を繰り返し行う。FIG. 41 shows a flowchart of processing for generating a candidate solution during the interactive processing. Candidate solution generation control unit (Fig. 32
109) first reads the input data via the user interface (process 4101 in FIG. 41), and inputs the input data.
The common partial decomposition candidate for the attribute value out of the input range is deleted from the partial decomposition candidate storage unit (103) based on the
4102). Next, the attribute value allowable range consistency maintaining unit (110 in FIG. 32)
The value of the attribute range information storage area
And the common partial decomposition candidate remaining in the partial decomposition candidate storage unit (103). By reflecting the value range of the attribute narrowed down to some extent as the common part decomposition candidate in the attribute value range information storage area, it is possible to narrow the range of the attribute value range handled in the interactive processing. The attribute value allowable range consistency maintaining unit (110) is also out of the input range based on the input data, from the table type constraint that the attribute for which data was input is the related attribute. Deactivate the value combinations for the attribute values. Next, the candidate solution generation control unit (109)
However, based on the input data, from the attribute constraint set switching combination pattern generated in the above-mentioned pre-processing, deactivate the pattern related to the attribute value that is out of the input range, and set the active attribute. Number the constraint set switching combination patterns again. In this embodiment, it is assumed that there is no attribute constraint set switching combination pattern inactivated by the input data, and all the attribute constraint set switching combination patterns in FIG. 43 remain in the active state. Assuming that the number of attribute constraint set switching combination patterns in the active state is M, the attribute constraint set switching combination patterns 1 to M (process 4103) are the same as the flowchart of FIG. 3 of the first embodiment. The same process is repeated.

【００５２】候補解生成制御部(109)が、まず、属性制
約集合切替制御部(321)を起動して属性制約集合切替を
行った(処理4104)後、制約グル−プの生成を行う(処理4
105)。属性制約集合切替組合せパタン１についての処理
は、属性制約集合切替(処理4104)および制約グル−プの
生成(処理4105)の結果生成された、図44に示す制約ネッ
トワ−クにて候補解を求める処理となる。候補解生成制
御部(109)が、テ−ブル形の制約グル−プには、テ−ブ
ル形制約充足部を起動(処理4106)し、式形制約について
は縮約式を生成(処理4107)して、縮約式に対して式形制
約充足部を起動(処理4108)する。候補解生成制御部(10
9)はさらに、属性値許容範囲整合性維持部(110)を起動
して、処理4106のテ−ブル形制約充足部起動終了時の値
の範囲と、処理4108の式形制約充足部起動終了時の値の
範囲との間の整合性維持処理を行なうことによって、部
分解候補の絞込みを行う(処理4109)。残った部分解候補
について候補解生成制御部(109)は番号付けを行い(処理
4110)、部分解候補格納部(103)に納める。番号を付けた
部分解候補の数が、Ｎであるとすると、候補解生成制御
部(109)が、部分解候補番号１からＮまでについて(処理
4111)、等式形・不等式形・手続形制約充足部を起動し
て、等式形・不等式形・手続形制約を起動可能なものか
ら順次起動していく(処理4112)。各制約充足部の起動制
御は、候補解生成制御部(109)が行い、これにより各部
分解候補は、部分解候補管理部(104)によって部分解候
補格納部から取り出されたり、部分解候補格納部に納め
られたりする。図41の処理4112において、値の整合に矛
盾の生じた部分解候補があれば、候補解生成制御部(10
9)によりその部分解候補は削除する。候補解生成制御部
（１０９）は最終的に残った部分解候補を部分解候補格
納部（１０３）に問い合わせ、属性制約集合切替組合せ
パタン１における処理結果格納用の値域情報格納エリア
に候補解として出力(処理4113)する。属性制約集合切替
組合せパタン２についての処理は、図45に示す制約ネッ
トワ−クにて処理4104〜4112を行って、求まった候補解
を属性制約集合切替組合せパタン２における処理結果格
納用の値域情報格納エリアに出力(処理4113)する処理と
なる。同様に、属性制約集合切替組合せパタン３につい
ての処理は、図46に示す制約ネットワ−クにて処理4104
〜4112を行って、求まった候補解を属性制約集合切替組
合せパタン３における処理結果格納用の値域情報格納エ
リアに出力(処理4113)する処理となる。さらに同様に、
属性制約集合切替組合せパタン４についての処理は、図
47に示す制約ネットワ−クにて処理4104〜4112を行っ
て、求まった候補解を属性制約集合切替組合せパタン４
における処理結果格納用の値域情報格納エリアに出力
(処理4113)する処理となる。属性制約集合切替組合せパ
タンＭについて処理4104〜4113が済むと候補解生成処理
は終了する。生成された候補解は、適宜、ディスプレイ
3006(図48参照)において表示されたり、プリンタ3010か
らプリントアウトされる。The candidate solution generation control unit (109) first activates the attribute constraint set switching control unit (321) to switch the attribute constraint set (process 4104), and then generates the constraint group (step 4104). Process 4
105). The processing for the attribute constraint set switching combination pattern 1 is performed by switching the attribute constraint set (process 4104) and generating the constraint group (process 4105). This is the required processing. The candidate solution generation control unit (109) activates a table type constraint satisfaction unit for the table type constraint group (process 4106) and generates a contraction formula for the expression type constraint (process 4107). ), And the expression form constraint satisfaction part is activated for the contraction expression (process 4108). Candidate solution generation control unit (10
9) further activates the attribute value allowable range consistency maintaining unit (110) to set the range of values at the end of the activation of the table-type constraint satisfying unit in step 4106 and the end of the expression-type constraint satisfying unit in step 4108. By performing the consistency maintaining process with the time value range, the partial decomposition candidates are narrowed down (process 4109). The candidate solution generation control unit (109) assigns numbers to the remaining partial decomposition candidates (processing
4110) and the partial decomposition candidate storage unit (103). Assuming that the number of numbered partial decomposition candidates is N, the candidate solution generation control unit (109) determines the partial decomposition candidate numbers 1 to N (see
4111), the equality / inequality / procedural constraint satisfaction part is activated, and the equality / inequality / procedural constraints are activated in sequence from the one that can be activated (process 4112). Activation control of each constraint satisfying unit is performed by the candidate solution generation control unit (109), whereby each partial solution candidate is extracted from the partial solution candidate storage unit by the partial solution candidate management unit (104) or stored as a partial solution candidate. It will be paid to the department. In process 4112 of FIG. 41, if there is a partial decomposition candidate in which the value matching is inconsistent, the candidate solution generation control unit (10
The partial solution candidate is deleted by 9). The candidate solution generation control unit (109) inquires of the finally remaining partial solution candidates into the partial solution candidate storage unit (103), and sets it as a candidate solution in the range information storage area for processing result storage in the attribute constraint set switching combination pattern 1. Output (process 4113). As for the processing on the attribute constraint set switching combination pattern 2, the processing 4104 to 4112 is performed by the constraint network shown in FIG. 45, and the obtained candidate solution is the range information for storing the processing result in the attribute constraint set switching combination pattern 2. This is the process of outputting to the storage area (process 4113). Similarly, the process for the attribute constraint set switching combination pattern 3 is performed by the constraint network shown in FIG.
Through 4112, the obtained candidate solution is output to the range information storage area for storing the processing result in the attribute constraint set switching combination pattern 3 (processing 4113). And likewise,
The process for the attribute constraint set switching combination pattern 4 is
By performing the processes 4104 to 4112 in the constraint network shown by 47, the obtained candidate solution is attribute constraint set switching combination pattern 4
Output to the range information storage area for storing processing results in
(Processing 4113) is performed. When the processes 4104 to 4113 are completed for the attribute constraint set switching combination pattern M, the candidate solution generation process ends. The generated candidate solutions are displayed as appropriate.
Displayed at 3006 (see FIG. 48) or printed out from printer 3010.

【００５３】[0053]

【発明の効果】本発明によれば、検討する解候補のう
ち、解となりえないために削除される候補については、
なるべく早期に削除の判定を行うことができる。また、
より少ない計算量で、解の候補を生成することができ
る。EFFECTS OF THE INVENTION According to the present invention, among the solution candidates to be examined, the candidates that are deleted because they cannot be solutions are
It is possible to determine deletion as early as possible. Also,
A solution candidate can be generated with a smaller amount of calculation.

【００５４】[0054]

【図面の簡単な説明】[Brief description of drawings]

【図１】本発明による複数候補解生成方法の機能構成図
である。FIG. 1 is a functional block diagram of a multiple candidate solution generation method according to the present invention.

【図２】図１を実現するための装置の利用形態の一実施
例を示すハ−ドウェア構成図である。FIG. 2 is a hardware configuration diagram showing an example of a usage pattern of an apparatus for realizing FIG.

【図３】本発明における候補解生成処理の概略フローチ
ャートである。FIG. 3 is a schematic flowchart of a candidate solution generation process according to the present invention.

【図４】本発明における属性のデ−タ構造の説明図であ
る。FIG. 4 is an explanatory diagram of an attribute data structure according to the present invention.

【図５】エレベ−タ−の機器選定・レイアウト設計にお
ける属性のデ−タ例の説明図(その１)である。FIG. 5 is an explanatory diagram (part 1) of an example of attribute data in device selection / layout design of an elevator.

【図６】エレベ−タ−の機器選定・レイアウト設計にお
ける属性のデ−タ例の説明図(その２)である。FIG. 6 is an explanatory diagram (part 2) of an example of attribute data in the equipment selection / layout design of the elevator.

【図７】エレベ−タ−の属性の例の説明図である。FIG. 7 is an explanatory diagram of an example of attributes of an elevator.

【図８】エレベ−タ−の設計知識におけるテ−ブル形制
約の例の説明図(その１)である。FIG. 8 is an explanatory diagram (1) of an example of a table type constraint in the design knowledge of the elevator.

【図９】エレベ−タ−の設計知識における式形制約の例
の説明図(その１)である。FIG. 9 is an explanatory diagram (part 1) of an example of the expression type constraint in the design knowledge of the elevator.

【図１０】本発明の第一の実施例で用いる制約ネットワ
−クの例の説明図である。FIG. 10 is an explanatory diagram of an example of a constraint network used in the first embodiment of the present invention.

【図１１】デ−タ入力後のテ−ブル形制約における値の
組合せの活性/不活性状態の説明図である。FIG. 11 is an explanatory diagram of an active / inactive state of a combination of values in a table type constraint after data input.

【図１２】テ−ブル形制約充足部の処理のフローチャー
トである。FIG. 12 is a flowchart of processing of a table type constraint satisfaction unit.

【図１３】制約頂点ネットワ−クの例の説明図である。FIG. 13 is an explanatory diagram of an example of a constrained vertex network.

【図１４】上記制約頂点ネットワ−クの辺１における辺
整合処理の説明図(その１)である。FIG. 14 is an explanatory diagram (No. 1) of the edge matching process on the edge 1 of the constraint vertex network.

【図１５】上記制約頂点ネットワ−クの辺１における辺
整合処理の説明図(その２)である。FIG. 15 is an explanatory diagram (No. 2) of the edge matching process on the edge 1 of the constraint vertex network.

【図１６】上記制約頂点ネットワ−クの辺１における辺
整合結果の説明図である。FIG. 16 is an explanatory diagram of an edge matching result at edge 1 of the constraint vertex network.

【図１７】辺１における辺整合処理後の制約頂点ネット
ワ−クの状態の説明図である。FIG. 17 is an explanatory diagram of a state of a constraint vertex network after edge matching processing on edge 1.

【図１８】上記制約頂点ネットワ−クの全ての辺におけ
る辺整合処理終了結果の説明図である。FIG. 18 is an explanatory diagram of a result of edge matching processing on all edges of the constraint vertex network.

【図１９】全ての辺における辺整合処理終了後の制約頂
点ネットワ−クの状態の説明図である。FIG. 19 is an explanatory diagram of a state of a constrained vertex network after the edge matching processing on all the edges is completed.

【図２０】図１３の制約頂点ネットワ−クにおける辺整
合処理終了時の属性値域情報の説明図(その１)である。20 is an explanatory diagram (part 1) of attribute range information at the end of edge matching processing in the constraint vertex network of FIG.

【図２１】図１３の制約頂点ネットワ−クにおける辺整
合処理終了時の属性値域情報の説明図(その２)である。FIG. 21 is an explanatory diagram (part 2) of attribute range information at the end of the edge matching process in the constraint vertex network of FIG.

【図２２】縮約式生成の処理のフローチャートである。FIG. 22 is a flowchart of processing for generating a contraction expression.

【図２３】式連立単位の例の説明図である。FIG. 23 is an explanatory diagram of an example of a simultaneous equation unit.

【図２４】図２３の式連立単位(ア)における縮約の説明
図である。FIG. 24 is an explanatory diagram of contraction in the simultaneous equation unit (A) in FIG. 23.

【図２５】図２３の式連立単位(イ)における縮約の説明
図である。FIG. 25 is an explanatory diagram of contraction in the simultaneous equation unit (a) in FIG. 23.

【図２６】縮約式生成後の図２３の制約ネットワ−クの
説明図である。FIG. 26 is an explanatory diagram of the constraint network of FIG. 23 after the contraction expression is generated.

【図２７】縮約式起動直前の属性値域情報の説明図であ
る。FIG. 27 is an explanatory diagram of attribute range information immediately before activation of a contraction expression.

【図２８】テ−ブル形制約の関連属性であってかつ式型
制約の関連属性である属性における値の範囲の整合性維
持処理の説明図である。FIG. 28 is an explanatory diagram of a consistency maintaining process of a value range of an attribute which is a related attribute of the table type constraint and a related attribute of the expression type constraint.

【図２９】部分解候補絞り込み後に残った属性値の組合
せの説明図である。FIG. 29 is an explanatory diagram of combinations of attribute values remaining after narrowing down partial decomposition candidates.

【図３０】エレベ−タ−の手続き形制約の例の説明図で
ある。FIG. 30 is an explanatory diagram of an example of procedural constraints of an elevator.

【図３１】エレベ−タ−の手続き形制約の例の関連属性
の説明図である。FIG. 31 is an explanatory diagram of related attributes of an example of procedural constraints of an elevator.

【図３２】第二の実施例に挙げる複数候補解生成方法の
機能構成図である。FIG. 32 is a functional block diagram of a multiple candidate solution generation method in the second embodiment.

【図３３】ＣＷＴレイアウトタイプが後落ちの場合の制
約ネットワ−クの例の説明図である。FIG. 33 is an explanatory diagram of an example of a constraint network when the CWT layout type is late.

【図３４】ＣＷＴレイアウトタイプが左落ちの場合の制
約ネットワ−クの例の説明図である。FIG. 34 is an explanatory diagram of an example of a constraint network when the CWT layout type is left-falling.

【図３５】ＣＷＴレイアウトタイプが左落ちの場合のエ
レベ−タ−の属性の例の説明図である。FIG. 35 is an explanatory diagram of an example of an attribute of an elevator when the CWT layout type is left drop.

【図３６】エレベ−タ−の機器選定・レイアウト設計に
おける属性のデ−タ例の説明図(その３)である。FIG. 36 is an explanatory diagram (part 3) of an example of data of attributes in device selection / layout design of an elevator.

【図３７】エレベ−タ−の設計知識におけるテ−ブル形
制約の例の説明図(その２)である。FIG. 37 is an explanatory diagram (part 2) of the example of the table type constraint in the design knowledge of the elevator.

【図３８】エレベ−タ−の設計知識における式形制約の
例の説明図(その２)である。FIG. 38 is an explanatory diagram (part 2) of an example of the expression type constraint in the design knowledge of the elevator.

【図３９】ＣＷＴレイアウトタイプの値に関する属性集
合切替の条件の例の説明図である。FIG. 39 is an explanatory diagram of an example of a condition for switching an attribute set regarding a value of a CWT layout type.

【図４０】本発明の第二の実施例における共通部分解候
補生成処理の概略フロ−チャ−トである。FIG. 40 is a schematic flowchart of common part decomposition candidate generation processing in the second embodiment of the present invention.

【図４１】本発明の第二の実施例における候補解生成処
理の概略フロ−チャ−トである。FIG. 41 is a schematic flowchart of a candidate solution generation process in the second embodiment of the present invention.

【図４２】第二の実施例での制約ネットワ−クの例にお
ける共通ネットワ−クである。FIG. 42 is a common network in the example of the constraint network in the second embodiment.

【図４３】属性制約集合切替組合せパタンの例の説明図
である。FIG. 43 is an explanatory diagram of an example of an attribute constraint set switching combination pattern.

【図４４】属性制約集合切替組合せパタン１の場合の制
約ネットワ−クの例の説明図である。FIG. 44 is an explanatory diagram of an example of the constraint network in the case of the attribute constraint set switching combination pattern 1.

【図４５】属性制約集合切替組合せパタン２の場合の制
約ネットワ−クの例の説明図である。45 is an explanatory diagram of an example of the constraint network in the case of the attribute constraint set switching combination pattern 2. FIG.

【図４６】属性制約集合切替組合せパタン３の場合の制
約ネットワ−クの例の説明図である。FIG. 46 is an explanatory diagram of an example of a constraint network in the case of the attribute constraint set switching combination pattern 3.

【図４７】属性制約集合切替組合せパタン４の場合の制
約ネットワ−クの例の説明図である。47 is an explanatory diagram of an example of the constraint network in the case of the attribute constraint set switching combination pattern 4. FIG.

【図４８】従来技術における管理すべき属性値の組合せ
の模式的な説明図である。FIG. 48 is a schematic explanatory diagram of combinations of attribute values to be managed in the conventional technique.

【符号の説明】[Explanation of symbols]

101…設計知識、 102…ワ−キングエリア、 103…部分解候補格納部、 104…部分解候補管理部、 105…テ−ブル形制約充足部、 106…等式形制約充足部、 107…不等式形制約充足部、 108…手続き形制約充足部、 109…候補解生成制御部、 110…属性値許容範囲整合性維持部 321…属性制約集合切替制御部 101 ... Design knowledge, 102 ... Working area, 103 ... Partial decomposition candidate storage unit, 104 ... Partial decomposition candidate management unit, 105 ... Table type constraint satisfaction unit, 106 ... Equation type constraint satisfaction unit, 107 ... Inequalities Shape constraint satisfaction unit, 108 ... Procedural constraint satisfaction unit, 109 ... Candidate solution generation control unit, 110 ... Attribute value allowable range consistency maintaining unit 321 ... Attribute constraint set switching control unit

───────────────────────────────────────────────────── フロントページの続き (72)発明者 赤坂 信悟 神奈川県横浜市戸塚区吉田町292番地 株 式会社日立製作所生産技術研究所内 (72)発明者 石田 篤宏 神奈川県横浜市戸塚区吉田町292番地 株 式会社日立製作所生産技術研究所内 (72)発明者 芳賀 憲行 神奈川県横浜市戸塚区吉田町292番地 株 式会社日立製作所生産技術研究所内 (72)発明者 勝田 勝義 茨城県ひたちなか市市毛1070番地 株式会 社日立製作所水戸工場内 (72)発明者 佐々木 道甫 東京都千代田区神田錦町一丁目６番地 株 式会社日立ビルシステムサービス内 ─────────────────────────────────────────────────── ─── Continuation of the front page (72) Inventor Shingo Akasaka 292 Yoshida-cho, Totsuka-ku, Yokohama-shi, Kanagawa Inside Production Engineering Research Laboratory, Hitachi, Ltd. (72) Inventor Atsuhiro Ishida 292 Yoshida-cho, Totsuka-ku, Yokohama-shi, Kanagawa Hitachi Ltd., Production Engineering Laboratory (72) Inventor Noriyuki Haga, 292 Yoshida-cho, Totsuka-ku, Yokohama, Kanagawa Prefecture, Ltd. Production Engineering Laboratory, Hitachi, Ltd. (72) Inventor Katsuyoshi Katsuta, 1070 Ige, Hitachinaka City, Ibaraki Prefecture Hitachi Ltd. Mito Factory (72) Inventor Michisa Sasaki 1-6 Kanda Nishikicho, Chiyoda-ku, Tokyo Inside Hitachi Building System Service Co., Ltd.

Claims (14)

【特許請求の範囲】[Claims] 【請求項１】製品の設計仕様項目を属性として定義し、
前記各属性間において満たさなければならない関係をそ
れぞれ記述した複数の関係制約を生成し、属性の異なる
組合せごとにテ−ブル形制約を生成し、各テーブル形制
約に、対応する組合せに属する属性の値の組を記述する
第１のステップと、 各テーブル形制約に含まれる、入力された特定の属性の
特定の値と異なる、前記特定の属性の値を含む組を不活
性化する第２のステップと、 各テーブル形制約に対応する組合せに共通に含まれる各
属性について、 当該属性の値を含む各テーブル形制約ごとに求まる、当
該テーブル形制約に記述された不活性化されていない組
に含まれている当該属性の値の集合の交わりの集合に含
まれない当該属性の値を含む、当該属性を含む各テーブ
ル形制約に記述された組を不活性化する第３のステップ
と、 各テ−ブル形制約に記述された不活性化されていない組
に記述された各属性の値の、属性ごとの集合を、当該属
性の第１解集合候補とする第４のステップと、 各属性について、当該属性の第１解集合候補に含まれる
値のうち、前記各関係制約を満たす値の集合を当該属性
の第２解集合候補とする第５のステップと、 各属性について、当該属性の第２解集合候補に含まれる
値と異なる値を含む、各テーブル形制約に含まれる不活
性化されていない組を不活性化する第６のステップと、 各テ−ブル形制約に記述された不活性化されていない組
に記述された各属性の値の、属性ごとの集合を、当該属
性の最終解集合として出力する第７のステップを有する
ことを特徴とする候補解生成方法。1. A product design specification item is defined as an attribute,
A plurality of relation constraints describing the relations that must be satisfied between the respective attributes are generated, a table type constraint is generated for each different combination of attributes, and each table type constraint includes attributes of attributes belonging to the corresponding combination. A first step of describing a set of values, and a second step of deactivating a set of values of a particular attribute included in each tabular constraint that is different from the particular value of the particular attribute entered. For each attribute that is commonly included in the step and the combination corresponding to each table type constraint, it is obtained for each table type constraint that includes the value of the attribute, and the set is not inactivated and described in the table type constraint. A third step of inactivating the set described in each table-type constraint including the attribute, which includes the value of the attribute that is not included in the intersection set of the set of values of the attribute that is included, and A fourth step in which a set for each attribute of the values of each attribute described in the non-inactivated set described in the table type constraint is used as a first solution set candidate of the attribute, and each attribute Of the values included in the first solution set candidate of the attribute, the fifth step of setting a set of values satisfying the relational constraints as the second solution set candidate of the attribute, and The sixth step of deactivating the non-inactivated set included in each table type constraint, which includes a value different from the value included in the second solution set candidate, and described in each table type constraint A method for generating a candidate solution, comprising a seventh step of outputting a set of each attribute value described in a non-inactivated set for each attribute as a final solution set of the attribute. 【請求項２】請求項１記載の候補解生成方法において、
前記第５のステップは、 前記複数の関係制約のうちの、同じ属性について、当該
属性がほかの属性との間で満たさなければならない関係
を記述している複数の関係制約を順次連立し、前記同じ
属性について解くことにより生成される関係である縮約
関係を生成し、 各属性について、当該属性の第１解集合候補に含まれる
値のうち、前記各縮約式を満たす値の集合を当該属性の
第３解集合候補とし、 各属性について、当該属性の第３解集合候補に含まれる
値と異なる値を含む、各テーブル形制約に含まれる不活
性化されていない組を不活性化し、 各テ−ブル形制約に記述された不活性化されていない組
に記述された各属性の値の、属性ごとの集合を、当該属
性の第４解集合候補とし、 各属性について、当該属性の第４解集合候補に含まれる
値のうち、前記各関係制約を満たす値の集合を当該属性
の前記第２解集合候補とするステップであることを特徴
とする候補解生成方法。2. A method for generating a candidate solution according to claim 1,
In the fifth step, among the plurality of relational constraints, for the same attribute, a plurality of relational constraints that describe a relation that the attribute must satisfy with other attributes are sequentially coupled, A contraction relation, which is a relation generated by solving for the same attribute, is generated, and for each attribute, among the values included in the first solution set candidate of the attribute, a set of values satisfying each reduction formula is calculated. As a third solution set candidate of an attribute, for each attribute, deactivate a non-inactivated set included in each table type constraint that includes a value different from the value included in the third solution set candidate of the attribute, For each attribute, the set for each attribute of the value of each attribute described in the non-inactivated set described in each table constraint is set as the fourth solution set candidate for that attribute, and for each attribute, the Included in the fourth solution set candidate Among the candidate solution generating method, characterized in that the set of values that satisfy the respective relationships constraint is a step to the second solution set candidates of the attribute. 【請求項３】請求項１または２記載の候補解生成方法に
おいて、 前記関係制約は、前記各属性間において満たさなければ
ならない関係を等式または不等式でそれぞれ記述した式
形制約であることを特徴とする候補解生成方法。3. The method of generating a candidate solution according to claim 1, wherein the relational constraint is an equation-type constraint in which a relation that must be satisfied between the respective attributes is described by an equation or an inequality, respectively. A method for generating candidate solutions. 【請求項４】請求項１または２記載の候補解生成方法に
おいて、 前記関係制約は、前記各属性間において満たさなければ
ならない関係を手続きとして記述した手続き形制約であ
ることを特徴とする候補解生成方法。4. The candidate solution generation method according to claim 1, wherein the relationship constraint is a procedural constraint describing a relationship that must be satisfied between the attributes as a procedure. Generation method. 【請求項５】請求項２記載の候補解生成方法において、
前記第５のステップにおいて、 同じ属性について、当該同じ属性と他の属性との間で満
たさなければならない関係を記述している複数の関係制
約であっても、 離散値の値域、または、一意の値や区間値のみを、前記
第１解候補集合に含まれる属性の値として持つ属性が前
記同じ属性である場合には連立しないことを特徴とする
候補解生成方法。5. The method for generating a candidate solution according to claim 2,
In the fifth step, even if there are a plurality of relationship constraints that describe the relationship that must be satisfied for the same attribute between the same attribute and another attribute, the range of discrete values or the unique A candidate solution generation method characterized in that when the attributes having only the values and the interval values as the values of the attributes included in the first solution candidate set are the same attributes, they are not simultaneous. 【請求項６】製品の設計仕様項目を属性として定義し、 属性の値の組によって各属性および属性間を制約する、
属性の異なる組合せごとに生成されたテ−ブル形制約
と、前記各属性間において満たさなければならない関係
によって、属性間を制約する複数の関係制約とに基づい
て、各属性間を当該属性間を制約するテ−ブル形制約も
しくは関係制約によって連結した制約ネットワ−クを生
成し、 該制約ネットワークを、属性間が、テーブル形制約のみ
により連結されているグループと、属性間が関係制約の
みにより連結されているグループとに分割し、 テーブル形制約について分割された各グループにおい
て、該グループに含まれるテ−ブル型制約が複数ある場
合に、該複数の制約に対応テーブル形制約を全て満たす
制約である統合テーブル形制約を生成し、 前記関係制約について分割された各々のグループにおい
て、該グループに含まれる関係制約が複数ある場合に、
該複数の関係制約を全て満たす制約である統合関係制約
を生成し、 生成した前記統合テーブル形制約および統合関係制約を
満たす各属性の値の集合を求めることを特徴とする候補
解生成方法。6. A product design specification item is defined as an attribute, and each attribute and each attribute are constrained by a set of attribute values.
Based on a table type constraint generated for each different combination of attributes and a plurality of relationship constraints that constrain the attributes by the relationship that must be satisfied between the attributes, the attributes are inter-related A constraint network is generated by connecting table constraints or relational constraints to be constrained, and the constraint network is connected to a group in which attributes are connected only by a table type constraint and an attribute is connected only by relational constraints. When there are a plurality of table-type constraints included in the group in each group divided for the table-type constraint, the table-type constraint is a constraint that satisfies all the table-type constraints. A certain integrated table type constraint is generated, and in each group obtained by dividing the relational constraint, the relational constraint included in the group. If there is more than one,
A candidate solution generation method, characterized in that an integrated relational constraint that is a constraint that satisfies all of the plurality of relational constraints is generated, and a set of values of each attribute that satisfies the generated integrated table type constraint and integrated relational constraint is obtained. 【請求項７】請求項６記載の候補解生成方法において、
前記統合テーブル形制約は、テーブル形制約について分
割された各グループにおいて、該グループに含まれるテ
ーブル形制約が複数ある場合に、該複数のテーブル形制
約が共通に制約する属性について、当該属性を制約する
該複数のテーブル形制約の属性の値の組に含まれる属性
値の集合の交わりの集合を、当該属性の属性値が取りえ
る値の集合とする制約であることを特徴とする候補解生
成方法。7. A method of generating a candidate solution according to claim 6,
In the integrated table type constraint, in each group divided with respect to the table type constraint, when there are a plurality of table type constraints included in the group, the attribute is constrained for the attribute that the plurality of table type constraints share in common. A candidate solution generation characterized in that the set of intersections of the attribute values included in the set of attribute values of the plurality of table-like constraints is a set of values that the attribute value of the attribute can take. Method. 【請求項８】請求項６記載の候補解生成方法において、
前記統合関連制約は、関係制約について分割された各グ
ループにおいて、該グループに含まれる関係制約が複数
ある場合に、２つの関係制約が共通に、当該属性と他の
属性との属性間を制約する属性であって、離散値の値
域、または、一意の値や区間値のみを取る属性を境界と
して、前記各グループを再度分割したグループにおい
て、該グループに含まれる複数の関係制約を順次連立し
て該グループに含まれる同じ属性について解くことによ
り生成される関係である縮約関係を示す制約であること
を特徴とする候補解生成方法。8. A method for generating a candidate solution according to claim 6,
In the integrated relational constraint, in each group obtained by dividing the relational constraint, when there are a plurality of relational constraints included in the group, the two relational constraints are commonly used to constrain the attribute between the attribute and another attribute. In the group obtained by re-dividing each of the groups with an attribute that is a range of discrete values or an attribute that takes only a unique value or an interval value as a boundary, a plurality of relational constraints included in the group are sequentially coupled. A candidate solution generation method, which is a constraint indicating a contraction relationship which is a relationship generated by solving for the same attribute included in the group. 【請求項９】製品の設計仕様項目を属性として定義し、 属性の値によって属性間を制約する複数の制約を生成
し、 生成された制約を、所定の属性の値に依存せずに定まっ
た制約を行う共通制約と、所定の属性の値に応じた制約
を行う非共通制約とに分離し、 共通制約の制約を満たす属性の解の集合である共通部分
解集合を求め、 前記所定の属性の取り得る値毎に、前記求められた共通
部分解集合のうち、当該所定の属性の値に応じた前記非
共通制約の制約を満たす属性の解集合を求めることを特
徴とする候補解生成方法。9. A product design specification item is defined as an attribute, a plurality of constraints that constrain the attributes by attribute values are generated, and the generated constraints are determined without depending on the value of a predetermined attribute. Separate the common constraint that performs the constraint and the non-common constraint that performs the constraint according to the value of the predetermined attribute, and obtain the common part decomposition set that is the set of solutions of the attributes that satisfy the constraint of the common constraint. Method for generating a candidate solution, wherein a solution set of attributes that satisfy the constraint of the non-common constraint according to the value of the predetermined attribute is obtained from the obtained common part decomposition set for each possible value of . 【請求項１０】製品の設計仕様項目を属性として定義
し、 属性の値の組によって各属性および属性間を制約する、
属性の異なる組合せごとに生成されたテ−ブル形制約
と、前記各属性間において満たさなければならない関係
によって、属性間を制約する複数の関係制約を生成し、 生成されたテ−ブル形制約およびまたは関係制約を、所
定の属性の値に依存しないで常に制約を行う共通制約
と、所定の属性の値に応じた制約を行う非共通制約とに
分離し、 共通制約の制約を満たす解の集合である共通部分解集合
を求め、 前記属性の値の入力をうけつけ、うけつけた属性の値と
異なる値を含む前記解を、前記共通部分解集合より削除
し、 うけつけた属性の値に応じて、前記所定の属性の値の取
り得る値を求め、 前記所定の属性の取り得る値毎に、前記求められた共通
部分解集合のうち、当該所定の属性の値に応じた前記非
共通制約の制約を満たす属性の解集合を求めることを特
徴とする候補解生成方法。10. A product design specification item is defined as an attribute, and each attribute and each attribute are restricted by a set of attribute values.
A table-type constraint generated for each different combination of attributes and a plurality of relational constraints that constrain the attributes are generated according to the relations that must be satisfied between each of the attributes. Or, a relation constraint is separated into a common constraint that always applies a constraint that does not depend on the value of a given attribute and a non-common constraint that performs a constraint that depends on the value of a given attribute, and a set of solutions that satisfy the constraints of the common constraint. The common part decomposition set is obtained, the input of the value of the attribute is received, the solution including a value different from the value of the received attribute is deleted from the common part decomposition set, and according to the value of the received attribute, A possible value of the value of the predetermined attribute is obtained, and for each possible value of the predetermined attribute, the constraint of the non-common constraint corresponding to the value of the predetermined attribute of the obtained common part decomposition set Solution of attributes that satisfy Candidate solution generating method characterized by determining a slip. 【請求項１１】製品の設計仕様項目を属性として定義
し、 属性の値の組によって各属性および属性間を制約する、
属性の異なる組合せごとに生成されたテ−ブル形制約
と、前記各属性間において満たさなければならない関係
によって、属性間を制約する複数の関係制約を生成し、 生成されたテ−ブル形制約およびまたは関係制約を、所
定の属性の値に依存しないで常に制約を行う共通制約
と、所定の属性の値に応じた制約を行う非共通制約とに
分離し、 各属性間を当該属性間を制約する共通制約によって連結
した共通制約ネットワ−クを生成し、 前記共通制約ネットワークを満たす各属性の値の集合を
求めて、共通部分解集合とし、 前記所定の属性の取り得る値毎に、各属性間を当該属性
間を当該所定の属性の値に応じた制約によって制約する
非共通制約によって連結した非共通制約ネットワ−クを
生成し、 各非共通制約ネットワ−ク毎に、前記共通制約ネットワ
−クと当該非共通制約ネットワ−クとを、各属性間が当
該属性間を制約する共通制約および非共通制約によって
連結されるように、連結した制約ネットワ−クを生成
し、 各制約ネットワ−ク毎に、前記共通部分解集合のうち、
前記非共通制約ネットワークをも満たす各属性の値の集
合を求めることを特徴とする候補解生成方法。11. A product design specification item is defined as an attribute, and each attribute and each attribute are restricted by a set of attribute values.
A table-type constraint generated for each different combination of attributes and a plurality of relational constraints that constrain the attributes are generated according to the relations that must be satisfied between each of the attributes. Alternatively, the relational constraint is separated into a common constraint that always applies a constraint that does not depend on the value of a given attribute and a non-common constraint that performs a constraint that depends on the value of a given attribute. A common constraint network connected by common constraints is generated, a set of values of each attribute satisfying the common constraint network is obtained, and a common part decomposition set is obtained, and each attribute is set for each possible value of the predetermined attribute. A non-common constraint network in which the attributes are connected by a non-common constraint that constrains the attributes with a constraint according to the value of the predetermined attribute is generated, and the common is generated for each non-common constraint network. Approximate networks and the non-common constraint network are connected so that each attribute is connected by a common constraint and a non-common constraint that constrain the attributes. For each network, of the common part decomposition set,
A method of generating a candidate solution, characterized by obtaining a set of values of each attribute that also satisfies the non-common constraint network. 【請求項１２】製品の設計仕様項目を属性として定義
し、前記各属性間において満たさなければならない関係
をそれぞれ記述した複数の関係制約を生成し、属性の異
なる組合せごとにテ−ブル形制約を生成し、各テーブル
形制約に、対応する組合せに属する属性の値の組を記述
する手段と、 前記生成された関係制約とテ−ブル形制約とを記憶する
記憶手段と、 各テーブル形制約に含まれる、入力された特定の属性の
特定の値と異なる、前記特定の属性の値を含む組を不活
性化する手段と、 各テーブル形制約に対応する組合せに共通に含まれる各
属性について、 当該属性の値を含む各テーブル形制約ごとに求まる、当
該テーブル形制約に記述された不活性化されていない組
に含まれている当該属性の値の集合の交わりの集合に含
まれない当該属性の値を含む、当該属性を含む各テーブ
ル形制約に記述された組を不活性化する手段と、 各テ−ブル形制約に記述された不活性化されていない組
に記述された各属性の値の、属性ごとの集合を、当該属
性の第１解集合候補とする手段と、 各属性について、当該属性の第１解集合候補に含まれる
値のうち、前記各関係制約を満たす値の集合を当該属性
の第２解集合候補とする手段と、 各属性について、当該属性の第２解集合候補に含まれる
値と異なる値を含む、各テーブル形制約に含まれる不活
性化されていない組を不活性化する手段と、 各テ−ブル形制約に記述された不活性化されていない組
に記述された各属性の値の、属性ごとの集合を、当該属
性の最終解集合として出力する手段とを有することを特
徴とする候補解生成装置。12. A product specification specification item is defined as an attribute, a plurality of relationship constraints describing the relationships that must be satisfied between the respective attributes are generated, and table-type constraints are created for each different combination of attributes. Means for generating and describing, in each table type constraint, a set of attribute values belonging to a corresponding combination; storage means for storing the generated relational constraint and table type constraint; and for each table type constraint A means for deactivating a set including the value of the specific attribute, which is different from the specific value of the input specific attribute, and each attribute commonly included in the combination corresponding to each table type constraint, It is not included in the intersection set of the set of values of the attribute included in the non-inactivated set described in the table type constraint, which is obtained for each table type constraint including the value of the attribute. Means for deactivating the set described in each table type constraint including the attribute, including the value of the attribute, and each attribute described in the non-inactivated set described in each table type constraint Means for making the set of each value of each attribute as a first solution set candidate of the attribute, and for each attribute, of values included in the first solution set candidate of the attribute, satisfying each of the relational constraints. Means for making a set a second solution set candidate for the attribute, and for each attribute, a value different from the value included in the second solution set candidate for the attribute, and not inactivated included in each table type constraint A means for deactivating a set and a set for each attribute of the value of each attribute described in the non-deactivated set described in each table constraint is output as the final solution set of the attribute. A means for generating a candidate solution. 【請求項１３】請求項１２記載の候補解生成装置におい
て、前記第２解集合候補生成手段は、 前記複数の関係制約のうちの、同じ属性について、当該
属性がほかの属性との間で満たさなければならない関係
を記述している複数の関係制約を順次連立し、前記同じ
属性について解くことにより生成される関係である縮約
関係を生成する手段と、 各属性について、当該属性の第１解集合候補に含まれる
値のうち、前記各縮約式を満たす値の集合を当該属性の
第３解集合候補とする手段と、 各属性について、当該属性の第３解集合候補に含まれる
値と異なる値を含む、各テーブル形制約に含まれる不活
性化されていない組を不活性化する手段と、 各テ−ブル形制約に記述された不活性化されていない組
に記述された各属性の値の、属性ごとの集合を、当該属
性の第４解集合候補とする手段と、 各属性について、当該属性の第４解集合候補に含まれる
値のうち、前記各関係制約を満たす値の集合を当該属性
の前記第２解集合候補とする手段とを有することを特徴
とする候補解生成装置。13. The candidate solution generation device according to claim 12, wherein the second solution set candidate generation means satisfies the same attribute among the plurality of relation constraints with other attributes. A means for generating a contraction relation, which is a relation generated by solving a plurality of relation constraints describing the relations that must be satisfied in sequence, and solving the same attribute, and for each attribute, the first solution of the attribute. Of the values included in the set candidate, a means for setting a set of values satisfying each of the reduction expressions as a third solution set candidate of the attribute, and a value included in the third solution set candidate of the attribute for each attribute. A means for deactivating a non-inactivated set included in each table type constraint including different values, and each attribute described in the non-inactivated set described in each table type constraint. A collection of values for each attribute As a fourth solution set candidate of the attribute, and for each attribute, of the values included in the fourth solution set candidate of the attribute, a set of values satisfying the relational constraints is set to the second attribute of the attribute. A candidate solution generation device, comprising: a solution set candidate. 【請求項１４】製品の設計仕様項目を属性として定義
し、属性の値によって属性間を制約する複数の制約を生
成する手段と、 生成された制約を、所定の属性の値に依存せずに定まっ
た制約を行う共通制約と、所定の属性の値に応じた制約
を行う非共通制約とに分離する手段と、 共通制約の制約を満たす属性の解の集合である共通部分
解集合を求める手段と、 前記所定の属性の取り得る値毎に、前記求められた共通
部分解集合のうち、当該所定の属性の値に応じた前記非
共通制約の制約を満たす属性の解集合を求める手段と、 を有することを特徴とする候補解生成装置。14. A means for defining a design specification item of a product as an attribute, and generating a plurality of constraints for restricting between attributes according to the value of the attribute, and the generated constraint without depending on the value of a predetermined attribute. A means for separating a common constraint that performs a fixed constraint and a non-common constraint that performs a constraint according to the value of a predetermined attribute, and a means for obtaining a common part decomposition set that is a set of attribute solutions that satisfy the constraint of the common constraint And, for each possible value of the predetermined attribute, means for obtaining a solution set of attributes satisfying the constraint of the non-common constraint according to the value of the predetermined attribute among the obtained common part decomposition sets, A candidate solution generation device having:
JP03089195A 1994-09-07 1995-02-20 Candidate solution generation method and apparatus Expired - Lifetime JP3720867B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP03089195A JP3720867B2 (en) 1994-09-07 1995-02-20 Candidate solution generation method and apparatus

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
JP21412094 1994-09-07
JP6-214120 1994-09-07
JP03089195A JP3720867B2 (en) 1994-09-07 1995-02-20 Candidate solution generation method and apparatus

Publications (2)

Publication Number Publication Date
JPH08129582A true JPH08129582A (en) 1996-05-21
JP3720867B2 JP3720867B2 (en) 2005-11-30

Family

ID=26369331

Family Applications (1)

Application Number Title Priority Date Filing Date
JP03089195A Expired - Lifetime JP3720867B2 (en) 1994-09-07 1995-02-20 Candidate solution generation method and apparatus

Country Status (1)

Country Link
JP (1) JP3720867B2 (en)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2006031488A (en) * 2004-07-16 2006-02-02 Univ Of Electro-Communications Design support method
JP2006155601A (en) * 2004-11-05 2006-06-15 Hitachi Ltd Product structure design support system
JP2008226096A (en) * 2007-03-15 2008-09-25 Hitachi Ltd Restriction propagation device, restriction propagation method, and program

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2006031488A (en) * 2004-07-16 2006-02-02 Univ Of Electro-Communications Design support method
JP4528962B2 (en) * 2004-07-16 2010-08-25 国立大学法人電気通信大学 Design support method
JP2006155601A (en) * 2004-11-05 2006-06-15 Hitachi Ltd Product structure design support system
JP2008226096A (en) * 2007-03-15 2008-09-25 Hitachi Ltd Restriction propagation device, restriction propagation method, and program

Also Published As

Publication number Publication date
JP3720867B2 (en) 2005-11-30

Similar Documents

Publication Publication Date Title
KR102217933B1 (en) Building quantity take-off apparatus and method based on inducing consequential work items, and system using the same
JP3391811B2 (en) Team type data processing method in CAD system and CAD system
JPH09190469A (en) Schedule managing system
KR101880964B1 (en) A batch processing system for properties of the Building Information Modeling library
JPH08129582A (en) Method and device for generating candidate solution
JPH0991327A (en) Plant maintenance support cad system
JPH05225250A (en) Table coupling system for relational data base
JP2003316835A (en) Building production information integration system
JP3355303B2 (en) Maintenance patrol work table creation device
US20220171908A1 (en) Support system and support method supporting system construction
JP5786041B2 (en) Business support device, business support method, and business support program
Krenczyk et al. The deadlock protection method used in the production systems
JPH05274378A (en) Automatic design cad system
Wang 28 ESSCAD: EXPERT SYSTEM INTEGRATING CONSTRUCTION SCHEDULING WITH CAD DRAWING
JP3708199B2 (en) Concurrent engineering support system and concurrent engineering support method
JPH1040272A (en) Center design support method and system
US20230169706A1 (en) Diagram modification device, diagram modification method, and diagram modification program
JPH07296062A (en) Method for supporting decision of staff arrangement
JPH08314986A (en) Method and device for supporting design
JPH04123165A (en) Method and device for scheduling
JP2000353192A (en) Decision making planning support device
JP6747668B2 (en) Business application construction support system and program
JPH0762842B2 (en) Document management device
JPH02162463A (en) Back-up device for production of process network
WO2001037149A1 (en) System for supporting building production

Legal Events

Date Code Title Description
A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20050510

A521 Written amendment

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20050711

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20050906

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20050909

R150 Certificate of patent or registration of utility model

Free format text: JAPANESE INTERMEDIATE CODE: R150

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20080916

Year of fee payment: 3

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20090916

Year of fee payment: 4

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20090916

Year of fee payment: 4

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20100916

Year of fee payment: 5

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20100916

Year of fee payment: 5

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20110916

Year of fee payment: 6

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20120916

Year of fee payment: 7

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20120916

Year of fee payment: 7

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20130916

Year of fee payment: 8

EXPY Cancellation because of completion of term