基于顺序逻辑的状态事件故障树定性分析模型

摘要：

针对现有的状态事件故障树(SEFT)定性分析方法在反映失效系统中构件状态与事件逻辑顺序关系方面的不足,提出了基于顺序逻辑的状态事件故障树定性分析模型.该模型通过建立构件与逻辑门的端口映射表,定义逻辑门到布尔逻辑的转换规则限定状态和事件的次序关系,根据顺序逻辑转换规则获得导致系统失效的状态事件序列(最小割序集),以解决系统失效应满足的状态与事件的逻辑顺序关系问题.为验证所提出模型的有效性和可行性,以火灾防护系统为研究对象进行了实例验证实验.实验结果表明,所提出的模型有效可行,所获得的最小割序集能够反映各失效事件和状态间的顺序逻辑关系,分析结果符合客观实际,为SEFT的定性分析提供了一种新的技术途径和方法借鉴.

关键词：顺序逻辑、端口映射表、最小割序集、转换规则、定性分析

所属期刊栏目：27

分类号：TP311(计算技术、计算机技术)

资助基金：国家"十三五"重点基础科研项目JCKY2016206B001;江苏省六大人才高峰项目XXRJ-004;软件新技术与产业化协同创新中心资助项目

在线出版日期：2017-09-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：12-15,19