可修系统的可用度分析方法研究.PDFVIP

DOI :10.13700/j.bh.1001 -5965.2002.02.002 2002 4 April　2002 　28 2 ournal of Beijing University of Aeronautics and Astronautics Vol.28 　No.2 孔德良　　王少萍 ( ) 　　　　　:介绍了一种新的可修系统可用度分析方法———可修系统动态故障 树建模分析方法.为了 得高的可靠性和可用性, 计算机控制系统大量采用了动态余 度管理、储备及复杂的故障恢复技术, 使计算机控制系统呈现出很强的动态性和实时 性.采用动态故障树与Markov 过程综合方法, 将计算机控制系统的动态时序用DFTA (Dynamic Fault Tree Analysis)描述, 将系统可修过程用Markov 过程描述, 将系统分解成 若干个小的模块, 逐步计算各模块的可用度、等效故障概率和维修率, 最后综合进行 整个系统的可用度分析. 　　:故障树图形分析;综合定位法;可用性;动态故障树;Markov 状态 转移链 :V 241.01 :A 　　　　 :1001-5965(2002)02-0129-04 　　Markov p {X (t +u )=j |X (u )= i }=Pji (t ) , , Markov i,j ∈ E (1) , 　　{X (t ), t≥0}E ={0, 1, …, ., N }Markov . , , 1.1 　 Markov , λμ, [1] , ., Markov μ λ -(λ+μ)t A (t )= + e (2) λ+μ λ+μ , 1.2 　 , A s =limA (t )= πj , , . t※∞ ∑ j ∈W Markov , πj (j ∈W): , (π, π, …, π )V =(0, 0, …, 0) 0 1 n (3) .