基于动态滑模的无死锁时间管理算法

摘要

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