確定。此類故障 方程通常用約簡后D矩陣的診斷邏輯進(jìn)行表達(dá)。
[0038] 當(dāng)接口發(fā)生故障時(shí)，需要分為單接口和多接口的情況。
[0039] 單接口情況下接口發(fā)生故障時(shí)，內(nèi)部故障不影響其他故障傳播，與模塊不工作時(shí) 不可區(qū)分，只能憑借是否工作判斷邏輯來確定。此類故障方程通常用是否工作判斷邏輯進(jìn) 行表達(dá)。
[0040] 多接口情況下接口發(fā)生故障時(shí)，接口故障不會(huì)對通信鏈路另一端的接口產(chǎn)生影 響，但內(nèi)部故障會(huì)影響其他故障傳播，因此確定模塊處于工作狀態(tài)，在該接口測試不通過而 通信鏈路另一端的接口測試正常的時(shí)候，方可確定該接口發(fā)生故障。此類故障方程通常憑 借通信鏈路兩端的接口 BIT/測試診斷結(jié)果來確定。
[0041] 對接口故障來說，還會(huì)存在信號缺失的情況，而故障方程可以彌補(bǔ)其他診斷模型 對信號缺失條件下，不能正確的進(jìn)行診斷或者發(fā)生虛警。如果是由于信號缺失而引起的接 口故障，那么在對約簡后的D矩陣進(jìn)行擴(kuò)展時(shí)，將關(guān)聯(lián)關(guān)系設(shè)為-1。
[0042] 在擴(kuò)展D矩陣生成的時(shí)候，根據(jù)故障類型及關(guān)聯(lián)關(guān)系進(jìn)行信息的補(bǔ)充。0表示故障 沒有發(fā)生，-1表示信息缺失的故障發(fā)生，1表示除信號缺失以外的故障發(fā)生，X表示故障與 測試沒有關(guān)系。
[0043]例如，某系統(tǒng)有2個(gè)LRU:LRU1與LRU2,其約簡后的三值D矩陣和擴(kuò)展后的D矩陣如表 3、表4所示。根據(jù)上述故障識別原則，F(xiàn)1和F2屬于內(nèi)部故障，F(xiàn)3和F4屬于接口故障，F(xiàn)5屬于信 號缺失故障。
[0044]表3某系統(tǒng)約簡后的三值D矩陣
[0048]
[0049] 4診斷邏輯修正
[0050] 根據(jù)以上步驟得到的診斷邏輯構(gòu)成的故障方程是故障方程原始形式，需要對其進(jìn) 行診斷邏輯修正和沖突預(yù)防、消解，得到最終的故障方程。診斷邏輯的修正主要包括:測試 點(diǎn)進(jìn)一步壓縮，變量命名標(biāo)準(zhǔn)化，判據(jù)具體化，模糊組調(diào)整。
[0051 ] 4.1測試點(diǎn)進(jìn)一步壓縮
[0052] 根據(jù)已經(jīng)獲得的診斷邏輯，逐一進(jìn)行實(shí)際分析，判斷是否存在故障僅由診斷邏輯 中部分測試點(diǎn)的監(jiān)測結(jié)果即可實(shí)現(xiàn)隔離的情況，如果存在，則需要對測試點(diǎn)的進(jìn)一步壓縮， 即去除冗余測試點(diǎn)形成的邏輯。
[0053] 例如，某故障方程:處理器故障=處理器/心跳測試AND(N0T(供電模塊/電流檢測 BIT))AND(模塊1/FC測試)AND(模塊2/FC測試)若此時(shí)處理器故障只由處理器的心跳測試和 供電模塊電流檢測即可判定，則可去除冗余測試模塊1和模塊2的FC測試，進(jìn)一步壓縮測試 點(diǎn)后得到故障方程為:處理器故障=處理器/心跳測試AND(N0T(供電模塊/電流檢測BIT))。
[0054] 4.2變量命名標(biāo)準(zhǔn)化
[0055] 針對由BIT/測試轉(zhuǎn)化的診斷邏輯，按照故障方程變量的定義方法對BIT/測試相關(guān) 變量的命名進(jìn)行標(biāo)準(zhǔn)化，以提高診斷邏輯的可識別性和實(shí)用性。
[0056]對于4.1例子中得到的進(jìn)一步壓縮后的故障方程，對變量命名進(jìn)行標(biāo)準(zhǔn)化后得到 故障方程為:處理器故障=處理器心跳測試超時(shí)AND(N0T(供電模塊對該通路電流檢測通 過)）。
[0057] 4.3判據(jù)具體化
[0058]針對由BIT/測試轉(zhuǎn)化的診斷邏輯，其BIT/測試變量表示的是決策的結(jié)果，需要進(jìn) 一步具體化判據(jù)，即用實(shí)際門限判斷邏輯替代診斷邏輯中相應(yīng)的BIT/測試變量。
[0059] 對于4.1例子進(jìn)行變量命名標(biāo)準(zhǔn)化后得到的故障方程，進(jìn)行判據(jù)具體化后得到的 故障方程為：處理器故障=(處理器心跳測試反應(yīng)時(shí)間GE 3s)AND(N0T(該通路電流GE 30mA))〇
[0060] 4.4包含關(guān)系分解
[0061] 為了提高計(jì)算量，而將多條故障方程中的共同項(xiàng)提取出來作為需要分解的包含關(guān) 系。需要分解的情況有以下幾種：
[0062] 1)基于表決關(guān)系的多故障情況
[0063] 在表決關(guān)系內(nèi)的大多數(shù)故障現(xiàn)象發(fā)生時(shí)，表決通過，則某一個(gè)單故障發(fā)生，診斷邏 輯由所有故障邏輯的表決結(jié)果確定;而在表決關(guān)系內(nèi)的少數(shù)故障現(xiàn)象發(fā)生時(shí)，表決不通過， 處理為該少數(shù)故障同時(shí)發(fā)生的多故障，診斷邏輯由各自故障的診斷邏輯確定。例如，某航電 設(shè)備的液冷故障引起的大部分模塊超溫的情況。
[0064] 2)普通多故障情況
[0065]這種情況下，表現(xiàn)為幾個(gè)單故障同時(shí)發(fā)生，診斷邏輯用所有故障的矩陣行求"或" 運(yùn)算結(jié)果確定。
[0066] 5.沖突預(yù)防、消解
[0067] 在利用約簡D矩陣生成診斷邏輯之前，可利用約簡D矩陣中模糊組預(yù)先知道可能產(chǎn) 生沖突的故障方程，在生成診斷邏輯時(shí)加入附加邏輯防范。生成診斷邏輯之后，若故障方程 存在沖突，可通過以下方式進(jìn)行消解：
[0068] 1)搜索約簡后D矩陣，判斷兩個(gè)或多個(gè)故障方程是否存在表現(xiàn)不相同而未在診斷 邏輯中表示的BIT/測試，若存在，則將其轉(zhuǎn)化為相關(guān)邏輯加入到故障方程的診斷邏輯中。
[0069] 2)通過添加輔助信息作為附加邏輯加入到故障方程的診斷邏輯中。
【主權(quán)項(xiàng)】
1. 一種成員級故障方程的集成方法，包括以下步驟： 1) 利用測試性建模工具生成初始D矩陣， 2) 進(jìn)行初始D矩陣的關(guān)聯(lián)關(guān)系約簡，生成三值D矩陣； 3) 針對信號缺失而引起的接口故障，對所述三值D矩陣進(jìn)行擴(kuò)展時(shí)，根據(jù)故障類型及關(guān) 聯(lián)關(guān)系進(jìn)行信息的補(bǔ)充，區(qū)分表達(dá)"故障沒有發(fā)生"、"信息缺失的故障發(fā)生"、"除信號缺失 以外的故障發(fā)生"或"故障與測試沒有關(guān)系"，得到四值D矩陣； 4) 在四值D矩陣的基礎(chǔ)上，進(jìn)行診斷邏輯修正和沖突預(yù)防、消解，得到最終的成員級故 障方程。2. 根據(jù)權(quán)利要求1所述的成員級故障方程的集成方法，其特征在于： 步驟3)中設(shè)置方式為:0表示故障沒有發(fā)生，-1表示信息缺失的故障發(fā)生，1表示除信號 缺失以外的故障發(fā)生，X表示故障與測試沒有關(guān)系。3. 根據(jù)權(quán)利要求1所述的成員級故障方程的集成方法，其特征在于： 步驟4)中診斷邏輯修正主要包括:測試點(diǎn)進(jìn)一步壓縮、變量命名標(biāo)準(zhǔn)化、判據(jù)具體化、 以及包含關(guān)系分解。4. 一種機(jī)載診斷模型的集成方法，其特征在于:是按照權(quán)利要求1所述的方法生成各成 員級故障方程，綜合各成員級故障方程、BIT信息和相關(guān)的模擬量、離散量，通過分析成員級 故障之間的關(guān)聯(lián)關(guān)系形成系統(tǒng)級故障方程;綜合各系統(tǒng)級故障方程、BIT信息和相關(guān)的模擬 量、離散量，通過分析系統(tǒng)級故障之間的關(guān)聯(lián)關(guān)系，最終形成飛機(jī)級故障方程。
【專利摘要】本發(fā)明提供一種機(jī)載診斷模型的集成方法，利用測試性建模工具生成初始D矩陣，結(jié)合成員之間的關(guān)聯(lián)關(guān)系，約簡成員級、系統(tǒng)級的D矩陣，并對生成的故障方程邏輯進(jìn)行修正和沖突預(yù)防，集成生成機(jī)載診斷模型。其中，在生成成員級故障方程的過程中，還針對信號缺失而引起的接口故障，對三值D矩陣再次進(jìn)行擴(kuò)展，根據(jù)故障類型及關(guān)聯(lián)關(guān)系進(jìn)行信息的補(bǔ)充，區(qū)分表達(dá)“故障沒有發(fā)生”、“信息缺失的故障發(fā)生”、“除信號缺失以外的故障發(fā)生”或“故障與測試沒有關(guān)系”，得到四值D矩陣。
【IPC分類】G06F19/00
【公開號】CN105574328
【申請?zhí)枴緾N201510924450
【發(fā)明人】呂鎮(zhèn)邦, 王娟, 孫倩
【申請人】中國航空工業(yè)集團(tuán)公司西安航空計(jì)算技術(shù)研究所
【公開日】2016年5月11日
【申請日】2015年12月11日