黃海

（廣東培正學(xué)院教務(wù)處，廣東廣州510830）

糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)絡(luò)可靠性建模與分析

黃海

（廣東培正學(xué)院教務(wù)處，廣東廣州510830）

針對(duì)糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)絡(luò)缺乏可靠性評(píng)估手段的難題，引入廣義隨機(jī)Petri網(wǎng)建模與分析技術(shù)，建立了糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)絡(luò)可靠性分析模型.該模型有效地模擬了各類(lèi)故障在糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)絡(luò)中的動(dòng)態(tài)行為.在TimeNET 4.2軟件環(huán)境下實(shí)現(xiàn)糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)絡(luò)可靠性分析模型，分析了系統(tǒng)可用度的動(dòng)態(tài)變化趨勢(shì)及原因，驗(yàn)證了模型的正確性和有效性.模型可以為糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)絡(luò)的可靠性評(píng)估提供參考.

糧庫(kù)監(jiān)控系統(tǒng)；總線網(wǎng)絡(luò)；廣義隨機(jī)Petri網(wǎng)；可靠性；可用度

糧庫(kù)監(jiān)控系統(tǒng)是保證糧庫(kù)安全生產(chǎn)的“電子警察”，總線網(wǎng)絡(luò)是實(shí)現(xiàn)糧庫(kù)監(jiān)控系統(tǒng)信息實(shí)時(shí)、可靠傳輸?shù)纳窠?jīng)中樞［1］.目前關(guān)于糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)絡(luò)的研究大多集中在軟硬件設(shè)計(jì)等方面，而關(guān)于可靠性建模與分析缺乏針對(duì)性研究［2］.如何建立糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路可靠性分析模型，對(duì)驗(yàn)證糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路設(shè)計(jì)方案的可行性和正確性具有非常重要的意義［3］.

廣義隨機(jī)Petri網(wǎng)（Generalized Stochastic Petri Net，GSPN）是在普通Petri網(wǎng)基礎(chǔ)上通過(guò)擴(kuò)展變遷類(lèi)型得到的一種高級(jí)Petri網(wǎng)形式，可以更加有效地描述系統(tǒng)的動(dòng)態(tài)變化運(yùn)行過(guò)程，已經(jīng)在諸多領(lǐng)域中得到了重視與研究［4］.筆者將GSPN引入糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路可靠性分析領(lǐng)域中，探討GSPN在糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路可靠性建模與分析中的應(yīng)用價(jià)值.

1 糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路故障模式分析

1.1 網(wǎng)路拓?fù)浣Y(jié)構(gòu)

系統(tǒng)由幾個(gè)功能單元和模塊組成：主控節(jié)點(diǎn)（MN）、備份主控節(jié)點(diǎn)（BMN）和各個(gè)功能節(jié)點(diǎn)FNi(1≤i≤8).為了保證糧庫(kù)監(jiān)控系統(tǒng)實(shí)時(shí)可靠工作，該糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路采用雙冗余設(shè)計(jì)［5］.圖1為某糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路拓?fù)浣Y(jié)構(gòu).

圖1 糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路拓?fù)浣Y(jié)構(gòu)

1.2 系統(tǒng)故障模式

結(jié)合糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路拓?fù)浣Y(jié)構(gòu)的連接關(guān)系，分析糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路功能的基礎(chǔ)上，建立該糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路動(dòng)態(tài)故障樹(shù)模型（見(jiàn)圖2），用以描述糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路的故障模式［6］.其中：頂層故障是整個(gè)糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路故障IES；中間層故障分別是總線子系統(tǒng)故障A、功能節(jié)點(diǎn)子系統(tǒng)故障B和主控節(jié)點(diǎn)子系統(tǒng)故障C，它們以或門(mén)連接關(guān)系導(dǎo)致整個(gè)糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路故障IES；底層故障分別是總線、功能節(jié)點(diǎn)或主控節(jié)點(diǎn)的故障［7］.Bus0與Bus1故障和MN與BMN故障都是以與門(mén)連接關(guān)系分別導(dǎo)致總線子系統(tǒng)故障A和主控節(jié)點(diǎn)子系統(tǒng)故障C，其余的功能節(jié)點(diǎn)FNi(1≤i≤8)故障以或門(mén)連接關(guān)系導(dǎo)致功能節(jié)點(diǎn)子系統(tǒng)故障B.

2 糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路可靠性建模

在GSPN的建?？蚣芟?，首先定義GSPN的模型要素及其在糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路可靠性建模用法的對(duì)應(yīng)關(guān)系；其次，應(yīng)用GSPN建立糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路可靠性分析的GSPN模型［8］.

2.1 定義GSPN模型要素與用法的對(duì)應(yīng)關(guān)系

圖2 糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路動(dòng)態(tài)故障樹(shù)模型

廣義隨機(jī)Petri網(wǎng)可以描述為一個(gè)8元組［9］：GSPN=(P，T，I，O，H，M0，W，λ)，其中：

（1）P={P1,P2,…,Pn}為庫(kù)所的有窮集合；

（2）T={T1,T2,…,Tm}為變遷的有窮集合；

（3）I?P×T為輸入弧的有窮集合；

（4）O?T×P為輸出弧的有窮集合；

（5）H為禁止弧的有窮集合；

（6）M0為系統(tǒng)初始標(biāo)識(shí)的集合；

（7）W為弧權(quán)函數(shù)的有窮集合；

（8）λ={λ1,λ2,…,λm}是與變遷集合T={T1,T2,…,Tm}一一對(duì)應(yīng)的平均實(shí)施速率集合.

在糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路可靠性建模過(guò)程中，定義GSPN的建模要素與用法的對(duì)應(yīng)關(guān)系見(jiàn)表1.

表1 GSPN模型要素與用法的對(duì)應(yīng)關(guān)系

2.2 網(wǎng)路可靠性分析的GSPN模型

根據(jù)糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路的故障模式，分別建立總線子系統(tǒng)故障A的GSPN模型、功能節(jié)點(diǎn)子系統(tǒng)故障B的GSPN模型和主控節(jié)點(diǎn)子系統(tǒng)故障C的GSPN模型.在此基礎(chǔ)上，綜合這3部分模型得到糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路可靠性分析的GSPN模型（見(jiàn)圖3），其中主要庫(kù)所和變遷的名稱(chēng)及含義見(jiàn)表2和表3.

模型工作原理：假設(shè)某一時(shí)刻，糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路的功能節(jié)點(diǎn)FN4發(fā)生故障，即：指數(shù)時(shí)間變遷T18激活，庫(kù)所P20和P30的標(biāo)記被清空，庫(kù)所P21生成標(biāo)記，表明功能節(jié)點(diǎn)FN4發(fā)生故障；同時(shí)庫(kù)所P31生成標(biāo)記，表明處于故障狀態(tài)的功能節(jié)點(diǎn)或單元的個(gè)數(shù)為1，即功能節(jié)點(diǎn)FN4發(fā)生故障，由于禁止弧的存在，其他功能節(jié)點(diǎn)或單元不能同時(shí)發(fā)生故障［10］.瞬時(shí)變遷T28激活，庫(kù)所P31標(biāo)記被清空，庫(kù)所P32生成標(biāo)記，表明功能節(jié)點(diǎn)子系統(tǒng)B發(fā)生故障，同時(shí)庫(kù)所P33生成標(biāo)記，表明糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路IES發(fā)生故障.稍后某個(gè)時(shí)刻，指數(shù)時(shí)間變遷T19激活，庫(kù)所P21和P31的標(biāo)記被清空，庫(kù)所P20生成標(biāo)記，表明功能節(jié)點(diǎn)FN4故障的維修完成［11］.同時(shí)庫(kù)所P30生成標(biāo)記，瞬時(shí)變遷T29激活，庫(kù)所P30標(biāo)記不變，庫(kù)所P32標(biāo)記被清空，表明功能節(jié)點(diǎn)子系統(tǒng)B故障的維修完成.同時(shí)P33標(biāo)記被清空，表明糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路又進(jìn)入正常工作狀態(tài).

圖3 糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路可靠性分析的GSPN模型

表2 主要庫(kù)所及其含義

3 模型實(shí)現(xiàn)與仿真分析

3.1 模型實(shí)現(xiàn)

TimeNET 4.2是德國(guó)柏林工業(yè)大學(xué)開(kāi)發(fā)用于支持GSPN的建模與仿真工具.本文在該軟件環(huán)境下實(shí)現(xiàn)了糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路可靠性分析的GSPN模型（見(jiàn)圖4）.

在糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路可靠性分析的GSPN模型中，定義糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路可用度為：AIES=1－P {#P33＞0}；定義總線子系統(tǒng)可用度為：AA=1－P{#P6＞0}；定義功能節(jié)點(diǎn)子系統(tǒng)可用度為：AB=1－P{#P32＞0}；定義主控節(jié)點(diǎn)子系統(tǒng)可用度為：AB=1－P{#P13＞0}.模型中，各個(gè)功能模塊或單元的故障率和修復(fù)率的參數(shù)設(shè)置見(jiàn)表4.

表3 主要變遷及其含義

3.2 模型仿真與分析

在TimeNET 4.2軟件環(huán)境下，模型運(yùn)行成功得到糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路整體的可用度曲線和總線子系統(tǒng)、功能節(jié)點(diǎn)子系統(tǒng)及主控節(jié)點(diǎn)子系統(tǒng)的可用度曲線（見(jiàn)圖5～圖8）.

圖4 模型實(shí)現(xiàn)

表4 故障率和修復(fù)率的設(shè)置

有仿真結(jié)果可知：糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路整體的可用度的變化范圍為[59.9%,100%]，其隨著時(shí)間的變化逐漸減少，到115 h之后趨于平穩(wěn)，最后為59.9%.總線子系統(tǒng)、功能節(jié)點(diǎn)子系統(tǒng)和主控節(jié)點(diǎn)子系統(tǒng)的可用度變化范圍分別為[99.9%,100%]、[60.6%,100%]和[99.8%,100%].總線子系統(tǒng)和主控節(jié)點(diǎn)子系統(tǒng)對(duì)糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路整體的可用度幾乎沒(méi)有影響，這是因?yàn)樗鼈兌蓟谂c門(mén)邏輯進(jìn)行的冗余設(shè)計(jì)，而功能節(jié)點(diǎn)子系統(tǒng)的可用度曲線與糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路整體的可用度的變化趨勢(shì)基本一致，功能節(jié)點(diǎn)子系統(tǒng)的可用度對(duì)糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路整體的可用度的影響是最大的，這是因?yàn)榧Z庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路的故障是由總線子系統(tǒng)、功能子系統(tǒng)和主控節(jié)點(diǎn)子系統(tǒng)的故障以或門(mén)邏輯疊加得到的，而總線子系統(tǒng)與主控節(jié)點(diǎn)子系統(tǒng)的可靠性又是極高的.在設(shè)計(jì)糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路時(shí)，需要根據(jù)工程設(shè)計(jì)的任務(wù)要求，設(shè)計(jì)滿(mǎn)足特定可靠性指標(biāo)的功能節(jié)點(diǎn)子系統(tǒng).

圖5 糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路可用度

圖6 總線子系統(tǒng)可用度

圖7 功能節(jié)點(diǎn)子系統(tǒng)可用度

圖8 主控節(jié)點(diǎn)子系統(tǒng)可用度

4 結(jié)論

在GSPN的建?？蚣芟拢x了GSPN的模型要素及其在糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路可靠性建模用法的對(duì)應(yīng)關(guān)系，構(gòu)建了糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路可靠性分析的GSPN模型，該模型可以有效模擬各類(lèi)故障在糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路中的動(dòng)態(tài)行為過(guò)程.為驗(yàn)證模型的正確性和有效性，基于TimeNET 4.2軟件環(huán)境實(shí)現(xiàn)了糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路可靠性分析GSPN模型，分析了系統(tǒng)可用度曲線的變化趨勢(shì)和變化原因，為糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路可靠性分析、優(yōu)化與設(shè)計(jì)提供依據(jù).結(jié)合新型糧庫(kù)監(jiān)控系統(tǒng)總線網(wǎng)路的可靠性需求，實(shí)現(xiàn)進(jìn)一步的可靠性分析與設(shè)計(jì)是下一步的工作重點(diǎn).

［1］呂宗旺，吳建軍，孫福艷，等.現(xiàn)代智慧糧庫(kù)系統(tǒng)的設(shè)計(jì)與研究[J].河南工業(yè)大學(xué)學(xué)報(bào)（自然科學(xué)版），2013，34（5）：79-82.

［2］周軼捷，高雪霞.全信息化大型糧庫(kù)監(jiān)測(cè)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[J].河南工業(yè)大學(xué)學(xué)報(bào)（自然科學(xué)版），2014，35（6）：79-83.

［3］岳龍旺，顏丙生，張世雄.大型糧庫(kù)綜合監(jiān)控系統(tǒng)研究[J].糧食與食料工業(yè)，2015（2）：10-12，19.

［4］王鑫，黃翌.基于PIC單片機(jī)的糧庫(kù)監(jiān)控系統(tǒng)的設(shè)計(jì)[J].微型機(jī)與應(yīng)用，2015（2）：85-87.

［5］李建勇，李洋，劉雪梅.基于ZigBee的糧庫(kù)環(huán)境監(jiān)控系統(tǒng)設(shè)計(jì)[J].電子技術(shù)應(yīng)用，2016（1）：65-67，71.

［6］Zimmermann A.Stochastic Discrete Event Systems：Modeling,Evaluation,Applications[M].New York：Springer-Verlag,Inc.2007.

［7］石健，王少萍，王康.基于GSPN的機(jī)載液壓作動(dòng)系統(tǒng)可靠性模型[J].航空學(xué)報(bào)，2011，32（5）：920-933.

［8］谷春英，姚青山.基于GSPN的計(jì)算機(jī)硬件系統(tǒng)可靠性分析[J].微電子學(xué)與計(jì)算機(jī)，2013，30（6）：122-125.

［9］趙喆，賈玉紅，鄭昕，等.基于GSPN的飛機(jī)前輪轉(zhuǎn)彎系統(tǒng)安全性評(píng)估[J].北京航空航天大學(xué)學(xué)報(bào)，2011，37（12）：1546-1551.

［10］朱俊，郭長(zhǎng)國(guó)，吳泉源.一種基于廣義隨機(jī)Petri網(wǎng)的Web服務(wù)組合性能預(yù)測(cè)模型[J].計(jì)算機(jī)科學(xué)，2011，38（8）：125-129.

［11］劉雪艷，張強(qiáng)，寇曉東.基于Petri網(wǎng)的嵌入式軟件組件的實(shí)時(shí)性研究[J].電子技術(shù)應(yīng)用，2009（2）：27-29.

Modeling and Reliability Analysis of Bus Network of Granary Monitoring and Control System

HUANG Hai
（Dean's Office,Guangdong Peizheng College,Guangzhou 453000,Guangdong,China）

In view of the problem that there are more difficulties in the reliability analysis of the bus network of granary monitoring and control system（GMCS）,the generalized stochastic petri net（GSPN）in the application of reliability analysis of bus network of GMCS is introduced.The reliability analysis model of bus network of GMCS is constructed.It can describe the dynamic behavior of all kinds of faults in bus network of GMCS.The reliability analysis model of bus network of GMCS is realized in the software TimeNET 4.2 and the dynamic change trend and the cause of availability is analyzed to validate the proposed model.It can provide theoretical basis for the reliability analysis of bus network of GMCS.

granary monitoring and control system；bus network；generalized stochastic petri net；reliability; availability

TP391.9

A

1007-5348（2017）06-0027-05

（責(zé)任編輯：歐愷）

2017-03-14

黃海（1987-），男，江西南昌人，廣東培正學(xué)院教務(wù)處教師，碩士；研究方向：計(jì)算機(jī)科學(xué)與技術(shù).