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

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

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