【摘 要】
：
针对具有动态故障模式的复杂系统,动态故障树分析一直是很重要的可靠性分析技术。为了提升可靠性分析效率,已有研究提出了各种模块化方法,但是对于实际动态故障树模型中由于
论文部分内容阅读
针对具有动态故障模式的复杂系统,动态故障树分析一直是很重要的可靠性分析技术。为了提升可靠性分析效率,已有研究提出了各种模块化方法,但是对于实际动态故障树模型中由于事件关联导致的大型动态子树,这些模块化方法的状态空间爆炸问题仍然很突出。因此介绍了一种基于多值决策图（Multiple-valued Decision Diagrams,MDD）来分析动态故障树的方法,通过多值变量编码动态门,利用单一系统MDD模型刻画各种动态和静态可靠性行为,有效地缓解了状态爆炸问题。通过一个具体的实例说明了多值决策图方法的应用
其他文献
阐述了频谱多普勒检测技术的基本原理和方法,介绍了软件无线电的概念和特点,并详细讨论了基于软件无线电的多普勒血流仪的设计与实现方法;文章把超声频谱多普勒成像系统分为
随着TCP／IP和以太网技术在工业控制领域应用的逐步深入，并且为了克服传统集散式控制系统(DCS)以及现场总线控制系统(FCS)的互操作性差等问题，多种现场总线互联及控制系统集成已成为目前工业自动化领域的研究热点；首先介绍了工业控制网络的发展现状；进而分析了全双工交换式以太网应用到工业控制领域的技术特征；最后提出了基于全双工交换式以太网的多种工业控制网络互联的异构网络化控制系统(NCS)设计方案及
会聚校正是背投电视一个重要的处理过程,目前采用的人工校正方式,不仅精度低调整时间长,而且产品一致性差,成为流水线生产的瓶颈.该文给出了一种新的结合图像处理、曲线拟合
MICROWIRE总线与SPI总线是目前应用非常广泛的两种同步串行总线,由于两种总线协议的不完全兼容性,造成许多设备之间无法进行通信.通过对PIC16F73单片机的SPI串口时序和电机控
文章根据信息量的不同,介绍基于Lyapunov函数和基于极点配置局部稳定的T-S模型的两类模糊控制器设计方法.并且在MATLAB环境中进行了仿真和实验.实验结果表明:Lyapunov函数法
基因表达数据分析一般是通过挖掘局部模式来实现的。保序子矩阵是局部模式挖掘中一种经典的模型,可以获取到在若干条件下表现出一致趋势的一组基因。高通量基因微阵列技术的
针对分布式网络中可信计算平台与传统的非可信计算平台所组成的分布式异构网络,基于可信计算技术提出了一种信任模型,并对该模型的理论架构和实现过程进行了详细的分析和研究