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

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

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