动态事件树的导弹安全自毁系统安全性评估

针对传统的事件树分析方法在安全性评估中的局限性,在动态事件树分析方法的基础上,给出了其数学描述,并将其应用于导弹安全自毁系统安全性评估中,以描述导弹安全自毁过程中的动态特性.结果表明该方法能够较好地描述系统的动态行为,更适用于动态系统安全性分析.     

基于概率风险的系统安全性分析

为得到系统层次上的安全性概率风险,获得定量的安全性决策依据,设计了基于概率风险的系统安全性分析方法,该方法将系统按某种标准划分成相应子系统,统计得到各子系统所有的危险源,建立相应的因果链,通过一定法则得到基于系统层次的概率风险,同时还讨论了设计方法中概率风险计算的难点问题。     

基于大规模贝叶斯网络的安全性分析算法

贝叶斯网络计算量随着节点数增多呈指数增长,限制了大规模贝叶斯网络在安全性分析中的应用。为此,利用独立性条件分解整个网络,压缩推理时显式表达的项数,给出了计算顶事件发生概率及割集的算法,并分析了算法复杂性。在满足工程需要情况下,将提出算法与基于BDD算法相比,该算法表现出占用内存少、运行速度快的良好性能。     

基于故障树的系统安全风险实时监测方法

当前的安全性分析方法大都属于预先安全性分析方法,即在系统使用前对系统进行安全性分析。但系统的动态特性,如组成部件工作状态的动态变化,使系统的安全性呈现实时变化。为研究系统的实时安全风险,提出了一种基于故障树的实时安全风险监测方法。该方法用故障树表示系统结构,建立系统安全风险评估模型,根据系统的技术状态参数与系统组件工作状态的对应关系,实时对系统的安全风险进行监测;并根据安全风险监测的情况,对安全风险变化原因做出解释,做到防患于未然。用一个具有前馈控制冷却系统的例子演示了该方法的有效性。     

基于Petri网的维修过程建模仿真方法研究

通过引进老化令牌对随机Petri网进行理论扩展，提出了一种基于老化令牌的随机Petri网（SPNAT）的维修过程建模与仿真方法，有效地解决了传统维修性建模方法在多个失效率不同的部件系统所存在的建模复杂和求解困难等问题，并通过实例验证了该建模方法的有效性和优越性。