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

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