随着仿真应用领域的不断拓展,分布式系统仿真技术已逐渐成为被广泛使用的主流技术。高层体系结构(High Level Architecture,HLA)成为了分布式仿真领域的标准体系结构。HLA重点突出了仿真系统互操作性和扩展性,并支持多种联邦成员进行交互。HLA中的时间管理服务是实现仿真系统时间同步的关键,对于解决仿真系统中的消息时序问题及保证仿真系统的正确运行起到了至关重要的作用。本文根据项目业务需求,提出了基于STK与HLA的分布式仿真系统结构框架。详细分析了 HLA的组成、规则及其仿真系统结构,讨论了卫星工具包STK的功能特点及其提供的仿真模式。针对仿真系统的死锁问题,本文提出了基于时戳增量期望的前瞻量动态调整算法。通过分析HLA时间管理中的GALT算法,发现前瞻量对于GALT涉及到的OUTTIME计算及解除因成员间相互等待产生的死锁问题具有重要意义。算法将仿真时间分段管理,有效地消除了事件时间戳增量波动较大的影响,同时根据前瞻量与事件时戳增量的关系,对前瞻量大小的设置做了新的定义,最后结合HLA对于前瞻量调整的规则合理地更新前瞻量。针对仿真态势显示不流畅问题,本文提出了基于消息优先级的自适应缓冲区同步协调算法。通过研究联邦成员数据交互与处理的过程,发现问题的根本原因是由于联邦成员之间因处理能力不一致导致的。该算法结合仿真系统中联邦成员的时间推进方式及事件消息对于仿真系统的重要程度,划分了消息的优先级。通过对不同消息数据设置缓冲区,并根据联邦成员程序中数据接收端和数据提取端处理速率的变化,动态调整各缓冲区大小,根据消息优先级对数据进行系统抽样及概率丢弃处理,以此缓解缓冲区存储压力,解决双端数据处理速率不一致所造成的态势显示问题。对于上述两种算法,本文设计相关测试实验,根据采用算法前后的对比实验数据,证明了本文所提算法对于降低仿真系统死锁发生率及提高仿真态势显示流畅度等方面,有着较好的改善效果,验证了算法的可行性和实用性。