简介：摘要针对石化系统工作过程安全分析问题，综合计算机领域中数据依赖技术，本文提出里一种新的应用于石化系统的的安全分析解决办法。通过对双容水槽液位控制系统进行分析，找出变量和工艺流程之间的关系，从中提取9个状态，10个迁移过程以及迁移的条件、事件既执行过程等信息，搭建其拓展有限状态机模型。分析其数据依赖关系路径，从而确定数据正负依赖影响关系，从而通过新的石化系统安全分析方法对其数据依赖相关性进行分析。并通过对数据的验证说明了所提方法的可行性和有效性，从而推动了扩展有限状态机数据依赖技术成为了一种新的可靠的、高效的用于计算机自动推理实现石化系统安全运行的有效新型方法。
客服QQ：30444492琼网文【2021】1550-113号
增值电信业务经营许可证：琼B2-20210322
出版物经营许可证：新出发龙华出字第(2021)009号
广播电视节目制作经营许可证：(琼)字第00779号
版权所有 ©2002-2024 期刊网(www.qikanchina.com) 琼ICP备2021005105号
