作者：王宇红; 杨璞分段仿射模型安全诊断形式验证连续搅拌反应釜
摘要：针对石油化工行业生产过程的安全性问题,提出了一种基于分段仿射（PWA）模型的安全诊断方法。该方法需要先建立石化系统的PWA模型,该类模型能够很好的描述石化系统的非线性特性和混杂特性;再采用基于可达性分析的形式验证算法,求取系统状态所有可能的运行轨迹,对系统在运行过程中是否发生危险进行预判,以便及时采取相应的措施,保证系统运行的可靠性和安全性。将该方法应用到连续搅拌反应釜（CSTR）系统中,仿真结果验证了其有效性和实用性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
