基于Visual+Prolog实现PetriHAZO分析专家系统+.pdfVIP

2006年全国石油化工生产安全与控制学术交流会 i suaI ProI 基于V r og实现Peti-HAZO分析 专家系统 梁继，李宏光’ (北京化工大学信息科学与技术学院， 北京100029) ’ 推理的方法；提出在Visuai ProIog下定义Pc仃i网的主要元素；采用VisuaI 知识表达与推理：成功的实现了基于Visual Prolog的人机交互的Pctfi．HAZOP分析专家系统。 关键词：Pctfi网；Visual Prolog：HAZOP：专家系统 中图分类号：TPl8 HAZOP分析中的建模，专家系统知识库架构，推理机 1前言 在生产操作过程中，危险与可操作分析(简称 并不多见，至今尚没有基于Visual Prolog实 HAZOP)是一种应用于定性分析或定量评价的有效现Petri网HAZOP分析专家系统的报道。 合理的系统安全评价方法。但是，人IHAZOP分析 工作量大、人为因素多，易产生疏漏和错误。因此， 工具；以Visual 6．3(VIP)为专家系统的开 Prolog 考虑将专家系统技术引入到HAzOP分析中，实现发工具，充分利用了Visual Prolog的模式匹配、合 HAZOP分析的自动化，以提高HAZOP分析的效率一、回溯、对象机制、图形开发环境、模块化和面 和质量。 向对象程序设计等强大功能；采用产生式规则、正 Petri网是一种可用图形表示的组合模型，具有向推理、深度优先搜索等技术，实现了人机交互的 知识表达能力强、推理搜索能力快、推理过程直观 自动化HAZOP分析专家系统。 等特点。在人工智能、性能评价、系统建模与分析 2 等方面都有广泛应用。 Prolog是建立在一阶谓词逻辑(Horn子句)基础之 推理 上的，具有很强的逻辑推理能力；但它不擅长用户界 面设计。Visual 2．1 Prolog是基于Prolog的可视化集成开HAZOP分析12，31 发环境，既具有传统Prolog的推理能力，又具备友好HAZOP分析通过分析生产运行中工艺状态参 的图形用户界面。它包含了构建大型应用程序所需要 数的变动，操作控制中可能出现的偏差，以及这些 的一切特性lIJ。 变动与偏差对系统的影响及可能导致的后果，找出 近年来，已有一些介绍基于Petri网的HAZOP分析的出现变动或偏差的原因，明确装置或系统在生产过 相关报道，大多是研究不同类型的Petri网在 程中存在的主要危险，并针对变动与偏差的后果提 出采取的措施。图1给出了HAZOP分析的详细过程。 基金项目：北京市重点学科基金项目(XK2．2Petri网的知识表达及推理 第一作者：男，1980年生，硕士研究生 Petri网由4种不同的元素组成：库所(Place， 木通讯联系人 lihg@mail．buct．edu．cn 接