| 基于π演算的舰船作战任务流程建模 |
| |
| 引用本文： | 王威,孙原理,杨春晖.基于π演算的舰船作战任务流程建模[J].海军工程大学学报,2010,22(4). |
| |
| 作者姓名： | 王威 孙原理 杨春晖 |
| |
| 作者单位： | 1. 海军工程大学,管理工程系,武汉,430033;海军工程大学,船舶与动力学院,武汉,430033
2. 海军工程大学,管理工程系,武汉,430033 |
| |
| 基金项目： | 国家部委基金资助项目 |
| |
| 摘 要： | 针对舰船作战任务流程仿真和任务成功性研究的需求,运用π演算理论,对舰船作战任务进行了元任务分解,确定了执行命令-条件-运行设备(command-condition-equipment,CCE)规则。在此基础上,研究了一种基于元任务的作战流程π演算形式化和基于CCE规则的元任务建模方法。利用该方法对潜艇鱼雷攻击过程进行了建模,并分析了任务过程的复杂并发性、不确定性和动态演化性。最后,使用MWB工具对所建模型进行了验证和推演,证明了该模型的正确性和有效性,为舰船作战任务流程建模和分析提供了一种新的技术途径。
|
| 关 键 词： | 元任务 π演算 CCE规则 |
Modeling mission flow of warship combat based on π-calculus |
| |
| WANG Wei,SUN Yuan-li,YANG Chun-hui.Modeling mission flow of warship combat based on π-calculus[J].Journal of Naval University of Engineering,2010,22(4). |
| |
| Authors: | WANG Wei SUN Yuan-li YANG Chun-hui |
| |
| Abstract: | |
| |
| Keywords: | MWB |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
