10.3969/j.issn.1001-4160.2012.06.024
基于数据依赖关系的化工过程安全分析
针对化工过程间安全分析问题,结合计算机领域中数据依赖技术,提出一种新的应用于化工过程的安全分析解决方案.以双容水槽液位控制系统为实例,分析工艺流程和变量之间的关系,从中提取9个状态,10个迁移过程以及迁移的条件、事件及执行过程等信息,建立其扩展有限状态机模型.通过考察迁移T8中L2变量,分析其数据依赖关系路径,确定数据依赖正负影响关系,实现基于数据依赖的化工过程安全分析新方法,并通过对T4中L2变量的分析验证了所提方法的有效性,使得扩展有限状态机数据依赖技术成为计算机自动推理来实现化工过程的安全分析的一种新的有效方法.
扩展有限状态机、数据依赖、安全分析
29
TQ015.9;TP391.9;O6-39(一般性问题)
中央高校基本科研业务费JD1104
2013-03-13(万方平台首次上网日期,不代表论文的发表时间)
共4页
741-744