规则化描述方法中规则的结构错误检测与词法语法分析
| 摘要 | 第1-6页 |
| Abstract | 第6-7页 |
| 致谢 | 第7-12页 |
| 第一章 绪论 | 第12-15页 |
| ·课题背景 | 第12页 |
| ·课题研究的目的和意义 | 第12-13页 |
| ·课题来源 | 第13页 |
| ·论文的组织安排 | 第13-15页 |
| 第二章 离散事件控制系统的规则化描述 | 第15-24页 |
| ·离散事件控制系统 | 第15-17页 |
| ·离散事件控制系统简介 | 第15页 |
| ·离散事件控制系统的研究现状 | 第15-17页 |
| ·分层模型理论 | 第17-18页 |
| ·基于规则的系统 | 第18-19页 |
| ·离散事件控制系统的规则化描述 | 第19-21页 |
| ·逻辑规则描述语言 | 第19-21页 |
| ·RDM 下的DECS 架构 | 第21页 |
| ·规则化描述方法与专家控制系统的比较 | 第21-24页 |
| 第三章 规则系统的结构错误检测 | 第24-39页 |
| ·规则系统的结构错误类型 | 第24-25页 |
| ·基于可达性的检测方法 | 第25-31页 |
| ·基于加标 w-Petri 网的检测方法 | 第25-28页 |
| ·基于着色 Petri 网的检测方法 | 第28-30页 |
| ·基于可达性检测方法优缺点分析 | 第30-31页 |
| ·基于规则结构的检测方法 | 第31-34页 |
| ·可达树的生成 | 第31-32页 |
| ·反向推演树的生成 | 第32-33页 |
| ·反向推演树下的验证依据 | 第33-34页 |
| ·优缺点分析 | 第34页 |
| ·规则化描述方法中的错误检测 | 第34-37页 |
| ·RDM 下的错误形式定义 | 第34-35页 |
| ·规则库的关联矩阵表示 | 第35-36页 |
| ·关联矩阵下的错误检测 | 第36-37页 |
| ·检测结果 | 第37页 |
| ·本章小结 | 第37-39页 |
| 第四章 规则库编译研究 | 第39-56页 |
| ·编译原理基础 | 第39-41页 |
| ·编译的阶段 | 第39-40页 |
| ·编译器同解释器的比较 | 第40-41页 |
| ·规则编码研究 | 第41-43页 |
| ·编码的必要性 | 第41页 |
| ·编码方案设计 | 第41-43页 |
| ·基于正则表达式的词法语法分析 | 第43-53页 |
| ·词法语法分析介绍 | 第43页 |
| ·正则表达式基础 | 第43-46页 |
| ·LRDL 的正则表达式词法语法分析 | 第46-53页 |
| ·皮带机群控制系统中的编译的实现效果 | 第53-55页 |
| ·本章小节 | 第55-56页 |
| 第五章 总结与展望 | 第56-57页 |
| ·论文工作总结 | 第56页 |
| ·进一步工作 | 第56-57页 |
| 参考文献 | 第57-59页 |
| 攻读硕士学位期间发表的论文 | 第59页 |
| 读硕期间参与的科研工作 | 第59-60页 |
