%0 Journal Article
%T 化工过程EFSM模型的应用
%A 史晟辉
%A 徐圆
%A 朱群雄
%J 控制与决策
%P 2108-2112
%D 2014
%R 10.13195/j.kzyjc.2013.0982
%X 扩展有限状态机(EFSM)是一种构造模型的形式化描述语言.首先根据化工过程特征,改进EFSM模型和数据依赖关系,构建变量、状态及相互之间转换条件和动作的化工过程EFSM描述模型;然后提出化工过程变量之间的静、动态依赖关系和故障传播路径的分析方法;最后通过典型化工过程CSTR仿真应用验证了EFSM模型描述及分析方法的可行性和有效性,为工业过程的故障传播分析提供一种新的思路和方法.
%K 扩展有限状态机
%K 形式化
%K 数据依赖
%K 故障传播
%U http://www.kzyjc.net:8080/CN/abstract/abstract12942.shtml