| 摘要 | 第1-7页 |
| ABSTRACT | 第7-16页 |
| 第一章 绪论 | 第16-34页 |
| ·课题背景和意义 | 第16-17页 |
| ·国内外研究现状 | 第17-31页 |
| ·危险与可操作性分析(HAZOP) | 第17-20页 |
| ·HAZOP的有关标准和法律法规 | 第20-21页 |
| ·前人的研究成果 | 第21-29页 |
| ·基于SDG的方法 | 第21-26页 |
| ·其他自动化HAZOP方法的尝试 | 第26-29页 |
| ·小结 | 第29页 |
| ·目前存在的问题 | 第29-31页 |
| ·研究开发内容 | 第31-34页 |
| ·新的模型方法 | 第31页 |
| ·与其他软件的集成 | 第31-32页 |
| ·技术方案(技术路线、技术措施) | 第32-34页 |
| 第二章 分层有向图(LDG)模型 | 第34-58页 |
| ·符号有向图(SDG)模型简介 | 第34-37页 |
| ·SDG模型的构成 | 第34-35页 |
| ·SDG的优点及不足 | 第35-37页 |
| ·LDG模型 | 第37-40页 |
| ·LDG模型的连接 | 第40-44页 |
| ·偏差映射表(Deviation Map,简称为DMap) | 第40-41页 |
| ·偏差镜像节点(Deviation Image Node,简称为DIN) | 第41-42页 |
| ·端口 | 第42-43页 |
| ·推理配置 | 第43-44页 |
| ·LDG模型的建模 | 第44-45页 |
| ·LDG模型的存储 | 第45-51页 |
| ·模型的数据库表示 | 第45-49页 |
| ·模型库及模型继承 | 第49-51页 |
| ·条件的表达 | 第51-57页 |
| ·偏差触发因素的组合 | 第52-54页 |
| ·偏差后果的条件 | 第54-56页 |
| ·两种条件的转换 | 第56-57页 |
| ·小结 | 第57-58页 |
| 第三章 基于LDG模型的推理机 | 第58-92页 |
| ·LDG推理机的构成 | 第58-59页 |
| ·LDG模型的基本推理方法 | 第59-66页 |
| ·图的搜索与LDG模型 | 第59-63页 |
| ·正向推理与反向推理 | 第63-64页 |
| ·跨模型推理 | 第64-65页 |
| ·推理结果的整理 | 第65-66页 |
| ·条件推理算法模块 | 第66-70页 |
| ·有条件正向推理 | 第66-67页 |
| ·正向推理的算法 | 第67-68页 |
| ·结果排序因子P的计算 | 第68-69页 |
| ·有条件反向推理 | 第69-70页 |
| ·注释标签的处理算法模块 | 第70-71页 |
| ·涉及物料属性,设备数据与操作参数的算法模块 | 第71-75页 |
| ·物料属性、设备数据、操作数据 | 第72-73页 |
| ·物料属性、设备参数与操作参数的应用 | 第73-75页 |
| ·泄漏检测 | 第75页 |
| ·对应仪表、控制回路、安全装置的算法模块 | 第75-76页 |
| ·推理机设计中的其他问题 | 第76-78页 |
| ·推理级数限制 | 第76-77页 |
| ·结论模糊问题 | 第77-78页 |
| ·核心推理算法与各个算法模块的作用列表 | 第78页 |
| ·推理机推理实例 | 第78-91页 |
| ·推理机性能测试 | 第78-82页 |
| ·加氢裂化工艺流程片段HAZOP分析 | 第82-91页 |
| ·小结 | 第91-92页 |
| 第四章 系统集成 | 第92-122页 |
| ·LDG模型与CAD/CAM集成系统框架 | 第92-95页 |
| ·集成的目标 | 第92-93页 |
| ·集成系统框架 | 第93-95页 |
| ·CAD软件Intergraph SmartPlant P&ID介绍 | 第95-102页 |
| ·SmartPlant简介 | 第95-96页 |
| ·SmartPlant的数据结构 | 第96-100页 |
| ·数据结构和层次 | 第96-98页 |
| ·Modelltem族 | 第98页 |
| ·Representation族 | 第98-99页 |
| ·其他数据Class | 第99-100页 |
| ·数据访问方法及"程序接口"模块的实现 | 第100-102页 |
| ·数据读取/缓存模块 | 第102-108页 |
| ·读取设备信息,以及设备属性、工作参数 | 第103-105页 |
| ·读取设备连接和物料、仪表数据 | 第105-108页 |
| ·"标准化"模块 | 第108-110页 |
| ·"接口"模块 | 第110-111页 |
| ·"推理配置生成组件"模块 | 第111-113页 |
| ·模型匹配 | 第112页 |
| ·模型连接 | 第112页 |
| ·仪表、装置的处理 | 第112-113页 |
| ·LDG原型专家系统的应用实例 | 第113-120页 |
| ·流程简介和对应的LDG模型 | 第113-114页 |
| ·使用P&ID辅助的自动HAZOP分析 | 第114-120页 |
| ·小结 | 第120-122页 |
| 第五章 结论及展望 | 第122-126页 |
| ·研究工作总结 | 第122-124页 |
| ·研究工作展望 | 第124-126页 |
| 参考文献 | 第126-132页 |
| 致谢 | 第132-134页 |
| 研究成果及发表的学术论文 | 第134-136页 |
| 作者简介 | 第136页 |
| 导师简介 | 第136-137页 |
| 博士研究生学位论文答辩委员会决议书 | 第137-138页 |
