自動(dòng)機(jī)理論在線(xiàn)路診斷中的應(yīng)用.pdf

1、本文在對(duì)電子線(xiàn)路診斷向量的解的研究過(guò)程中，發(fā)現(xiàn)經(jīng)過(guò)一定排序后的診斷向量為正則語(yǔ)言這一奇特性質(zhì)以此為出發(fā)點(diǎn)。我們對(duì)正則語(yǔ)言進(jìn)行了深入研究。我們?cè)诤?jiǎn)單給出有限自動(dòng)機(jī)，遷移圖，正則集等概念之后，列出了與正則集有關(guān)的相應(yīng)的幾個(gè)引理與定理，這些定理的提出是對(duì)我們得到的新的正則集性質(zhì)的理論支持。這些性質(zhì)對(duì)于設(shè)計(jì)固定芯片自動(dòng)生成診斷向量的有窮自動(dòng)機(jī)是有幫助的。通過(guò)對(duì)這些正則集性質(zhì)的研究，我們開(kāi)創(chuàng)了自動(dòng)機(jī)理論的一個(gè)新的應(yīng)用領(lǐng)域——自動(dòng)機(jī)理論在線(xiàn)路診斷中

2、的應(yīng)用。 線(xiàn)路診斷中的核心問(wèn)題是研究測(cè)試算法即求故障檢測(cè)和診斷的測(cè)試集。線(xiàn)路故障診斷中四種經(jīng)典的診斷向量生成算法為：布爾差分法，通路敏化法，D算法和PODEM算法。其他三種算法都是以布爾差分法為基礎(chǔ)的。如何得到一個(gè)高效的求解診斷向量的算法呢?為了解決這一問(wèn)題，我們?cè)O(shè)計(jì)了有窮自動(dòng)機(jī)運(yùn)算的新功能，建立了虛擬有窮自動(dòng)機(jī)，格原子有窮自動(dòng)機(jī)，分布式有窮自動(dòng)機(jī)系統(tǒng)，最終得到一系列求解電子線(xiàn)路故障定位向量的有關(guān)定理和方法。通過(guò)用自動(dòng)機(jī)理論來(lái)研