崔譜龍 葉華平 閆 華

（陸軍勤務學院 重慶 400000）

1 引言

從多階段任務系統(tǒng)的角度，對戰(zhàn)時油料保障任務可靠性進行分析，能夠發(fā)現(xiàn)系統(tǒng)中的薄弱環(huán)節(jié)，并據(jù)此改進任務配置，提高油料保障的任務可靠性。但是，由于戰(zhàn)時油料保障任務時間跨度長、任務復雜，且隨作戰(zhàn)要求的變化其裝備配置也在不斷變化，因此，對其可靠性的分析變得非常復雜。目前，多階段任務系統(tǒng)的可靠性分析方法主要有兩類：1）組合模型法，常用的如二維決策圖法（Binary Decision Diagram，BDD）［1～4］；2）狀態(tài)空間法［5～8］，如Markov法和Petri網(wǎng)法?；跔顟B(tài)空間的方法能夠有效描述多階段任務的動態(tài)行為并解決部件的跨階段依賴問題，但存在狀態(tài)空間爆炸的問題?；贐DD的分析方法比傳統(tǒng)的組合模型及狀態(tài)空間模型在存儲空間和計算效率都有明顯的優(yōu)勢［9］，其通過階段代數(shù)和微元替代法解決跨階段依賴問題。但隨著階段數(shù)和微部件的增加，生成BDD的規(guī)模會不斷增大，需要確定合理的變量排序方法進一步縮減BDD的規(guī)模。

利用BDD對油料保障任務可靠性進行分析時，變量排序方法直接影響最終可靠性模型的規(guī)模大小，其不僅包括階段內(nèi)變量的排序，還包括各階段之間變量的排序。對于階段內(nèi)變量的排序，現(xiàn)在排序方法一般可以分為兩類：基于結(jié)構的方法和基于權重的方法?；诮Y(jié)構的排序方法［10～11］根據(jù)從上至下、從左至右或深度優(yōu)先等方式對故障樹進行遍歷，根據(jù)變量的訪問順序?qū)ψ兞颗判?；基于權重的方法?2］，一般需要對變量進行兩次遍歷，根據(jù)不同的賦權規(guī)則對第一次遍歷的變量賦權，第二次遍歷再根據(jù)變量的權重進行排序。這兩類方法主要是借鑒對單階段變量排序的方法，沒有考慮變量在不同階段的跨階段依賴性，對不同結(jié)構的多階段任務，排序的性能波動較大。對于階段之間變量的排序，現(xiàn)有的排序方法，根據(jù)變量順序與階段順序關系可分為向前PDO和向后PDO，研究證明向后PDO能自動刪除共同部件，比向前PDO生成更小規(guī)模的BDD［13］。將相同部件的變量排在一起，有利于處理變量的階段依賴性，但存在相鄰實變量邏輯確定性不強從而產(chǎn)生重復節(jié)點的問題，需要進一步優(yōu)化。將相同階段的變量排在一起，重復節(jié)點較少，但構造BDD時，需要執(zhí)行輔助的移除過程來處理變量的階段依賴性，因為BDD本身的化簡操作會使這一過程變得很復雜。

通過總結(jié)現(xiàn)有排序方法中影響B(tài)DD規(guī)模的因素，本文提出了一種多階段任務系統(tǒng)BDD變量的排序方法。該方法通過化簡系統(tǒng)故障樹減少實變量，基于邏輯確定性排序減少實變量重復節(jié)點，從而有效減少BDD模型中的節(jié)點數(shù)量。最后，通過實例驗證方法的有效性。

2 基于邏輯確定性變量排序方法

2.1 排序思想

在多階段任務中，實變量的個數(shù)會因階段數(shù)增加而增多，因為同一部件可能在多個階段重復出現(xiàn)。同一部件的工作狀態(tài)可能對不同階段產(chǎn)生不同的影響，但任一階段任務的失敗都會導致整個任務的失敗。根據(jù)多階段任務這種結(jié)構特點，提出系統(tǒng)故障樹化簡和基于邏輯確定性的BDD排序方法，通過減少實變量的個數(shù)和增加共享的BDD節(jié)點數(shù)，以減少BDD結(jié)構的的重復節(jié)點，從而減小BDD的規(guī)模。通過對現(xiàn)有排序方法［14～16］的分析，影響邏輯確定性的因素有變量的層次、子樹變量數(shù)目、最小相鄰變量和變量重復度。變量在故障樹中的層次越高，越靠近頂事件，邏輯確定性越高；變量所在子樹的變量數(shù)目越少，邏輯確定性越高；最小相鄰變量已排序，邏輯確定性越高；變量的重復度越低，邏輯確定性越高。

2.2 排序原則

要生成系統(tǒng)的排序，需要按一定的方式將元變量排序，再用實變量代替元變量則是系統(tǒng)。對于實變量在階段之間的排序方式，采用向后PDO排序的方式：以變量A為例，在各階段的實變量排序為：AnAn-1，…，A。現(xiàn)在主要確定元變量的排序原則。

定義1：邏輯確定性在多階段任務中，變量的失效狀態(tài)對其所在階段或整個任務成敗影響的大小稱為邏輯確定性。影響越大則邏輯確定性越強，對于邏輯確定性強的變量給予較高的排序優(yōu)先級。

定義2：最小相鄰變量是在故障樹中與同一邏輯門（或門或者與門）相連的變量。

對于影響邏輯確定性的影響因素：變量的層次、子樹變量數(shù)目、最小相鄰變量和變量重復度依次給予較低的優(yōu)先級。具體的優(yōu)先規(guī)則如下：

1）優(yōu)先規(guī)則一：變量的層次，變量在故障樹中的層次越高，邏輯確定性強，其排序優(yōu)先級越高。

2）優(yōu)先規(guī)則二：子樹變量數(shù)目，變量所在子樹的變量數(shù)目越少，邏輯確定性強，其排序優(yōu)先級高。

3）優(yōu)先規(guī)則三：最小相鄰變量，如果變量的最小相鄰變量已排序，已排序的最小相鄰變量越靠前，邏輯確定性強，其排序優(yōu)先級高。

4）優(yōu)先規(guī)則四：變量重復度，變量在各個階段重復的次數(shù)越少，邏輯確定性強，其排序優(yōu)先級高。

2.3 排序流程

圖1 子樹選擇判定流程

圖2 變量選擇流程

階段間的排序采用的向后PDO的排序方法，從最后一階段的故障樹開始對各階段故障樹依次遍歷。根據(jù)以上四個優(yōu)先規(guī)則，對各階段故障樹進行子樹選擇和變量選擇。如果以上規(guī)則都無法確定優(yōu)先級，則按照故障樹結(jié)構，從左至右的方式進行排序。在故障樹的遍歷過程中，首先確定子樹，然后對子樹中包含的變量進行排序。子樹的判定過程如圖1所示，首先按照優(yōu)先規(guī)則一優(yōu)先選擇包含層次最少的子樹；如果都相同則按照優(yōu)先規(guī)則二優(yōu)先選擇包含變量數(shù)少的子樹；如果都相同按照優(yōu)先規(guī)則三選擇包含最小相鄰變量且變量排序靠前的變量的子樹；如果都相同則按照從左至右的順序選擇子樹。

變量的選擇過程如圖2所示，首先按照優(yōu)先規(guī)則一，層次越高的變量排序優(yōu)先級越高；如果都相同，則按照優(yōu)先規(guī)則三，具有最小相鄰變量且變量排序靠前的變量優(yōu)先排序；如果都相同，則按照從左至右的順序進行變量排序。

2.4 步驟分析

假設多階段任務由n個變量，j個階段組成：Di代表故障樹第i階段門事件所包含變量數(shù)目集；C代表變量的最小相鄰變量集；R代表變量的重復度集；Oi代表故障樹元變量在第i階段的排序結(jié)果。

步驟一：根據(jù)共同失效變量對多階段任務系統(tǒng)故障樹化簡。

步驟二：對系統(tǒng)故障樹進行遍歷，得到各個階段故障樹門事件所包含變量數(shù)目集Di、變量的重復度集R、變量的最小相鄰變量集C。

步驟三：從第j個階段的最高層開始，按照邏輯確定性的四個優(yōu)先規(guī)則對變量進行選擇判定，對子樹進行選擇判定。具體過程是，先將最高層中的變量排序，然后進行子樹選擇，再進行下一層變量排序，子樹排序完成后再回溯至上一層進行子樹選擇，變量排序，直至第j階段故障樹所有變量都被排序，生成階段排序Oi。

圖3 排序方法流程圖

步驟四：對i-1階段中沒有參與排序的變量繼續(xù)排序。排序的方法同步驟三，直到各個階段的變量都已排序，得到排序各階段的排序結(jié)果分別有O1，O2，…，Oj表示。

步驟五：得到多階段任務元變量的排序Oj?…?O2?O1，按照向后PDO的方式將元變量用實變量代替則得到多階段任務實變量的排序。整個過程排序流程如圖3所示。

2.5 算例分析

為了更好地說明基于邏輯確定性BDD變量的排序方法的排序過程，本文對經(jīng)過簡化的油料保障案例，如圖4，用文中的排序方法進行變量排序。

圖4 油料保障案例

1）BDD變量排序

步驟一：根據(jù)共同失效變量對多階段任務系統(tǒng)故障樹化簡。故障樹中存在共同失效變量A，在階段1中，A與B通過與門連接則將A與G1門事件對應的子樹刪去；在階段2中，A與G3門事件通過與門連接則將A與G3門事件對應的子樹刪去；在階段3中將A刪去，G6與G8對應的子樹是共同失效模塊，G8在階段4中且與或門相連則將G6對應的子樹刪去。通過上述化簡后對故障樹進行重新整理，可以得到新的故障樹，如圖5。

圖5 化簡后的故障樹

步驟二：對系統(tǒng)故障樹進行遍歷，得到各個階段故障樹門事件所包含變量數(shù)目集Di、變量的重復度集R、變量的最小相鄰變量集C。遍歷結(jié)果如下表1所示。

步驟三：從階段4的最高層開始，變量A是故障樹第0層的唯一變量故首先對A進行排序。第0層存在唯一門事件G8故確定了子樹，變量C和變量F是最小相鄰變量，F(xiàn)的重復度小于C故先對F排序后對C排序，生成階段4排序O4｛A?F?C｝。

步驟四：對階段3中沒有參與排序的變量繼續(xù)排序。變量E是階段3故障樹第0層的唯一變量故首先對E進行排序。第0層存在唯一門事件G5故確定了子樹，變量B和變量D是最小相鄰變量，B的重復度小于D故先對B排序后對D排序，生成階段3的排序O3｛E?B?D｝。至此所有的元變量都已排序。

步驟五：得到多階段任務元變量的排序O4?O3｛A?F?C?E?B?D｝，按照向后PDO的方式將元變量用實變量代替則得到整個任務實變量的排序為

A4? F4? C4? C1? E3? B3? D3? D1

2）BDD構造

根據(jù)本文BDD變量的排序，構造出整個任務的BDD，如圖6所示，實變量有8個，BDD圖中只包括9個節(jié)點，只有E3變量重復出現(xiàn)了一次。

圖6 本文方法生成BDD圖

下面運用傳統(tǒng)的深度優(yōu)先法對本例進行排序，從階段1至階段4，按照從左至右、從上至下并考慮變量重復度的方法進行排序。通過對比BDD的規(guī)模，體現(xiàn)基于邏輯確定性排序方法的優(yōu)勢。通過改進的深度優(yōu)先法，對本例的排序結(jié)果為C4?C2?C1?D3?D2?D1?E3?E2?B3?B1?A4?A3?A2?A1?F4。構造BDD如圖7所示，節(jié)點數(shù)為16個。通過對比可以發(fā)現(xiàn)傳統(tǒng)排序方法生成的BDD中實變量個數(shù)多，相同的實變量的重復次數(shù)也比用本文的方法生成的BDD多。E3、D3、A4分別重復了5次、3次和2次，相鄰變量D3和B3分別重復了3次和2次。在本文排序方法中，根據(jù)邏輯確定性將失效會直接導致任務失敗的變量A優(yōu)先排序，將相鄰變量D和B相鄰排序，將重復次數(shù)較多D和C給予較低的排序優(yōu)先級，所以構造的BDD中有更多的共享節(jié)點，減少了重復出現(xiàn)的節(jié)點數(shù)，從而減小了BDD的規(guī)模，有利于提高可靠性計算的效率。

圖7 傳統(tǒng)方法生成BDD圖

3 結(jié)語

基于二維決策圖的戰(zhàn)時油料保障任務可靠性分析，其變量排序?qū)DD的規(guī)模以及計算效率有重要的影響。通過總結(jié)現(xiàn)有研究方法中對BDD規(guī)模的影響因素，提出一種改進的變量排序方法?；谶壿嫶_定性對變量的層次、子樹變量數(shù)目、最小相鄰變量和變量重復度依次給予較低的優(yōu)先級，從而增加BDD中的共享節(jié)點，有助于減小BDD的規(guī)模，提高戰(zhàn)時油料保障任務可靠性分析的效率。