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

来源：计算机技术与发展杂志2017年第08期北京时间：

作者：范亚琼;陈海燕

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

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