temporal logic; temporal fault tree; dynamic system; reliability simulation;
机译:故障树和动态流程图方法的比较,用于基于FPGA的安全系统分析第1部分:电抗器跳闸逻辑回路可靠性分析
机译:大型动态系统建模和仿真的定性近似方法:在船用蒸汽发电厂中的应用
机译:从马尔可夫方法构建事件树/故障树模型以提高动态系统的可靠性
机译:时间故障树方法在动态系统可靠性定性仿真中的应用
机译:动态事件故障树(DEFT):一种基于计算机的系统的概率风险评估方法。
机译:分子动力学模拟及增强蛋白质系统研究的增强抽样方法的研究进展
机译:应用于结构性动态,地震风险和损失评估的随机动态系统可靠性分析和更新的高级仿真方法
机译:故障树:电力系统可靠性分析的一种方法