论文部分内容阅读
基于新一代仿真体系结构HLA的IEEE1516新标准中的最大有效逻辑时间关键值，讨论最大有效逻辑时间在HLA时间管理中的重要意义，分析其在常规时间推进算法中的实现及死锁的产生，研究并证明HLA时间推进中的4个产生死锁的充分条件，即互斥条件、请求保持条件、不剥夺条件和环路等待条件，提出动态滑模的概念，设计了基于动态滑模的无死锁时间管理算法，对Lookahead的合理设置进行了分析。