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