【手続補正書】
【提出日】平成20年6月19日(2008.6.19)
【手続補正１】
【補正対象書類名】明細書
【補正対象項目名】特許請求の範囲
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
コンピュータで実施されるシステムであって、前記システムが
第１の実行プロセスであって、
第１の言語でプログラムされ且つ第１の状態変数を有する第１の連続時間モデルを実施して、第１の物理的サブシステムをシミュレートし、
第１の一連の状態関連の数値を送るものであり、それぞれの数値が、前記第１のモデルにおけるシミュレーション時間中の異なる点ｔｍでの第１の状態変数の値に関連する情報を反映するものである、
第１の実行プロセスと、
第２の実行プロセスであって、
前記第１の一連の状態関連の数値が中央の通信プロセスを通ることなく、前記第１の実行プロセスから前記第１の一連の状態関連の数値を受け取り、
第２の言語でプログラムされ且つ前記第１の一連の状態関連数値から値を入力として取る第２の連続時間モデルを実施して、第２の物理的サブシステムをシミュレートし、
前記第２の連続時間モデルの状態を表すデータを出力するものである、
第２の実行プロセスと、
を備えるシステム。
【請求項２】
請求項１に記載のシステムであって、
前記第２のモデルが第２の状態変数を有し、
前記第２のプロセスが第２の一連の状態関連の数値を更に送り、そのそれぞれの数値が、前記第１のモデルにおけるシミュレーション時間中の異なる点ｔｎでの前記第２の状態変数の値に関連する情報を反映するものであり、
前記第１のプロセスが、前記第２の一連の状態関連の数値を更に受け取り、
前記第１のモデルが、前記第２の一連の状態関連の数値から前記第２の状態変数の値を入力として取る、
システム。
【請求項３】
請求項２に記載のシステムであって、前記第１の一連の状態関連の数値中の少なくとも第１の数値に関して、前記第１の数値が、前記第１のモデルにおけるシミュレーション時間中の点ｔ１での前記第１の状態変数の値に関連する情報を反映するものであり、前記第２の一連の状態関連の数値中に、前記第１のモデルにおけるシミュレーション時間中の時点ｔ１での前記第２の状態変数の値を反映する第２の数値がある、システム。
【請求項４】
請求項２に記載のシステムであって、一連の状態関連の数値中の少なくとも第１の数値に関して、前記第１の数値が、シミュレーション時間中の点ｔ１での前記第１の状態変数の値を反映するものであり、前記第２の一連の状態関連の数値に、シミュレーション時間中の点ｔ１での前記第２の状態変数の値を反映する第２の数値がない、システム。
【請求項５】
請求項１に記載のシステムであって、
前記第１の一連の状態関連の数値が、
前記第１のモデルにおけるシミュレーション時間中の時間ｔ１での前記第１の状態変数の値に関連する情報を反映する第１の数値と、
前記第１のモデルにおけるシミュレーション時間中の時間ｔ２での前記第１の状態変数の値に関連する情報を反映する第２の数値と、
前記第１のモデルにおけるシミュレーション時間中の時間ｔ３での前記第１の状態変数の値に関連する情報を反映する第３の数値と
を備え、
前記第１の数値、前記第２の数値、及び前記第３の数値が、前記第１の一連の状態関連の数値内で連続しており、ｔ２−ｔ１＝ｔ３−ｔ２である、
システム。
【請求項６】
請求項１に記載のシステムであって、
前記第１の一連の状態関連の数値が、
前記第１のモデルにおけるシミュレーション時間中の時間ｔ１での前記第１の状態変数の値に関連する情報を反映する第１の数値と、
前記第１のモデルにおけるシミュレーション時間中の時間ｔ２での前記第１の状態変数の値に関連する情報を反映する第２の数値と、
前記第１のモデルにおけるシミュレーション時間中の時間ｔ３での前記第１の状態変数の値に関連する情報を反映する第３の数値と
を備え、
前記第１の数値、前記第２の数値、及び前記第３の数値が、前記第１の一連の状態関連の数値内で連続しており、かつｔ２−ｔ１≠ｔ３−ｔ２である、
システム。
【請求項７】
請求項１に記載のシステムであって、
前記第１の実行プロセスが、前記第１のモデルのための第１のインターフェースを公開し、前記第１のインターフェースが、
前記第２の実行プロセスが前記第１のモデルの第１の実質的な部分へアクセスすることを妨げ、
前記第２の実行プロセスが前記第１のモデルの第２の実質的な部分へアクセスすることを許可する
ものであり、
前記第２の実行プロセスが、前記第２のモデルのための第２のインターフェースを公開し、前記第２のインターフェースが、
前記第１の実行プロセスが前記第２のモデルの第１の実質的な部分へアクセスすることを妨げ、
前記第１の実行プロセスが前記第２のモデルの第２の実質的な部分へアクセスすることを許可する
ものである、
システム。
【請求項８】
請求項１に記載のシステムであって、
前記第１のモデルが第３の状態変数を有し、
前記第１の一連の状態関連の数値中の各数値が、シミュレーション時間中の時間ｔｍでの前記第３の状態変数の値に関連する情報を更に反映し、
前記第２のモデルが、前記第３の状態変数も、前記第１の一連の状態関連の数値からの入力として取る、
システム。
【請求項９】
複数の物理サブシステムを有する物理システムの動作をシミュレートするための、コンピュータで実施される方法であって、
第１の物理コンピューティング・デバイスで第１の連続時間シミュレーションを用いて第１の物理サブシステムをシミュレートするステップと、
前記シミュレートする前記ステップにおいて前記第１の物理サブシステムの状態を特徴付けるｎ個の状態関連変数に関連する情報のエクスポートの要求を受け付けるステップと、
第１の一連の状態関連のメッセージであって、各メッセージが前記ｎ個の状態関連変数の少なくとも１つの値に関連する情報を含むものである、第１の一連の状態関連のメッセージを送るステップと、
第２の物理コンピューティング・デバイスで第２の連続時間シミュレーションを用いて第２の物理サブシステムをシミュレートするステップと、
前記第２の連続時間シミュレーションにおいて、前記第１の一連の状態関連のメッセージが中央の通信プロセスを通ることなしに、前記第１の連続時間シミュレーションから前記第１の一連の状態関連のメッセージを受け取るステップと、
前記第２の連続時間シミュレーションの状態を表すデータを出力するステップと
を備え、
前記第１の物理サブシステムが前記第２の物理サブシステムと対話し、
前記の少なくとも１つの状態関連変数が、前記第１の物理サブシステムと前記第２の物理サブシステムとの間の対話の少なくとも一部を特徴付ける、
方法。
【請求項１０】
請求項９に記載の方法であって、
前記第１の物理サブシステムをシミュレートする前記ステップが第１のプロセッサ上で実行され、
前記第２の物理サブシステムをシミュレートする前記ステップが前記第１のプロセッサ上で実行される、
方法。
【請求項１１】
請求項９に記載の方法であって、
前記第１の物理サブシステムをシミュレートする前記ステップが第１のプロセッサ上で実行され、
前記第２の物理サブシステムをシミュレートする前記ステップが第２のプロセッサ上で実行される、
方法。
【請求項１２】
請求項９に記載の方法であって、ｎが少なくとも２である、方法。
【請求項１３】
請求項１２に記載の方法であって、ｎが少なくとも４である、方法。
【請求項１４】
請求項１２に記載の方法であって、第３の一連の状態関連の数値を送るステップを更に備え、
前記第１の一連の状態関連の数値中の少なくとも１つの数値が、ｎ個の状態変数のすべてを含む組の第１の真部分集合の値に関連する情報を含み、
前記第３の一連の状態関連の数値中の少なくとも１つの数値が、ｎ個の状態変数のすべてを含む組の第２の真部分集合の値に関連する情報を含み、
前記第２の真部分集合が前記第１の真部分集合とは異なるものである、
方法。
【請求項１５】
請求項１４に記載の方法であって、
前記第１の一連の状態関連の数値中のメッセージが、前記第１のモデルにおけるシミュレーション時間において第１のレートでサンプリングされ、
前記第３の一連の状態関連の数値中の数値が、前記第１のモデルにおけるシミュレーション時間において第２のレートでサンプルされ、
前記第１のレートと前記第２のレートとが等しくないものである、
方法。
【請求項１６】
請求項１４に記載の方法であって、
前記第１の一連の状態関連の数値中の数値が、前記第１のモデルにおけるシミュレーション時間において第１のレートでサンプルされ、
前記第３の一連の状態関連の数値中の数値が、前記第１のモデルにおけるシミュレーション時間において第２のレートでサンプルされ、
前記第１のレートと第２のレートとが等しいものである、
方法。
【請求項１７】
請求項９に記載の方法であって、
所与のプロセスが要求を行い、
前記送るステップが、前記第１の一連の状態関連の数値を、前記所与のプロセスとは異なるプロセスへ送る、
方法。
【請求項１８】
請求項９に記載の方法であって、
第１の出力デバイスと通信を行う第１の出力プロセスにおける前記第１の一連の状態関連の数値を受け取るステップと、
前記第１の一連の状態関連の数値中の複数の数値により運ばれる第１の組の情報を、前記第１の出力デバイスへ送るステップと
を更に備え、
前記第１の出力デバイスは前記第１の出力プロセスと通信を行うものである、
方法。
【請求項１９】
請求項１８に記載の方法であって、
前記表示するステップが、前記第１の状態関連変数対独立変数の関数をグラフ化するステップを含む、方法。
【請求項２０】
請求項１８に記載の方法であって、
前記第１の出力プロセスにおいて第２の一連の状態関連の数値を受け取るステップと、
前記第２の一連の状態関連の数値中の複数の数値により表される第２の組の情報を、前記第１の出力デバイスへ送るステップと
を更に備え、
前記送るステップが、前記第１の組の情報および前記第２の組の情報をシステム時間に関連付ける時間情報を出力するステップを含む、
方法。
【請求項２１】
請求項１８に記載の方法であって、
第２の出力デバイスと通信を行う第２の出力プロセスにおいて第２の一連の状態関連の数値を受け取るステップと、
前記第２の一連の状態関連の数値中の複数の数値により運ばれる第２の組の情報を、前記第２の出力デバイスへ出力するステップと
を更に備え、
前記送るステップが、前記第１の組の情報とシステム時間とを関連付けるステップを含み、
前記出力するステップが、前記第２の組の情報と独立変数とを関連付けるステップを含む、
方法。
【請求項２２】
請求項１に記載のシステムであって、前記第１のモデルは状態−空間モデルである、システム
【請求項２３】
請求項１に記載のシステムであって、
前記第１の連続時間モデルのインプリメンテーションは第１の数値積分技術を用い、
前記第２の連続時間モデルのインプリメンテーションは第２の数値積分技術を用いる、
システム
【請求項２４】
請求項１に記載のシステムであって、
前記第１の実行プロセスおよび前記第２の実行プロセスは第１のプロセッサで実行される、
システム。
【請求項２５】
請求項１に記載のシステムであって、
前記第１の実行プロセスは第１のプロセッサで実行され、
前記第２の実行プロセスは第２のプロセッサで実行される、
システム。
【請求項２６】
請求項１４に記載のシステムであって、
前記第２の一連の状態関連の数値は第１の宛先へ送られ、
前記第３の一連の状態関連の数値は前記第１の宛先へ送られる、
システム。
【請求項２７】
請求項１４に記載のシステムであって、
前記第２の一連の状態関連の数値は第１の宛先へ送られ、
前記第３の一連の状態関連の数値は第２の宛先へ送られる、
システム。
【請求項２８】
請求項１９に記載のシステムであって、前記独立変数は時間である、システム。
【請求項２９】
請求項１９に記載のシステムであって、前記独立変数は前記ｎ個の状態関連変数の１つである、システム。
【請求項３０】
請求項１９に記載のシステムであって、前記独立変数は、前記第２の物理的サブシステムのシミュレーションにおける状態関連変数である、システム。
【請求項３１】
物理的システムをシミュレーションするためのコンピュータで実施されるシステムであって、
前記物理的システムは、２以上のサブシステムを含み、計算システムは、複数ｎ個のコンピューティング・デバイスを備え、各コンピューティング・デバイスは前記物理的システムのサブシステムをシミュレートするものであり、
少なくとも１つのサブシステムが、常微分方程式の系を計算により解くことにより、シミュレーションされるものであり、
それぞれのサブシステムが、
別のサブシステムのシミュレーションへ、該サブシステムからの状態関連データをエンコードする一連の出力メッセージを提供するか、または
別のサブシステムのシミュレーションから、該サブシステムのシミュレーションからの状態関連データをエンコードする一連の入力メッセージを受信するか、または
別のサブシステムのシミュレーションへ、該サブシステムからの状態関連データをエンコードする一連の出力メッセージを提供し、かつ、別のサブシステムのシミュレーションから、該サブシステムのシミュレーションからの状態関連データをエンコードする一連の入力メッセージを受信する
ものであり、
前記計算機システムは、前記サブシステムのシミュレーションの少なくとも１つから、出力信号を提供するものであり、
前記物理的システムのシミュレーションは、Ｏ（ｎ）に、前記計算機システムの１つを用いるシミュレーションの速度を乗算した速度よりも速い速度で行われる、
システム。
【請求項３２】
物理的システムの、コンピュータで実施される分散型シミュレーションであって、その改善が、
ｎ個のコンピューティング・デバイスの組において前記物理的システムの連続時間シミュレーションを実行することと、
前記物理的システムのシミュレーションの状態を表すデータを出力することと、
を備え、
前記実行することは、Ｏ（ｎ）に、前記コンピューティング・デバイスの１つを用いるシミュレーションの速度を乗算した速度よりも速い速度で行われる、
システム。
【請求項３３】
請求項３２に記載のシステムであって、前記実行することは、Ｏ（ｎ２）に、前記コンピューティング・デバイスの１つを用いるシミュレーションの速度を乗算した速度よりも速い速度で行われる、システム。
【請求項３４】
請求項３２に記載のシステムであって、前記実行することは、少なくとも、Ｏ（ｎ３）に、前記コンピューティング・デバイスの１つを用いるシミュレーションの速度を乗算した速度で行われる、システム。
【請求項３５】
請求項３１に記載のシステムであって、実行は、Ｏ（ｎ２）に、前記コンピューティング・デバイスの１つを用いるシミュレーションの速度を乗算した速度よりも速い速度で行われる、システム。
【請求項３６】
請求項３１に記載のシステムであって、実行は、少なくとも、Ｏ（ｎ３）に、前記コンピューティング・デバイスの１つを用いるシミュレーションの速度を乗算した速度で行われる、システム。