Power Water Univ. of Technol., Tehran;
fault trees; safety-critical software; software fault tolerance; Simulink; digital system; fault tree analysis; static fault tree; system availability assessment; system reliability; system safety; Fault tree; Reliability; Standby sparing;
机译:从马尔可夫方法构建事件树/故障树模型以提高动态系统的可靠性
机译:使用与逻辑运算相关联的逻辑门构造物理混合系统的故障树,该逻辑门通过布尔代数规则与顶级事件的代数表达相关联,以确定系统的最小割集
机译:一种新的小波选择和树内核构建方法,用于诊断滚动元件轴承故障的诊断
机译:系统Simulink构建故障树的一种新方法。
机译:一种用于确定航天器姿态控制子系统中执行器故障原因的故障树方法。
机译:评估食品系统漏洞:故障树建模方法
机译:故障树综合的形式化方法,用于分布式容错系统分析