一種編隊(duì)作戰(zhàn)計(jì)劃形式化描述方法研究*

曾 鵬

(中國(guó)船舶工業(yè)系統(tǒng)工程研究院 北京 100094)

?

一種編隊(duì)作戰(zhàn)計(jì)劃形式化描述方法研究*

曾 鵬

(中國(guó)船舶工業(yè)系統(tǒng)工程研究院 北京 100094)

在分析作戰(zhàn)計(jì)劃形式化描述方法研究現(xiàn)狀的基礎(chǔ)上,針對(duì)如何為任務(wù)規(guī)劃、資源規(guī)劃和效能評(píng)估提供有效支撐的問(wèn)題,構(gòu)建了作戰(zhàn)任務(wù)、作戰(zhàn)資源和作戰(zhàn)效能等核心概念模型,重點(diǎn)分析了形式化描述為任務(wù)規(guī)劃、資源規(guī)劃和效能評(píng)估提供的支撐作用,在此基礎(chǔ)上提出了一種基于XML Schema的編隊(duì)作戰(zhàn)計(jì)劃形式化描述方法,可為編隊(duì)作戰(zhàn)計(jì)劃的自動(dòng)生成、智能分析提供支撐。

作戰(zhàn)計(jì)劃; 作戰(zhàn)任務(wù); 作戰(zhàn)資源; 作戰(zhàn)效能; 形式化描述

Class Number E83

1 引言

作戰(zhàn)計(jì)劃的實(shí)質(zhì)是要回答“干什么、怎么干、誰(shuí)來(lái)干、為什么”等問(wèn)題,其中“干什么、怎么干”需要通過(guò)任務(wù)規(guī)劃解答,“誰(shuí)來(lái)干”通過(guò)資源規(guī)劃來(lái)解答,“為什么”通過(guò)效能評(píng)估來(lái)解答。作戰(zhàn)計(jì)劃形式化描述的目的是為作戰(zhàn)計(jì)劃的自動(dòng)生成、智能分析提供基礎(chǔ)和支撐,目前研究主要側(cè)重于對(duì)作戰(zhàn)計(jì)劃的組成要素進(jìn)行分析和形式化描述,對(duì)于通過(guò)形式化描述如何同時(shí)為任務(wù)規(guī)劃、資源規(guī)劃和效能評(píng)估提供有效支撐關(guān)注較少。

例如:王振等[1]分別運(yùn)用EATI方法和XML方法對(duì)作戰(zhàn)方案進(jìn)行結(jié)構(gòu)化與形式化描述,提出了海上編隊(duì)作戰(zhàn)方案XML描述框架。樊青云等[2]重點(diǎn)分析了作戰(zhàn)任務(wù)的概念和作戰(zhàn)任務(wù)間的關(guān)系,并對(duì)其進(jìn)行了相應(yīng)的形式化描述,提出了作戰(zhàn)計(jì)劃和作戰(zhàn)任務(wù)的XML Schema結(jié)構(gòu)圖,指出了其中任務(wù)間串行、并行和反饋約束關(guān)系是進(jìn)行任務(wù)規(guī)劃和排序的重要條件。

寇力[3]在基于案例的空中進(jìn)攻作戰(zhàn)計(jì)劃生成技術(shù)研究中采用基于軍事任務(wù)概念本體與CPR相結(jié)合的描述方法,提出了作戰(zhàn)實(shí)體、任務(wù)、行動(dòng)、目標(biāo)等XML Schema形式化描述,但未具體說(shuō)明其中任務(wù)序列控制段和行為控制段如何為任務(wù)和行為的規(guī)劃提供支撐。王德鑫[4]提出了一種包含計(jì)劃應(yīng)用層、作戰(zhàn)資源層、行動(dòng)過(guò)程層、組織結(jié)構(gòu)層和信息交互層的五層計(jì)劃描述框架,認(rèn)為基于該描述框架可通過(guò)調(diào)整過(guò)程或活動(dòng)與資源實(shí)體組合關(guān)系進(jìn)行資源調(diào)配,通過(guò)調(diào)整過(guò)程活動(dòng)之間的組合進(jìn)行行動(dòng)規(guī)劃。

本文以同時(shí)支撐作戰(zhàn)計(jì)劃生成中任務(wù)規(guī)劃、資源規(guī)劃和效能評(píng)估三個(gè)核心內(nèi)容為目的,通過(guò)梳理和改進(jìn)作戰(zhàn)任務(wù)、作戰(zhàn)資源、效能評(píng)估等核心概念模型及相互關(guān)系,提出一種基于XML Schema的編隊(duì)作戰(zhàn)計(jì)劃形式化描述方法。

2 作戰(zhàn)計(jì)劃核心概念模型及相互關(guān)系

以文獻(xiàn)[5～8]中定義的作戰(zhàn)計(jì)劃概念模型為基礎(chǔ),建立作戰(zhàn)任務(wù)、作戰(zhàn)資源和作戰(zhàn)效能三個(gè)核心概念模型。

· 作戰(zhàn)任務(wù)主要對(duì)作戰(zhàn)子任務(wù)、作戰(zhàn)行動(dòng)建模。支持描述各子任務(wù)/行動(dòng)的前條件、后條件,子任務(wù)/行動(dòng)之間的串、并聯(lián)等邏輯關(guān)系以及支持描述各子任務(wù)/行動(dòng)對(duì)資源的需求。

· 作戰(zhàn)資源主要對(duì)實(shí)體、資源建模。支持描述實(shí)體擁有資源類型、資源數(shù)量以及資源與子任務(wù)/行動(dòng)的動(dòng)態(tài)分配關(guān)系。

· 作戰(zhàn)效能主要對(duì)作戰(zhàn)任務(wù)效能、作戰(zhàn)行動(dòng)效能建模。支持根據(jù)各子任務(wù)/行動(dòng)之間的串、并聯(lián)等邏輯關(guān)系,描述各子任務(wù)/行動(dòng)的作戰(zhàn)效能,以及作戰(zhàn)任務(wù)整體效能。

作戰(zhàn)任務(wù)、作戰(zhàn)資源和作戰(zhàn)效能之間相互關(guān)系如圖1所示。

圖1 核心概念模型組成與相互關(guān)系圖

2.1 作戰(zhàn)任務(wù)要素組成及形式化描述

作戰(zhàn)任務(wù)組成要素主要包括子任務(wù)集、行動(dòng)集、執(zhí)行順序等,作戰(zhàn)任務(wù)XML Schema結(jié)構(gòu)圖如圖2所示。

圖2 作戰(zhàn)任務(wù)XML Schema結(jié)構(gòu)圖

2.2 作戰(zhàn)資源要素組成及形式化描述

作戰(zhàn)資源組成要素主要包括實(shí)體、資源和分配關(guān)系等,作戰(zhàn)資源XML Schema形式化描述如圖3所示。

圖3 作戰(zhàn)資源XML Schema結(jié)構(gòu)圖

2.3 作戰(zhàn)效能要素及形式化描述

作戰(zhàn)效能組成要素主要包括子任務(wù)/行動(dòng)效能、執(zhí)行順序、總效能等,作戰(zhàn)效能XML Schema形式化描述如圖4所示。

圖4 作戰(zhàn)效能XML Schema結(jié)構(gòu)圖

3 形式化描述對(duì)作戰(zhàn)計(jì)劃形成的支撐分析

作戰(zhàn)計(jì)劃形成過(guò)程一般包括任務(wù)分析、預(yù)案(COA)生成、COA分析、COA優(yōu)選、計(jì)劃生成五個(gè)大階段[9],各階段需開(kāi)展的主要工作及通過(guò)形式化描述可提供的支持如表1所示。

表1 計(jì)劃各階段主要工作及形式化描述的支持

下面通過(guò)實(shí)例,重點(diǎn)說(shuō)明上述形式化描述模板對(duì)任務(wù)規(guī)劃、資源規(guī)劃和效能評(píng)估的支撐作用。

3.1 任務(wù)規(guī)劃實(shí)例分析

假設(shè)經(jīng)任務(wù)分析,形成子任務(wù)/行動(dòng)、條件如表2所示[10]。

表2 子任務(wù)/行動(dòng)、條件表

基于上述作戰(zhàn)任務(wù)XML Schema,表2所示子任務(wù)/行動(dòng)、條件可用XML文檔形式化描述如下:

〈作戰(zhàn)任務(wù)〉

〈說(shuō)明段〉

〈子任務(wù)集〉

〈子任務(wù)標(biāo)識(shí)〉T1〈/子任務(wù)標(biāo)識(shí)〉

〈子任務(wù)名稱〉掃除水雷〈/子任務(wù)名稱〉

〈前提條件〉無(wú)〈/前提條件〉

〈后條件〉T2,T3〈/后條件〉

〈資源需求〉

〈資源需求〉

〈資源需求〉

〈資源需求〉

〈/子任務(wù)集〉

〈子任務(wù)集〉

〈子任務(wù)標(biāo)識(shí)〉T2〈/子任務(wù)標(biāo)識(shí)〉

〈子任務(wù)名稱〉清除灘頭陣地〈/子任務(wù)名稱〉

〈前提條件〉T1〈/前提條件〉

〈后條件〉T5〈/后條件〉

〈資源需求〉

〈資源需求〉

〈資源需求〉

〈資源需求〉

〈/子任務(wù)集〉

〈子任務(wù)集〉

〈子任務(wù)標(biāo)識(shí)〉T3〈/子任務(wù)標(biāo)識(shí)〉

〈子任務(wù)名稱〉清除防空陣地〈/子任務(wù)名稱〉

〈前提條件〉T1〈/前提條件〉

〈后條件〉T4〈/后條件〉

〈資源需求〉

〈/子任務(wù)集〉

〈子任務(wù)集〉

〈子任務(wù)標(biāo)識(shí)〉T4〈/子任務(wù)標(biāo)識(shí)〉

〈子任為名稱〉機(jī)小分隊(duì)機(jī)降〈/子任務(wù)名稱〉

〈前提條件〉T3〈/前提條件〉

〈后條件〉T6〈/后條件〉

〈資源需求〉

〈/子任務(wù)集〉

〈子任務(wù)集〉

〈子任務(wù)標(biāo)識(shí)〉T5〈/子任務(wù)標(biāo)識(shí)〉

〈子任務(wù)名稱〉登陸分隊(duì)登陸〈/子任務(wù)名稱〉

〈前提條件〉T2〈/前提條件〉

〈后條件〉T6〈/后條件〉

〈資源需求〉

〈/子任哥集〉

〈子任務(wù)集〉

〈子任務(wù)標(biāo)識(shí)〉T6〈/子任務(wù)標(biāo)識(shí)〉

〈子任務(wù)名稱〉奪取主高地〈/子任務(wù)名稱〉

〈前提條件〉T4,T5〈/前提條件〉

〈后條件/〉

〈資源需求〉

〈/子任務(wù)集〉

〈行動(dòng)集〉

〈執(zhí)行順序〉

〈執(zhí)行順序〉

〈執(zhí)行順序〉

〈執(zhí)行順序〉

〈執(zhí)行順序〉

〈執(zhí)行順序〉

〈執(zhí)行順序〉

〈執(zhí)行順序〉

〈/作戰(zhàn)任務(wù)〉

假設(shè)經(jīng)任務(wù)規(guī)劃處理,形成COA如圖5所示。

圖5 COA示例圖

基于上述作戰(zhàn)任務(wù)XML Schema,圖5所示COA可用XML文檔形式化描述如下:

〈作戰(zhàn)任務(wù)〉

〈說(shuō)明段〉

〈子任務(wù)集〉

〈子任務(wù)集〉

〈子任務(wù)集〉

〈子任務(wù)集〉

〈子任務(wù)集〉

〈子任務(wù)集〉

〈行動(dòng)集〉

〈執(zhí)行順序〉

〈子任務(wù)1標(biāo)識(shí)〉T1〈/子任務(wù)1標(biāo)識(shí)〉

〈子任務(wù)2標(biāo)識(shí)〉T2〈/子任務(wù)2標(biāo)識(shí)〉

〈順序關(guān)系〉串行〈/順序關(guān)系〉

〈/執(zhí)行順序〉

〈執(zhí)行順序〉

〈子任務(wù)1標(biāo)識(shí)〉T1〈/子任務(wù)1標(biāo)識(shí)〉

〈子任務(wù)2標(biāo)識(shí)〉T3〈/子任務(wù)2標(biāo)務(wù)〉

〈順序關(guān)系〉串行〈/順序關(guān)系〉

〈/執(zhí)行順序〉

〈執(zhí)行順序〉

〈子任務(wù)1標(biāo)識(shí)〉T2〈/子任務(wù)1標(biāo)識(shí)〉

〈子任務(wù)2標(biāo)識(shí)〉T3〈/子任務(wù)2標(biāo)識(shí)〉

〈順序關(guān)系〉并行〈/順序關(guān)系〉

〈/執(zhí)行順序〉

〈執(zhí)行順序〉

〈子任務(wù)1標(biāo)識(shí)〉T2〈/子任務(wù)1標(biāo)識(shí)〉

〈子任務(wù)2標(biāo)識(shí)〉T5〈/子任務(wù)2標(biāo)識(shí)〉

〈順序關(guān)系〉串行〈/順序關(guān)系〉

〈/執(zhí)行順序〉

〈執(zhí)行順序〉

〈子任務(wù)1標(biāo)識(shí)〉T3〈/子任務(wù)1標(biāo)識(shí)〉

〈子任務(wù)2標(biāo)識(shí)〉T4〈/子任務(wù)2標(biāo)識(shí)〉

〈順序關(guān)系〉串行〈/順序關(guān)系〉

〈/執(zhí)行順序〉

〈執(zhí)行順序〉

〈子任務(wù)1標(biāo)識(shí)〉T5〈/子任務(wù)1標(biāo)識(shí)〉

〈子任務(wù)2標(biāo)識(shí)〉T0〈/子任務(wù)2標(biāo)識(shí)〉

〈順序關(guān)系〉串行〈/順序關(guān)系〉

〈/執(zhí)行順序〉

〈執(zhí)行順序〉

〈子任各1標(biāo)識(shí)〉T4〈/子任務(wù)1標(biāo)識(shí)〉

〈子任務(wù)2標(biāo)識(shí)〉T0〈/子任務(wù)2標(biāo)識(shí)〉

〈順序關(guān)系〉串行〈/順序關(guān)系〉

〈/執(zhí)行順序〉

〈執(zhí)行順序〉

〈子任務(wù)1標(biāo)識(shí)〉T0〈/子任各1標(biāo)識(shí)〉

〈子任務(wù)2標(biāo)識(shí)〉T6〈/子任務(wù)2標(biāo)識(shí)〉

〈順序關(guān)系〉串行〈/順序關(guān)系〉

〈/執(zhí)行順序〉

〈/作戰(zhàn)任務(wù)〉

3.2 資源規(guī)劃實(shí)例分析

假設(shè):實(shí)體類型有(E1,E2,…,En),資源類型有(R1,R2,…,Rn),經(jīng)任務(wù)分析,形成子任務(wù)/行動(dòng)資源需求以及資源情況如表3所示。

基于上述XML Schema,表3所示資源需求及現(xiàn)狀可用XML文檔形式化描述如下:

〈作戰(zhàn)任務(wù)〉

〈說(shuō)明段〉

〈子任務(wù)集〉

〈子任務(wù)標(biāo)識(shí)〉T1〈/子任務(wù)標(biāo)識(shí)〉

〈子任務(wù)名稱〉掃除水雷〈/子任務(wù)名稱〉

〈前提條件〉無(wú)〈/前提條件〉

〈后條件〉T2,T3〈/后條件〉

〈資源需求〉

〈資源類型〉E1〈/資源類型〉

〈資源數(shù)量〉1〈/資源數(shù)量〉

〈/資源需求〉

〈資源需求〉

〈資源類型〉E2〈/資源類型〉

〈資源數(shù)量〉0〈/資源數(shù)量〉

〈/資源需求〉

〈資源需求〉

〈資源類型〉R1〈/資源類型〉

〈資源數(shù)量〉0〈/資源數(shù)量〉

〈/資源需求〉

〈資源需求〉

〈資源婁型〉R2〈/資源類型〉

〈資源數(shù)量〉1〈/資源數(shù)量〉

〈/資源需求〉

〈/子任務(wù)集〉

〈子任務(wù)集〉

〈子任務(wù)集〉

〈子任務(wù)集〉

〈子任務(wù)集〉

〈子任務(wù)集〉

〈行動(dòng)務(wù)〉

〈執(zhí)行順序〉

〈執(zhí)行順序〉

〈執(zhí)行順序〉

〈執(zhí)行順序〉

〈執(zhí)行順序〉

〈執(zhí)行順序〉

〈執(zhí)行順序〉

〈/作戰(zhàn)任務(wù)〉

〈作戰(zhàn)資源〉

〈實(shí)體 類型=“E1” 數(shù)量=“3”/〉

〈實(shí)體 類型=“E2” 數(shù)量=“2”/〉

〈資源 類型=“R1” 數(shù)量=“2”/〉

〈資源 類型=“R2” 數(shù)量=“2”/〉

〈分配關(guān)系 資源類型=“E1” 任務(wù)標(biāo)識(shí)=“T1” 分配數(shù)量=“1”/〉

〈分配關(guān)系 資源類型=“E1” 任務(wù)標(biāo)識(shí)=“T3” 分配數(shù)量=“1”/〉

〈分配關(guān)系 資源類型=“E2” 任務(wù)標(biāo)識(shí)=“T2” 分配數(shù)量=“1”/〉

〈分配關(guān)系 資源類型=“R1” 任務(wù)標(biāo)識(shí)=“T2” 分配數(shù)量=“1”/〉

〈分配關(guān)系 資源類型=“R2” 任務(wù)標(biāo)識(shí)=“T1” 分配數(shù)量=“1”/〉

〈/作戰(zhàn)資源〉

假設(shè)經(jīng)資源分配,形成如下任務(wù)-資源分配表。

表4 任務(wù)-資源分配表

基于上述作戰(zhàn)資源XML Schema,表4所示任務(wù)-資源分配可用XML文檔形式化描述如下:

〈作戰(zhàn)資源〉

〈實(shí)體 類型=“E1” 數(shù)量=“3”/〉

〈實(shí)體 類型=“E2” 數(shù)量=“2”/〉

〈資源 類型=“R1” 數(shù)量=“2”/〉

〈資源 類型=“R2” 數(shù)量=“2”/〉

〈分配關(guān)系 資源類型=“E1” 任務(wù)標(biāo)識(shí)=“T1” 分配數(shù)量=“1”/〉

〈分配關(guān)系 資源類型=“E1” 任務(wù)標(biāo)識(shí)=“T3” 分配數(shù)量=“1”/〉

〈分配關(guān)系 資源類型=“E2” 任務(wù)標(biāo)識(shí)=“T2” 分配數(shù)量=“1”/〉

〈分配關(guān)系 資源類型=“R1” 任務(wù)標(biāo)識(shí)=“T2” 分配數(shù)量=“1”/〉

〈分配關(guān)系 資源類型=“R2” 任務(wù)標(biāo)識(shí)=“T1” 分配數(shù)量=“1”/〉

〈/作戰(zhàn)資源〉

3.3 效能評(píng)估的實(shí)例分析

假設(shè)選擇任務(wù)完成概率為作戰(zhàn)效能指標(biāo),各子任務(wù)/行動(dòng)完成概率及執(zhí)行順序關(guān)系如圖6所示。

圖6 子任務(wù)/行動(dòng)完成概率及執(zhí)行順序關(guān)系圖例圖

利用文獻(xiàn)[11～12]介紹的串并聯(lián)任務(wù)效能計(jì)算方法,上述任務(wù)序列整體完成概率為

E=1.0×[1-(1-0.8×0.8)×(1-0.9×0.9)]×1.0

=0.93

基于上述作戰(zhàn)效能XML Schema,圖6所示子任務(wù)/行動(dòng)完成概率,以及任務(wù)整體完成概率可用XML文檔形式化描述如下:

〈作戰(zhàn)效能〉

〈子任務(wù)效能〉

〈子任務(wù)標(biāo)識(shí)〉T1〈/子任務(wù)標(biāo)識(shí)〉

〈子任務(wù)效能〉1.0〈/子任務(wù)效能〉

〈/子任務(wù)效能〉

〈子任務(wù)效能〉

〈子任務(wù)標(biāo)識(shí)〉T2〈/子任務(wù)標(biāo)識(shí)〉

〈子任務(wù)效能〉0.8〈/子任務(wù)效能〉

〈/子任務(wù)效能〉

〈子任務(wù)效能〉

〈子任務(wù)標(biāo)識(shí)〉T3〈/子任務(wù)標(biāo)識(shí)〉

〈子任務(wù)效能〉0.9〈/子任務(wù)效能〉

〈/子任務(wù)效能〉

〈子任務(wù)效能〉

〈子任務(wù)標(biāo)識(shí)〉T4〈/子任務(wù)標(biāo)識(shí)〉

〈子任務(wù)效能〉0.9〈/子任務(wù)效能〉

〈/子任務(wù)效能〉

〈子任務(wù)效能〉

〈子任務(wù)標(biāo)識(shí)〉T5〈/子任務(wù)標(biāo)識(shí)〉

〈子任務(wù)效能〉0.8〈/子任務(wù)效能〉

〈/子任務(wù)效能〉

〈子任務(wù)效能〉

〈子任務(wù)標(biāo)識(shí)〉T6〈/子任務(wù)標(biāo)識(shí)〉

〈子任務(wù)效能〉1.0〈/子任務(wù)效能〉

〈/子任務(wù)效能〉

〈行動(dòng)效能〉

〈行動(dòng)標(biāo)識(shí)〉A(chǔ)1〈/行動(dòng)標(biāo)識(shí)〉

〈行動(dòng)效能〉0〈/行動(dòng)效能〉

〈/行動(dòng)效能〉

〈執(zhí)行順序〉

〈執(zhí)行順序〉

〈執(zhí)行順序〉

〈執(zhí)行順序〉

〈執(zhí)行順序〉

〈執(zhí)行順序〉

〈子任務(wù)1標(biāo)識(shí)〉T4〈/子任務(wù)1標(biāo)識(shí)〉

〈子任務(wù)2標(biāo)識(shí)〉T6〈/子任務(wù)2標(biāo)識(shí)〉

〈順序關(guān)系〉串行〈/順序關(guān)系〉

〈/執(zhí)行順序〉

〈執(zhí)行順序〉

〈子任務(wù)1標(biāo)識(shí)〉T5〈/子任務(wù)1標(biāo)識(shí)〉

〈子任務(wù)2標(biāo)識(shí)〉T6〈/子任務(wù)2標(biāo)識(shí)〉

〈順序關(guān)系〉串行〈/順序關(guān)系〉

〈/執(zhí)行順序〉

〈總效能〉0.93〈/總效能〉

〈/作戰(zhàn)效能〉

4 編隊(duì)作戰(zhàn)計(jì)劃形式化描述

4.1 編隊(duì)作戰(zhàn)計(jì)劃形式化描述的必要性

海上編隊(duì)作為一支遠(yuǎn)離基地的獨(dú)立海上作戰(zhàn)力量,由若干海上戰(zhàn)斗群編成,具有海空一體、大縱深、多層次的火力配系,擁有很強(qiáng)的攻防能力。網(wǎng)絡(luò)中心戰(zhàn)的作戰(zhàn)樣式出現(xiàn),要求現(xiàn)行的海軍艦艇編隊(duì)作戰(zhàn)指揮系統(tǒng)必需進(jìn)行變革,改變傳統(tǒng)的計(jì)劃方式,增強(qiáng)計(jì)劃自動(dòng)生成、智能分析和動(dòng)態(tài)調(diào)整的能力。海上編隊(duì)作戰(zhàn)計(jì)劃的形式化描述是實(shí)現(xiàn)作戰(zhàn)指揮自動(dòng)化的關(guān)鍵問(wèn)題,也是提高編隊(duì)協(xié)同作戰(zhàn)能力的前提[13～14]。

4.2 編隊(duì)作戰(zhàn)計(jì)劃組成要素及形式化描述

編隊(duì)作戰(zhàn)計(jì)劃組成要素主要包括作戰(zhàn)計(jì)劃說(shuō)明、情況判斷、作戰(zhàn)任務(wù)、作戰(zhàn)資源、作戰(zhàn)效能等,基于上述作戰(zhàn)計(jì)劃核心概念模型,編隊(duì)作戰(zhàn)計(jì)劃可形式化如圖7所示XML Schema結(jié)構(gòu)圖。

圖7 編隊(duì)作戰(zhàn)計(jì)劃XML Schema結(jié)構(gòu)

5 結(jié)語(yǔ)

本文提出了作戰(zhàn)計(jì)劃的三個(gè)核心概念模型及其形式化描述,并以實(shí)例分析了其對(duì)任務(wù)規(guī)劃、資源規(guī)劃和效能評(píng)估的支撐作用,在此基礎(chǔ)上給出了編隊(duì)作戰(zhàn)計(jì)劃XML Schema形式化描述,可為編隊(duì)作戰(zhàn)計(jì)劃的自動(dòng)生成、智能分析提供基礎(chǔ)和支撐。

[1] 王振,繆旭東.基于XML的作戰(zhàn)方案形式化描述[J].系統(tǒng)仿真學(xué)報(bào),2006(S2):41-44.

[2] 樊青云,劉東波,阮啟明,等.基于XML的作戰(zhàn)計(jì)劃形式化描述[J].計(jì)算機(jī)技術(shù)與發(fā)展,2009,19(10):204-210.

[3] 寇力.基于案例的空中進(jìn)攻作戰(zhàn)計(jì)劃生成技術(shù)研究[D].長(zhǎng)沙:國(guó)防科學(xué)技術(shù)大學(xué),2005.

[4] 王德鑫.以網(wǎng)絡(luò)為中心的聯(lián)合作戰(zhàn)計(jì)劃描述與生成系統(tǒng)研究[D].長(zhǎng)沙:國(guó)防科學(xué)技術(shù)大學(xué),2006.

[5] 孫靖,劉曉明.基于UML和XML Schema的作戰(zhàn)計(jì)劃建模[J].解放軍理工大學(xué)學(xué)報(bào)(自然科學(xué)版),2003,4(5):30-35.

[6] 楊世幸,陽(yáng)東升,張維明,等.作戰(zhàn)使命分解與任務(wù)建模方法[J].火力與指揮控制,2009,34(8):24-29.

[7] 胡欣.基于本體的聯(lián)合作戰(zhàn)計(jì)劃表示與校驗(yàn)研究[D].長(zhǎng)沙:國(guó)防科學(xué)技術(shù)大學(xué),2011.

[8] 張曉雪,劉剛,羅愛(ài)民,等.基于對(duì)象Petri網(wǎng)的作戰(zhàn)行動(dòng)方案開(kāi)發(fā)方法[J].系統(tǒng)工程與電子技術(shù),2012,34(10):2058-2063.

[9] Navy Warfare Publication Navy Planning NWP 5-01[EB/OL]. [2015-02-26]. https://www.usnwc.edu/getattachment/171afbf3-a1e2-46b3-b1e9-d1fa4b0fec5a/5-01_(Dec_2013)_(NWP)-(Promulgated).aspx.

[10] 李剛洲.面向服務(wù)的作戰(zhàn)計(jì)劃生成方法研究[D].長(zhǎng)沙:國(guó)防科學(xué)技術(shù)大學(xué),2009.

[11] 程愷,張宏軍,黃亞,等.基于擴(kuò)展IDEF3方法的作戰(zhàn)任務(wù)描述及效能評(píng)估[J].計(jì)算機(jī)技術(shù)與發(fā)展,2011,21(2):198-202.

[12] 金偉新.“串并聯(lián)”模型框架與作戰(zhàn)效能評(píng)估[J].系統(tǒng)工程與電子技術(shù),2001,23(7):41-43.

[13] 宋勝鋒,李啟元,李沁春.艦艇編隊(duì)作戰(zhàn)指揮系統(tǒng)構(gòu)想[J].火力與指揮控制,2007,32(12):1-4.

[14] 孫慶聲,繆旭東,陳行軍.海上編隊(duì)作戰(zhàn)方案形式化描述研究[J].艦船電子工程,2009,29(6):1-3.

A Formal Representation Method for Operational Plan of Naval Formation

ZENG Peng

(Systems Engineering Research Institute of CSSC, Beijing 100094)

Based on the research status of the operational plan on formal representation method, aiming at how to provide effective support for the mission planning, resource planning and effectiveness evaluation problems, the core concept model of combat task, combat resource and operational effectiveness is constructed. Focus on the analysis of the role of the formal representation for mission planning, resource planning and effectiveness evaluation, a formal representation method for operational plan of navy formation based on XML Schema is proposed, which can provide support for the automatic generation and intelligent analysis.

operational plan, combat task, combat resource, operational effectiveness, formal representation

2015年6月7日,

2015年7月28日

曾鵬,男,碩士,高級(jí)工程師,研究方向:海上綜合電子信息系統(tǒng)。

E83

10.3969/j.issn.1672-9730.2015.12.010