基于π演算的舰船作战任务流程建模

针对舰船作战任务流程仿真和任务成功性研究的需求,运用π演算理论,对舰船作战任务进行了元任务分解,确定了执行命令-条件-运行设备(command-condition-equipment,CCE)规则。在此基础上,研究了一种基于元任务的作战流程π演算形式化和基于CCE规则的元任务建模方法。利用该方法对潜艇鱼雷攻击过程进行了建模,并分析了任务过程的复杂并发性、不确定性和动态演化性。最后,使用MWB工具对所建模型进行了验证和推演,证明了该模型的正确性和有效性,为舰船作战任务流程建模和分析提供了一种新的技术途径。