基于DFTA-BN的架廊机液压驱动系统可靠性分析

1

作者 侯润锋 王大江 +2 位作者 郭锐 王刚锋 杨军康 《机床与液压》 北大核心 2024年第22期248-255,共8页

架廊机是装配式综合管廊节段吊装及铺设的专用设备,为保障其液压驱动系统安全高效运行,研究了基于动态故障树分析-贝叶斯网络(DFTA-BN)的液压驱动系统可靠性分析方法。依据架廊机工作原理及液压系统,构建了T-S动态故障树模型,并映射为B... 架廊机是装配式综合管廊节段吊装及铺设的专用设备,为保障其液压驱动系统安全高效运行,研究了基于动态故障树分析-贝叶斯网络(DFTA-BN)的液压驱动系统可靠性分析方法。依据架廊机工作原理及液压系统,构建了T-S动态故障树模型,并映射为BN有向无环图。通过DFTA-BN对液压驱动系统进行双向推理,采用GeNIe后验概率推理出系统故障的关键致因链,对系统重要度及灵敏度进行分析,并验证了DFTA-BN模型的有效性。结果表明:在任务时间内,液压驱动系统在初始时间段发生故障的概率较大;关键致因链共有8条,其中,液压油故障、油缸密封件损坏、液压缸载荷不均、导轨润滑不良和液压阀组故障是系统风险因素;电机、液压泵、导轨和溢流阀是系统薄弱环节。 展开更多

关键词 架廊机 液压驱动系统 可靠性分析 动态故障树 贝叶斯网络

在线阅读 下载PDF 职称材料

基于概率共因失效的连续时间T-S动态故障树分析 被引量：1

2

作者 古莹奎 王波 钱志远 《机械设计与制造》 北大核心 2025年第2期109-113,共5页

针对大型复杂系统存在的共因失效问题,为能够更真实反映系统的可靠性状况,提出基于概率共因失效(PCCF)的连续时间T-S动态故障树(DFT)分析方法。采用模块化方法对系统进行可靠性分析,静态故障树部分采用隐式方法,动态故障树部分采用连续... 针对大型复杂系统存在的共因失效问题,为能够更真实反映系统的可靠性状况,提出基于概率共因失效(PCCF)的连续时间T-S动态故障树(DFT)分析方法。采用模块化方法对系统进行可靠性分析,静态故障树部分采用隐式方法,动态故障树部分采用连续时间T-S动态故障树方法。利用隐式方法计算考虑PCCF的子系统故障概率,得出在不同概率共因失效组发生情况下顶事件的可靠性情况。将子系统的顶事件作为系统的底事件,构建考虑PCCF的组合连续时间T-S动态故障树,最后利用连续时间T-S动态故障树算法对整个系统进行可靠性分析。以柴油机润滑系统可靠性分析为例,通过分析考虑PCCF的连续时间T-S动态故障树并与不考虑概率共因失效的方法进行对比,验证提出方法的有效性。 展开更多

关键词 概率共因失效 模块化方法 T-S动态故障树 隐式方法 可靠性分析

在线阅读 下载PDF 职称材料

基于改进DFTA的安全苛求系统可靠性分析 被引量：2

3

作者 吴剑 徐中伟 +1 位作者 喻钢 李弋强 《计算机工程》 CAS CSCD 北大核心 2009年第15期117-120,共4页

针对传统可靠性分析方法容易忽视冗余多态性、可修复性等安全苛求系统特性问题,在形式化的系统可靠性建模中引入可修复因子,提出一种模块化动态故障树分析方法。在动态和静态相结合的模块化定量分析过程中,利用马尔可夫模型和顶事件发... 针对传统可靠性分析方法容易忽视冗余多态性、可修复性等安全苛求系统特性问题,在形式化的系统可靠性建模中引入可修复因子,提出一种模块化动态故障树分析方法。在动态和静态相结合的模块化定量分析过程中,利用马尔可夫模型和顶事件发生概率逼近算法,有效避免动态故障树分析过程中的状态组合爆炸问题,提高安全苛求系统可靠性分析的可行性和实践效率。 展开更多

关键词 动态故障树 安全苛求系统 可靠性分析 马尔科夫模型 模块化

在线阅读 下载PDF 职称材料

DFTA在软硬件相关故障诊断中的应用研究

4

作者 熊斌 张力 王珊 《计算机工程与应用》 CSCD 北大核心 2008年第35期217-219,共3页

软件密集型系统中由于有大量软件的嵌入,其故障模式发生了变化,产生了新的软硬件相关的故障模式。在分析软硬件相关故障特征的基础上,提出了一种基于动态故障树分析方法的故障诊断方案,并给出了分析方法和步骤。最后通过实例分析,证明... 软件密集型系统中由于有大量软件的嵌入,其故障模式发生了变化,产生了新的软硬件相关的故障模式。在分析软硬件相关故障特征的基础上,提出了一种基于动态故障树分析方法的故障诊断方案,并给出了分析方法和步骤。最后通过实例分析,证明了这种方法的可行性。 展开更多

关键词 软硬件相关故障 动态故障树 故障诊断

在线阅读 下载PDF 职称材料

基于融合系统方法的飞机复杂系统安全性分析 被引量：1

5

作者 李耀华 温迪 《科学技术与工程》 北大核心 2024年第9期3904-3911,共8页

面对日益复杂的飞机系统,传统的安全性分析方法对复杂系统间的不安全交互行为和危险源的识别能力不足。为有效评价持续适航阶段的飞机系统安全性,提出了一种融合系统理论过程分析(system theory process analysis,STPA)和动态故障树(dyn... 面对日益复杂的飞机系统,传统的安全性分析方法对复杂系统间的不安全交互行为和危险源的识别能力不足。为有效评价持续适航阶段的飞机系统安全性,提出了一种融合系统理论过程分析(system theory process analysis,STPA)和动态故障树(dynamic fault tree,DFT)的改进的STPA安全性分析方法和评价模型。模型采用STPA识别出不安全控制行为和致因因素,并将其与动态故障树分析方法相融合,以事故致因理论优化致因分析方法,计算得出不安全控制行为发生概率并确定系统潜在危险的关键致因因素。以飞机起落架系统为例进行分析验证,结果表明,改进后的STPA分析方法可以准确地对系统危险进行识别和分析,为持续适航阶段的安全性分析提供支持。 展开更多

关键词 飞机复杂系统 安全性分析 系统理论过程分析(STPA) 动态故障树(DFT) 飞机起落架系统

在线阅读 下载PDF 职称材料

基于事故链及动态故障树的电网连锁故障风险评估模型 被引量：71

6

作者 丁明 肖遥 +1 位作者 张晶晶 何剑 《中国电机工程学报》 EI CSCD 北大核心 2015年第4期821-829,共9页

在分析现有电网连锁故障事故链模型不足的基础上,提出基于事故链模型与模糊聚类算法预测连锁故障的发展模式,运用动态故障树理论评估支路的重要度。首先,在事故链预测阶段,利用模糊聚类算法对支路进行分类,选取关联性最高的为下级环节,... 在分析现有电网连锁故障事故链模型不足的基础上,提出基于事故链模型与模糊聚类算法预测连锁故障的发展模式,运用动态故障树理论评估支路的重要度。首先,在事故链预测阶段,利用模糊聚类算法对支路进行分类,选取关联性最高的为下级环节,在减少工作量的同时克服现有预测方法的局限性。其次,基于事故链集建立连锁故障的动态故障树模型,利用动态故障树理论计算事故链的概率和风险,完善支路的重要度评估模型。最后以IEEE39节点系统为例进行计算,通过对结果的比较分析,验证所提模型和算法的合理性。 展开更多

关键词 连锁故障 动态故障树 事故链 概率风险计算 重要度评估

在线阅读 下载PDF 职称材料

基于贝叶斯网络的复杂系统动态故障树定量分析方法 被引量：21

7

作者 房丙午 黄志球 +1 位作者 李勇 王勇 《电子学报》 EI CAS CSCD 北大核心 2016年第5期1234-1239,共6页

动态故障树的贝叶斯网络分析方法存在局部组合爆炸和备件门节点失效时间仅能是指数分布的不足.首先,给出动态故障树转换为离散时间贝叶斯网络的方法,该方法使用一个确定性函数来替代条件概率表,避免了局部组合爆炸.然后,根据备件门的失... 动态故障树的贝叶斯网络分析方法存在局部组合爆炸和备件门节点失效时间仅能是指数分布的不足.首先,给出动态故障树转换为离散时间贝叶斯网络的方法,该方法使用一个确定性函数来替代条件概率表,避免了局部组合爆炸.然后,根据备件门的失效机理和对应的贝叶斯网络结构特征,解决了备件节点失效时间仅能是指数分布的限制.最后,提出一种基于动态故障树的贝叶斯网络精确推理算法,基于该算法给出了系统失效分布、组件重要度等概率计算.实验结果表明,该方法能有效地分析和评估安全攸关系统的概率特性. 展开更多

关键词 动态故障树 贝叶斯网络 定量分析 安全攸关系统

在线阅读 下载PDF 职称材料

转子-轴承系统裂纹-碰摩耦合故障的非线性特性研究 被引量：26

8

作者 罗跃纲 张松鹤 闻邦椿 《振动与冲击》 EI CSCD 北大核心 2005年第3期43-46,i004-i005,共6页

研究了带有裂纹和碰摩耦合故障的弹性转子系统的复杂运动。在同时考虑轴承油膜力和碰摩发生时转静件间的相对速度对非线性摩擦力的影响基础上,构造了含有裂纹-碰摩耦合故障转子系统的动力学模型。针对短轴承油膜力和裂纹-碰摩转子系统... 研究了带有裂纹和碰摩耦合故障的弹性转子系统的复杂运动。在同时考虑轴承油膜力和碰摩发生时转静件间的相对速度对非线性摩擦力的影响基础上,构造了含有裂纹-碰摩耦合故障转子系统的动力学模型。针对短轴承油膜力和裂纹-碰摩转子系统的强非线性特点,本文用Runge-Kutta法对转子-轴承系统由裂纹和碰摩耦合故障导致的非线性动力学行为进行了数值仿真研究,发现该类系统在运行过程中存在周期运动、拟周期运动和混沌运动等丰富的非线性现象,研究结果为转子-轴承系统故障诊断、动态设计和安全运行提供了理论参考。 展开更多

关键词 转子-轴承系统 耦合故障 裂纹 特性研究 弹性转子系统 碰摩转子系统 系统故障诊断 动力学模型 动力学行为 非线性现象 拟周期运动 复杂运动 相对速度 强非线性 仿真研究 运行过程 混沌运动 研究结果 安全运行 动态设计

在线阅读 下载PDF 职称材料

基于动态故障树的CTCS-3级ATP系统可靠性分析 被引量：23

9

作者 张文韬 张友鹏 +1 位作者 苏宏升 杨蕾 《工程设计学报》 CSCD 北大核心 2014年第1期18-26,共9页

针对传统的可靠性分析方法分析CTCS-3级ATP系统动态失效问题的不足,提出采用动态故障树分析其可靠性.首先,分析系统的结构和功能建立动态故障树模型;其次,采用深度优先最左遍历算法搜索动态故障树模型,得到独立的子树;最后,在引入可修... 针对传统的可靠性分析方法分析CTCS-3级ATP系统动态失效问题的不足,提出采用动态故障树分析其可靠性.首先,分析系统的结构和功能建立动态故障树模型;其次,采用深度优先最左遍历算法搜索动态故障树模型,得到独立的子树;最后,在引入可修系统可靠性指标基础上,采用解析法和马尔科夫矩阵迭代法求解子树,结合分层迭代方法对动态故障树分析法改进,以减小运算量,使得上述可靠性指标能用于CTCS-3级ATP系统的可靠性评估.计算所得可靠性指标与可靠性框图分析得到的结果对比表明:动态故障树能够更好地描述系统的冗余性和容错性等特点,提高了可靠性指标的精度. 展开更多

关键词 CTCS-3级ATP系统 可靠性分析 动态故障树 马尔科夫矩阵迭代法 分层迭代方法 ATP system of CTCS-3

在线阅读 下载PDF 职称材料

基于离散时间贝叶斯网络的动态故障树分析方法 被引量：24

10

作者 周忠宝 周经伦 +2 位作者 孙权 金光 董豆豆 《西安交通大学学报》 EI CAS CSCD 北大核心 2007年第6期732-736,共5页

提出了一种基于离散时间贝叶斯网络的动态故障树分析方法.首先给出优先与门、顺序相关门、备件门、功能相关门等动态逻辑门向离散时间贝叶斯网络的转化方法,在得到动态故障树对应的离散时间贝叶斯网络之后,再利用贝叶斯网络推理算法计... 提出了一种基于离散时间贝叶斯网络的动态故障树分析方法.首先给出优先与门、顺序相关门、备件门、功能相关门等动态逻辑门向离散时间贝叶斯网络的转化方法,在得到动态故障树对应的离散时间贝叶斯网络之后,再利用贝叶斯网络推理算法计算、诊断和预计顶事件概率、重要度等常规分析结果.对数字飞控计算机系统进行的分析表明,该方法能够保证较高的求解精度,其相对误差均保持在0.4%以内,而且易于扩展到多态和非确定性逻辑关系的情形. 展开更多

关键词 动态故障树 离散时间贝叶斯网络 数字飞控计算机系统 可靠性分析

在线阅读 下载PDF 职称材料

可修系统的可用度分析方法研究 被引量：24

11

作者 孔德良 王少萍 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2002年第2期129-132,共4页

介绍了一种新的可修系统可用度分析方法———可修系统动态故障树建模分析方法 .为了获得高的可靠性和可用性 ,计算机控制系统大量采用了动态余度管理、储备及复杂的故障恢复技术 ,使计算机控制系统呈现出很强的动态性和实时性 .采用动... 介绍了一种新的可修系统可用度分析方法———可修系统动态故障树建模分析方法 .为了获得高的可靠性和可用性 ,计算机控制系统大量采用了动态余度管理、储备及复杂的故障恢复技术 ,使计算机控制系统呈现出很强的动态性和实时性 .采用动态故障树与Markov过程综合方法 ,将计算机控制系统的动态时序用DFTA(DynamicFaultTreeAnalysis)描述 ,将系统可修过程用Markov过程描述 ,将系统分解成若干个小的模块 ,逐步计算各模块的可用度、等效故障概率和维修率 ,最后综合进行整个系统的可用度分析 . 展开更多

关键词 故障树图形分析 动态故障树 Markov状态转移链 可用度分析 可修复系统 飞机

在线阅读 下载PDF 职称材料

基于顺序二元决策图的动态故障树分析 被引量：16

12

作者 李佩昌 袁宏杰 +1 位作者 兰杰 程明 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2017年第1期167-175,共9页

针对现有动态故障树分析方法存在的状态空间爆炸、计算效率低、适用范围有限等缺点,提出一种基于顺序二元决策图的动态故障树分析方法。在将动态逻辑门转化为含顺序事件的逻辑门的基础上,给出了顺序二元决策图的模型以及含有顺序事件的... 针对现有动态故障树分析方法存在的状态空间爆炸、计算效率低、适用范围有限等缺点,提出一种基于顺序二元决策图的动态故障树分析方法。在将动态逻辑门转化为含顺序事件的逻辑门的基础上,给出了顺序二元决策图的模型以及含有顺序事件的布尔运算规则,利用顺序二元决策图和扩展的布尔运算获取动态故障树的失效路径,并给出多单元顺序事件的发生概率。以某弹药为实例,考虑不完全覆盖问题,针对指数分布与非指数分布2种情形进行了动态故障树分析,结果表明该方法具有计算高效、精度高、适用性广泛等优点,为复杂动态系统的可靠性分析提供了理论基础。 展开更多

关键词 动态故障树 顺序二元决策图 布尔运算 可靠性分析 不完全覆盖

在线阅读 下载PDF 职称材料

基于变权综合理论的天然气管道动态风险评价 被引量：15

13

作者 胡翩 刘书海 +1 位作者 王德国 何仁洋 《中国安全科学学报》 CAS CSCD 北大核心 2012年第7期82-88,共7页

为对天然气管道进行有效的风险评估,提出基于变权综合理论的天然气管道动态风险评价法。利用故障树分析法(FTA)确定天然气管道不同时间空间下的主要风险因素,实时更新风险指标体系;同时引入变权综合原理,建立权重跟随指标值动态变化的... 为对天然气管道进行有效的风险评估,提出基于变权综合理论的天然气管道动态风险评价法。利用故障树分析法(FTA)确定天然气管道不同时间空间下的主要风险因素,实时更新风险指标体系;同时引入变权综合原理,建立权重跟随指标值动态变化的变权赋值模型;然后对天然气管道进行综合评定,确定管道当前状态的风险程度。以陕京3线中某管段为例进行分析,得出该管段当前风险等级为中等,在后期运行中应被重点监控。变权赋值与动态指标体系的结合使该方法能实时反映管道风险状况,并适用于天然气管线各段。 展开更多

关键词 天然气管道 变权 综合评价 故障树分析(FTA) 动态指标体系 动态风险评价

在线阅读 下载PDF 职称材料

基于同构节点的动态故障树分析方法 被引量：7

14

作者 张红林 付剑 +1 位作者 张春元 王英鸿 《计算机工程与设计》 CSCD 北大核心 2011年第1期1-4,共4页

为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题,给出了一个基于同构节点的动态故障树分析方法。为每个节点建立一个对象,识别同构节点,求解时对于同构节点仅计算一次,从而减少状态空间中的状态数目、缩短计算时间。运用该方... 为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题,给出了一个基于同构节点的动态故障树分析方法。为每个节点建立一个对象,识别同构节点,求解时对于同构节点仅计算一次,从而减少状态空间中的状态数目、缩短计算时间。运用该方法对空间信息处理平台进行可靠性分析,并与其他方法进行对比,结果表明,如果系统结构具有较强的冗余特征,该方法在求解效率上具有比较明显的优势。 展开更多

关键词 动态故障树 同构节点 空间信息处理平台 故障树分析 可靠性分析 状态空间爆炸

在线阅读 下载PDF 职称材料

基于动态故障树的导弹驾驶仪系统可靠性分析 被引量：5

15

作者 张志英 陈雨琪 +1 位作者 张宏军 吴伟 《南京理工大学学报》 EI CAS CSCD 北大核心 2013年第4期543-550,共8页

导弹驾驶仪系统的可靠性是影响整个导弹任务成功的重要因素。由于该系统构成复杂且部件故障具有动态特性,传统的故障树分析方法很难描述系统失效的动态机制。为此,首先建立了某驾驶仪系统的动态故障树;然后根据部件测试和维修过程中的... 导弹驾驶仪系统的可靠性是影响整个导弹任务成功的重要因素。由于该系统构成复杂且部件故障具有动态特性,传统的故障树分析方法很难描述系统失效的动态机制。为此,首先建立了某驾驶仪系统的动态故障树;然后根据部件测试和维修过程中的不确定状态按照一定的概率转化为可维修和不可维修的部件,从而对系统进行可靠性分析。在求解过程中,为了避免马尔科夫链应用中存在的组合爆炸问题,将蒙特卡洛方法应用于动态子树的求解中。仿真结果表明,上述方法可以对复杂、动态系统进行可靠性分析。 展开更多

关键词 驾驶仪系统 动态故障树 蒙特卡洛仿真 可靠性分析

在线阅读 下载PDF 职称材料

离心鼓风机轴瓦失效分析及预防 被引量：5

16

作者 蒋小平 施卫东 +1 位作者 许建强 沈玉堂 《流体机械》 CSCD 北大核心 2007年第5期50-53,20,共5页

D400-15型离心鼓风机是广西柳州某化工集团硫酸厂的关键设备之一。通过对该厂1999年10月投产以来的两台离心鼓风机的轴瓦失效情况进行的统计,将造成轴瓦失效的主要原因分成4类,即:轴瓦质量差、转子动平衡超标、研刮不良以及润滑油油质... D400-15型离心鼓风机是广西柳州某化工集团硫酸厂的关键设备之一。通过对该厂1999年10月投产以来的两台离心鼓风机的轴瓦失效情况进行的统计,将造成轴瓦失效的主要原因分成4类,即:轴瓦质量差、转子动平衡超标、研刮不良以及润滑油油质不佳等。对造成轴瓦失效的主要原因及机理进行了深入的分析,建立了轴瓦失效故障树,并提出了与主要失效原因相对应的预防措施。 展开更多

关键词 离心鼓风机 轴瓦 失效分析 动平衡 故障树

在线阅读 下载PDF 职称材料

一种适用于具有相互依赖基本事件和重复事件的动态故障树独立模块识别方法 被引量：8

17

作者 张红林 张春元 刘东 《计算机学报》 EI CSCD 北大核心 2012年第2期229-243,共15页

为减小时间开销,动态故障树经常被模块化分解为独立的静态子树和独立的动态子树,然后分别使用二叉决策图和马尔卡夫模型求解;其中的一个关键问题便是识别具有相互依赖基本事件和重复事件的动态故障树中所有的独立模块和最小独立模块.文... 为减小时间开销,动态故障树经常被模块化分解为独立的静态子树和独立的动态子树,然后分别使用二叉决策图和马尔卡夫模型求解;其中的一个关键问题便是识别具有相互依赖基本事件和重复事件的动态故障树中所有的独立模块和最小独立模块.文中提出了一个基于亲戚依赖关系的独立模块识别方法IIMKDR,该方法将故障树按照其事件之间的依赖关系转换为依赖树;基于面向对象思想,为依赖树及其节点构建对象;通过对各节点对象属性的分析,得出独立模块集并进而求出最小独立模块集.最后对IIMKDR方法进行了理论分析和实验验证,分析表明该方法适用于具有相互依赖基本事件和重复事件的动态故障树独立模块识别.与其它方法从多个角度所进行的实验对比显示,当故障树没有相互依赖基本事件和重复事件时,该方法的开销略高于其它方法;当故障树具有相互依赖基本事件和重复事件时,该方法能够正确识别其中所有的独立模块,而其它方法不具备这样的功能. 展开更多

关键词 动态故障树 独立模块识别 相互依赖基本事件 重复事件 可靠性分析

在线阅读 下载PDF 职称材料

基于离散时间贝叶斯网络的动态故障树分析的改良方法 被引量：18

18

作者 兰杰 袁宏杰 夏静 《系统工程与电子技术》 EI CSCD 北大核心 2018年第4期948-953,共6页

传统基于离散时间贝叶斯网络的动态故障树分析方法的计算时间和计算精度受时间分段影响极大。基于复合梯形积分方法分析传统方法的计算误差,提出改良的动态门转化方法,补偿其计算误差。以某测量系统为例,建立动态故障树和贝叶斯网络,验... 传统基于离散时间贝叶斯网络的动态故障树分析方法的计算时间和计算精度受时间分段影响极大。基于复合梯形积分方法分析传统方法的计算误差,提出改良的动态门转化方法,补偿其计算误差。以某测量系统为例,建立动态故障树和贝叶斯网络,验证改良方法的可行性和高效性。结果表明:改良方法在时间分段较小时,能得到精确的系统失效概率。改良方法补偿了传统方法的计算误差,提高了结果的计算精度和计算效率,适用于服从各种常见分布的复杂系统。 展开更多

关键词 离散时间贝叶斯网络 动态故障树 误差分析 改良方法 可靠性分析

在线阅读 下载PDF 职称材料

不完全覆盖系统的动态故障树定量分析方法 被引量：3

19

作者 李佩昌 袁宏杰 +1 位作者 曹振亚 张海龙 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2016年第9期1986-1991,共6页

针对含备份结构的动态系统可靠性分析以及不完全覆盖问题,提出了一种温备份门的可靠性计算方法。该方法引入阶梯函数和脉冲函数来描述备份结构的动态失效特征,在考虑不完全覆盖的基础上计算了温备份门的可靠性,最后以某机载电子设备为例... 针对含备份结构的动态系统可靠性分析以及不完全覆盖问题,提出了一种温备份门的可靠性计算方法。该方法引入阶梯函数和脉冲函数来描述备份结构的动态失效特征,在考虑不完全覆盖的基础上计算了温备份门的可靠性,最后以某机载电子设备为例,建立了系统的动态故障树,论证了该方法的可行性,并与不考虑不完全覆盖的方法进行了比较,同时对系统进行了灵敏度分析,该方法计算结果更合理,为动态系统可靠性定量分析奠定了一定基础。 展开更多

关键词 动态故障树 温备份 不完全覆盖 可靠性分析 灵敏度分析

在线阅读 下载PDF 职称材料

动态故障树的不交化定量分析方法 被引量：3

20

作者 张红林 张春元 +1 位作者 刘东 付剑 《计算机研究与发展》 EI CSCD 北大核心 2012年第5期983-995,共13页

动态故障树被广泛应用于动态系统的可靠性分析中,其中割序描述了系统的失效模式,割序集的不交化可以简化顶点失效概率的求解,目前还没有有效的适用于动态故障树的不交化定量分析方法.提出了一种不交化定量分析方法:在割序的基础上融入... 动态故障树被广泛应用于动态系统的可靠性分析中,其中割序描述了系统的失效模式,割序集的不交化可以简化顶点失效概率的求解,目前还没有有效的适用于动态故障树的不交化定量分析方法.提出了一种不交化定量分析方法:在割序的基础上融入时序逻辑提出扩展割序的概念,其与以往类似概念相比增强了表达能力;根据基事集和时限集分解最小扩展割序集,将其转换成不交化扩展割序集;再将不交化扩展割序转换成标准扩展割序,然后对其各割项进行冲突检测、时限集精简、基事集拓扑排序,以对标准扩展割序进行量化计算;并对该方法所涉及到的算法进行了详细的证明和时间复杂性分析.最后将其应用到一个案例中,并同基于inclusion-exclusion规则的MCS方法进行了对比,实验结果显示该方法的时间开销明显降低.该方法可以获得动态故障树的不交化扩展割序集,降低求解时间开销. 展开更多

关键词 扩展割序 不交化 动态故障树 定量分析 可靠性分析

在线阅读 下载PDF 职称材料