【摘 要】
：
该文运用二元决策图（Binary Decision Diagram）分析传统的静态故障树，运用Markov链分析新兴的动态故障树，由此形成一种创新性的故障诊断方法：综合故障树（Integrated Fault Tree）分析
【机 构】
：
中国科学技术大学计算机科学与技术系
论文部分内容阅读
该文运用二元决策图（Binary Decision Diagram）分析传统的静态故障树，运用Markov链分析新兴的动态故障树，由此形成一种创新性的故障诊断方法：综合故障树（Integrated Fault Tree）分析法。综合故障树分析法运用分而治之的策略处理各种故障，不仅加深了故障诊断、分析的精度，同时也拓展了故障树分析法的运用领域。该文结合实例，运用综合故障树分析法解决容错计算机系统中动态时序特性的建模困难问题；分析结果表明，在容错计算机系统中运用此方法，可以有效地对系统建模和分析系统可靠性。
其他文献
基于系统能控矩阵特征根距离原点的位置反映系统能控性大小的原理,提出一种通过计算系统能控矩阵最小模特征根来确定三级倒立摆最优摆长组合的方法。通过对不同摆长组合所构成的三级倒立摆系统在相同控制策略下的控制系统的仿真实验性能的对比,验证了在综合考虑系统位移量以及控制量大小的情况下,根据所提出的方法设计出的三级倒立摆系统的摆杆长度组合是最优的,并使用该方法得到了一定范围内三级倒立摆的最优摆长比值与固定摆杆
近年来,随着临床医学技术的不断提升与发展,超声引导下臂丛置管神经阻滞在上肢手术术后镇痛中逐渐得到应用和发展。臂丛置管神经阻滞是一种把局麻药物注射到C5~8和T1脊神经的
传统有限元分析薄板成形一般使用壳单元进行模拟,忽略薄板沿厚度方向应力应变的变化,这很难反映薄板弯曲变形部分的状况。基于连续介质力学及有限变形理论,借助于计算机仿真技术,利用LS-DYNA软件中的实体单元模拟了低碳钢板深冲成筒形件的过程,得到了薄板在冲压成形过程中的应力应变场,并分析了板料各区域的受力变形情况,发现了凸凹模圆角处薄板沿厚度方向的应力应变分布并不均匀,这些模拟结果对筒形工件的深冲压加工
目的 观察基于早期预警评分改良校正的动态触发护理模式在多发伤患者中的应用效果.方法 2019年1—12月该院收治的多发伤患者90例,按照收治先后顺序分为对照组与试验组各45例.对照组接受多发伤常规急救护理,试验组接受基于早期预警评分改良校正的动态触发护理模式干预,比较两组人均抢救次数、ICU转入情况.结果 试验组人均抢救次数少于对照组,ICU转入率4.4％低于对照组的17.8％,差异均有统计学意义(P<0.05).结论 采用基于早期预警评分改良校正的动态触发护理模式对多发伤者施加干预,可显著降低抢救次数与
串行级联连续相位调制(SCCPM)的相干迭代接收机需要知道载波相位信息和精确的信道信息,然而这些信息在低信噪比下难以获得。针对此问题,研究了SCCPM非相干接收机,通过连续观察多个码元计算得到非相干解调的CPM信道转移概率,利用修正的CPM软输入软输出(SISO)算法实现迭代的解调和解码。仿真了码元速率为1/2外卷积码,通过随机交织器级联调制指数h=1/2的二进制CPM组成的SCCPM系统。仿真结
容差和非线性特性使得模拟电路的故障诊断趋于复杂化,针对这两个问题,几年来,人们提出了许多相关的诊断方法,但是,迄今为止,尚没有一种通用的、行之有效的方法。因此,尝试将自组织竞争网络引入到模拟电路的诊断过程中,并提出一种基于竞争网络的诊断方法。由于自组织竞争网络在非线性映射、容错与自学习方面的独特优势,理论上对于解决模拟电路的容差和非线性问题是非常适合的。最后,实例表明,基于竞争网络的方法能够准确识