特許

J-GLOBAL ID：201103064358691821

システムを環境設定しかつ/又は最適化するのに有用なデータベース及びそのデータベースを生成するための方法

発明者： メラー,ゲルト リュッケ セーレンセン ,  イエンセン,クラウス エリク
出願人/特許権者： アレー テクノロジー アンパーツゼルスカブ
代理人 (5件)： 石田 敬 ,  鶴田 準一 ,  下道 晶久 ,  西山 雅也 ,  樋口 外治
公報種別：特許公報
出願番号（国際出願番号）：特願2000-537160
特許番号：特許第4216468号
出願日： 1999年03月16日
請求項（抜粋）：

【請求項1】各々の変数が有限の要素又は状態値セット又は区間セットで構成されている1つのシステムを構成し及び/又は最適化するのに有用なデータベースを生成し、使用するための方法において、 前記システムは、前記変数の部分集合についての関係によりシステム制約条件が規定され、各々の関係には、与えられた変数部分集合についての各々の正当なカルテシアン部分空間を識別する一意的指標を伴う一意的リンク変数が対応付けられており、 (a)前記システム全体のアドレス指定可能な構成空間をコンピュータのメモリ又は記憶媒体内に格納し、 (b)前記構成空間は、全ての相互連結された正当なカルテシアン部分空間が前記リンク変数の前記指標の正当な組合せとしてアドレス指定可能である状態で、全ての正当なカルテシアン部分空間の形で表現され、 (c)前記構成空間が、前記システムのために定義された全ての変数に対する実質的に全ての関係の論理積を満たすように、 (d)前記システム制約条件に対する実質的に全ての正当な解を表現する、前記リンク変数の指標の正当な組合せを登録したアレイを含むデータベースを生成し、前記コンピュータのメモリ又は記憶媒体に格納し、 (e)前記登録したアレイは、各リンク変数の指標が他のリンク変数についての制約条件を演繹するための入力として利用できるようリンク変数毎に設けられ、また、前記登録したアレイは、リンク先の前記カルテシアン部分空間により表現される構成空間を導出するように設けられ、 (f)前記コンピュータが、前記生成されたデータベースに対し、ステートメント及び/又は問合せによって規定された制約条件を適用することによって、あるリンク変数についての制約条件を導出し、当該リンク変数に対応して設けられた前記アレイを参照して他のリンク変数についての新たな制約条件を導出する状態伝播を反復することにより、前記登録したアレイが表わすシステムの単数又は複数の変数により規定された状態又は組合せの、前記入力されたステートメント及び/又は問合せに対応する任意の部分空間を演繹する、 ことを特徴とする方法。

IPC (3件)：

G06F 17/30 ( 200 6.01) ,  G06F 17/50 ( 200 6.01) ,  G06N 5/04 ( 200 6.01)

FI (3件)：

G06F 17/30 150 D ,  G06F 17/50 604 H ,  G06N 5/04 550 Q

引用特許：

審査官引用 (3件)

• 特開昭63-067581
  
• 特開昭63-067581
  
• 特開昭63-067581