| 团圆事宜掌握体系(DECS)是团圆事宜在掌握体系的一个分支,普遍存在于工业掌握体系中,是一类庞杂的天然体系。规矩化描写办法(RDM)采取法式与数据相分别处所式,为DECS建模和完成供给了一种处理计划,已在应用于现实体系中有所应用并获得了较好的后果,但还在进一步的完美当中。规矩库是规矩体系的焦点,规矩库的分歧性和完整性直接作用到体系能否可用。而规矩库是由人工保护的,并且跟着体系的运转还会做周期性的调剂,规矩库的准确性很难包管。逻辑规矩描写说话(LRDL)是规矩化描写办法中界说的一种具有严厉语法界说并且描写便利的说话,便利范畴工程师控制和运用。然则LRDL不克不及直接被机械辨认,须要先对其停止编译成特定格局的数据文件,再下载到下位机以供虚拟机运用。本文起首比拟了RDM与专家体系中构造毛病的差异,剖析了具有带代表性的三种构造检测办法,从新界说了掌握体系中的四种毛病表现情势,并运用联系关系矩阵完成了规矩构造毛病的有用检测。其次,针对经典的词法语法剖析完成艰苦成绩,而LRDL语法自己较为简略的特色,采取正则表达式取代词法剖析中的状况转换图和语法剖析中的语法生成树,完成了一种较为简略的LRDL词法语法剖析法式。最初联合规矩化描写办法在皮带机群掌握体系中的应用实例,具体论述了规矩验证和编译法式完成的症结部门 Abstract: Reunion matters (DECS) is a branch of the family reunion matters in the master system, generally exist in the industrial master system, is a kind of complex natural system. Rules of description method (RDM) take French and data were used to place type, DECS modeling and provide a treatment plan has in use in real system has been used and obtained good results, but still further perfect. Rule base is the focus of the rules system, the consistency and integrity of the rules of the library directly affect the system can be used. And the rule base is protected by the artificial, and follow the operation of the system will do the cyclical adjustment, the accuracy of the rule base is difficult to guarantee. Logic rules describe the speech LRDL rules describe the way to define a with strict grammar definition and description convenient to speak, convenient category engineer control and application. What, then LRDL can not directly be mechanically identified, it is necessary to stop the compiler into a specific pattern of data files, and then download to the next bit machine for virtual machine applications. This paper compared the similarities and differences of RDM and expert system in structural problems, analysis of the representative of three kinds of structure detection method with, from the new territories of the master system of four kinds of problems forms, and use connection matrix completed the useful rules tectonic fault detection. Secondly, according to the classical lexical grammar analysis was completed in hard achievements, and LRDL grammar own more simple features, take regular expressions replaced lexical analysis of the state transition diagram and grammar analysis of generative grammar tree, completed a relatively simple LRDL words in French law section analysis of French. First, the use of the method of combination of rules and regulations in the system of belt fleet control system is discussed in detail. 目录: 摘要 5-6 Abstract 6 致谢 7-12 第一章 绪论 12-15 1.1 课题背景 12 1.2 课题探讨的目的和意义 12-13 1.3 课题来源 13 1.4 论文的组织安排 13-15 第二章 离散事件控制系统的规则化描述 15-24 2.1 离散事件控制系统 15-17 2.1.1 离散事件控制系统简介 15 2.1.2 离散事件控制系统的探讨近况 15-17 2.2 分层模型理论 17-18 2.3 基于规则的系统 18-19 2.4 离散事件控制系统的规则化描述 19-21 2.4.1 逻辑规则描述语言 19-21 2.4.2 RDM 下的DECS 架构 21 2.5 规则化描述措施与专家控制系统的比较 21-24 第三章 规则系统的结构错误检测 24-39 3.1 规则系统的结构错误类型 24-25 3.2 基于可达性的检测措施 25-31 3.2.1 基于加标 w-Petri 网的检测措施 25-28 3.2.2 基于着色 Petri 网的检测措施 28-30 3.2.3 基于可达性检测措施优缺点略论 30-31 3.3 基于规则结构的检测措施 31-34 3.3.1 可达树的生成 31-32 3.3.2 反向推演树的生成 32-33 3.3.3 反向推演树下的验证依据 33-34 3.3.4 优缺点略论 34 3.4 规则化描述措施中的错误检测 34-37 3.4.1 RDM 下的错误形式定义 34-35 3.4.2 规则库的关联矩阵表示 35-36 3.4.3 关联矩阵下的错误检测 36-37 3.4.4 检测结果 37 3.5 本章小结 37-39 第四章 规则库编译探讨 39-56 4.1 编译原理基础 39-41 4.1.1 编译的阶段 39-40 4.1.2 编译器同解释器的比较 40-41 4.2 规则编码探讨 41-43 4.2.1 编码的必要性 41 4.2.2 编码方案设计 41-43 4.3 基于正则表达式的词法语法略论 43-53 4.3.1 词法语法略论介绍 43 4.3.2 正则表达式基础 43-46 4.3.3 LRDL 的正则表达式词法语法略论 46-53 4.4 皮带机群控制系统中的编译的实现效果 53-55 4.5 本章小节 55-56 第五章 总结与展望 56-57 5.1 论文工作总结 56 5.2 进一步工作 56-57 参考文献 57-59 攻读硕士学位期间发表的论文 59 读硕期间参与的科研工作 59-60 |
