论文部分内容阅读
时间管理服务是HLA与以前分布式仿真标准最主要区别内容之一,也是RTI实现的重点和难点.其性能直接影响到仿真的效率和正确性.时间管理服务实现的关键是最大可用逻辑时间GALT的计算.论文针对目前GALT算法存在的可能死锁问题,提出了计算GALT的递归式算法——R-GALT算法和递归式推进检测方法,并给出了R-GALT算法无死锁证明.R-GALT算法不但解决了时间管理实现中可能出现的联盟时间推进死锁问题,而且能够提高盟员时间推进的效率.该算法在作者等人研制的遵循IEEE1516标准的RTI软件StarLink