| 摘要 | 第1-6页 |
| ABSTRACT | 第6-14页 |
| 第一章 前言 | 第14-26页 |
| ·论文研究的背景与意义 | 第14-15页 |
| ·国内外文献综述 | 第15-25页 |
| ·Petri网理论与应用 | 第15-16页 |
| ·模糊Petri网及其知识表达 | 第16-18页 |
| ·化工HAZOP分析专家系统 | 第18-23页 |
| ·一阶谓词(Horn子句)与 Visual Prolog | 第23-25页 |
| ·本论文研究的主要内容 | 第25-26页 |
| 第二章 化工HAZOP分析专家系统 | 第26-46页 |
| ·HAZOP分析核心技术 | 第26-31页 |
| ·HAZOP分析基本概念 | 第26-28页 |
| ·HAZOP分析的技术性能和特征 | 第28页 |
| ·HAZOP分析步骤及主要内容 | 第28-30页 |
| ·HAZOP分析的主要方法 | 第30页 |
| ·HAZOP分析的公式化描述 | 第30-31页 |
| ·HAZOP分析实例 | 第31页 |
| ·HAZOP分析专家系统 | 第31-38页 |
| ·HAZOP分析专家系统概述 | 第31-33页 |
| ·HAZOP分析的知识获取 | 第33-34页 |
| ·HAZOP分析专家系统的知识表达 | 第34-37页 |
| ·HAZOP分析专家系统的结构 | 第37-38页 |
| ·Visual Prolog实现HAZOP分析专家系统 | 第38-46页 |
| ·Visual Prolog语言 | 第39页 |
| ·Visual Prolog程序结构 | 第39-40页 |
| ·VIP的知识表达与推理机制 | 第40-42页 |
| ·基于VIP的Petri-HAZOP实现 | 第42-46页 |
| 第三章 基于Petri网模型的Prolog/Horn子句知识表达与推理 | 第46-60页 |
| ·模糊Petri网及其知识表达 | 第46-53页 |
| ·Petri网概述 | 第46-48页 |
| ·模糊逻辑与知识表达 | 第48页 |
| ·模糊产生式规则表示法 | 第48-49页 |
| ·模糊Petri网的描述与定义 | 第49-51页 |
| ·基于模糊Petri网的模糊推理算法 | 第51-53页 |
| ·Prolog/Horn子句知识表达与推理 | 第53-60页 |
| ·Prolog/Horn子句 | 第53-54页 |
| ·基于Prolog/Horn子句的HAZOP分析FPN建模算法 | 第54-57页 |
| ·Petri-HAZOP分析专家系统应用实例 | 第57-60页 |
| 第四章 基于Petri网模型的化工HAZOP分析专家系统 | 第60-76页 |
| ·Petri-ChemHAZOP专家系统的结构与运行机制 | 第60-61页 |
| ·Petri-ChemHAZOP专家系统的设计与开发 | 第61-72页 |
| ·系统定义 | 第61-62页 |
| ·实时数据库(I) | 第62页 |
| ·基于Petri网模型的 Profog/Horn知识表达与推理机 | 第62-67页 |
| ·Petri-ChemHAZOP专家系统的知识库 | 第67-71页 |
| ·HAZOP专家系统的人机接口 | 第71-72页 |
| ·PetriChemHAZOP专家系统的知识库组成 | 第72页 |
| ·Petri-ChemHAZOP专家系统的Visual Prolog实现 | 第72-76页 |
| ·Petri-ChemHAZOP的Visual Prolog部分程序 | 第72-74页 |
| ·Petri网自动建模结果 | 第74-76页 |
| 第五章 实例研究 | 第76-98页 |
| ·工业DMF回收过程 | 第76-79页 |
| ·DMF概述 | 第76页 |
| ·工艺流程与工艺设计说明 | 第76-79页 |
| ·工业DMF回收的Petri-ChemHAZOP专家系统知识库 | 第79-95页 |
| ·蒸发罐系统分析节点的知识库模块 | 第79-81页 |
| ·精馏系统分析节点的知识库模块 | 第81-88页 |
| ·离心泵系统分析节点的知识库模块 | 第88-95页 |
| ·Petri-ChemHAZOP专家系统在工业DMF回收系统中的应用 | 第95-98页 |
| 第六章 结论与展望 | 第98-100页 |
| 参考文献 | 第100-104页 |
| 致谢 | 第104-106页 |
| 研究成果及发表的学术论文 | 第106-108页 |
| 作者与导师简介 | 第108-110页 |
| 硕士研究生学位论文答辩委员会决议书 | 第110-111页 |
