現在の状況をシミュレーション初期条件として多数回のモンテカルロ試行によるシミュレーションを実行し、各シミュレーション結果を統計処理して確率的な将来予測を行う場合に、並列に複数のシミュレーションを実行する分散シミュレーションシステムであって、オプティミスティック法によって前記複数のシミュレーションを実行する将来予測模擬部と、シミュレーション時刻毎の中間的な各シミュレーション結果を集計して最も確率が高いと予測されるシミュレーションの優先順位に基づいて前記将来予測模擬部における次のシミュレーション時刻のシミュレーション実行を割り当てるスケジューリングを行う分散シミュレーション基盤とを備え、前記分散シミュレーション基盤は、予め定めた制約時間内に全てのシミュレーションの実行が完了しない場合は確率が低いと予測されるシミュレーションの実行を打ち切ることを特徴とする分散シミュレーションシステム。分散シミュレーション基盤は、任意のシミュレーション時刻におけるシミュレーション結果が同一であった場合は、当該同一のシミュレーション結果をマージした数だけ確率を加算することを特徴とする請求項1記載の分散シミュレーションシステム。分散シミュレーション基盤は、同一のシミュレーション時刻における複数のシミュレーションを同時に実行することを特徴とする請求項1または請求項2記載の分散シミュレーションシステム。分散シミュレーション基盤は、打ち切ったシミュレーションについて、次時刻以降のシミュレーション時刻におけるシミュレーション実行の際に優先度を再計算し、確率が同じと見積られる他のシミュレーションより優先的にスケジューリングを行うことを特徴とする請求項1から請求項3のうちのいずれか1項記載の分散シミュレーションシステム。非特許文献2の方式は、モンテカルロ試行を高速に実行することが可能であるが、非特許文献2の方式が適用されるシステムは、現在時刻より未来の状況を予測的にシミュレーション実行することを目的にしており、そのためにはシミュレーションが予測したい将来時刻までに終了しなければならないというリアルタイム制約の課題がある。しかしながら、上記従来の分散シミュレーションシステムでは、このようなリアルタイム制約に対し、十分な解決手段を提供していないという課題があった。例えば、非特許文献2の方式でも、DecisionPointにおけるシミュレーション分岐数が非常に多くなった場合などでリアルタイム制約における制約時間内にモンテカルロ試行が実行終了できないケースが考えられ、そのような場合はシミュレーションを途中で打ち切ることになるが、このような場合は、非特許文献2の方式では次に挙げる二つの問題があった。即ち、第一の問題としては、モンテカルロ試行の実行中に動的にFuturesGraphが更新されるため、途中の段階で最終的なモンテカルロ試行回数を求めることができないという問題である。次に、第二の問題は、打ち切られるまでに実行したモンテカルロ試行については、Optimistic法によって巻き戻せる時刻順に実行されており、モンテカルロ試行全体が完了していない途中段階で結果を集計しても、どの様な偏りがあるか分からないという問題である。このような問題のため、非特許文献2の方式では、リアルタイム制約における制約時間内にモンテカルロ試行が実行終了できずシミュレーションを途中で打ち切った場合に、それまで実行されたシミュレーションの結果について確率的な高低を判断することができないといった課題があった。この発明は上記のような課題を解決するためになされたもので、モンテカルロ試行の中で確率の高いシミュレーションについての結果を得ることができる分散シミュレーションシステムを得ることを目的とする。この発明に係る分散シミュレーションシステムは、現在の状況をシミュレーション初期条件として多数回のモンテカルロ試行によるシミュレーションを実行し、各シミュレーション結果を統計処理して確率的な将来予測を行う場合に、並列に複数のシミュレーションを実行する分散シミュレーションシステムであって、オプティミスティック法によって複数のシミュレーションを実行する将来予測模擬部と、シミュレーション時刻毎の中間的な各シミュレーション結果を集計して最も確率が高いと予測されるシミュレーションの優先順位に基づいて将来予測模擬部における次のシミュレーション時刻のシミュレーション実行を割り当てるスケジューリングを行う分散シミュレーション基盤とを備え、分散シミュレーション基盤は、予め定めた制約時間内に全てのシミュレーションの実行が完了しない場合は確率が低いと予測されるシミュレーションの実行を打ち切るようにしたものである。この発明の分散シミュレーションシステムは、シミュレーションの優先順位に基づいて次のシミュレーション時刻のシミュレーション実行を割り当て、予め定めた制約時間内に全てのシミュレーションの実行が完了しない場合は確率が低いと予測されるシミュレーションの実行を打ち切るようにしたので、より確率が高くなると予測されるシミュレーションを制約時間内に実行することができる。実施の形態1.図7は、この発明の実施の形態1による分散シミュレーションシステムを示す構成図である。図7に示す分散シミュレーションシステムは、将来予測模擬部1と分散シミュレーション基盤2を備えている。将来予測模擬部1は、実時間における現在時刻より未来の状況を予測的にシミュレーション実行する機能部であり、Optimistic法による分散並列処理によって仮説を実行する複数の仮説模擬処理部1-1~1-nを備えている。即ち、将来予測模擬部1は、Optimistic法によって複数のシミュレーションを並列に実行する機能部である。分散シミュレーション基盤2は、将来予測模擬部1の仮説模擬処理部1-1~1-nに対して、シミュレーション時刻による時刻進行制御とイベントの送受信制御を行う機能部である。尚、図7に示す分散シミュレーションシステムは、コンピュータを用いて実現され、将来予測模擬部1及び分散シミュレーション基盤2は、それぞれの機能に対応したソフトウェアと、これらソフトウェアを実行するためのCPUやメモリといったハードウェアから構成されている。また、それぞれの仮説模擬処理部1-1~1-nは、並列に処理を行う複数のCPUを用いて構成されている。さらに、将来予測模擬部1や分散シミュレーション基盤2の少なくとも一部を専用のハードウェアで構成してもよい。次に、実施の形態1の分散シミュレーションシステムの動作について説明する。図8は、図7の何れかの仮説模擬処理部1-1~1-nにおいて、実時間における現在時刻t0より未来の状況を、DecisionPointによってグラフ構造化されたFuturesGraphとしてシミュレーション実行する様子を示している。尚、図中の白丸○は保留イベント、大きな黒丸●は実行イベント、小さな黒丸は実行済みイベントを示している。本発明のFuturesGraphによるモンテカルロ試行の実行は、非特許文献2のシステムとは異なり、t0からtxまでの各時刻において異なるモンテカルロ試行をできる限り同時に実行する。図8の状況で説明すると、論理時刻t0において異なるモンテカルロ試行1、2に対応するイベントev1_1、ev2_1が論理時刻t1に出力された場合、論理時刻t1におけるシミュレーション実行は、ev1_1とev2_1のイベント処理を同時に実行することにより、モンテカルロ試行1、2を同時に実行する。図9は、図8の状況における分散シミュレーション基盤2の、仮説模擬処理部1-1~1-nでのイベント処理をスケジューリングするために使用するスケジューリングリストを示したものである。スケジューリングリストは、1行に一つのイベントについての情報を格納したもので、左列に仮説模擬処理部1-1~1-nで実行する際の実行優先度が格納され、中列にイベントの論理時刻が格納され、右列にイベントが格納されている。スケジューリングリストの各行は、先ず左列の実行優先度の降順でソートされ、同じ実行優先度の複数のイベントについては論理時刻の昇順にソートされている。同じ実行優先度で同じ論理時刻の複数のイベントの順序は任意である。なお、実行優先度は合計が1になるような数値が設定される。スケジューリングリストに登録されたイベントは、リストの上から順に仮説模擬処理部1-1~1-nに実行が割当られるが、この分散シミュレーションシステムがリアルタイム以上の処理速度でtx時刻までの将来予測シミュレーションを実行するために設定された制約時間まで仮説模擬処理部1-1~1-nで処理が行われ、制約時間までにスケジューリングリストに登録された全てのイベントが実行できなかった場合にはその時点でイベントの処理が打ち切られる。スケジューリングリストは、スケジューリングリストに登録された全てのイベントが実行されるか、または制約時間で打ち切られるとクリアされ、別のスケジューリングリストが作成される。次に、図8、図9の状況における動作について説明する。図8、図9の状況は本発明による分散シミュレーションシステムにおいて将来予測が開始され始めた段階であり、スケジューリングリストに登録された全てのイベントが制約時間内に処理し終える状況である。先ず、何れかの仮説模擬処理部1-1~1-nが、論理時刻t0において現在時刻の状態を基に次時刻であるt1の状況をシミュレーション実行し、その結果として将来時刻t1に対してシミュレーションがモンテカルロ試行1、2に枝分かれするイベントev1_1およびev2_2が論理時刻t1に対して出力される。仮説模擬処理部1-1~1-nにおける論理時刻t0のシミュレーション実行が終わると、分散シミュレーション基盤2は、論理時刻t1に生成されたev1_1とev2_2を正規化して比較し、マージ可能か否かを判断し、その結果によってイベント実行優先度を計算し、スケジューリングリストへの登録を行う。図8におけるt0実行の状況では、マージすることができないため、ev1_1の実行優先度Pev1_1と、ev2_1の実行優先度Pev2_1の夫々に公平になるよう計算{1/モンテカルロ試行数}に基づき実行優先度0.5を設定し、スケジューリングリストに登録する。次に、論理時刻t1におけるシミュレーション実行について説明する。論理時刻t1のシミュレーション実行は、先ず、分散シミュレーション基盤2がスケジューリングリストの上から順に実行するイベントを取り出し、仮説模擬処理部1-1~1-nにおいて仮説模擬処理を実行させる。図の状況では、ev1_1およびev2_1が同じ実行優先度であったため、ev1_1とev2_1のどちらが先に実行されるかは状況依存である。ev1_1とev2_1の実行が終了すると、論理時刻t2に対してシミュレーションが枝分かれするイベントが出力される。図8の状況では、ev1_1の実行の結果、モンテカルロ試行1におけるev1_2と、枝分かれしたモンテカルロ試行3におけるev3_1が出力され、またev2_1の実行の結果、モンテカルロ試行2におけるev2_2と、枝分かれしたモンテカルロ試行4におけるev4_1が出力されている。論理時刻t1のシミュレーション実行が終わると、分散シミュレーション基盤2は、論理時刻t1の際と同様に、論理時刻t2に生成された各イベントを正規化して比較し、マージ可能か否かを判断し、その結果によってイベント実行優先度を計算し、スケジューリングリストへの登録を行う。各イベントに対する実行優先度の計算は、各モンテカルロ試行に対する実行優先度は{1/モンテカルロ試行数}に基づき0.25になるが、図8の状況ではev3_1がev2_2にマージされているため、ev2_2の実行優先度Pev2_2はマージ回数分実行優先度が加算されて0.5となり、スケジューリングリストに登録されるとev2_2がリストの最上位に格納される。次に、論理時刻t2におけるシミュレーション実行について説明する。論理時刻t2のシミュレーション実行は、先ず、分散シミュレーション基盤2がスケジューリングリストの上から順に実行するイベントを取り出し、仮説模擬処理部1-1~1-nにおいて仮説模擬処理を実行させる。図の状況では、ev2_2が最も実行優先度が高いため、分散シミュレーション基盤2は、ev2_2から仮説模擬処理部1-1~1-nにおいて仮説模擬処理を実行させる。ev2_2、ev1_2、ev4_1の実行が終了すると、論理時刻t3に対してシミュレーションが枝分かれするイベントが出力される。図8の状況では、ev1_2の実行の結果、モンテカルロ試行1におけるev1_3と、枝分かれしたモンテカルロ試行5、6におけるev5_1、ev6_1が出力され、ev2_2の実行の結果、モンテカルロ試行2におけるev2_3と、枝分かれしたモンテカルロ試行7におけるev7_1が出力され、またev3_1の実行の結果、モンテカルロ試行3におけるev4_2と、枝分かれしたモンテカルロ試行8におけるev8_1が出力される。論理時刻t2のシミュレーション実行が終わると、論理時刻t0、t1の際と同様に、分散シミュレーション基盤2は論理時刻t3に生成された各イベントを正規化して比較し、マージ可能か否かを判断し、その結果によってイベント実行優先度を計算して、スケジューリングリストへの登録を行う。各イベントに対する実行優先度の計算は、各モンテカルロ試行に対する実行優先度は{1/モンテカルロ試行数}に基づき0.125になるが、図8の状況では、先ずモンテカルロ試行2のev2_3は論理時刻t2においてモンテカルロ試行3がマージされているためマージ回数分実行優先度が加算されて0.25となり、またev4_2は論理時刻t3においてev8_1がev4_2にマージされるためマージ回数分実行優先度が加算されて0.25となりスケジューリングリストに登録される。このように、各時刻のモンテカルロ試行が同時に実行されると、出力される次時刻のイベントの正規化によってモンテカルロ試行間のマージ可能性が判断され、マージされたモンテカルロ試行は実行優先度が高く設定される。以降、同様の処理がtxまで続けられるが、次に図10、図11を用いてスケジューリングリストに登録されたイベントの実行が制約時間で打ち切られた場合の動作について説明する。尚、図10における白丸○は保留イベント、大きな黒丸●は実行イベント、小さな黒丸は実行済みイベントを示している。図10のt3実行の状況は、図8のt2実行後の状態から論理時刻t3のイベントをスケジューリングリストを用いて仮説模擬処理部1-1~1-nで実行した際に、スケジューリングリストの上から順に実行されたev2_3、ev4_2、ev1_3のイベント実行が制約時間内に終了し、ev5_1、ev6_1、ev8_1の実行ができなかった場合を示している。本発明による分散シミュレーションシステムでは、このまま次の論理時刻t4のイベント実行に進むが、その際にt4より前に実行できなかったイベントのモンテカルロ試行を含めて実行優先度を計算する。t4時刻までに派生した各モンテカルロ試行に対する実行優先度は{1/モンテカルロ試行数}に基づき0.1になるが、ここでマージ回数分についての加算が行われ、その結果ev2_4はt2においてマージが行われているため0.2、ev4_3はt3およびt4においてマージが行われているため0.3、他のモンテカルロ試行が0.1となる。実行優先度とイベントをスケジューリングリストに登録すると、図11のt4のように登録される。先ず、実行優先度によって降順にソートされるため、ev4_3に続いてev2_4の順に並び、そのほかのイベントについては実行優先度は同じであるが、これらのイベントは時刻の昇順にソートされるため、ev5_1、ev6_1、ev8_1が上に登録される。論理時刻t4においては、このスケジューリングリストに基づき、リストの上から順に仮説模擬処理部1-1~1-nに対してイベント実行が割り当てられる。このような動作を行うことにより実施の形態1では次のような効果がある。即ち、現在時刻t0の状況をもとにモンテカルロ試行によって将来時刻txの状況を見積るようなシミュレーションシステムにおいては、txに実時間が進んでしまう前にシミュレーションを実行させる必要があるため、制約時間内でシミュレーションが実行できない場合は途中でシミュレーションを打ち切らなければならない。しかしながら、本実施の形態による分散シミュレーションシステムでは、時刻毎にDecisionPointで派生したモンテカルロ試行のイベントについて同時に実行するためのスケジューリングを行い、その際、マージされたイベントの数によってモンテカルロ試行の優先順位をつけることにより、制約時間内で全てのイベントが実行できなくてもマージ数の多いモンテカルロ試行が優先的にtxまでに実行されるため、モンテカルロ試行の中で確率の高いシミュレーションについてtx時刻の結果を得ることができる。また、マージ数が少なく優先度が低いシミュレーションが多くなった場合には、前時刻のイベントから優先的にスケジューリングが行われるため、優先されるイベントが局所的に偏ることを防ぐことができる。以上説明したように、実施の形態1の分散シミュレーションシステムによれば、現在の状況をシミュレーション初期条件として多数回のモンテカルロ試行によるシミュレーションを実行し、各シミュレーション結果を統計処理して確率的な将来予測を行う場合に、並列に複数のシミュレーションを実行する分散シミュレーションシステムであって、オプティミスティック法によって複数のシミュレーションを実行する将来予測模擬部と、シミュレーション時刻毎の中間的な各シミュレーション結果を集計して最も確率が高いと予測されるシミュレーションの優先順位に基づいて将来予測模擬部における次のシミュレーション時刻のシミュレーション実行を割り当てるスケジューリングを行う分散シミュレーション基盤とを備え、分散シミュレーション基盤は、予め定めた制約時間内に全てのシミュレーションの実行が完了しない場合は確率が低いと予測されるシミュレーションの実行を打ち切るようにしたので、より確率が高くなると予測されるシミュレーションを制約時間内に実行することができる。また、実施の形態1の分散シミュレーションシステムによれば、分散シミュレーション基盤は、任意のシミュレーション時刻におけるシミュレーション結果が同一であった場合は、同一のシミュレーション結果をマージした数だけ確率を加算するようにしたので、制約時間内でのシミュレーションの精度を向上させることができる。また、実施の形態1の分散シミュレーションシステムによれば、分散シミュレーション基盤は、同一のシミュレーション時刻における複数のシミュレーションを同時に実行するようにしたので、制約時間内でのシミュレーションをより確実に実行することができる。また、実施の形態1の分散シミュレーションシステムによれば、分散シミュレーション基盤は、打ち切ったシミュレーションについて、次時刻以降のシミュレーション時刻におけるシミュレーション実行の際に優先度を再計算し、確率が同じと見積られる他のシミュレーションより優先的にスケジューリングを行うようにしたので、優先されるシミュレーションの実行が局所的に偏ることを防ぐことができる。尚、本願発明はその発明の範囲内において、実施の形態の任意の構成要素の変形、もしくは実施の形態の任意の構成要素の省略が可能である。