[摘 要]深入分析了軍事情報(bào)系統(tǒng)的復(fù)雜性、層次性、離散性和隨機(jī)性等特征，綜合運(yùn)用形式化與非形式化建模技術(shù)，提出了IDEF0與ESCPN相結(jié)合的軍事情報(bào)系統(tǒng)混合建模方法。以電子對(duì)抗情報(bào)系統(tǒng)為例建立了其IDEF0與ESCPN的評(píng)估模型，研究結(jié)果表明此方法為軍事情報(bào)系統(tǒng)的建模、分析與評(píng)估提供了有益的思路。

[關(guān)鍵詞]軍事情報(bào)系統(tǒng);IDEF0;擴(kuò)展的隨機(jī)有色Petri網(wǎng);評(píng)估模型

[中圖分類(lèi)號(hào)]G252 [文獻(xiàn)標(biāo)識(shí)碼]A [文章編號(hào)]1008-0821(2010)02-0162-05

Study on Military Intelligence System Modeling Based on IDEF0 and ESCPNXiong Jie Liu Xiangwei Chen Genzhong

(PLA Electronic Engineering Institute，Hefei 230037，China)

[Abstract]Firstly the complexity，hierarchy，discreteness and randomness of military intelligence system were analyzed.Then the synthetical modeling method with combination of IDEF0 and extended stochastic coloured Petri net(ESCPN)was put forward in detail，by integrating formal and informal modeling technique.At last，the evaluation model of EW intelligence system was presented as an example.The analysis and verification showed that this paper provided a good idea for modeling，analysis and evaluation of military intelligence system.

[Keywords]military intelligence system;IDEF0;extended stochastic coloured Petri net;evaluation model

1 軍事情報(bào)系統(tǒng)建模分析

軍事情報(bào)系統(tǒng)是一個(gè)復(fù)雜、龐大的系統(tǒng)，一般呈現(xiàn)以下特征:(1)組成要素多層次和大規(guī)模。軍事情報(bào)系統(tǒng)涉及情報(bào)獲取、情報(bào)傳輸、情報(bào)處理、情報(bào)使用等眾多子系統(tǒng)，其中任何一個(gè)子系統(tǒng)都又包含眾多要素和下一級(jí)子系統(tǒng)，如此逐層分解，形成了規(guī)模龐大的多層次結(jié)構(gòu);(2)軍事情報(bào)系統(tǒng)各要素之間或各子系統(tǒng)之間的關(guān)聯(lián)形式多種多樣。這種關(guān)聯(lián)的復(fù)雜性表現(xiàn)在結(jié)構(gòu)上是各種各樣的非線性關(guān)系，表現(xiàn)在內(nèi)容上是物質(zhì)、能量和信息的交換;(3)軍事情報(bào)系統(tǒng)從總體上講是一個(gè)離散事件系統(tǒng)，這是因?yàn)榍閳?bào)的獲取、傳輸和處理過(guò)程是由一系列事件和活動(dòng)組成的，如目標(biāo)搜索與跟蹤、目標(biāo)綜合識(shí)別、威脅判斷與排序、態(tài)勢(shì)評(píng)估等;(4)軍事情報(bào)系統(tǒng)工作過(guò)程中充滿大量的隨機(jī)性、偶然性和并發(fā)性，如目標(biāo)的出現(xiàn)、信息的共享等。上述特點(diǎn)使得軍事情報(bào)系統(tǒng)建模應(yīng)滿足:分層次，描述可從抽象到具體，這樣便于模型復(fù)用;分粒度，描述可由大到小，由簡(jiǎn)單到復(fù)雜;完整性，即建模方法應(yīng)保證描述對(duì)象的充分性和完備性。這決定了很難用數(shù)學(xué)方程來(lái)描述軍事情報(bào)系統(tǒng)，因此本文提出IDEF0與ESCPN相結(jié)合的軍事情報(bào)系統(tǒng)混合建模方法。

IDEF0基于功能分解的單元建模技術(shù)，描述系統(tǒng)的功能活動(dòng)及其聯(lián)系，適合于復(fù)雜系統(tǒng)的功能說(shuō)明，已在信息化系統(tǒng)建模分析中得到廣泛的應(yīng)用[1-2]。IDEF0模型可以表示系統(tǒng)的功能和結(jié)構(gòu)，支持自頂向下逐層分解的方式來(lái)構(gòu)造模型，并且便于軍事人員與技術(shù)人員的交流，從而保證從系統(tǒng)分析、設(shè)計(jì)到維護(hù)甚至升級(jí)的一致性。利用IDEF0模型可以全面描述軍事情報(bào)系統(tǒng)的功能結(jié)構(gòu)、信息流程以及層次關(guān)系，但是無(wú)法模擬系統(tǒng)的動(dòng)態(tài)行為，為了分析、評(píng)估軍事情報(bào)系統(tǒng)，必須結(jié)合其他方法構(gòu)建恰當(dāng)?shù)哪Ｐ蛠?lái)描述系統(tǒng)的功能、結(jié)構(gòu)及動(dòng)態(tài)行為。

Petri網(wǎng)是描述具有同步、并發(fā)、沖突特征的系統(tǒng)的一種有效工具。經(jīng)過(guò)40多年不斷充實(shí)與完善，研究人員對(duì)Petri網(wǎng)進(jìn)行了一系列的改進(jìn)，提出了面向?qū)ο驪etri網(wǎng)(OOPN)、層次Petri網(wǎng)(HPN)、時(shí)間Petri網(wǎng)(TPN)、隨機(jī)Petri網(wǎng)(SPN)和著色Petri網(wǎng)(CPN)等一系列Petri網(wǎng)模型[3-4]，憑借其嚴(yán)格的數(shù)學(xué)定義以及有效的分析方法Petri網(wǎng)已被廣泛地用于離散事件系統(tǒng)的建模與分析中。然而基本Petri網(wǎng)在軍事情報(bào)系統(tǒng)建模、分析與評(píng)估中還存在以下問(wèn)題:(1)Petri網(wǎng)中的位置、轉(zhuǎn)移和Token所攜帶的信息不夠豐富，不能描述每項(xiàng)功能執(zhí)行的動(dòng)作，從而導(dǎo)致表達(dá)模型的內(nèi)涵顯得不足;(2)Petri網(wǎng)模型不涉及時(shí)間因素，僅能反映出事件間的因果關(guān)系，不能表達(dá)各項(xiàng)活動(dòng)的處理時(shí)間，難以模擬復(fù)雜系統(tǒng)中的各類(lèi)隨機(jī)事件;(3)Petri網(wǎng)模型是一種平板結(jié)構(gòu)，建模時(shí)系統(tǒng)的規(guī)模難以控制，特別是當(dāng)系統(tǒng)的可達(dá)狀態(tài)增加時(shí)，模型的復(fù)雜性呈指數(shù)增加，使得模型的分析和理解變得十分困難。

為了適應(yīng)軍事情報(bào)系統(tǒng)建模、分析、評(píng)估的需求，本文采用層次化的結(jié)構(gòu)和面向?qū)ο蟮乃枷耄ㄟ^(guò)對(duì)Petri網(wǎng)結(jié)構(gòu)、建模元素、執(zhí)行規(guī)則等幾個(gè)方面進(jìn)行擴(kuò)充，提出一種擴(kuò)展的隨機(jī)著色Petri網(wǎng)模型，闡述了從IDEF0到ESCPN的轉(zhuǎn)換規(guī)則，并結(jié)合IDEF0和ESCPN建立了軍事情報(bào)系統(tǒng)的評(píng)估模型。

期基于IDEF0與ESCPN的軍事情報(bào)系統(tǒng)建模研究Feb.，2010Vol.30 No.22 ESCPN模型的形式化定義

擴(kuò)展隨機(jī)著色Petri網(wǎng)的定義為八元組ESCPN=(Σ，P，T，X，A，C，Π，M0)，其中:

(1)Σ表示有限非空顏色集;

(2)P=PP∪IOP為庫(kù)所集，其中PP為擴(kuò)展后的有色庫(kù)所集，IOP為系統(tǒng)(超變遷)與外界進(jìn)行消息交換的輸入庫(kù)所及輸出庫(kù)所集合;

(3)T{t1，t2，Λ，tn｝為擴(kuò)展后的變遷集;

(4)X={X1，X2，Λ，Xl｝為超變遷的有限集合，每個(gè)Xi∈X都表示一個(gè)擴(kuò)展的隨機(jī)有色Petri網(wǎng)ESCPNi=(Σi，Pi，Ti，Xi，Ai，Ci，Π，M0i);

(5)A=P×T∪T×P為連接庫(kù)所與變遷的又向弧集，且A=Ab∪Ar∪Af，其中Ab為基本弧集，Ar為約束弧集，Af為柔性弧集;

(6)C∶P∪T→(Σ)為顏色函數(shù)，(Σ)∈ΣMC，對(duì)于p∈P，C(p)是p上所有可能的出現(xiàn)色集，對(duì)于t∈T，C(t)是t上所有可能的出現(xiàn)色集;

(7)Π∶R→F，F(xiàn)={F1，F(xiàn)2，Λ，F(xiàn)n｝對(duì)應(yīng)為每個(gè)隨機(jī)變遷的時(shí)延分布函數(shù)集。如在Molly提出的連續(xù)時(shí)間SPN模型[5]中，相關(guān)于每個(gè)轉(zhuǎn)移的分布函數(shù)定義為一個(gè)指數(shù)分布函數(shù)ti∈T∶Fi=1-e-λix，其中實(shí)參數(shù)λi>0是轉(zhuǎn)移ti的平均實(shí)時(shí)速率，變量x>0，則SPN模型的時(shí)延分布函數(shù)集可以表示為Π∶T→λ，λ={λ1，λ2，Λ，λn｝;

(8)M0∶P→ΣMS為初始標(biāo)識(shí)集。

ESCPN模型中對(duì)基本Petri網(wǎng)的托肯、庫(kù)所、遷移及有向弧進(jìn)行了擴(kuò)展，其定義分別如下:

定義1(擴(kuò)展Token):ESCPN模型的令牌本身有類(lèi)型，令牌還帶有一個(gè)屬性表，使得令牌在網(wǎng)中流動(dòng)時(shí)能真正攜帶信息。每一個(gè)屬性包括名稱(chēng)和值兩項(xiàng)，表示為兩元組T=(Type，Propertylists)，其中Type表示Token的類(lèi)型，對(duì)任意Token的屬性Pi=Propertylist，都表示一個(gè)名稱(chēng)與值的二元組:Pi=(Namei，Valuei)。

定義2(擴(kuò)展庫(kù)所):擴(kuò)展的庫(kù)所引入了事件處理函數(shù)，增加了位置的類(lèi)型。當(dāng)庫(kù)所收到Token或輸出Token時(shí)，系統(tǒng)調(diào)用庫(kù)所的事件處理函數(shù)獲取、設(shè)置或輸出Token所攜帶的數(shù)據(jù)信息，使網(wǎng)帶“色”。

定義3(擴(kuò)展遷移):擴(kuò)展變遷用來(lái)描述系統(tǒng)發(fā)生的行為和執(zhí)行的動(dòng)作，與基本Petri網(wǎng)相比，擴(kuò)展變遷增加了動(dòng)作函數(shù)、事件處理函數(shù)，優(yōu)先級(jí)、附加的點(diǎn)火條件(謂詞)。擴(kuò)展變遷引入了如下函數(shù)集和功能定義:

①優(yōu)先級(jí):當(dāng)多個(gè)變遷發(fā)生沖突時(shí)，優(yōu)先級(jí)高的優(yōu)先點(diǎn)火;

②動(dòng)作函數(shù):當(dāng)點(diǎn)火發(fā)生時(shí)，調(diào)用該函數(shù)，可以用該函數(shù)完成處理動(dòng)作;

③謂詞函數(shù):在基本Petri網(wǎng)運(yùn)行規(guī)則的基礎(chǔ)上，對(duì)變遷進(jìn)入點(diǎn)火的條件還必須附加謂詞函數(shù)。謂詞函數(shù)返回TRUE時(shí)變遷可以進(jìn)入點(diǎn)火狀態(tài)，否則不能夠進(jìn)入點(diǎn)火狀態(tài);

④事件處理函數(shù):當(dāng)變遷進(jìn)入點(diǎn)火狀態(tài)時(shí)，系統(tǒng)調(diào)用事件處理函數(shù)?？梢允褂迷摵瘮?shù)進(jìn)行統(tǒng)計(jì)或附加的處理動(dòng)作。

定義4(超遷移):一個(gè)超變遷對(duì)應(yīng)一個(gè)擴(kuò)展的隨機(jī)有色Petri網(wǎng)ESCPNi=(Σi，Pi，Ti，Xi，Ai，Ci，Π，M0i)。超變遷提供了層次化的結(jié)構(gòu)，可以簡(jiǎn)化模型的結(jié)構(gòu)，同時(shí)超變遷的引入不會(huì)破壞CPN良好的驗(yàn)證和結(jié)構(gòu)分析方法。

定義5(擴(kuò)展有向弧):擴(kuò)展有向弧包括約束弧和柔性弧兩種。約束弧表示庫(kù)所中存在托肯是變遷使能的必要條件，同時(shí)變遷的發(fā)生又不會(huì)使庫(kù)所中的托肯消失，這種約束弧相當(dāng)于伴隨庫(kù)所的作用;柔性弧表示庫(kù)所中是否存在托肯對(duì)變遷的使能不存在制約關(guān)系，當(dāng)庫(kù)所中存在托肯時(shí)，在變遷使能的情況下向變遷輸入庫(kù)所中托肯所代表的數(shù)據(jù)，同時(shí)變遷的發(fā)生不會(huì)使庫(kù)所中的托肯消失。

3 從IDEF0模型到ESCPN模型的轉(zhuǎn)換

從IDEFO模型生成ESCPN模型，首先必須解決Petri網(wǎng)的模塊化和層次化問(wèn)題，同時(shí)還應(yīng)保持原有系統(tǒng)的一些重要特性，比如有界性、活性、可回復(fù)性等。許多文獻(xiàn)就IDEF0模型向Petri網(wǎng)模型的轉(zhuǎn)換作了一定的研究[5-6]，但是主要存在以下問(wèn)題:(1)將各層IDEF0模型轉(zhuǎn)換到一個(gè)單層的Petri網(wǎng)模型，這違背了IDEFO功能建模的模塊化、層次化設(shè)計(jì)的根本思想;(1)不區(qū)分?jǐn)?shù)據(jù)與控制，將二者全部做數(shù)據(jù)處理，這種概念上的混淆往往會(huì)帶來(lái)建模過(guò)程中的混亂與錯(cuò)誤;(3)由于基本Petri網(wǎng)的變遷不能夠逐層進(jìn)行分解，無(wú)法解決IDEF0模型的模塊化和層次化問(wèn)題。

因此本文提出從IDEF0模型生成ESCPN模型的基本原則:

(1)以ESCPN的變遷對(duì)應(yīng)IDEFO模型中的原子活動(dòng)，原子活動(dòng)是指不可再分性，原子活動(dòng)的具體動(dòng)作由變遷的動(dòng)作函數(shù)及事件處理函數(shù)進(jìn)行描述;

(2)以ESCPN的超變遷對(duì)應(yīng)IDEFO模型中的復(fù)合活動(dòng)，復(fù)合活動(dòng)是指本活動(dòng)在下級(jí)IDEF0模型中被進(jìn)一步分解為多個(gè)子活動(dòng)，超變遷對(duì)應(yīng)的ESCPN模型由復(fù)合活動(dòng)所對(duì)應(yīng)的下級(jí)IDEF0模型確定;

(3)ESCPN模型中的庫(kù)所對(duì)應(yīng)IDEFO模型中的數(shù)據(jù)和狀態(tài);

(4)IDEFO模型中數(shù)據(jù)的處理和傳輸表現(xiàn)為ESCPN模型中托肯的產(chǎn)生、消耗和流動(dòng)，通過(guò)托肯在庫(kù)所中的流動(dòng)描述系統(tǒng)的動(dòng)態(tài)行為;

(5)IDEFO模型中的功能輸入輸出關(guān)系對(duì)應(yīng)于ESCPN模型的基本弧;

(6)控制(C)和機(jī)制(M)的轉(zhuǎn)換:

一是控制，按照IDEFO的標(biāo)準(zhǔn)，控制并不是數(shù)據(jù)，通常是某些指導(dǎo)原則或約束條件等。反映在Petri網(wǎng)中，控制是用來(lái)決定模型的運(yùn)行的，控制在基本Petri網(wǎng)中可能表現(xiàn)為控制庫(kù)所和托肯(類(lèi)型1)，也可能無(wú)法直接表現(xiàn)(類(lèi)型2)。在ESCPN模型中，類(lèi)型1的控制由庫(kù)所及與之相連的約束弧描述，類(lèi)型2的控制通過(guò)變遷的動(dòng)作函數(shù)、謂詞函數(shù)或事件處理函數(shù)描述;二是機(jī)制，機(jī)制是活動(dòng)的基礎(chǔ)或支撐條件，最典型的是各種設(shè)備、人員等，一般只是在加工過(guò)程中暫時(shí)被占用，隨后又釋放出來(lái)，因此在ESCPN模型中用庫(kù)所和與之相連的約束弧表示。

(7)IDEFO模型中功能和數(shù)據(jù)都存在分解的可能，一個(gè)高層的模塊可以分解成為幾個(gè)低層模塊，高層的數(shù)據(jù)類(lèi)在低層被進(jìn)一步分解為若干數(shù)據(jù)或子數(shù)據(jù)類(lèi)。在向ESCPN模型轉(zhuǎn)化的過(guò)程中，嚴(yán)格逐層對(duì)應(yīng)轉(zhuǎn)化，高層到底層的模塊分解體現(xiàn)為變遷的逐層分解，數(shù)據(jù)的逐層分解由擴(kuò)展的庫(kù)所和托肯體現(xiàn)。

4 軍事情報(bào)系統(tǒng)評(píng)估模型

電子對(duì)抗情報(bào)系統(tǒng)是軍事情報(bào)系統(tǒng)的一個(gè)典型代表，其建模過(guò)程體現(xiàn)了軍事情報(bào)系統(tǒng)建模的所有特征，本文以它為例來(lái)說(shuō)明基于IDEF0及ESCPN的軍事情報(bào)系統(tǒng)建模方法。下邊分別建立其IDEF0模型和ESCPN模型。

4.1 電子對(duì)抗情報(bào)系統(tǒng)的IDEF0模型

電子對(duì)抗情報(bào)系統(tǒng)的頂層結(jié)構(gòu)由情報(bào)偵察、初級(jí)電子對(duì)抗情報(bào)處理、中級(jí)電子對(duì)抗情報(bào)處理、高級(jí)電子對(duì)抗情報(bào)處理四個(gè)模塊組成。情報(bào)偵察模塊主要完成信息獲取工作，初級(jí)電子對(duì)抗情報(bào)處理模塊主要是接收情報(bào)偵察模塊的數(shù)據(jù)信息，完成電子目標(biāo)分析及電子戰(zhàn)斗序列分析，并形成局部地域電磁態(tài)勢(shì)圖;中級(jí)電子對(duì)抗情報(bào)處理模塊主要是將不同地域、不同平臺(tái)、不同專(zhuān)業(yè)領(lǐng)域的電子對(duì)抗初級(jí)情報(bào)綜合起來(lái)，形成整個(gè)負(fù)責(zé)地域內(nèi)的電磁態(tài)勢(shì);高級(jí)電子對(duì)抗情報(bào)處理模塊主要是進(jìn)行綜合情報(bào)分析與判斷，形成電子對(duì)抗綜合情報(bào)和敵情通報(bào)等。

電子對(duì)抗情報(bào)系統(tǒng)的頂層活動(dòng)模型如圖1所示，圖中的矩形框描述了系統(tǒng)的主要功能，箭頭描述了各種數(shù)據(jù)流、信息流和控制流，整個(gè)模型描述了電子對(duì)抗情報(bào)收集、處理、分析、整編形成電子對(duì)抗情報(bào)產(chǎn)品以及情報(bào)成果分發(fā)的全過(guò)程。圖1 電子對(duì)抗情報(bào)系統(tǒng)頂層IDEF0模型通過(guò)對(duì)頂層IDEF0中各個(gè)活動(dòng)的分解可以得到各層子IDEF0模型，從而可以更加具體地描述系統(tǒng)的結(jié)構(gòu)和功能。如將電子對(duì)抗初級(jí)情報(bào)處理活動(dòng)進(jìn)一步分解得到其子活動(dòng)模型如圖2所示。圖2 初級(jí)電子對(duì)抗情報(bào)處理IDEF0模型 圖2中的各個(gè)活動(dòng)模塊可以進(jìn)一步分解，由于篇幅關(guān)系這里不再詳細(xì)闡述。

4.2 電子對(duì)抗情報(bào)系統(tǒng)的ESCPN模型

IDEF0模型描述了電子對(duì)抗情報(bào)系統(tǒng)的體系結(jié)構(gòu)、信息流程，是一種靜態(tài)模型，根據(jù)從IDEF0模型到ESCPN模型的轉(zhuǎn)換規(guī)則，可將其轉(zhuǎn)換為動(dòng)態(tài)可執(zhí)行的ESCPN模型，頂層IDEF0模型所對(duì)應(yīng)的ESCPN模型如圖3所示。圖3 電子情報(bào)系統(tǒng)頂層ESCPN模型 圖3中X1、X2、X3、X4為超變遷，它們所代表的含義分別為X1:情報(bào)偵察活動(dòng)，X2:初級(jí)情報(bào)處理活動(dòng)，X3:中級(jí)情報(bào)處理活動(dòng)，X4:高級(jí)情報(bào)處理活動(dòng)，分別對(duì)應(yīng)IDEF0頂層模型A0中4個(gè)主活動(dòng)，可被進(jìn)一步分解為ESCPN子模型，描述其具體的信息處理活動(dòng)。t1、t2、t3、t4為擴(kuò)展變遷，用于描述各個(gè)分系統(tǒng)的數(shù)據(jù)分發(fā)活動(dòng)。

連接弧上標(biāo)明了各托肯所攜帶的數(shù)據(jù)類(lèi)型，體現(xiàn)了模型運(yùn)行過(guò)程中數(shù)據(jù)的轉(zhuǎn)換和流動(dòng)關(guān)系，各庫(kù)所的顏色集與鄰近弧表達(dá)式上變量或常量的顏色集一致。

將超變遷X2分解得到初級(jí)電子對(duì)抗情報(bào)處理的ESCPN模型如圖4所示。圖4 初級(jí)電子對(duì)抗情報(bào)處理ESCPN模型 初級(jí)電子對(duì)抗情報(bào)系統(tǒng)的ESCPN模型可以繼續(xù)向下分解直至最終的ESCPN模型中不含有超變遷。擴(kuò)展的隨機(jī)著色Petri網(wǎng)在基本Petri網(wǎng)的基礎(chǔ)上引入了面向?qū)ο蟮乃枷耄黾恿藢哟位慕Y(jié)構(gòu)，這樣大大降低了模型的規(guī)模和復(fù)雜度，便于模型的建立和理解。同時(shí)，通過(guò)對(duì)基本建模元素的擴(kuò)展，使得ESCPN不僅可以描述復(fù)雜系統(tǒng)的組織結(jié)構(gòu)和動(dòng)態(tài)行為，還能描述系統(tǒng)的具體動(dòng)作。因此，應(yīng)用ESCPN對(duì)軍事情報(bào)系統(tǒng)進(jìn)行建模，一方面可以全面描述軍事情報(bào)系統(tǒng)的功能結(jié)構(gòu)、信息流程以及層次關(guān)系，表達(dá)系統(tǒng)中的同步、并發(fā)、沖突、隨機(jī)等特性，另一方面可以描述各項(xiàng)情報(bào)處理活動(dòng)的具體動(dòng)作，深刻描述系統(tǒng)的內(nèi)涵。

5 結(jié)束語(yǔ)

軍事情報(bào)系統(tǒng)的ESCPN模型具有基本Petri網(wǎng)的所有特征，運(yùn)用Petri網(wǎng)的動(dòng)態(tài)性質(zhì)(可達(dá)性、有界性、活性、公平性等)及結(jié)構(gòu)性質(zhì)(守恒性、可重復(fù)性、協(xié)調(diào)性、死鎖、陷阱等)分析方法可以對(duì)軍事情報(bào)系統(tǒng)的體系結(jié)構(gòu)及信息流程進(jìn)行分析和評(píng)估，找出制約系統(tǒng)的瓶頸;通過(guò)變遷的時(shí)延分布函數(shù)描述情報(bào)處理過(guò)程中的各種排隊(duì)現(xiàn)象和隨機(jī)時(shí)間，分析系統(tǒng)的各項(xiàng)時(shí)間性能指標(biāo);給變遷添加各種動(dòng)作函數(shù)、事件處理函數(shù)及謂詞函數(shù)，用以描述各項(xiàng)情報(bào)處理活動(dòng)的具體內(nèi)涵與實(shí)際過(guò)程，結(jié)合軍事情報(bào)系統(tǒng)的評(píng)估指標(biāo)體系，驅(qū)動(dòng)ESCPN模型的運(yùn)行完成軍事情報(bào)系統(tǒng)的分析與評(píng)估。

參考文獻(xiàn)

[1]陳禹六.IDEF建模分析和設(shè)計(jì)方法[D].北京:清華大學(xué)出版社，2000.

[2]尚文利.基于IDEF與UML的系統(tǒng)建模方法[J].計(jì)算機(jī)集成制造系統(tǒng)，2004，10(3):252-258.

[3]羅雪山，羅愛(ài)民，張耀鴻，等.Petri網(wǎng)在C4ISR系統(tǒng)建模、仿真中的應(yīng)用[M].長(zhǎng)沙:國(guó)防科技大學(xué)出版社，2007.

[4]林闖.隨機(jī)Petri網(wǎng)和系統(tǒng)性能評(píng)價(jià)[M].北京:清華大學(xué)出版社，2005.

[5]王君英.基于IDEFO的CIMS底層控制Petri網(wǎng)模型的自動(dòng)生成方法[J].自動(dòng)化學(xué)報(bào)，1997，23(3):400-404.

[6]王志堅(jiān)，蔡自興.基于IDEF0模型的Petri網(wǎng)間接建模方法研究[J].系統(tǒng)仿真學(xué)報(bào)，2008，20(15):3915-3919.

[7]林春應(yīng).電子對(duì)抗情報(bào)學(xué)導(dǎo)論[M].北京:解放軍出版社，2006.