反潜搜索方案的形式化描述与效能计算  

Formalization Description and Efficiency Calculation of Antisubmarine Search Scheme

作　　者：卫翔[1,2] 齐新战[2] 王金树[2] 肖滨[2] 

机构地区：[1]海军航空工程学院,烟台264001 [2]海军潜艇学院,青岛266044

出　　处：《系统仿真学报》2013年第S1期353-357,共5页Journal of System Simulation

摘　　要：为满足在复杂水声环境下反潜搜索方案制定和辅助决策的需求,提出了一种反潜搜索方案的形式化描述方法。在研究离散事件仿真和解析计算的基础上,提出了一种基于离散事件仿真的高效反潜搜索方案效能验证与评估分析的方法,并实现了该模型在多核环境下的并行计算。基于上述研究,最终实现了一个集搜索方案设计、效能计算、结果统计分析、图文输出等功能于一体的反潜搜索方案效能分析系统,能够较好的满足反潜搜索方案的形式化描述与效能计算的需求。To meet the needs of antisubmarine search scheme and assistant decision-making under complex underwater acoustic environment,a method of formalization description for antisubmarine search scheme was put forward.Based on the study of discrete event simulation and analytic calculation,a method for antisubmarine search scheme effectiveness verification and assessment analysis was proposed.And this model was implemented in concurrent computation on multi-core computer.Finally,an efficiency analysis system of antisubmarine search scheme was developed,which included antisubmarine search scheme design,efficiency calculation,result of statistical analysis,and the result document output.The system can meet the needs of formalization description and efficiency calculation of antisubmarine search scheme.

关 键 词：反潜搜索方案 形式化 离散事件仿真 效能计算 辅助决策 

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