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

Modeling mission flow of warship combat based on π-calculus

作　　者：王威[1,2] 孙原理[1] 杨春晖[1] 

机构地区：[1]海军工程大学管理工程系,武汉430033 [2]海军工程大学船舶与动力学院,武汉430033

出　　处：《海军工程大学学报》2010年第4期39-44,共6页Journal of Naval University of Engineering

基　　金：国家部委基金资助项目(1010503020303)

摘　　要：针对舰船作战任务流程仿真和任务成功性研究的需求,运用π演算理论,对舰船作战任务进行了元任务分解,确定了执行命令-条件-运行设备(command-condition-equipment,CCE)规则。在此基础上,研究了一种基于元任务的作战流程π演算形式化和基于CCE规则的元任务建模方法。利用该方法对潜艇鱼雷攻击过程进行了建模,并分析了任务过程的复杂并发性、不确定性和动态演化性。最后,使用MWB工具对所建模型进行了验证和推演,证明了该模型的正确性和有效性,为舰船作战任务流程建模和分析提供了一种新的技术途径。According to the requirements of the flow simulation of combat mission and its successful research,π-calculus theory was used for atomic mission decomposition of warship combat mission to determine CCE（command-condition-equipment） rule.Furthermore,π-calculus modeling method is based on atomic mission and an atomic mission model based on CCE rule.Then this method was used to model the torpedo attacking process of conventional submarines,and analyze the complex concurrence,uncertainty and dynamic evolution in the mission process.Finally,the result verified by MWB shows that the model is applicable and effective,which is a new technical approach to modeling and analyzing the warship combat mission flow.

关 键 词：元任务 Π演算 CCE规则 MWB 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]