基于π演算的攻击编队组织的动态演化

根据空战作战任务的特点，对协同攻击任务进行阶段分解和类型分解。建立了基于任务、面向结构、具有集中．分布式指挥控制关系的作战编队组织结构。应用π演算对编队成正的任务角色的指派、维持、更改和角色冲突协调等编队组织动态演化问题进行了研究，使编队成员任务角色可根据空战态势、空战任务和编队成员的生存力等进行及时调整，确保编队有效的实施对目标的协同攻击。

Evolvement of Organization of Attack Team Based on Pi-Calculus

The cooperative air combat mission was dissolved according to the combat phase and combat mission type based on the features of air combat. A combat team organization, which is based on structure and combat mission and has a centralize-distribution command control relation, was proposed. A method of the dynamic evolvement of the team organization based on Pi- calculus was developed, which includes the mission role assignment, role maintaining, role change, and role conflict coordination etc.. By this way, the organization of the team and the mission role of each fighter in the combat team can be adjusted according to combat situation, combat mission and the survival capability of the each fighter etc., so that the fighter in the team can attack enemy targets in cooperation with others effectively.