【摘 要】
：
状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化
【机 构】
：
南京航空航天大学计算机科学与技术学院,南京大学计算机软件新技术国家重点实验室,广西财经学院信息与统计学院
论文部分内容阅读
状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型,需先精确描述其语义才能进行定量分析.为此,本文提出一种基于交互马尔可夫链的状态事件故障树定量分析方法.首先,通过将交互马尔可夫链的交互动作精化为输入和输出动作,提出接口交互马尔可夫链模型用于状态事件故障树的形式语义描述.然后,在此形式语义的基础上设计了一种状态事件故障树定量分析方法.最后给出了一个飞机起落架收放系统的状态事件故障树建模及概率特性定量分析的实例研究.
其他文献
频率步进方法是探地雷达技术的工作体制之一 ,与时域无载频脉冲体制的探地雷达技术相比 ,在探测性能上具有较多的优越性 .本文在简述其工作原理的基础上 ,介绍了作者研制的一
<正>合适的肿瘤标记物对于前列腺癌的早期诊断和预后评估十分重要。自1960年发现前列腺特异性抗原(prostate specific antigen,PSA)以来,它成为前列腺癌诊断和评估的主要肿瘤
阵元增益不一致导致ＥＳＰＲＩＴ算法的波达方向（ＤＯＡ）估计性能恶化．本文提出了一种新的利用子空间旋转不变性（ＳＲＩ）的ＤＯＡ估计算法，将ＤＯＡ信息包含于矩阵的特征值估计中，但对增益幅度误差不敏感．由于未利用增益幅
<正>当前,医学科技快速发展,国家医药卫生体制和军队编制体制改革不断深化,以信息化为主导的新军事变革加速推进,广大官兵和人民群众对健康需求日益增长,医疗市场竞争日趋激
对于红外成像制导导弹,面源红外诱饵是一种效费比较高的干扰手段,具有广泛的应用前景。为实现有效干扰,面源红外诱饵的红外辐射特性必须满足一定的要求。文中分析了面源红外
由于频域盲源分离方法无法精确解决排列模糊问题,分离出的信号质量受到很大影响.本文提出一种后处理方法以进一步消除不同信源间的空间干扰和噪声且无需增加额外的先验信息.
<正> 纸张的各向异性是指纸张在各个方向上所表现出来的某些性能的不一致性;两面异性是指纸张正面和反面所表现出来的某些性能的不一致性。两者主要表现在纸张的物理性能方面
<正> 在印刷时,必须使印版滚筒表面和橡皮滚筒表面以及压印滚筒表面互相挤压,即为胶印印刷的印刷压力,也称压缩量。要把印版上的着墨图文转移到橡皮滚筒,再转移到纸上,在这两
振动送料器是自动加工和自动装配系统中的一种重要设备。介绍了一些典型的振动送料器的结构、原理、特点和应用,并对这些装置进行了比较。
光突发交换(OBS)是实现下一代光互联网技术中的一种极具前景的方案.OBS网络中采用的路由机制多是最短路径优先的路由选择机制,这种路由机制本身的缺陷会使网络有较大的阻塞概