假設(shè)產(chǎn)生基本任務(wù)：已知一個(gè)差異，決定出哪些部件可能失靈能夠?qū)е略摬町?。好的產(chǎn)生器的標(biāo)準(zhǔn)：完備的：能夠產(chǎn)生出所有可能的假設(shè)；非冗余的：能夠?qū)γ恳患僭O(shè)只產(chǎn)生一次；有知識(shí)的：幾乎不產(chǎn)生那些最后被證實(shí)為不正確的假設(shè)。當(dāng)有多個(gè)差異時(shí)，首先對(duì)每一個(gè)差異都產(chǎn)生一個(gè)可疑部件集，若為但故障診斷，則將這些部件集合取交，若是多個(gè)故障診斷，則求集合覆蓋，即找到能覆蓋（解釋）所有差異的部件的子集。
假設(shè)測(cè)試，基本任務(wù)：對(duì)假設(shè)產(chǎn)生過程中每一個(gè)假設(shè)進(jìn)行測(cè)試，看看哪個(gè)能解釋對(duì)設(shè)備所做的所有觀測(cè)。其中測(cè)試方法有：故障模型模擬測(cè)試，約束暫停，GDE，DART，通過驗(yàn)證的假設(shè)測(cè)試。
故障模型模擬測(cè)試的基本思想：對(duì)由產(chǎn)生器產(chǎn)生的可疑部件，枚舉出所有的故障模型模擬。測(cè)試的結(jié)果是：一個(gè)假設(shè)集，指出了每一個(gè)可疑部件可能以哪一個(gè)方式失靈。與故障字典有些相似，要求故障行為表是完備的。
約束暫停，基本思想是：將每一個(gè)部件的行為模型化為一個(gè)約束集。測(cè)試一個(gè)可疑部件看它是否與設(shè)備的所有觀測(cè)相一致，暫停假設(shè)產(chǎn)生中可疑部件的約束，保留其它部件的約束，然后加入觀測(cè)值并讓化簡(jiǎn)后的網(wǎng)絡(luò)運(yùn)行至靜止?fàn)顟B(tài)。若暫停了可疑部件的約束暫停，網(wǎng)絡(luò)仍不一致，那么排除了該可疑部件。約束不暫停可以理解為部件正常工作，它的部件特性是不變的，暫停約束技術(shù)的性質(zhì)：不僅指出了一可疑部件是否是一個(gè)一致的候選，還能指出候選終端的征兆；假設(shè)測(cè)試的能力和它推出征兆的能力取決于傳播機(jī)制的能力；約束暫停技術(shù)不要求描述部件是如何失靈的；使用約束暫停技術(shù)對(duì)多故障假設(shè)亦適用。
GDE是有de kleer提出的，基本思想：適用ATMS（基于假設(shè)的真值維護(hù)系統(tǒng)）該系統(tǒng)既傳播值又傳播假設(shè)。GDE的診斷過程，step1：構(gòu)造沖突：每當(dāng)在電路的同一點(diǎn)出現(xiàn)兩個(gè)不同的預(yù)言時(shí)，則取這兩個(gè)預(yù)言所依賴的所有假設(shè)（取并）作為沖突部件集。沖突部件集指出該集合中至少有一個(gè)部件是失靈的。step2候選產(chǎn)生：產(chǎn)生一個(gè)能處理所有沖突部件集的候選集。單故障假設(shè)可通過對(duì)沖突部件集取交而產(chǎn)生，多故障可由大量的集合覆蓋產(chǎn)生。
DART（設(shè)計(jì)自動(dòng)推理工具）用一階邏輯表示，診斷過程：step1：從設(shè)備的模型和觀測(cè)到的征兆出發(fā)演繹出具有如下形式的命題：AB（C1）析取AB（C2）析取....AB（Cn）。step2：檢查是否只有一個(gè)可疑部件。因?yàn)樵摲椒ㄊ怯糜趩喂收显\斷。DART的特點(diǎn)：適用了獨(dú)立于設(shè)備的語(yǔ)言進(jìn)行描述設(shè)備；使用了獨(dú)立于設(shè)備的推理過程；推理過程完備（推理過程完備不意味著診斷過程完備，也不意味著預(yù)測(cè)機(jī)制完備，也不意味著模型完備）。
通過例證的假設(shè)測(cè)試，確證：測(cè)量值與預(yù)期值相符，也叫測(cè)量值證實(shí)了預(yù)測(cè)值。原則，與一確證相關(guān)的任一部件都是無罪的？不正確。因?yàn)榭赡艹霈F(xiàn)故障掩蓋（該設(shè)備雖然接受了不正確的輸入，但輸出卻與其接受正確輸入時(shí)的預(yù)期值相同）。
假設(shè)辨別，基本任務(wù)：當(dāng)有多個(gè)假設(shè)通過了測(cè)試時(shí)，如果辨別這些假設(shè)以找到真正的診斷。方法有：探測(cè)，測(cè)試。探測(cè)中講到折半探測(cè)點(diǎn)。
重慶分公司
重慶分公司
