论文部分内容阅读
扩展有限状态机(EFSM)是一种构造模型的形式化描述语言.首先根据化工过程特征,改进EFSM模型和数据依赖关系,构建变量、状态及相互之间转换条件和动作的化工过程EFSM描述模型;然后提出化工过程变量之间的静、动态依赖关系和故障传播路径的分析方法;最后通过典型化工过程CSTR仿真应用验证了EFSM模型描述及分析方法的可行性和有效性,为工业过程的故障传播分析提供一种新的思路和方法.
Extended finite state machine (EFSM) is a formal description language for constructing models.Firstly, based on the characteristics of chemical processes, EFSM models and data dependencies are improved to construct chemical processes of variables, states and transition conditions and actions among them. EFSM Description Model Then, the static and dynamic dependencies between the chemical process variables and the fault propagation path analysis method are proposed. Finally, the feasibility and validity of the EFSM model description and analysis method are verified by the typical chemical process CSTR simulation. Propagation analysis provides a new way of thinking and method.