現(xiàn)代電路技術(shù)——故障檢測(cè)D算法ppt課件VIP

.,故障檢測(cè)D算法,.,D算法,D算法是一種用形式化運(yùn)算求測(cè)試碼的多路徑敏化法，是在立方體理論基礎(chǔ)上實(shí)現(xiàn)的路徑敏化，是首先出現(xiàn)的完全的測(cè)試碼生成算法。由于其計(jì)算機(jī)可操作性和解決問(wèn)題的通用性而得到廣泛的應(yīng)用?；舅枷耄和瑔温窂矫艋?，使故障點(diǎn)的正常值與故障值形成差異，并將它敏化至輸出端。同時(shí)確定輸入向量和其他信號(hào)值以確保各信號(hào)值的一致性。采用立方體運(yùn)算，考慮多路徑情況。,.,D立方,立方體：n變量的二值布爾函數(shù)可看成是一個(gè)n維單位立方體的2n個(gè)頂點(diǎn)。每個(gè)頂點(diǎn)對(duì)應(yīng)一個(gè)最小項(xiàng)，乘積項(xiàng)（線(xiàn)段、平面等）則表示為奇異立方。D立方：正常值為1，故障值為0，用來(lái)表示s-a-0;：正常值為0，故障值為1，用來(lái)表示s-a-1。,.,立方體的交運(yùn)算,定義兩個(gè)相同維數(shù)的立方體的交運(yùn)算：其中每個(gè)元素的交運(yùn)算規(guī)則如上表所示，若有一個(gè)或幾個(gè)元素相交結(jié)果為，則表示該立方不存在。,.,故障D立方,定義：在元件輸出處可產(chǎn)生錯(cuò)誤信號(hào)的最小輸入條件。運(yùn)算：pdcf交，表明故障元件輸入和輸出之間的關(guān)系。設(shè)無(wú)故障立方體的集合為G，故障立方體的集合為B。G中輸出為0的表示為g0，輸出為1的表示為g1；B中輸出為0的表示為b0，輸出為1的表示為b1。Pdcf交規(guī)則：輸入部分的規(guī)則同一般立方體交運(yùn)算；輸出部分的規(guī)則如下表：也即：,.,例：,設(shè)一個(gè)與門(mén)在故障狀態(tài)下表現(xiàn)為或門(mén)的性質(zhì)，求其pdcf。解：正常狀態(tài)下的G和故障狀態(tài)下的B分別為：先對(duì)g1和b0作pdcf交：結(jié)果為空。再對(duì)g0和b1作pdcf交：得該與門(mén)的故障D立方為：,.,傳播D立方,定義：將元件輸入端的若干錯(cuò)誤信號(hào)傳播至輸出端的最小輸入條件，表示對(duì)故障信號(hào)的傳播特性。計(jì)算：求即xi線(xiàn)上故障傳播至輸出端仍為的條件；求即xi線(xiàn)上故障傳播至輸出端變?yōu)榈臈l件；構(gòu)造傳播D立方（x1,x2,f）。,.,測(cè)試D立方,定義：對(duì)電路中各個(gè)信號(hào)結(jié)點(diǎn)依次排列，它們的動(dòng)態(tài)狀態(tài)取值組成含有或的值向量。它是經(jīng)過(guò)運(yùn)算的D立方，如：測(cè)試D立方是在運(yùn)算過(guò)程中各結(jié)點(diǎn)邏輯值（包括D值）的動(dòng)態(tài)列表。未確定值的結(jié)點(diǎn)均以X值表示。,.,D驅(qū)趕,定義：逐級(jí)將故障信號(hào)敏化至可測(cè)輸出端的過(guò)程。思路：將輸入有而輸出未定的元件（稱(chēng)為D激活元件）的傳播D立方同測(cè)試立方作交運(yùn)算（規(guī)則見(jiàn)下表），使其輸出或，即將驅(qū)趕通過(guò)該元件。如交存在，說(shuō)明驅(qū)趕成功，否則驅(qū)趕失敗。,.,驅(qū)趕步驟,從激活元件AI選出EI，將EI的傳播D立方與前一次測(cè)試立方tcI-1相交。如交存在，構(gòu)造tcI，表示已通過(guò)元件EI，進(jìn)入步驟2。如果交不存在，則轉(zhuǎn)入3。從AI中刪去EI，增加新的激活元件形成AI+1，重復(fù)步驟1直至到達(dá)輸出端。從AI中另選元件EI，重復(fù)步驟1。如AI中所有元件均敏化失敗，則退回到AI-1。,.,一致性操作&蘊(yùn)含操作,向前的D驅(qū)趕完成后，要進(jìn)行向后的一致性檢查，檢查所獲測(cè)試立方是否與各元件的奇異立方一致。方法：將D驅(qū)趕中尚未用過(guò)的元件的奇異立方與測(cè)試立方作交運(yùn)算。如有一個(gè)元件找不到一致的奇異立方，則一致性檢查未通過(guò)，應(yīng)退回上一步。蘊(yùn)含：在D驅(qū)趕中確定了某些線(xiàn)上的值，從而唯一確定了有些元件的輸出值。方法：將與新確定值有關(guān)的各元件的奇異立方同測(cè)試立方求交。前向蘊(yùn)含：輸入值先確定，求交后確定輸出值；后向蘊(yùn)含：輸出值先確定，求交后確定輸入值。,.,D算法步驟,準(zhǔn)備工作：電路結(jié)點(diǎn)編號(hào)；輸入全部元件的立方體和傳播D立方；建立故障表，輸入各故障D立方。選定一個(gè)故障形成故障傳播D立方作為初始測(cè)試立方tc0。在激活元件A0中任選一個(gè)作為E0，求其傳播D立方，并求傳播D立方與tc0的交運(yùn)算。若交存在，即表示與tc0一致，得tc1=tc0T(D)；若不一致則退回，另選一傳播D立方。若該元件全部傳播D立方與不一致，則從A0中另選一個(gè)元件作為E0。在新激活元件A1中任選一個(gè)作E1，重復(fù)上述步驟，直至D被驅(qū)趕至輸出端。,.,舉例說(shuō)明D算法：,以下圖為例，用D算法求e(s-a-1)的測(cè)試碼。解：與該故障有關(guān)的元件為E，其故障D立方為：,.,所有元件的原始立方：,E：F：G：H：I：J:K:L:,.,所有元件的傳播D立方：,.,