摘要
防空反导作战系统是一个复杂的军事系统,具有同步、并发、冲突等特点。应用着色Petri网技术对联合反TBM作战系统进行建模,符合联合反导作战系统的特点,能够有效地分析联合反导作战系统的静态结构和动态行为。分析了联合反导作战系统的信息交换关系,建立了系统的CPN模型,对模型进行了验证和仿真。
Air defense ATBM system is a complex system.It is characterized by synchronization, concurrency and conflict.It is suitable for characteristics of union ATBM system to model the system with colored petri nets and it can effectively analyze static structure and dynamic behavior.Firstly, the relation of information exchange of union ATBM system is analyzed, then the CPN model of union ATBM system is built,at last the model is validated and a simulation is given.
出处
《计算机工程与应用》
CSCD
北大核心
2011年第6期235-238,共4页
Computer Engineering and Applications
基金
国家重点基础研究发展规划(973)
国家863计划资助项目~~
