自動機理論在線路診斷中的應(yīng)用.pdf

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

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