检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]北京化工大学信息科学与技术学院,北京100029
出 处:《计算机仿真》2007年第2期57-61,共5页Computer Simulation
基 金:国家高技术研究发展计划(863)项目"大规模石化生产过程安全评估"(2003AA412310);北京市教委资助项目(XK100100435)
摘 要:为了使Petri网与SDG(Signed Directed Graph)结合的建模方法适用于复杂间歇过程,提出一种改进的建模方法。首先将Petri网中的库所、变迁、托肯分类并赋予新的物理意义,使其更好地描述同步、循环特性;另外提出一种基于标准表的Petri网与SDG模型的连接机制;论述了模型的自动推理过程;最后将模型应用于某工业生产过程,得出HAZOP分析结果。改进后的模型能够更好地适用于具有同步、循环特性的复杂间歇生产过程,且模型简洁、有效,克服了原间歇模型仅适用于简单间歇过程的不足。The method for combining Petri net with SDG (Signed Directed Graph) used in the Hazard and Operability (HAZOP) analysis has already been put forward. However, it couldn't be used in more complex batch processes such as multi - purpose and multi - product processes. In this paper, an improved module is presented. It is a two - layered module including Petri net and SDG, The Petri net layer can well present the synchronous and circulatory characteristics of batch processes. The SDG layer is used to automatically deduct abnormal causes and adverse consequences of the continuous variables. One of the novel features of this module is the places, transitions and tokens in Petri net have been modified to fit the HAZOP analysis of complex batch processes. Another is that there is a Standard Form to link the two layers. At the end of this paper, the application of the improved module to an industrial case study is discussed.
关 键 词:安全分析 人工智能 间歇过程 符号定向图 定性模块
分 类 号:TP391.77[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.13