基于HLA时间管理的实时时间控制和乐观时间同步算法设计

Algorithms of Real Time Control and Optimistic Time Synchronization Based on Time Management in HLA

首先提出ＨＬＡ 系统中仿真时间一致性的概念，并归纳出三条实现策略，同时给出充分性证明；然后从支撑系统实现的角度，分别针对基于ＨＬＡ 时间管理的的实时仿真控制和乐观时间同步给出了设计算法，并进行了严格的数学证明。

The paper puts forward the conception of “time coherence” and the realization policy in HLA. Tits sufficiency is also proved. In order to construct a HLA system, we solve the problems of real time control and optimistic time synchronization based on HLA time management mechanism by providing the appropriate algorithms and the mathematical proofs.