規(guī)則化描述方法中規(guī)則的結(jié)構(gòu)錯誤檢測與詞法語法分析.pdf

1、離散事件控制系統(tǒng)(DECS)是離散事件在控制系統(tǒng)的一個分支，廣泛存在于工業(yè)控制系統(tǒng)中，是一類復(fù)雜的人造系統(tǒng)。規(guī)則化描述方法(RDM)采用程序與數(shù)據(jù)相分離地方式，為DECS建模和實現(xiàn)提供了一種解決方案，已在應(yīng)用于實際系統(tǒng)中有所應(yīng)用并取得了較好的效果，但還在進一步的完善之中。
　　 規(guī)則庫是規(guī)則系統(tǒng)的核心，規(guī)則庫的一致性和完備性直接影響到系統(tǒng)是否可用。而規(guī)則庫是由人工維護的，而且隨著系統(tǒng)的運行還會做周期性的調(diào)整，規(guī)則庫的正確性很難保

2、證。邏輯規(guī)則描述語言(LRDL)是規(guī)則化描述方法中定義的一種具有嚴格語法定義而且描述方便的語言，方便領(lǐng)域工程師掌握和使用。但是LRDL不能直接被機器識別，需要先對其進行編譯成特定格式的數(shù)據(jù)文件，再下載到下位機以供虛擬機使用。
　　 本文首先比較了RDM與專家系統(tǒng)中結(jié)構(gòu)錯誤的異同，分析了具有帶代表性的三種結(jié)構(gòu)檢測方法，重新定義了控制系統(tǒng)中的四種錯誤表示形式，并利用關(guān)聯(lián)矩陣實現(xiàn)了規(guī)則結(jié)構(gòu)錯誤的有效檢測。
　　 其次，針對經(jīng)典