化工过程EFSM模型的应用  

EFSM model research and application based on chemical process

作　　者：史晟辉[1] 徐圆[1] 朱群雄[1] 

机构地区：[1]北京化工大学信息科学与技术学院,北京100029

出　　处：《控制与决策》2014年第11期2108-2112,共5页Control and Decision

基　　金：国家自然科学基金项目(61104131);中央高校基本科研业务费专项基金项目(JD1310)

摘　　要：扩展有限状态机(EFSM)是一种构造模型的形式化描述语言.首先根据化工过程特征,改进EFSM模型和数据依赖关系,构建变量、状态及相互之间转换条件和动作的化工过程EFSM描述模型;然后提出化工过程变量之间的静、动态依赖关系和故障传播路径的分析方法;最后通过典型化工过程CSTR仿真应用验证了EFSM模型描述及分析方法的可行性和有效性,为工业过程的故障传播分析提供一种新的思路和方法.The extended finite state machine（EFSM） is a formal description language of model constrution.According to the chemical process characteristics,EFSM models and data dependencies are improved,and the chemical process EFSM model is constructed including variables,states,transitions,conditions and actions between variables.The method of static and dynamic variables transitions and fault propagation path analysis is proposed.The simulation CSTR experimental results of the typical chemical process show the effectiveness and feasibility of the EFSM model description and analysis methods.New ideas and methods are provided for the fault propagation analysis in the industrial process.

关 键 词：扩展有限状态机 形式化 数据依赖 故障传播 

分 类 号：TQ015.9[化学工程] TP391.9[自动化与计算机技术—计算机应用技术]