動的タイムステップ制御方式に基づき、複数の移動体を模擬するシミュレーション装置であって、ネットワークに接続され、互いに連携して、それぞれ担当する上記移動体を模擬し、他の移動体との会合可能時刻を算出する複数の移動体模擬装置、及び上記ネットワークに接続され、複数の上記移動体模擬装置によってそれぞれ算出された会合可能時刻を記憶装置に記憶した会合可能時刻記憶手段を備え、上記移動体模擬装置は、担当する上記移動体を模擬する模擬手段と、この模擬手段によって模擬される自移動体が、他の移動体と会合状態にあるかどうかを判定する会合判定手段と、この会合判定手段の判定により、上記自移動体と会合状態にない他の移動体について、上記自移動体と会合状態になり得る最早の会合可能時刻を算出する会合可能時刻算出手段と、この会合可能時刻算出手段の算出結果のうちの最早の会合可能時刻と現在論理時刻との間の時間幅を、次回処理のためのタイムステップとして設定するタイムステップ設定手段と、上記会合判定手段の判定対象とする他の移動体を、上記会合可能時刻記憶手段に記憶された会合可能時刻に基づいて選択する判定対象選択手段とを有することを特徴とするシミュレーション装置。上記判定対象選択手段は、上記会合可能時刻記憶手段に記憶された他の移動体模擬装置が算出した自移動体との会合可能時刻と現在論理時刻とを比較し、上記他の移動体模擬装置が算出した自移動体との会合可能時刻が、現在論理時刻よりも未来の論理時刻を指す場合には、当該他の移動体模擬装置が担当する他の移動体を、上記会合判定手段による自移動体との会合判定の対象としないことを特徴とする請求項1記載のシミュレーション装置。上記各移動体模擬装置は、上記会合判定手段による自移動体との会合判定の対象としない移動体について、上記会合可能時刻記憶手段に記憶された自移動体との会合可能時刻が、上記会合可能時刻算出手段によって算出された自移動体と他の移動体との会合可能時刻のいずれよりも早い論理時刻である場合には、上記会合可能時刻算出手段により、当該移動体と自移動体との会合可能時刻の算出を行うことを特徴とする請求項1または請求項2記載のシミュレーション装置。特許文献1を含む従来の動的タイムステップ制御方式では、各々の移動体模擬装置が個々に会合判定および会合可能時刻算出を行っていた。このため、他の移動体模擬装置によって、当該他の移動体と自移動体との会合判定および会合可能時刻算出の結果が判明しているにも関わらず、移動体模擬装置は、独自に同じ会合判定および会合可能時刻算出の処理を行うこととなり、重複する不要な処理が実行されるという問題があった。この発明は、上述のような課題を解決するためになされたものであり、動的タイムステップ制御方式で、処理を減らし、高い実行性能で複数の移動体を模擬するシミュレーション装置を得ることを目的とする。この発明に係わるシミュレーション装置においては、動的タイムステップ制御方式に基づき、複数の移動体を模擬するシミュレーション装置であって、ネットワークに接続され、互いに連携して、それぞれ担当する移動体を模擬し、他の移動体との会合可能時刻を算出する複数の移動体模擬装置、及びネットワークに接続され、複数の移動体模擬装置によってそれぞれ算出された会合可能時刻を記憶装置に記憶した会合可能時刻記憶手段を備え、移動体模擬装置は、担当する移動体を模擬する模擬手段と、この模擬手段によって模擬される自移動体が、他の移動体と会合状態にあるかどうかを判定する会合判定手段と、この会合判定手段の判定により、自移動体と会合状態にない他の移動体について、自移動体と会合状態になり得る最早の会合可能時刻を算出する会合可能時刻算出手段と、この会合可能時刻算出手段の算出結果のうちの最早の会合可能時刻と現在論理時刻との間の時間幅を、次回処理のためのタイムステップとして設定するタイムステップ設定手段と、会合判定手段の判定対象とする他の移動体を、会合可能時刻記憶手段に記憶された会合可能時刻に基づいて選択する判定対象選択手段とを有するものである。この発明は、以上説明したように、動的タイムステップ制御方式に基づき、複数の移動体を模擬するシミュレーション装置であって、ネットワークに接続され、互いに連携して、それぞれ担当する移動体を模擬し、他の移動体との会合可能時刻を算出する複数の移動体模擬装置、及びネットワークに接続され、複数の移動体模擬装置によってそれぞれ算出された会合可能時刻を記憶装置に記憶した会合可能時刻記憶手段を備え、移動体模擬装置は、担当する移動体を模擬する模擬手段と、この模擬手段によって模擬される自移動体が、他の移動体と会合状態にあるかどうかを判定する会合判定手段と、この会合判定手段の判定により、自移動体と会合状態にない他の移動体について、自移動体と会合状態になり得る最早の会合可能時刻を算出する会合可能時刻算出手段と、この会合可能時刻算出手段の算出結果のうちの最早の会合可能時刻と現在論理時刻との間の時間幅を、次回処理のためのタイムステップとして設定するタイムステップ設定手段と、会合判定手段の判定対象とする他の移動体を、会合可能時刻記憶手段に記憶された会合可能時刻に基づいて選択する判定対象選択手段とを有するので、移動体模擬の実行性能を向上させることができる。実施の形態1.図1は、この発明の実施の形態1に係わるシミュレーション装置の構成を示す機能ブロック図である。図1において、シミュレーション装置は、ネットワーク2を介して相互に接続された移動体模擬装置1a、1bと、表示装置3と、会合可能時刻管理手段4会合可能時刻記憶手段とを有する。移動体模擬装置1a、1bは、各々が担当する移動体を模擬するシミュレータであり、ネットワーク2を介して相互に連携して、各々が担当する移動体の模擬処理を、動的タイムステップ制御方式に基づいて行う。この移動体模擬装置は、図1では、2つ示したが、さらに多くのものがネットワーク2に接続される構成であってもよい。表示手段3は、各移動体模擬装置1a、1bから受信した模擬結果の表示を行う。会合可能時刻管理手段4は、各移動体模擬装置1a、1bが実施した会合判定および会合可能時刻算出によって得られた会合可能時刻を保持する。各移動体模擬装置1a、1bは、移動体の模擬処理を行う模擬手段5と、会合可能時刻管理手段4に保持された情報から会合判定および会合可能時刻算出処理を行うべき対象移動体を抽出する判定対象選択手段8と、自移動体模擬装置が担当する移動体以下、自移動体というと他の移動体とが会合状態にあるかどうかを判定する会合判定手段6と、自移動体が他の移動体と会合状態になりうる最早時刻を算出する会合可能時刻算出手段7と、会合判定および会合可能時刻算出の結果に応じて、自身のタイムステップΔtを設定するΔt設定手段9とを有する。このタイムステップΔtについては、従来技術で述べたとおり、各移動体は他の移動体との相互作用の有無を判定会合判定する。この結果、相互作用がないと判定されれば、他の各移動体それぞれについて、相互作用が発生しうる最早時刻会合可能時刻を算出し、それらのうち最早の時刻と現在論理時刻との間の時間幅をタイムステップとして設定するものである。ここで、論理時間とは、シミュレーション中の時間時刻を指し、現在論理時間とは、シミュレーション上、過去から未来へと時間が流れていく中で、注目している時間時刻を指すものとする。なお、各移動体模擬装置1a、1bは、計算機によって構成され、会合可能時刻管理手段4は、記憶装置に会合可能時刻を記録させている。図2は、図1のシミュレーション装置の移動体模擬装置の実行手順を示すフローチャートである。図3は、この発明の実施の形態1に係わるシミュレーション装置の会合可能時刻管理手段で記憶するデータの形式を例示した図である。図3において、各移動体について他の移動体それぞれとの会合可能時刻を行列形式で保持しており、例えば移動体Bと移動体Dの会合可能時刻は、移動体Bに対応する行と移動体Dに対応する列が交差するセルの値である2となる。次に、図2を用いて、各移動体模擬装置におけるシミュレーション実行処理について説明する。まず、模擬手段5は、自移動体模擬装置の現在論理時刻T1における担当する移動体Aの模擬処理を行い、その結果を保持するとともに、他の移動体模擬装置へ送信するステップS1。次いで、判定対象選択手段8は、会合可能時刻管理手段4で記録された自移動体Aと他移動体との会合可能時刻に基づいて、会合判定および会合可能時刻算出の対象とする移動体を選出するステップS2。ここでは、図3のように、会合可能時刻管理手段4に自移動体Aとの会合可能時刻が記録されており、かつ下式1を満足する移動体Xのみを会合判定および会合時刻算出の対象とする。なお、下式1において、TA-Xは、会合可能時刻管理手段4に記録された移動体Aと移動体Xとの会合可能時刻である。T1<TA-X1図3は、会合可能時刻管理手段4が記録するデータを例示したものであり、各移動体について、他の移動体それぞれとの会合可能時刻を行列形式で保持しており、例えば移動体Bと移動体Dの会合可能時刻は、移動体Bに対応する行と移動体Dに対応する列が交差するセルの値である2となる。上記、判定対象の選択では、会合可能時刻が会合可能時刻管理手段4に記録されていることを前提条件としたが、シミュレーション開始時に会合可能時刻管理手段4の記録データを、移動体の全組合せに対して会合可能時刻をシミュレーション開始時刻T0で初期化しておくことで、本条件の判定は不要となる。会合可能時刻が記録されていない移動体Xは、TA-X=T0≦T1となるため、上式1を満足せず、会合判定および会合時刻算出の対象とならない。次に、会合判定手段6は、自移動体Aと他の移動体とで相互作用があるかどうかを判定会合判定するステップS3。相互作用があるか否かの判定は、例えば、一方の探知覆域内に他方が位置しているか否かを判定することで行う。判定対象の移動体のうち少なくとも一つと相互作用があると判定すれば、会合状態であるとする。会合判定の結果は、Δt設定手段9へ通知する。このとき、ステップS2で判定対象として選択した移動体とのみ判定を行う。判定対象とならなかった移動体との会合判定は行わず、当該移動体との相互作用はないものとみなす。ステップS3において、会合状態にないと判定した場合、会合可能時刻算出手段7は、自移動体Aと他の移動体が会合しうる最早の時刻会合可能時刻の算出を行うステップS4。会合可能時刻は、例えば移動体が相互に最短距離を最高速度で接近するといった仮定に基づき、会合状態となりうるまでに要する最短の時間を算出し、これに現在論理時刻T1を加えることで算出する。ここで算出した、あるいは会合可能時刻管理手段4から読み出した他の各移動体との会合可能時刻のうち、最も早い、すなわち現在論理時刻に近い時刻をΔt設定手段9および会合可能時刻管理手段4へ通知する。このステップS4の会合可能時刻算出処理においても、ステップS3と同様に、ステップS2において判定対象として選択されなかった移動体は、算出の対象とせず、当該移動体との会合可能時刻は、ステップS2において会合可能時刻管理手段4から読み出した自移動体と当該移動体との会合可能時刻とする。次いで、Δt設定手段9は、ステップS3の会合判定、またはステップS4の会合可能時刻算出の結果に応じて、次回の自移動体模擬装置が、処理を行う論理時刻までの時間幅Δtを決定するステップS5。ステップS3の会合判定の結果が、会合ありの場合、Δt設定手段9は、十分小さい値ΔtminにΔtを設定する。Δtminは、実施するシミュレーションの仕様などに応じて、予めΔt設定手段9へ設定しておく。一方、ステップS3で、会合なしと判定された場合、ステップS4から通知された会合可能時刻から現在論理時刻を差し引いた時間幅を、タイムステップΔtに設定する。実施するシミュレーションの仕様、例えばシミュレーション実行中に各移動体の航跡を一定以上の精度で表示する必要がある場合など、その内容に応じて、各移動体が取りうる最大タイムステップΔtmaxをΔt設定手段9へ予め設定しておき、前記時間幅がΔtmaxを超える場合は、ΔtにΔtmaxを設定するなどが考えられる。以上によって、移動体模擬装置は、1回分の処理図2の処理を完了し、現在論理時刻を、設定したΔtに基づいて更新した後、次回の処理を開始する。各移動体模擬装置1a、1bでの移動体の模擬結果は、ネットワーク2を介して表示装置3に送信され、表示される。実施の形態1によれば、各移動体模擬装置1a、1bで算出された会合可能時刻を会合可能時刻管理手段4に記録し、それに基づいて会合判定および会合可能時刻算出の対象を取捨選択することで、計算負荷を軽減し、従来の動的タイムステップ方式に基づくシミュレーションよりも高い実行性能をもつシミュレーション装置を得ることが可能である。実施の形態2.図4は、この発明の実施の形態2に係わるシミュレーション装置の移動体模擬装置の実行手順を示すフローチャートである。なお、実施の形態2のシミュレーション装置の構成は、図1と同じである。実施の形態2では、会合可能時刻算出において会合可能時刻管理手段4に保持された情報を元に算出対象から除外した移動体について、条件に応じて会合可能時刻算出の対象とすることで、タイムステップΔtが不要に小さく設定されることを防ぐものである。実施の形態1の図2のΔt設定ステップS5では、判定対象抽出ステップS2で判定対象とならなかった移動体との会合可能時刻は、会合可能時刻管理手段4に記憶されたものを使用して、タイムステップΔtを決定した。しかし、会合可能時刻が互いに最短距離を最高速度で接近するといった最悪時を想定した前提で算出されている場合、実際にその前提通りに移動体が運動することは稀であるため、一般には、より後の論理時刻の状況に基づいて計算した方が、より未来の論理時刻を指すことができる。この場合、実際に会合状態となる論理時刻よりも前の論理時刻に移動体模擬装置は、次の処理を行うこととなり、処理回数が増えて、実行性能の劣化を招く。このため、実施の形態2では、図4のように、各移動体模擬装置1a、1bのシミュレーション実行処理を行う。以下、実施の形態2の動作を図4に沿って説明する。図4のステップS1~ステップS3、ステップS5は、図2における処理と同一の処理であり、その説明を省略する。会合可能時刻算出ステップS4において、他の移動体それぞれとの会合可能時刻のうち、最も早い論理時刻を指すものが、判定対象外の移動体との会合可能時刻、すなわち会合可能時刻管理手段4から取得したものである場合、同移動体との会合可能時刻を現在論理時刻の状況に基づき、再算出しステップS6、再度、最も早い会合可能時刻が、判定対象外の移動体との会合可能時刻かどうかを判定する。ステップS6を、最も早い会合可能時刻が、判定対象の移動体との会合可能時刻になるまで繰り返す。前述の前提によれば、再算出した会合可能時刻は、一般により未来を指すため、Δt設定手段9で設定されるタイムステップΔtも、より大きくなる。そのため、各移動体模擬装置1a、1bが、実行する処理回数を実施の形態1よりも減らすことができ、実行性能が向上する。実施の形態2によれば、他の移動体それぞれとの会合可能時刻のうち、最も早い論理時刻を指すものが、判定対象外の移動体との会合可能時刻、すなわち会合可能時刻管理手段4から取得したものである場合、同移動体との会合可能時刻を現在論理時刻の状況に基づき、再算出する処理を設けたので、各移動体模擬装置1a、1bが実行する処理回数を実施の形態1よりも減らすことができ、実行性能を向上させることができる。