特許

J-GLOBAL ID：200903091260338430

シミュレーションにおけるモデルパラメータ決定プログラム、および決定装置

発明者： 折居 茂夫 ,  穴井 宏和
出願人/特許権者： 富士通株式会社
代理人 (2件)： 大菅 義之 ,  久木元 彰
公報種別：公開公報
出願番号（国際出願番号）：特願2004-254903
公開番号（公開出願番号）：特開2005-129015
出願日： 2004年09月01日
公開日（公表日）： 2005年05月19日
要約：

【課題】 シミュレーションにおけるモデルのパラメータを効率的、かつ有効に決定する。【解決手段】 モデルパラメータ決定プログラムによって、解析対象となる系のモデルにおける変数のデータの入力を受け取るステップと、受け取ったデータと系のモデルとに基づいて、該モデルのパラメータに関する制約式を生成するステップと、該制約式に対して限定記号消去アルゴリズムを適用して、解の存在の有無、および/または実行可能なパラメータの存在範囲を求めるステップとを計算機に実行させる。【選択図】図1

請求項（抜粋）：

系に対するシミュレーションを行う計算機によって使用されるプログラムにおいて、 解析対象となる系のモデルに基づき行なわれたシミュレーションまたは実験の結果に基づく変数データの入力を入力装置を介して受け取るステップと、 該受け取ったデータと前記系のモデルとに基づいて、定式化部が該モデルのパラメータに関する制約式を生成するステップと、 該制約式に対して限定記号消去アルゴリズムを適用して、限定記号消去部が解の存在の有無、および/または実行可能なパラメータの存在範囲を求めるステップとを計算機に実行させるためのモデルパラメータ決定プログラム。

IPC (1件)：

G06F19/00

FI (1件)：

G06F19/00 110

引用特許：

出願人引用 (1件)

• 制御系解析・設計装置および制御系解析・設計処理方法
  公報種別：公開公報   出願番号：特願平10-130019   出願人：富士通株式会社

審査官引用 (1件)

• 制御系の極配置解析・設計方法,極配置解析・設計装置,極配置解析・設計プログラム
  公報種別：公開公報   出願番号：特願2002-195517   出願人：富士通株式会社

引用文献：

審査官引用 (4件)

• 制御理論と計算機代数
• 新しい数式処理アルゴリズムQEを用いたロバスト制御系設計
• Quantifier Elimination -アルゴリズム・実装・応用-
• Quantitative Petri Net Model of Gene Regulated Metabolic Networks in the Cell