実時間統合シミュレーションのためのデータセットバージョン管理の形式化

抄録

実時間統合シミュレーションにおいて利用するデータの整合性を保つ枠組みを提供するバージョン管理機構について、その数学的定式化を行い、管理に必要な操作およびその計算コストに関して議論を行う。災害などの統合シミュレーションを実時間で動作させる場合、時々刻々新しい情報が報告される中で、シミュレーションで利用するデータの間で整合性を維持することは、シミュレーションの正当性を保証する上で重要な課題である。これに理論的背景を与えるため、シミュレーションのデータ管理についての形式化と整合性に関する定理を与え、いくつかの具体的監視手法の計算コストについて議論を行う。