简介:摘要针对石化系统工作过程安全分析问题,综合计算机领域中数据依赖技术,本文提出里一种新的应用于石化系统的的安全分析解决办法。通过对双容水槽液位控制系统进行分析,找出变量和工艺流程之间的关系,从中提取9个状态,10个迁移过程以及迁移的条件、事件既执行过程等信息,搭建其拓展有限状态机模型。分析其数据依赖关系路径,从而确定数据正负依赖影响关系,从而通过新的石化系统安全分析方法对其数据依赖相关性进行分析。并通过对数据的验证说明了所提方法的可行性和有效性,从而推动了扩展有限状态机数据依赖技术成为了一种新的可靠的、高效的用于计算机自动推理实现石化系统安全运行的有效新型方法。