中文摘要：

离散事件系统规范（DEVS）和高层体系结构（HLA）关注于不同的系统层次,将它们结合起来可以有效实现模型重用并利于仿真系统的校核和测试。DEVS/HLA分布仿真环境是将两者集成在一起的实现形式,该环境的核心在于如何利用时间管理服务在HLA分布模式下实现DEVS协议。在对DEVS/HLA环境的体系结构进行详细分析的基础上,详细研究了协调者控制和基于映射机制的两种时间推进方法,着重针对映射式方法提出了一种改进的时间推进算法,该算法能够为成员提供尽可能大的前瞻量,从而改进了DEVS/HLA系统的时间推进效率,算法的实际性能通过实验进行了验证。

英文摘要：

Discrete Event System Specification （DEVS） and High Level Architecture （HLA） focus on different levels of system interoperation. Combining them together helps to realize model reuse effectively and facilitate verification and test of simulation systems. The core of DEVS/HLA environment is how to implement DEVS protocol on distributed simulation systems using HLA time management services. Based on detailed analyses of DEVS/HLA architecture, two kinds of time advancing mechanisms （i.e. coordinator controlling mechanism and mapping mechanism） were thoroughly discussed. A new time advancing algorithm of mapping mechanism was proposed, which could provide federates maximum time lookheads so that it could improve time advancing efficiency greatly. The performance of this algorithm was verified in an actual air-ground countering DEVS/HLA simulation system.