遠(yuǎn)程 UUV 指揮控制流程分層 Petri 網(wǎng)建模及延時(shí)分析

劉海光，張?jiān)丛詈袢?/p>

(1. 海軍航空工程學(xué)院 青島分院，山東 青島 266045；2. 海軍潛艇學(xué)院，山東 青島 266199)

遠(yuǎn)程 UUV 指揮控制流程分層 Petri 網(wǎng)建模及延時(shí)分析

劉海光1,2，張?jiān)丛?，李厚全2

(1. 海軍航空工程學(xué)院 青島分院，山東 青島 266045；2. 海軍潛艇學(xué)院，山東 青島 266199)

對(duì)于控制節(jié)點(diǎn)多、流程復(fù)雜的遠(yuǎn)程 UUV 指揮控制流程建模及延時(shí)分析問(wèn)題，傳統(tǒng)建模方法往往難于對(duì)其進(jìn)行詳細(xì)描述和分析。文中建立遠(yuǎn)程 UUV 指揮控制流程分層延時(shí) Petri 網(wǎng)模型，采用基于 Petri 網(wǎng)的層次化建模方法提升模型對(duì)復(fù)雜流程的表達(dá)能力，將變遷引入時(shí)間參數(shù)，使模型具備對(duì)時(shí)間的描述和分析能力，并給出不同結(jié)構(gòu)的延時(shí)計(jì)算方法。仿真結(jié)果表明所建模型可用于對(duì)遠(yuǎn)程 UUV 指揮控制流程進(jìn)行分析和計(jì)算，分析方法正確、適用性好，可為遠(yuǎn)程 UUV 指揮控制系統(tǒng)評(píng)價(jià)及完善提供參考和技術(shù)支持。

遠(yuǎn)程 UUV；分層 Petri 網(wǎng)；指揮控制流程；描述和分析

0 引 言

遠(yuǎn)程 UUV 工作時(shí)間長(zhǎng)，控制節(jié)點(diǎn)多，進(jìn)行及時(shí)有效的指揮控制是保障其任務(wù)完成的重要前提。由于遠(yuǎn)程 UUV 應(yīng)用領(lǐng)域少、工作流程復(fù)雜，目前針對(duì)遠(yuǎn)程UUV 的指揮控制研究相對(duì)還不多。建立準(zhǔn)確恰當(dāng)?shù)哪Ｐ褪菑氖滦阅苎芯康幕A(chǔ)，遠(yuǎn)程 UUV 指揮控制流程具有分布、并行、異步、協(xié)調(diào)等特點(diǎn)，是典型的離散系統(tǒng)，傳統(tǒng)流程建模方法主要有 UML、活動(dòng)網(wǎng)絡(luò)及事件驅(qū)動(dòng)過(guò)程鏈等。UML 方法適用于以案例為驅(qū)動(dòng)，以體系結(jié)構(gòu)為中心的系統(tǒng)建模，一般靈活性較弱，語(yǔ)義清晰度差，難以應(yīng)對(duì)復(fù)雜系統(tǒng)[1-2]。復(fù)雜網(wǎng)絡(luò)法多應(yīng)用于工作流建模及生產(chǎn)系統(tǒng)的建模中，雖具有較強(qiáng)的語(yǔ)義清晰度，但不具備層次分析能力[3-4]。事件驅(qū)動(dòng)過(guò)程鏈語(yǔ)義清晰度弱，無(wú)法處理動(dòng)態(tài)系統(tǒng)，不具備系統(tǒng)分析能力[5-6]。由于遠(yuǎn)程 UUV 指控流程復(fù)雜，傳統(tǒng)的研究方法很難對(duì)其各個(gè)環(huán)節(jié)進(jìn)行詳細(xì)描述和分析。Petri 網(wǎng)建模方法能夠完成復(fù)雜系統(tǒng)建模并具備強(qiáng)大的分析能力，其較強(qiáng)的層次分析能力，在描述和分析動(dòng)態(tài)復(fù)雜系統(tǒng)流程上具有獨(dú)特的優(yōu)勢(shì)[7-9]。Petri 網(wǎng)的靈活性強(qiáng)，可方便引入時(shí)間參數(shù)，為分析遠(yuǎn)程 UUV 指揮控制流程的延時(shí)特性提供了有力的分析工具。針對(duì)遠(yuǎn)程 UUV 指揮控制流程的復(fù)雜性及指揮決策延時(shí)時(shí)間要求，本文采用分層 Petri 網(wǎng)解決復(fù)雜流程建模及分層結(jié)構(gòu)下的延時(shí)分析的問(wèn)題。

1 分層延時(shí) Petri 網(wǎng)

1.1 分層延時(shí) Petri 網(wǎng)概念

分層 Petri 網(wǎng)（Hierarchical Petri Net，HPN）建模方法為復(fù)雜系統(tǒng)建模分析提供了高效的解決方案，其不但可以降低模型復(fù)雜度，而且可以提高模型利用率，降低模型分析難度[10-11]。HPN 包括庫(kù)所分層和變遷分層 2 部分內(nèi)容，其定義如下。

庫(kù)所分層定義：設(shè)N1=(P1,T1;F1) 是頂層 Petri網(wǎng)，庫(kù)所Pi∈P1,Pi可層次化為N2=(P2,T2;F2)，并且滿足P1∩P2=Pi，T1∩T2=?，則可用N=(P,T;F)表示N1及其庫(kù)所層次化網(wǎng)N2，N=N1∪N2。

變遷分層定義：N1=(P1,T1;F1) 是頂層網(wǎng)，變遷有可層次化為N2=(P2,T2;F2)，并且T1∩T2=ti，N2的輸入變遷是ts，輸出變遷是te，則可用N=(P,T;F) 表示N1及其變遷層次化網(wǎng)N2，N=N1∪N2。

由經(jīng)典 Petri 網(wǎng)概念可知，系統(tǒng)中事件的發(fā)生需要一定的時(shí)間，因此本文所說(shuō)的延時(shí)只與變遷相關(guān)聯(lián)，而與狀態(tài)即庫(kù)所無(wú)關(guān)。為解決層次化后的延時(shí)問(wèn)題，提出分層延時(shí) Petri 網(wǎng)（Hierarchical Timed Petri Net，HTPN）概念。

2）K是N的容量函數(shù)；

3）W是F的權(quán)函數(shù)；

4）M0為初始標(biāo)識(shí)；

5）I是變遷集的時(shí)間函數(shù)DI:T→R0,R0為非負(fù)實(shí)數(shù)集。

1.2 Petri 網(wǎng)延時(shí)運(yùn)算規(guī)則

延時(shí) Petri 網(wǎng)用戶可以根據(jù)不同應(yīng)用定義不同的觸發(fā)條件[12-13]， UUV 指控過(guò)程延時(shí)是事件發(fā)展所經(jīng)歷的時(shí)間，定義變遷觸發(fā)條件：對(duì)于t∈T，I(t)=a，當(dāng)標(biāo)識(shí)M滿足使能條件時(shí)，變遷t觸發(fā)，經(jīng)歷延時(shí)時(shí)間a后，變遷t完成，當(dāng)a= 0 時(shí)，延時(shí)變遷即為瞬時(shí)變遷。文中延時(shí)變遷用“□”表示，瞬時(shí)變遷用“|”表示。

不同的網(wǎng)絡(luò)結(jié)構(gòu)下，延時(shí)運(yùn)算規(guī)則如下：

1）運(yùn)算規(guī)則 1：順序結(jié)構(gòu)的延時(shí)

圖1 所示順序結(jié)構(gòu)的延時(shí)計(jì)算公式為：

2）運(yùn)算規(guī)則 2：并行結(jié)構(gòu)的延時(shí)

3）運(yùn)算規(guī)則 3：選擇結(jié)構(gòu)延時(shí)

2 遠(yuǎn)程 UUV 指揮控制流程

2.1 遠(yuǎn)程 UUV 指揮控制模式

信息化條件下指揮控制過(guò)程一般有狀態(tài)感知、信息融合、命令解釋及決策輸出 4 個(gè)基本過(guò)程。遠(yuǎn)程 UUV指揮控制的 4 個(gè)過(guò)程由 3 個(gè)職能層共同完成，分別為指揮層、控制層及執(zhí)行層，如圖 4 所示。指揮層實(shí)現(xiàn)對(duì)遠(yuǎn)程 UUV 的指揮和環(huán)境態(tài)勢(shì)掌控，進(jìn)行環(huán)境態(tài)勢(shì)分析和判斷，負(fù)責(zé) UUV 和各協(xié)同伙伴的聯(lián)合行動(dòng)?？刂茖迂?fù)責(zé)遠(yuǎn)程 UUV 任務(wù)規(guī)劃、遠(yuǎn)程控制、狀態(tài)監(jiān)控和情況上報(bào)。執(zhí)行層負(fù)責(zé)上傳 UUV 狀態(tài)及環(huán)境態(tài)勢(shì)信息等，接收控制層發(fā)送的遙控和任務(wù)更新信息，并最終實(shí)現(xiàn)決策執(zhí)行。

2.2 遠(yuǎn)程 UUV 指揮控制流程描述

遠(yuǎn)程 UUV 指揮控制流程如下：

1）指揮中心根據(jù)情報(bào)信息網(wǎng)提供的環(huán)境態(tài)勢(shì)，協(xié)調(diào)各個(gè)協(xié)同伙伴，定下決心，下達(dá)行動(dòng)命令。

2）待命狀態(tài)下的遠(yuǎn)程 UUV 接到行動(dòng)命令后完成技術(shù)準(zhǔn)備， UUV 裝載，發(fā)射平臺(tái)完成各項(xiàng)出航準(zhǔn)備。

3）指揮中心向 UUV 控制系統(tǒng)發(fā)送作戰(zhàn)命令，控制系統(tǒng)完成環(huán)境態(tài)勢(shì)評(píng)估及武器任務(wù)規(guī)劃并向 UUV 傳送預(yù)置信息。

4）發(fā)射平臺(tái)按計(jì)劃出航，到達(dá)發(fā)射海域，待機(jī)等待發(fā)射。

5）經(jīng)參數(shù)裝訂并發(fā)射后，遠(yuǎn)程 UUV 進(jìn)入工作狀態(tài)，UUV 向目標(biāo)區(qū)域航渡。

6）UUV 發(fā)射后武器控制臺(tái)實(shí)時(shí)監(jiān)測(cè) UUV 的工作狀態(tài)，遠(yuǎn)程監(jiān)測(cè)偵察平臺(tái)實(shí)時(shí)監(jiān)測(cè)海情信息， UUV 工作狀態(tài)及海情實(shí)時(shí)上傳指揮中心。

7）當(dāng) UUV 偏離預(yù)定航路時(shí)，武器控制系統(tǒng)控制其按規(guī)劃航路航行，當(dāng)環(huán)境態(tài)勢(shì)發(fā)生變化時(shí)，根據(jù)指揮中心指令適時(shí)調(diào)整 UUV 航路或目的海域。

8）UUV 到達(dá)目的海域，進(jìn)入任務(wù)模式， UUV 按照預(yù)定程序自主執(zhí)行任務(wù)。

9）任務(wù)執(zhí)行完畢， UUV 將任務(wù)完成情況經(jīng)控制系統(tǒng)上傳指揮中心，指揮中心評(píng)估任務(wù)執(zhí)行效果，以便再次組織任務(wù)或任務(wù)結(jié)束。

3 遠(yuǎn)程 UUV 指揮控制流程建模

由以上指揮控制流程可知，遠(yuǎn)程 UUV 指控系統(tǒng)主要包含指控中心、控制系統(tǒng)、UUV 及發(fā)射平臺(tái) 4 個(gè)對(duì)象，指揮控制過(guò)程主要就是對(duì)象間的交互協(xié)調(diào)通訊、指揮、控制過(guò)程。為降低模型復(fù)雜度，采用面向?qū)ο蟮姆謱?Petri 網(wǎng)建模方法，所建立的頂層 Petri 網(wǎng)模型如圖5所示，模型中庫(kù)所及變遷含義如表 1 所示。

表1 頂層庫(kù)所及變遷含義Tab. 1 Meaning of top level places and transitions

根據(jù)研究需求，圖 5 所示的模型中多個(gè)變遷可進(jìn)一步層次化，其中虛線有向弧表示的是 UUV 狀態(tài)監(jiān)測(cè)及控制過(guò)程，在遠(yuǎn)程 UUV 指揮決策過(guò)程中，狀態(tài)監(jiān)測(cè)及控制是及時(shí)感知 UUV 工作狀態(tài)，根據(jù)環(huán)境態(tài)勢(shì)需求及時(shí)調(diào)整應(yīng)對(duì)策略的過(guò)程，其對(duì)實(shí)時(shí)性要求較高，對(duì)UUV 的性能有重要影響。本文以這一過(guò)程為例進(jìn)行深入分析，其變遷T3，T7，T8，T15，T16分層延時(shí) Petri 網(wǎng)模型如圖 6～圖 10 所示。含義如表 2～表 6 所示。

表2 任務(wù)調(diào)整變遷模型含義Tab. 2 Meaning of task adjustment transition hierarchical model

表3 狀態(tài)及態(tài)勢(shì)感知變遷分層模型含義Tab. 3 Meaning of state and situational awareness transition hierarchical model

4 基于的 Stateflow 指控流程延時(shí)分析

為仿真分析指控流程延時(shí)特性，本文使用 Simulink環(huán)境下的 Stateflow 工具包進(jìn)行仿真，Stateflow 將狀態(tài)轉(zhuǎn)移圖和流程圖等理論相結(jié)合，采用面向?qū)ο蟮木幊趟枷耄m合用來(lái)對(duì) Petri 網(wǎng)進(jìn)行仿真[14-15]。

以上遠(yuǎn)程 UUV 指揮及控制流程延時(shí)時(shí)間是基于各個(gè)階段所需時(shí)間為常數(shù)的假定，由于實(shí)際指控過(guò)程中依據(jù)任務(wù)不同，戰(zhàn)場(chǎng)態(tài)勢(shì)不同，其所用時(shí)間是隨機(jī)的，一般呈正態(tài)分布。假設(shè)和延時(shí)分別為 35 和 15 個(gè)時(shí)間單位，底層延時(shí)時(shí)間如圖 6～圖 10 所示，每個(gè)離散事件的持續(xù)時(shí)間相互獨(dú)立，且滿足σ2= 5 的正態(tài)分布，為取得狀態(tài)監(jiān)測(cè)及控制過(guò)程運(yùn)行總延時(shí)情況及分布規(guī)律，在 Stateflow 環(huán)境下進(jìn)行了 500 次仿真計(jì)算，總延時(shí)情況及其分布如圖 11 所示。

表4 命令解釋變遷分層模型含義Tab. 4 Meaning of command interpretation transition hierarchical model

表5 狀態(tài)參數(shù)上傳變遷分層模型含義Tab. 5 Meaning of state parameters upload transition hierarchical model

表6 目標(biāo)狀態(tài)修正變遷分層模型含義Tab. 6 Meaning of state adjustment transition hierarchical model

建模及分析過(guò)程表明所建模型可詳細(xì)描述遠(yuǎn)程UUV 指揮控制流程，適用性較好。通過(guò)以上 2 種情況的總延時(shí)及延時(shí)分布規(guī)律可以發(fā)現(xiàn)，在各離散事件延時(shí)滿足正態(tài)分布的情況下，總延時(shí)時(shí)間大致符合正態(tài)分布，與實(shí)際延時(shí)規(guī)律相符。模型對(duì)延時(shí)時(shí)間有良好的描述和分析功能，可以基于此模型進(jìn)一步對(duì)整個(gè)指揮控制流程的時(shí)間特性進(jìn)行定量及定性分析。所提出的分層延時(shí) Petri 網(wǎng)可以方便對(duì)復(fù)雜流程進(jìn)行建模，且降低了模型分析難度。

5 結(jié) 語(yǔ)

為降低模型復(fù)雜度，增強(qiáng)分析便利性，本文結(jié)合

分層 Petri 網(wǎng)及延時(shí) Petri 網(wǎng)的概念，提出了分層延時(shí)Petri 網(wǎng)的概念，建立了遠(yuǎn)程 UUV 指揮控制流程分層延時(shí) Petri 網(wǎng)模型，并對(duì)模型的延時(shí)特性進(jìn)行了仿真分析。仿真結(jié)果表明所建模型準(zhǔn)確描述了遠(yuǎn)程 UUV 的指揮控制流程，延時(shí)情況分析結(jié)果能夠反映實(shí)際規(guī)律?；谒Ｐ筒坏梢詫?duì)指揮控制系統(tǒng)其他特性進(jìn)行深入分析和研究，也可為 UUV 科研人員分析指揮控制流程的合理性提供決策依據(jù)，同時(shí)為描述和分析復(fù)雜流程提供了一種便利的方法。

[ 1 ]衛(wèi)紅春. UML 軟件建模教程[M]. 高等教育出版社, 北京, 2012.08.

[ 2 ]DAVID B, JURGEN D, TORSTEN L. Model driven security: from UML models to access control infrastructures[J]. ACM Trans on Software Engineering and Methodology(TOSEM), 2006, 15(1):39-91.

[ 3 ]付偉. 基于活動(dòng)網(wǎng)絡(luò)的工作流模型設(shè)計(jì)與實(shí)現(xiàn)[D]. 天津: 天津大學(xué), 2007.

[ 4 ]蔡冽, 李世其. 基于活動(dòng)網(wǎng)絡(luò)的生產(chǎn)系統(tǒng)仿真集成模型研究[J]. 計(jì)算機(jī)應(yīng)用研究, 2005, 22(12): 63-65.

[ 5 ]MENDING J, NEUMAN G. Towards workflow pattern support of eent-driven process chains[J]. Proc of Workshop Xm14bpm, 2005:23-38

[ 6 ]于曉浩, 劉俊先, 陳濤, 等. 事件驅(qū)動(dòng)過(guò)程鏈在軍事信息系統(tǒng)建模中的應(yīng)用[J]. 火力與指揮控制2011, 36(07): 21-24.

[ 7 ]張耀鴻, 樊建才, 廖曉林. 基于 Petri 網(wǎng)的指揮控制流程仿真方法[J]. 系統(tǒng)仿真學(xué)報(bào), 2012, 24(7): 1418-1421.

[ 8 ]朱敏潔, 張偉. 作戰(zhàn)指揮工作流程的建模與仿真[J]. 火力與指揮控制, 2008, 33(12): 45-48.

[ 9 ]楊志華, 劉順利, 劉己斌. 基于 Peter 網(wǎng)的防空兵群指揮信息結(jié)構(gòu)建模分析[J]. 兵工自動(dòng)化, 2012, 31(4): 39-42.

[10]HAO K, DING J. Hierarchical petri nets[J]. Journal of Frontiers of Computer Science & Technology, 2008, 5(91): 281-290.

[11]DAI X, LI J, MENG Z. Hierarchical petri net modelling of reconfigurable manufacturing systems with improved net rewriting systems[J]. International Journal of Computer Integrated Manufacturing, 2009, 22(2):158-177.

[12]ZUBEREK W M. Invariant-based performance analysis of timed petri net models[M]. Dependability Engineering and Complex Systems. 2016.

[13]TOYOSHIMA I, NAKANO S, YAMAGUCHI S. Reduction operators based on behavioral inheritance for timed petri nets[J]. Ieice Transactions on Fundamentals of Electronics Communications & Computer Sciences, 2014, E97. A(2): 484-489.

[14]陶繼平, 徐文艷, 楊根科, 等. 基于 Stateflow 的 Petri 網(wǎng)仿真方法[J]. 計(jì)算機(jī)仿真, 2006, 23(12): 96-99.

[15]L V Feng-yu. Research and application of stateflow modeling method based on petri nets[J]. Measurement & Control Technology, 2014.

Remote UUV command and control process modeling and delay analysis based on hierarchical petri net

LIU Hai-guang1,2, ZHANG Yuan-yuan1, LI Hou-quan2
(1. Qingdao Branch of Naval University of Aeronautics &Astronautics, Qingdao 266045, China; 2. Navy Submarine Academy, Qingdao 266199, China)

Command and control process of remote UUV has many control nodes and is complicated, modeling and analysis of the process is difficult by using traditional modeling methods. In order to improve the modeling ability, hierarchical modeling method based on Petri net is introduced and in order to depict the time character, timed transition is introduced and the computing algorithm is given, based on which, the command and control process model of remote UUV is constructed based on hierarchical timed Petri net model. The simulation results verify the applicability of the proposed model and the effectiveness of the analysis method. This model can be used to in-depth analysis and research on the command and control process of the remote UUV and can also provide reference for the evaluation and improvement of the command and control system of the remote UUV.

remote UUV；hierarchical Petri net；command and control process；description and analysis

E925

A

1672 - 7619(2017)04 - 0106 - 05

10.3404/j.issn.1672 - 7619.2017.04.021

2016 - 10 - 09；

2016 - 12 - 05

中國(guó)博士后基金資助項(xiàng)目(2014M552658)

劉海光(1975 - )，男，博士，講師，主要從事水中兵器裝備保障及作戰(zhàn)應(yīng)用研究。