基于PWA模型的安全诊断方法在CSTR系统中的应用  

Application of PWA-Based Safety Diagnosis Method in CSTR System

作　　者：王宇红[1] 杨璞 

机构地区：[1]中国石油大学(华东)信息与控制工程学院,山东青岛266580

出　　处：《系统仿真学报》2018年第1期292-297,共6页Journal of System Simulation

基　　金：山东省自然科学基金(ZR2013FM035)

摘　　要：针对石油化工行业生产过程的安全性问题,提出了一种基于分段仿射(PWA)模型的安全诊断方法。该方法需要先建立石化系统的PWA模型,该类模型能够很好的描述石化系统的非线性特性和混杂特性;再采用基于可达性分析的形式验证算法,求取系统状态所有可能的运行轨迹,对系统在运行过程中是否发生危险进行预判,以便及时采取相应的措施,保证系统运行的可靠性和安全性。将该方法应用到连续搅拌反应釜(CSTR)系统中,仿真结果验证了其有效性和实用性。A safety diagnosis method based on piecewise affine （PWA） model is proposed for ensuring the safety of the petrochemical process. In the method, the petrochemical system is modeled in PWA form which can well describe the nonlinear and hybrid characteristic of the system. Then a formal verification algorithm based on reachable analysis is used to get reachable sets of system states according to the established model. It can predict whether the system is in danger or not in advance so as to take the corresponding measures to ensure the reliability and safety of the system. The proposed method is applied to continuous stirred tank reactor （CSTR） system and its effectiveness and practicability is demonstrated by simulation.

关 键 词：分段仿射模型 安全诊断 形式验证 连续搅拌反应釜 

分 类 号：TP29[自动化与计算机技术—检测技术与自动化装置]