期刊文献+

基于数据依赖关系的化工过程安全分析 被引量:2

Analysis of chemical process safety based on data dependence
原文传递
导出
摘要 针对化工过程间安全分析问题,结合计算机领域中数据依赖技术,提出一种新的应用于化工过程的安全分析解决方案。以双容水槽液位控制系统为实例,分析工艺流程和变量之间的关系,从中提取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
  • 相关文献

参考文献9

  • 1Weiser M. Program Slices: Formal, Psychological, and Practical Investigations of an Automatic Program Abstraction Method. Ann Arbor: University of Michigan, 1979.
  • 2Savage P, Waiters S, Stephenson M. Automated test methodology for operational flight programs. Proceedings of IEEE Aerospace Conference. 1997, 4:293-305.
  • 3Dssouli R, Saleh'K, Aboulhamid E, En-Nouaary A, Bourhfir C. Test development for communication protocols: towards automation. Computer Networks, 1999, 31:1835-1872.
  • 4Korel B, Singh I, Tahat L, Vaysburg B. Slicing of state based models. In IEEE International Conference on Software Maintenance (ICSM'03). USA: IEEE Computer Society PressSept, 2003, 34-43.
  • 5缪力,张大方.扩展有限状态机EFSM的后向切片[J].软件学报,2004,15:169-178.
  • 6姜淑娟,徐宝文,史亮.一种基于异常传播分析的数据流分析方法[J].软件学报,2007,18(1):74-84. 被引量:14
  • 7Vedam, Hiranmayee; Venkatasubramanian, Venkat. Signed digraph based multiple fault diagnosis. Computers and Chemical Engineering, 1997, 21:655-660.
  • 8盖希杰,邓德茹,吴东,吴春华,王涛.化工生产过程HAZOP安全评价技术[J].计算机与应用化学,2010,27(8):1119-1122. 被引量:13
  • 9Shenghui Shi, Qunxiong Zhu, Wenxing Xu. Intra-Transition and Inter-Transition Data Dependence for EFSM. 2011 International Conference on Computer Application and System Modeling (ICCASM 2011).2011:2260-2263.

二级参考文献12

共引文献25

同被引文献12

引证文献2

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部