DECS的产生式规则建模与规则的结构错误检测.pdfVIP

合肥，工业大学学报(自然科学版〉 Vo l. 34 No.4 第 34 卷第 4 期 2011 年4 月 ]OURNAL OF HEFEI UNlVERSITY OF TECHNOU:兀Y Apr. 2011 Doi: 10. 3969/j. issn. 1003-5060.201 1. 04. 003 DECS 的产生式规则建模与规则的结构错误检测 毕翔13 ，王科富1 ， 2 ，魏振春1 ， 2 ，韩江洪1 ， 2 ，张宏3 (1.合肥工业大学计算机与信息学院，安徽合肥 230009; 2. 合肥工业大学安全关键工业测控技术教育部工程研究中心，安徽合肥 230009; 3. 安徽恒源煤也股份公司，安徽宿州 234000) 摘 要:文章研究的离散事件控制系统采用基于规则的系统结构，系统的控制逻辑存放于规则库中，推理机完 成规则匹配工作。该文以数字矿井中皮带运输系统为例，详细说明了基于规则的系统结构和利用产生式描述 系统的原理、方法、步骤F 针对规则系统中典型的结构错误，如冗余、不一致、不完备和死循环，进行了检测，保 证了系统的一致性和完备性。 关键词:离散事件控制l 系统F 产生式规则;规则系统;结构错误检测 中图分类号:TPI3 文献标识码:A 文章编号: 1003-5060(2011 )04-0489-05 Production rule modeling of DECS and structural error detection of rule l 2 1 2 1 2 1 2 BI Xiang • , W ANG K e-fu • , WEI Zhen-chun • , HAN Jiang-hong • , ZHANG Hon~ (1. Sch∞1 of Computer and Infonnation. Hefei University of Technology. Hefei 230009. China; 2. Engineering Research Center of Safe- ty Criticallndustrial Measurement and Control T配hnology of Ministry of Edu四tion， Hef，田 University of Technology , Hefei 230009 , China; 3. Anhui Hengyuan Cωl-Electricity Group Co. , Ltd. , Suzhcu 234000. China) Abstract: The discrete event control system(DECS) described in this paper adopts a rul e-based system structure , stores controllogic in rule base and employs the inference engine for rule matching. Taking the system of belt conveyer in digital mine as an example , the rule-based system structure and princi- ples , methods and processes of applying production rule in system description 盯e specified. The typi- cal structural errors of the rule system , such as redundancy , inconsistency , incompleteness and closed loop , are detected to ensure the consistency and completeness of the system. Key WOI由:discrete event ∞ntrol system(D日:5); produ