一种状态事件故障树的定量分析方法

• 作者: 徐丙凤 肖芳雄 胡军 魏欧 黄志球
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 安全性分析 状态事件故障树 交互马尔可夫链 定量分析 形式化方法
• 年，卷（期）: 2013,（8）
• 所属期刊栏目: 学术论文
• 页码范围: 1480-1486
• 页数: 7页
• 分类号: TP311
• 字数: 5390字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2013.08.005

摘要

状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术，对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径。由于状态事件故障树是半形式化模型，需先精确描述其语义才能进行定量分析。为此，本文提出一种基于交互马尔可夫链的状态事件故障树定量分析方法。首先，通过将交互马尔可夫链的交互动作精化为输入和输出动作，提出接口交互马尔可夫链模型用于状态事件故障树的形式语义描述。然后，在此形式语义的基础上设计了一种状态事件故障树定量分析方法。最后给出了一个飞机起落架收放系统的状态事件故障树建模及概率特性定量分析的实例研究。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学计算机科学与技术学院	183	1755	20.0	33.0
2	肖芳雄	南京航空航天大学计算机科学与技术学院	10	149	6.0	10.0
4	魏欧	南京航空航天大学计算机科学与技术学院	31	153	7.0	11.0
7	胡军	南京航空航天大学计算机科学与技术学院	41	358	10.0	18.0
11	徐丙凤	南京航空航天大学计算机科学与技术学院	16	297	9.0	16.0