楊 雪 陳 策 郗 琦
北京宇航系統(tǒng)工程研究所,北京100076
電路設(shè)計(jì)時(shí),有時(shí)會(huì)需要通過繼電器線包與繼電器開關(guān)的串并聯(lián)組合實(shí)現(xiàn)電路自保持功能,設(shè)計(jì)開關(guān)動(dòng)作時(shí)往往考慮正向響應(yīng),當(dāng)測(cè)試過程出現(xiàn)異常動(dòng)作或狀態(tài)時(shí),電路狀態(tài)會(huì)根據(jù)當(dāng)前狀態(tài)與開關(guān)動(dòng)作改變,可能會(huì)出現(xiàn)與設(shè)計(jì)目標(biāo)背離的狀態(tài),引入潛通路。而多數(shù)潛在通路僅在某種特定的條件下才會(huì)激發(fā),故難以通過試驗(yàn)方式來甄別[1]。像20世紀(jì)60年代初期美國(guó)發(fā)射紅石火箭,發(fā)射點(diǎn)火指令的控制插頭比尾插頭晚29ms脫落,造成潛在電路被激發(fā),導(dǎo)致火箭剛起飛又誤關(guān)機(jī)的嚴(yán)重后果。
目前潛通路分析方法主流的包括波音公司提出的采用網(wǎng)絡(luò)樹及專用線索表查找規(guī)范SCA(Sneak Circuit Analysis)方法,歐空局提出的路徑線索查找的簡(jiǎn)化SCA方法,SoHAR公司的雙向路徑檢索及設(shè)計(jì)缺陷分析方法[1-2],以及國(guó)內(nèi)北京航天自動(dòng)控制研究所研制的CANTGS/CSAS[3-5]、中國(guó)航空綜合技術(shù)研究所與成都電子科大共同研制的UEST-611-301SCAS[3]、第二炮兵工程學(xué)院提出的定性仿真加功能推理[6-9],以及北京航空航天大學(xué)控制學(xué)院提出的基于圖論的分析方法[10]。傳統(tǒng)分析方法中將所有開關(guān)器件的狀態(tài)不加限制地設(shè)置為導(dǎo)通或隨機(jī),會(huì)產(chǎn)生大量的無用路徑。而對(duì)于路徑搜索結(jié)果的處理,目前的方法是對(duì)全部的結(jié)果路徑進(jìn)行狀態(tài)確認(rèn)和分析,耗費(fèi)大量的時(shí)間和人力,提高了分析成本。
根據(jù)繼電器電路網(wǎng)絡(luò)的電氣特性,結(jié)合圖論的理論設(shè)計(jì)分析模型,建立狀態(tài)方程,確定電路不同初始狀態(tài)下的各種響應(yīng)及最終電路狀態(tài),依據(jù)最終穩(wěn)態(tài)查找潛在通路,發(fā)現(xiàn)電路設(shè)計(jì)薄弱處,以便提高電路的安全性與可控性。
用圖論的理論建立分析模型,對(duì)一個(gè)繼電器電路,隱去繼電器電路網(wǎng)絡(luò)的電氣特性,簡(jiǎn)單地把電路抽象為一個(gè)圖F(P,Q),P={p1,p2,p3,…,pn}表示圖中的結(jié)點(diǎn),對(duì)應(yīng)電路圖中的網(wǎng)絡(luò)節(jié)點(diǎn),Q={q1,q2,q3,…,qm}表示圖中的邊,對(duì)應(yīng)電路圖中的元器件或功能模塊,如電阻、電容、燈管及用電設(shè)備等[10]。對(duì)繼電器電路的潛通路分析中,一類代表功能器件、功能模塊的邊,當(dāng)在某種繼電器、開關(guān)組合狀態(tài)下,實(shí)現(xiàn)了設(shè)計(jì)功能。另一類代表繼電器、開關(guān)器件的邊,繼電器、開關(guān)處于接通、斷開狀態(tài)時(shí),開關(guān)兩端的電流通路存在多態(tài)性,因此,引入以變量形式衡量各器件的狀態(tài)X={x1,x2,x3,…,xm}表示各支路的狀態(tài),值為0或1,各支路狀態(tài)變量滿足布爾代數(shù)運(yùn)算法則
圖1 簡(jiǎn)化電路
圖2 分析模型
潛通路分析中,可能出現(xiàn)的通路均為電源到地之間的通路,功能器件的狀態(tài)由該支路的其他器件狀態(tài)、動(dòng)作決定,因此可以將功能器件的狀態(tài)表示為其相關(guān)器件的狀態(tài)及動(dòng)作,即
對(duì)于多電源電路,實(shí)現(xiàn)某個(gè)功能的支路可能不只一條,將所有電源到地的相關(guān)支路均表示出來,可對(duì)該功能器件表示為
由于繼電器電路的特殊性,其線包狀態(tài)決定開關(guān)狀態(tài),而開關(guān)狀態(tài)的切換會(huì)引起線包的供電支路改變,因此,針對(duì)這種特殊性,引入狀態(tài)方程來表征電路的狀態(tài),將繼電器線包、用電設(shè)備作為繼電器開關(guān)狀態(tài)、開關(guān)動(dòng)作的函數(shù),即
對(duì)于圖2的分析模型,狀態(tài)方程可表示為
根據(jù)不同的當(dāng)前各開關(guān)狀態(tài)、繼電器線包狀態(tài)及開關(guān)動(dòng)作可以確定電路最終的幾種狀態(tài),如表1所示。
表1 不同起始狀態(tài)對(duì)應(yīng)的電路最終狀態(tài)
電路保持穩(wěn)定的最終狀態(tài)為以下5種:
對(duì)這5種最終電路狀態(tài)進(jìn)行分析,狀態(tài)1為不加電狀態(tài),狀態(tài)2為控制電源給用電設(shè)備供電狀態(tài),狀態(tài)3為準(zhǔn)備上電狀態(tài),狀態(tài)4為控制電、供電電同時(shí)供電狀態(tài),狀態(tài)5為供電狀態(tài)。其中狀態(tài)1、3和5為設(shè)計(jì)目標(biāo),狀態(tài)4為狀態(tài)轉(zhuǎn)換中出現(xiàn)的并聯(lián)狀態(tài),狀態(tài)2為不被允許的潛在狀態(tài),存在控制電源過載、損毀電源及異常斷電損壞用電設(shè)備的風(fēng)險(xiǎn)。
用狀態(tài)方程確定繼電器電路的最終狀態(tài),具有定性、全面且便于計(jì)算機(jī)輔助分析的特點(diǎn)。本文主要針對(duì)繼電器電路進(jìn)行分析,建立分析模型及狀態(tài)方程,根據(jù)狀態(tài)量及開關(guān)動(dòng)作確定電路最終出現(xiàn)的狀態(tài),并由最終狀態(tài)來確定是否存在潛通路。避免復(fù)雜系統(tǒng)由于設(shè)計(jì)分析不到、測(cè)試不到而留下的潛在威脅。對(duì)于復(fù)雜繼電器電路,可以通過計(jì)算機(jī)輔助計(jì)算狀態(tài)方程進(jìn)行分析,以提高效率。