摘要
针对化工过程间安全分析问题,结合计算机领域中数据依赖技术,提出一种新的应用于化工过程的安全分析解决方案。以双容水槽液位控制系统为实例,分析工艺流程和变量之间的关系,从中提取9个状态,10个迁移过程以及迁移的条件、事件及执行过程等信息,建立其扩展有限状态机模型。通过考察迁移T_8中L2变量,分析其数据依赖关系路径,确定数据依赖正负影响关系,实现基于数据依赖的化工过程安全分析新方法,并通过对T_4中L2变量的分析验证了所提方法的有效性,使得扩展有限状态机数据依赖技术成为计算机自动推理来实现化工过程的安全分析的一种新的有效方法。
For chemical process safety analysis, data dependencies method in the computer field is made use of, and a new used in chemical process safety analysis solution is present. Token double water tank level control system as an example, the relationship between the process and the variables is analyzed, and nine states, ten transitions in which including the conditions, events and actions are extracted. Based on the above extended finite state machine model is established. Moreover, in order to get the factors affecting the result of variables L2 in Ts. related data dependency paths and positive and negative relations affecting L2 are analyzed. Then new method of chemical process safety analysis based on the data-dependent is achieved, and the validity of the proposed method is testified by analyzing of variables L2 in the T4. Data dependency technology based on extended f'mite state machine becomes an effective method which applying computer automated reasoning to achieve safeW analysis in chemical process.
出处
《计算机与应用化学》
CAS
CSCD
北大核心
2012年第6期741-744,共4页
Computers and Applied Chemistry
基金
中央高校基本科研业务费(JD1104)
关键词
扩展有限状态机
数据依赖
安全分析
extended finite state machine
data dependence
safety analysis