米巧麗，徐廷學(xué)，劉 勇

（1.海軍航空工程學(xué)院 研究生管理大隊(duì)，山東 煙臺(tái) 264001；2.海軍航空工程學(xué)院 兵器科學(xué)與技術(shù)系，山東 煙臺(tái) 264001；3.海軍航空工程學(xué)院 接改裝訓(xùn)練大隊(duì)，山東 煙臺(tái) 264001）

艦炮作為一種反應(yīng)快、持續(xù)作戰(zhàn)能力強(qiáng)、效費(fèi)比高的艦載武器，是水面艦艇在未來(lái)聯(lián)合作戰(zhàn)中對(duì)岸、對(duì)空、對(duì)海作戰(zhàn)不可缺少的重要武器裝備。艦炮維修保障的目的是依據(jù)艦炮在各個(gè)任務(wù)剖面下的保障要求進(jìn)行專(zhuān)項(xiàng)維修保障，保證裝備在有限的維修保障資源情況下完成規(guī)定任務(wù)，從而提高艦炮對(duì)敵目標(biāo)的打擊能力及平時(shí)和戰(zhàn)時(shí)的綜合保障能力［1］。根據(jù)艦炮的使命任務(wù)和保障要求，其保障過(guò)程涉及到多活動(dòng)、多資源、多組織在多任務(wù)階段的有效協(xié)調(diào)和應(yīng)用。場(chǎng)景是為了完成特定任務(wù)而按照時(shí)間順序排列的一系列對(duì)象間的交互，是對(duì)象交互的特定時(shí)序［2］。場(chǎng)景技術(shù)常用于描述系統(tǒng)行為、系統(tǒng)與環(huán)境之間的交互，可以根據(jù)特定任務(wù)的具體事例進(jìn)行分析，對(duì)復(fù)雜系統(tǒng)要求的分析與研究十分有利。針對(duì)艦炮使命任務(wù)及各任務(wù)階段維修保障的復(fù)雜性與特殊性，擬將場(chǎng)景技術(shù)、行為樹(shù)與對(duì)象Petri網(wǎng)相結(jié)合的建模方法應(yīng)用于艦炮任務(wù)階段維修保障過(guò)程的建模與驗(yàn)證中，以有效地模擬并發(fā)現(xiàn)艦炮在各任務(wù)階段中的保障缺陷，從而針對(duì)性地規(guī)劃艦炮任務(wù)過(guò)程中的保障活動(dòng)和資源，提升保障系統(tǒng)的保障能力。

1 艦炮維修保障過(guò)程建模方法分析

1.1 艦炮的任務(wù)場(chǎng)景

艦炮的主要使命任務(wù)是：對(duì)岸上的目標(biāo)進(jìn)行摧毀、壓制，對(duì)岸攻擊和火力支援；與其他武器裝備配合，對(duì)海上的中小目標(biāo)實(shí)施打擊，應(yīng)對(duì)低強(qiáng)度海上沖突及警告性打擊等；承擔(dān)艦艇及要地的近程、末端防空及反導(dǎo)防御等［3］。依據(jù)任務(wù)過(guò)程通常將艦炮使命任務(wù)分為任務(wù)準(zhǔn)備、執(zhí)行任務(wù)、任務(wù)結(jié)束和待命等階段。由此，對(duì)應(yīng)將艦炮的任務(wù)場(chǎng)景劃分為如圖1所示的任務(wù)準(zhǔn)備場(chǎng)景、執(zhí)行任務(wù)場(chǎng)景、任務(wù)結(jié)束場(chǎng)景及待命場(chǎng)景。其中，執(zhí)行任務(wù)場(chǎng)景按照作戰(zhàn)任務(wù)分類(lèi)進(jìn)一步劃分為對(duì)海作戰(zhàn)場(chǎng)景、對(duì)岸作戰(zhàn)場(chǎng)景和對(duì)空作戰(zhàn)場(chǎng)景。

1.2 艦炮維修保障過(guò)程特性

基于上述任務(wù)場(chǎng)景，在艦炮維修保障的實(shí)施過(guò)程中，構(gòu)成艦炮維修保障的基本要素為各種隨機(jī)或計(jì)劃的事件，如發(fā)生故障、申請(qǐng)備件、修復(fù)性維修、執(zhí)行任務(wù)和預(yù)防性維修等。這些事件均是發(fā)生在離散的時(shí)間點(diǎn)上。艦炮維修保障對(duì)象的狀態(tài)也是由一系列的離散變量所表征，如備件庫(kù)存量、維修人員數(shù)量、保障設(shè)備可用數(shù)量、待修裝備與可用裝備數(shù)量等。當(dāng)一個(gè)離散事件發(fā)生時(shí)，如產(chǎn)品發(fā)生故障，系統(tǒng)的離散變量將隨之改變，表征系統(tǒng)的狀態(tài)發(fā)生躍變。而系統(tǒng)將在該事件的驅(qū)動(dòng)下，根據(jù)躍變前的狀態(tài)和外界輸入，確定如何進(jìn)行狀態(tài)轉(zhuǎn)移。如裝備發(fā)生故障后，有可能立即進(jìn)入維修流程，也有可能排隊(duì)等待維修。這些行為特征體現(xiàn)了離散事件系統(tǒng)的“離散事件驅(qū)動(dòng)系統(tǒng)狀態(tài)的躍變，系統(tǒng)狀態(tài)的躍變觸發(fā)新的離散事件”的動(dòng)態(tài)特性［4］。因此，艦炮維修保障過(guò)程表現(xiàn)出典型的離散事件動(dòng)態(tài)特性。

1.3 建模方法的對(duì)比

目前常用的離散事件系統(tǒng)過(guò)程建模方法主要包括EPC、IDEF3、Petri網(wǎng)、UML 和行為樹(shù)等有代表性的方法［5］。其中，行為樹(shù)（Behavior Tree，BT）是一種形式化的、用于表示單個(gè)實(shí)體或?qū)嶓w網(wǎng)行為的樹(shù)狀圖，可對(duì)實(shí)體實(shí)現(xiàn)或改變狀態(tài)、做出決策、響應(yīng)／觸發(fā)事件、交換信息等進(jìn)行描述［6］。根據(jù)艦炮任務(wù)場(chǎng)景及維修保障過(guò)程特性，從建模需求、范圍和能力等方面對(duì)這些建模方法進(jìn)行比較發(fā)現(xiàn)：常用的單一建模方法對(duì)任務(wù)及保障過(guò)程中各活動(dòng)、資源及組織的關(guān)系描述精度不夠，建模過(guò)程冗長(zhǎng)，無(wú)法滿(mǎn)足任務(wù)變化的保障需求，并缺乏優(yōu)化重組的能力。相對(duì)而言，行為樹(shù)方法具有較好的描述能力，不但可以準(zhǔn)確地反映單個(gè)任務(wù)場(chǎng)景中的維修活動(dòng)，并可以通過(guò)單元組合創(chuàng)建滿(mǎn)足多個(gè)任務(wù)場(chǎng)景交互的維修保障過(guò)程模型，但是其在模型動(dòng)態(tài)驗(yàn)證和定量分析等方面有所欠缺；Petri網(wǎng)方法在描述能力、易用性及對(duì)維修過(guò)程相關(guān)元素的描述等方面有所欠缺，但其可以有效地進(jìn)行模型動(dòng)態(tài)驗(yàn)證與定量分析，可為描述具有離散事件動(dòng)態(tài)特性的復(fù)雜系統(tǒng)提供強(qiáng)有力的手段?？梢?jiàn)，行為樹(shù)與Petri網(wǎng)方法在各方面相輔相成，從而滿(mǎn)足基于任務(wù)場(chǎng)景的艦炮維修保障過(guò)程的建模要求。因此，首先運(yùn)用行為樹(shù)方法對(duì)基于任務(wù)場(chǎng)景的艦炮保障過(guò)程進(jìn)行描述，然后集成子模型并轉(zhuǎn)換為可執(zhí)行的Petri網(wǎng)仿真模型進(jìn)行仿真驗(yàn)證。

2 基于eBT的艦炮維修保障過(guò)程描述

2.1 行為樹(shù)方法的擴(kuò)展

依據(jù)行為樹(shù)基本構(gòu)成和艦炮維修過(guò)程的分析，在預(yù)防性維修和修復(fù)性維修過(guò)程中，如果等待維修的故障件較多，而維修站點(diǎn)或維修資源有限，那么將會(huì)出現(xiàn)排隊(duì)現(xiàn)象，因此，需要對(duì)每個(gè)維修活動(dòng)相關(guān)的資源等待時(shí)間及維修時(shí)間等加以統(tǒng)計(jì)。行為樹(shù)要完整地反映過(guò)程中活動(dòng)、資源及組織相互之間的關(guān)系，并且直觀(guān)有效地轉(zhuǎn)換為Petri網(wǎng)模型進(jìn)行模型驗(yàn)證，其缺乏對(duì)維修保障過(guò)程中資源使用、等待時(shí)間與維修時(shí)間等性能參數(shù)的描述。

行為樹(shù)的基本組成單元是與邏輯表達(dá)式及數(shù)量公式等形式化基礎(chǔ)上的事件、決策或狀態(tài)等內(nèi)容相關(guān)的窗體元素［7］。依據(jù)上述問(wèn)題，對(duì)基礎(chǔ)行為樹(shù)進(jìn)行擴(kuò)展，簡(jiǎn)記為擴(kuò)展行為樹(shù)（extended Behavior Tree，eBT）。eBT 的基本組成單元表示如圖2所示，對(duì)基礎(chǔ)行為樹(shù)的組成單元進(jìn)行兩方面擴(kuò)展：

1）加入所描述事件和活動(dòng)對(duì)應(yīng)的保障資源信息。對(duì)各種保障資源進(jìn)行編號(hào)，如備件1記為P1，設(shè)備1記為Q1，維修人員1記為W1。

2）在活動(dòng)狀態(tài)單元中加入等待時(shí)間TW和維修時(shí)間TM等性能參數(shù)信息。

2.2 eBT的形式化描述

艦炮在使用階段會(huì)面臨多個(gè)任務(wù)場(chǎng)景，而每個(gè)任務(wù)場(chǎng)景中可能包含一個(gè)或多個(gè)維修實(shí)例。描述每個(gè)維修實(shí)例的行為樹(shù)中可能包含多個(gè)系統(tǒng)狀態(tài)（艦炮狀態(tài)）、輸入事件、內(nèi)部事件、輸出事件、活動(dòng)、條件判斷及這些元素相互之間的關(guān)系等元素。將基于任務(wù)場(chǎng)景的艦炮維修保障過(guò)程形式化描述為Sys＝｛Si｜Si∈S｝，其中Si是屬于整個(gè)艦炮任務(wù)場(chǎng)景集S中的場(chǎng)景，如記待命場(chǎng)景、任務(wù)準(zhǔn)備場(chǎng)景、執(zhí)行任務(wù)場(chǎng)景及任務(wù)結(jié)束場(chǎng)景分別為S0、S1、S2、S3。對(duì)每個(gè)任務(wù) 場(chǎng) 景Si＝｛Rij，i＝0，1，2，3，j＝0，1，2，…，N｝，Rij＝（Staij，Eij，Conij，Actij，Reij）為場(chǎng)景Si的實(shí)例集，其中，Staij代表實(shí)例Rij的系統(tǒng)狀態(tài)集；Eij＝In＿eij∪Inner＿eij∪Out＿eij代 表 實(shí) 例Rij中 的 事 件 狀態(tài)集合，其中，In＿eij、Inner＿eij與Out＿eij分別是實(shí)例Rij中輸入事件狀態(tài)集合、內(nèi)部事件狀態(tài)集合與輸出事件狀態(tài)集合；Conij＝｛Conijk，0≤k≤M｝為實(shí)例Rij中的條件判斷集合，條件判斷Conijk可表示為（Conijk－e，Conijk－Para）或Conijk－exps，其中，Conijk－e、Conijk－Para與Conijk－exps分別為實(shí)例集Rij中的任意條件判斷Conijk中使用的事件狀態(tài)、事件參數(shù)集與表達(dá)式集；Ackij為實(shí)例Rij中的活動(dòng)集合；Reij為實(shí)例Rij中各個(gè)元素之間關(guān)系的集合，如系統(tǒng)狀態(tài)與輸入事件狀態(tài)之間的關(guān)系可表示為Reij（Staij，In＿eij）。

2.3 維修保障過(guò)程模型的構(gòu)建

對(duì)于艦炮保障系統(tǒng)來(lái)說(shuō)，當(dāng)艦炮裝備處于待命狀態(tài)時(shí)可進(jìn)行預(yù)防性維修，它是一個(gè)固定時(shí)間觸發(fā)。如在待命場(chǎng)景S0中，規(guī)定艦炮每執(zhí)行任務(wù)累積時(shí)間達(dá)到t0后需進(jìn)行一次預(yù)防性維修作業(yè)。在任務(wù)準(zhǔn)備階段首先要為任務(wù)分配裝備，此時(shí)主要考慮裝備是否完好，故障或未完成維修的裝備不能執(zhí)行任務(wù)。當(dāng)任務(wù)啟動(dòng)時(shí)，如果準(zhǔn)備完畢的裝備達(dá)到任務(wù)的保障要求，則裝備進(jìn)入任務(wù)執(zhí)行階段。因此，當(dāng)艦炮接受任務(wù)命令時(shí)，如果任務(wù)累積時(shí)間在t0之內(nèi)則進(jìn)入任務(wù)準(zhǔn)備階段，如超過(guò)t0則進(jìn)入相應(yīng)維修站點(diǎn)進(jìn)行預(yù)防性維修。艦炮在進(jìn)入任務(wù)準(zhǔn)備階段后，進(jìn)行故障檢測(cè)，如果不出現(xiàn)故障則正常執(zhí)行任務(wù)，如出現(xiàn)故障則進(jìn)入故障維修流程。上述待命與任務(wù)準(zhǔn)備場(chǎng)景下維修保障過(guò)程的eBT 模型如圖3所示。

在任務(wù)準(zhǔn)備與執(zhí)行任務(wù)場(chǎng)景中，如果艦炮的某一系統(tǒng)或產(chǎn)品故障發(fā)生故障或遭受戰(zhàn)損，須進(jìn)行修復(fù)性維修。維修可以在不同級(jí)別、不同站點(diǎn)中完成，由此會(huì)造成任務(wù)失敗或等待狀態(tài)。首先在艦員級(jí)進(jìn)行排故和修復(fù)，若由于本級(jí)的故障檢測(cè)和修理能力的制約不能完成該修復(fù)任務(wù)，需要將故障件送往中繼級(jí)或基地級(jí)進(jìn)行修復(fù)。換件修理中，在指定維修站點(diǎn)對(duì)失效單元進(jìn)行拆卸，并根據(jù)單元類(lèi)型確定報(bào)廢還是修理，以及在哪個(gè)維修站點(diǎn)進(jìn)行修理。假設(shè)在執(zhí)行任務(wù)場(chǎng)景S2中，艦炮出現(xiàn)機(jī)電故障，經(jīng)故障檢測(cè)出現(xiàn)兩個(gè)故障件，此后判斷故障件是直接維修還是送修。記對(duì)故障件1進(jìn)行直接換件的過(guò)程為實(shí)例R20，對(duì)故障件2的送修實(shí)例記為R21。記任務(wù)規(guī)定時(shí)間為t1，如總維修時(shí)間大于t1，則任務(wù)失敗，進(jìn)入任務(wù)結(jié)束場(chǎng)景。上述修復(fù)性過(guò)程如圖4所示。

3 基于OOPN的艦炮維修保障過(guò)程模型

由于艦炮保障系統(tǒng)及維修保障過(guò)程十分復(fù)雜，利用基本Petri網(wǎng)進(jìn)行描述與模型驗(yàn)證時(shí)，存在無(wú)輸入和輸出、狀態(tài)空間爆炸等問(wèn)題。對(duì)象Petri網(wǎng)（OOPN）技術(shù)將對(duì)象作為建模的基本模塊，增強(qiáng)了基本Petri網(wǎng)的語(yǔ)義描述能力，對(duì)位置、轉(zhuǎn)移和令牌等元素進(jìn)行了擴(kuò)充，增加了對(duì)象、輸入端口、輸出端口和開(kāi)關(guān)四類(lèi)元素，很好地解決了基本Petri網(wǎng)應(yīng)用于復(fù)雜系統(tǒng)所面臨的問(wèn)題［8］。因此，以下擬將基于eBT 的艦炮維修保障過(guò)程模型轉(zhuǎn)化為OOPN 模型，以對(duì)象為單位進(jìn)行艦炮維修保障過(guò)程模型的驗(yàn)證。

3.1 eBT轉(zhuǎn)換為OOPN 的方法

OOPN模型的基本單位是對(duì)象，因此，可以將任務(wù)場(chǎng)景中艦炮維修過(guò)程的每個(gè)實(shí)例視為一個(gè)對(duì)象，每個(gè)場(chǎng)景中所有實(shí)例對(duì)象組合而成的父對(duì)象即對(duì)應(yīng)于該場(chǎng)景。然后再依次將場(chǎng)景對(duì)應(yīng)的父對(duì)象與其他場(chǎng)景中的實(shí)例對(duì)象進(jìn)行組合，按照這個(gè)過(guò)程，最后即可實(shí)現(xiàn)整個(gè)維修保障過(guò)程到OOPN模型的轉(zhuǎn)化。

以單場(chǎng)景實(shí)例Rij＝（Staij，Eij，Conij，Actij，Reij）對(duì)應(yīng)的eBT 模型為基本轉(zhuǎn)化單元，對(duì)實(shí)例中的各個(gè)元素分別進(jìn)行轉(zhuǎn)化：

1）將單個(gè)場(chǎng)景中每個(gè)實(shí)例的eBT 模型轉(zhuǎn)換為一個(gè)對(duì)象。對(duì)場(chǎng)景Si中的每個(gè)實(shí)例Rij對(duì)應(yīng)的行為樹(shù)創(chuàng)建對(duì)象Objij，則場(chǎng)景Si對(duì)應(yīng)的父對(duì)象為Obji＝Obji∪｛Objij｝，OOPN 中 所 有 對(duì) 象 的 集 合Objs為Objs＝Objs∪｛Obji｝。

2）將實(shí)例中的系統(tǒng)狀態(tài)單元轉(zhuǎn)換為位置。將狀態(tài)集Staij中的每個(gè)狀態(tài)Staijk轉(zhuǎn)換為對(duì)象Objij的一個(gè)位置Sta＿pijk。

3）將輸入事件與輸出事件狀態(tài)單元對(duì)應(yīng)轉(zhuǎn)換為輸入端口、輸出端口與著色令牌。實(shí)例Rij中的輸入事件與輸出事件狀態(tài)相當(dāng)于實(shí)例對(duì)應(yīng)的對(duì)象間互通信息的狀態(tài)。在OOPN 中，通常用著色令牌作為信息傳遞的方式。因此，將實(shí)例行為樹(shù)中的任意輸入事件狀態(tài)單元In＿eijk對(duì)應(yīng)轉(zhuǎn)換為對(duì)象輸入端口In＿poijk和 著 色 令 牌In＿ctijk，輸 出 事 件 狀 態(tài) 單 元Out＿eijk對(duì)應(yīng)轉(zhuǎn)換為對(duì)象輸出端口Out＿poijk和著色令牌Out＿ctijk。

4）將內(nèi)部事件狀態(tài)轉(zhuǎn)換為位置和著色令牌。將內(nèi)部事件狀態(tài)集Inner＿eij中的每個(gè)內(nèi)部事件狀態(tài)Inner＿eijk轉(zhuǎn)換為對(duì)象的一個(gè)位置Inner＿pijk和著色令 牌Inner＿ctijk；

5）將條件判斷中的（事件，參數(shù)）轉(zhuǎn)換為（轉(zhuǎn)移，位置，?。?，表達(dá)式轉(zhuǎn)換為（弧，轉(zhuǎn)移）。對(duì)條件判斷單元集Conij中的任意條件判斷單元Conijk，事件Conijk－e與參數(shù)Conijk－Para可對(duì)應(yīng)轉(zhuǎn)換為對(duì)象中的轉(zhuǎn)移Con＿tijk、位置Con＿Pijk及由轉(zhuǎn)移與位置構(gòu)成的弧Con＿aijk，將 表 達(dá) 式Conijk－exps轉(zhuǎn) 換 為 弧Con＿aijk和轉(zhuǎn) 移Con＿tijk。

6）將活動(dòng)狀態(tài)單元轉(zhuǎn)換為位置、轉(zhuǎn)移與弧。轉(zhuǎn)移是Petri網(wǎng)中的活動(dòng)表現(xiàn)，轉(zhuǎn)移是在位置基礎(chǔ)上進(jìn)行的，因此將活動(dòng)集Actij的任意活動(dòng)構(gòu)件Actijk轉(zhuǎn)換為位置Act＿pijk、轉(zhuǎn)移Act＿tijk與弧Act＿aijk，且有

7）對(duì)eBT中各組成單元的關(guān)系進(jìn)行轉(zhuǎn)換。如系統(tǒng)狀態(tài)與輸入事件狀態(tài)之間的關(guān)系Reij（Staij，In＿eij）的轉(zhuǎn)換方法為：將系統(tǒng)狀態(tài)Staij轉(zhuǎn)換為位置pij，輸入事件狀態(tài)In＿eij轉(zhuǎn)換為輸入端口In＿poij與著 色 令 牌In＿ctij，關(guān) 系Reij（Staij，In＿eij）轉(zhuǎn) 換 為弧aij。

將單個(gè)場(chǎng)景中每個(gè)實(shí)例的eBT 轉(zhuǎn)換為對(duì)應(yīng)的基本對(duì)象后，根據(jù)實(shí)例之間的關(guān)系確定各個(gè)基本對(duì)象之間的聯(lián)系，再依據(jù)對(duì)象輸入、輸出端口之間的聯(lián)系將基本對(duì)象集進(jìn)行組合，從而得到每個(gè)場(chǎng)景對(duì)應(yīng)的OOPN 模型。需要注意的是：在對(duì)實(shí)例間的OOPN 進(jìn)行組合時(shí)，由于實(shí)例eBT 集成時(shí)集成點(diǎn)的單元在兩個(gè)實(shí)例eBT 中重復(fù)出現(xiàn)，因此，組合OOPN 模型時(shí)需刪除組合點(diǎn)重復(fù)的節(jié)點(diǎn)。

3.2 模型轉(zhuǎn)換實(shí)例

行為樹(shù)的集成過(guò)程為：首先查找一棵行為樹(shù)的根節(jié)點(diǎn)出現(xiàn)在其他行為樹(shù)中的位置，然后在此位置將兩棵行為樹(shù)集成起來(lái)，依此過(guò)程得到最終的集成行為樹(shù)［9］。將單個(gè)任務(wù)場(chǎng)景中實(shí)例的子維修保障過(guò)程轉(zhuǎn)化為對(duì)應(yīng)的子eBT 模型后，每個(gè)實(shí)例的集成eBT 模型可以由實(shí)例中所包含的子eBT 集成得出，各任務(wù)場(chǎng)景的集成過(guò)程類(lèi)似。由此，相同的維修保障實(shí)例eBT 模型可以實(shí)現(xiàn)重用。按照上節(jié)中提出的模型轉(zhuǎn)換方法，將集成eBT 中的各個(gè)單元及其關(guān)系依次進(jìn)行轉(zhuǎn)換、組合并去除重復(fù)節(jié)點(diǎn)，得到如圖5所示的OOPN 模型。

3.3 OOPN 模型的驗(yàn)證

OOPN 模型的可執(zhí)行性是指OOPN 能夠順利地使每個(gè)轉(zhuǎn)移都發(fā)生，即令牌從每個(gè)節(jié)點(diǎn)的輸入端口流到每個(gè)節(jié)點(diǎn)的輸出端口［10］。如OOPN 模型可執(zhí)行，則該模型描述的行為是一致的，如果模型中有轉(zhuǎn)移不能發(fā)生，則該轉(zhuǎn)移對(duì)應(yīng)的行為存在一致性沖突。因此，利用OOPN 模型的可執(zhí)行性進(jìn)行任務(wù)場(chǎng)景下維修保障行為一致性驗(yàn)證的主要過(guò)程與方法為：

1）根據(jù)場(chǎng)景eBT 提取場(chǎng)景中的事件序列與活動(dòng)序列。

2）設(shè)置OOPN 模型的事件為任務(wù)場(chǎng)景集S中的單個(gè)場(chǎng)景Si中實(shí)例Rij的事件集合Eij中的每個(gè)事件In＿eijk、Out＿eijk與Inner＿eijk。

3）通過(guò)設(shè)置OOPN 模型中位置的令牌來(lái)設(shè)置OOPN 模型在各個(gè)場(chǎng)景下的初始狀態(tài)。

4）最后執(zhí)行OOPN 模型，驗(yàn)證模型是否可執(zhí)行，并得出模型執(zhí)行的活動(dòng)序列。

4 結(jié)論

筆者依據(jù)艦炮使命任務(wù)的特點(diǎn)，應(yīng)用場(chǎng)景技術(shù)對(duì)艦炮的使命任務(wù)進(jìn)行描述，一方面有利于各使命任務(wù)場(chǎng)景的具體任務(wù)分析及其相互邏輯關(guān)系的表示，另一方面能很好地獲取并分析各個(gè)任務(wù)場(chǎng)景中的保障需求，從而明確場(chǎng)景中相關(guān)的維修保障過(guò)程。通過(guò)對(duì)適用于艦炮維修保障過(guò)程建模需求的常用建模方法的利弊對(duì)比分析，采用了由基本BT改進(jìn)的eBT 方法與OOPN 方法相結(jié)合的組合建模方法，對(duì)每個(gè)任務(wù)場(chǎng)景下對(duì)應(yīng)的維修保障過(guò)程中的活動(dòng)、事件、決策及在保障系統(tǒng)中所表述的邏輯、規(guī)則和約束等進(jìn)行清晰地描述，如此可以很好地反映其中各實(shí)體行為的交互、事件狀態(tài)的改變、信息的交換，促進(jìn)了對(duì)復(fù)雜的艦炮保障系統(tǒng)描述復(fù)雜性的控制，保證了保障需求描述的完整性與準(zhǔn)確性；此外，相對(duì)于其他單一建模方法，筆者提出的組合建模方法在實(shí)現(xiàn)模型的重用性、保障需求的可追溯性及形式化的自動(dòng)模擬驗(yàn)證方面更有優(yōu)勢(shì)。

（References）

［1］魏勇，徐廷學(xué)，顧鈞元，等.某型艦炮保障性參數(shù)仿真評(píng)價(jià)研究［J］.艦船科學(xué)技術(shù)，2010，32（3）：136－139.WEI Yong，XU Tingxue，GU Junyuan，et al.Research of supportability parameters simulating evaluation for one－type naval gun［J］.Ship Science and Technology，2010，32（3）：136－139.（in Chinese）

［2］陳中育.基于場(chǎng)景的系統(tǒng)行為建模和組合研究［D］.上海：上海大學(xué)，2011.CHEN Zhongyu.Research on scenario－based system behavior modeling and composition［D］.Shanghai：Shanghai University，2011.（in Chinese）

［3］劉大東，孫朝江.水面艦艇艦炮武器綜合保障發(fā)展探討［J］.兵器試驗(yàn)，2012，（1）：49－50.LIU Dadong，SUN Chaojiang.Discussion on the integrated support development of surface－ship shipborne gun weapon system［J］.Ordnance Test，2012，（1）：49－50.（in Chinese）

［4］王維平.離散事件系統(tǒng)建模與仿真［M］.北京：科學(xué)出版社，2007.WANG Weiping.Discrete event system modeling and simulation［M］.Beijing：Science Press，2007.（in Chinese）

［5］孫寶琛，賈希勝，程中華，等.戰(zhàn)時(shí)裝備保障過(guò)程建模仿真研究［J］.指揮控制與仿真，2012，34（2）：97－100.SUN Baochen，JIA Xisheng，CHENG Zhonghua，et al.Study on equipment support process modeling and simulation in wartime［J］.Command Control ＆Simulation，2012，34（2）：97－100.（in Chinese）

［6］DUGGEN E W，REICHGELT H.Measuring information systems delivery quality［M］.London：Ideal Group Publishing，2006：90－111.

［7］DROMEY R G.From requirements to design：formalizing the key steps［C］∥First International Conference on Software Engineering and Formal Methods.Brisbane：IEEE Computer Society Press，2003：2－11.

［8］舒振，陳洪輝，羅雪山.基于對(duì)象Petri網(wǎng)的軍事信息服務(wù)組合與驗(yàn)證方法［J］.系統(tǒng)工程與電子技術(shù)，2011，33（7）：1558－1564.SHU Zhen，CHEN Honghui，LUO Xueshan.Military information service composition and validation method based on object Petri net［J］.Systems Engineering and Electronics，2011，33（7）：1558－1564.（in Chinese）

［9］DROMEY R G.Genetic software engineering simplifying design using requirements integration［C］∥Conference on Complex and Dynamic Systems Architecture.Brisbane：IEEE Computer Society Press，2001：1－6.

［10］丁澤柳.C4ISR 體系結(jié)構(gòu)動(dòng)態(tài)行為一致性驗(yàn)證方法研究［D］.長(zhǎng)沙：國(guó)防科學(xué)技術(shù)大學(xué)，2007.DING Zeliu.Research on the method of C4ISR architecture dynamic behavior consistency verification［D］.Changsha：National University of Defense Technology，2007.（in Chinese）