基于PEPA的舰艇编队防空过程建模及分析

防空作战是大型水面舰艇编队的主要作战样式之一。本文运用PEPA（性能评价过程代数）方法对舰艇编队防空作战全过程进行有效建模，形式化描述了预警探测、情报传递、命令下达、防空拦截等作战主要过程。建立的PEPA模型具有层次化结构，考虑了要素间相互协作，体现了编队防空作战分布、并发的特点。通过对建立的PEPA模型进行性能指标选择和稳定状态分析，得到了不同因素对编队能力发挥的影响情况，获得了防空作战的基本要素组成。从而提供了一种解决舰艇编队问题的新方法。

Modeling and analysis of air defense process for warship formation based on PEPA

Air defense is a basic operational pattern of large surface warship formation. This paper applies the PEPA (Performance Evaluation Process Algebra) method to model the air defense operation of surface warship formation completely and effectively. The main air defense process, just like early warning, information transmission, giving orders and interception, has been described formally. The established model which has the hierarchical structure takes into account the cooperation among elements and represents the concurrency and distributed character of the air defense operation. By performance index choice and steady state analysis it shows the influences of different factors on the performance of air defense of warship formation. The appropriate composition of the basic formation elements in air defense operation is also obtained. Therefore, it provides a new method to deal with the air defense problem of warship formation.