司维超，韩 维，宋 岩

SIWeichao1,HAN Wei1,SONGYan2

1.海军航空工程学院 飞行器工程系，山东 烟台 264001

2.海军航空工程学院 基础实验部，山东 烟台 264001

1.Department of Airborne Vehicle Engineering,Naval Aeronautical and Astronautical University,Yantai,Shandong 264001,China

2.Foundation Experiment Department,Naval Aeronautical and Astronautical University,Yantai,Shandong 264001,China

1 引言

航空母舰至今仍是世界各军事强国海军最重要的主战装备，其绝大多数作战使命都需要并且只能由舰载机来承担和完成[1]。合理保障舰载机，对提高航母战斗力具有重要的意义[2]。为了明确舰载机在出动过程中的状态，以更好地对其进行保障，首先需要对舰载机的出动流程进行分析。实际的舰载机出动流程比较复杂，需要各部门相关人员的密切配合，涉及到舰载机在不同战位间的保障[3]，增加了建模的复杂性。另外，不同的出动任务其所涉及到舰载机数量、停机位使用范围、起飞位使用情况等各不相同，若分别对其进行建模，则可能导致工作量较大及无法涵盖所有出动任务的情况。

为此在分析Petri网的优点基础上，通过对舰载机出动任务梳理分析，提取共同特征，建立了面向任务的T-Petri网模型。通过对T-Petri的基本网进行简单扩充便可以仿真不同的出动任务，不仅简化了出动流程，而且可以满足舰载机出动任务的多样性建模要求，避免了重复建模的复杂性。

2 面向任务T-Petri网设计

Petri网是模拟并行系统和分布式系统的一种强有力的形式化工具[4]。它能够形象地描述系统的行为特性、分布式特性、异步特性、不确定性、资源竞争等，从而很好地刻画系统的动态行为，分析系统的性能[5-6]。

本部分以Petri网为基础，通过归纳总结舰载机出动任务，设计了一种面向任务的综合T-Petri网模型，其综合性主要体现可以对不同的出动任务进行动态建模。……