一种基于Petri网模型的系统动态安全性分析方法

针对目前安全分析方法通常只能给出导致系统失效的事件发生序列,而对系统运行过程中的一些时序、动态等因素考虑不足等问题,提出了基于Petri网模型的系统安全性动态分析方法,并结合系统状态可达树,建立了系统动态安全性分析模型,得出导致系统失效的所有可能事件的序列及其发生概率.最后,以实例验证了该方法的可靠性和有效性.     

利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。     

基于中位秩的动态可靠性增长模型

给出了一种动态可靠性增长模型。首先利用统计中的中位秩法结合试验数据确定各个增长阶段的失效率 ,这一技术可以很好地解决小子样问题 ,并且由于利用了动态建模的思想 ,因而可以客观地反映系统的实际状态。其次 ,该模型继承了传统Duane模型简单、直观、易于进行参数估计的优点 ,同时又很好地处理了传统Duane模型所不适用的分阶段、多场景试验的情形 ,因而有很广阔的工程应用前景。最后通过仿真实例验证了该模型的正确性     

A general model of heterogeneous system lifetimes and conditions for system burn‐in

Burn‐in is a technique to enhance reliability by eliminating weak items from a population of items having heterogeneous lifetimes. System burn‐in can improve system reliability, but the conditions for system burn‐in to be performed after component burn‐in remain a little understood mathematical challenge. To derive such conditions, we first introduce a general model of heterogeneous system lifetimes, in which the component burn‐in information and assembly problems are related to the prediction of system burn‐in. Many existing system burn‐in models become special cases and two important results are identified. First, heterogeneous system lifetimes can be understood naturally as a consequence of heterogeneous component lifetimes and heterogeneous assembly quality. Second, system burn‐in is effective if assembly quality variation in the components and connections which are arranged in series is greater than a threshold, where the threshold depends on the system structure and component failure rates. © 2003 Wiley Periodicals, Inc. Naval Research Logistics 50: 364–380, 2003.     

59-03指挥仪动态调整专家系统

本文介绍了59-03指挥仪动态调整专家系统的设计过程,重点讨论了应用故障诊断的测前模拟理论建立指挥仪动态调整专家系统的方法。     

Weibull型产品的可靠性验证

讨论了Weibull型产品的可靠性验证问题 ,首先分析了Weibull型产品分布参数的无信息验前分布问题 ,利用验前信息可以得到分布参数的验前概率密度函数 ,进而分析了产品的可靠性验证问题 ,顾及了使用方利益和生产方利益。仿真算例表明 ,使用方利益和生产方利益是相互折衷的。     

在热处理领域应用可靠性理论的研究

本文提出以最小失效概率为标准,解决钢材强韧性最佳匹配问题,并以此来优选钢材的回火温度或淬火温度。本文将可靠性理论引入热处理领域,以强度理论和断裂力学为依据,应用干涉模型和最弱环模型,在一定条件下计算出各种状态下材料的一系列综合失效概率,进而找出具有最小失效概率的状态,即为此条件下最佳强韧性匹配的状态,也就是我们应当优选的状态。     

分离模块航天器不确定性多学科设计优化

为了在分离模块航天器研制过程中充分考虑各类不确定性因素的影响,以此对全寿命周期成本、收益以及系统稳健性和灵活性进行综合评价和设计优化,本文对新概念航天器——分离模块航天器概念设计阶段的不确定性多学科设计优化(UMDO)进行了研究.首先,对UMDO方法进行了概述,对分离模块航天器UMDO的主要流程进行了介绍.其次,对分离...     

小子样鱼雷装载失效率与工作失效率关系

鱼雷装载试验信息很少,用数理统计方法评估其装载失效率,结果不能真实反映实际情况.利用灰色系统理论的GM(1,2)模型,结合实例对鱼雷装载失效率和工作失效率的关系进行建模,研究两者之间的关系,推算鱼雷装载失效率.计算结果表明,该方法能达到令人满意的拟合和预测精度,方法简单,具有实用价值.     

基于多预测器的高光谱图像无损压缩

数据压缩是高光谱图像处理应用中的一个关键问题。在分析高光谱数据相关性特点的基础上,提出了一种方向可选的多预测器数据压缩框架。将新的框架应用于单波段和多波段的预测压缩方案,分别得到复杂性不同的两种无损压缩流程。计算机仿真结果表明了该框架的有效性。