动态冗余系统可靠性模拟.pdfVIP

1996年第 2期 电子产品可靠性与环境试验 5 动态冗余系统的可靠性模拟 KlausD．Heidtmann ． q2。i ， 一 ^ 摘要 研制较复毒的『襄鲢时 需要采用卓有成效的方法模拟秉班的可靠性，奉论文 ， ’ ·把暂态逻辑 (传统布尔逻辑的推广)应用于动态冗案景坑的可靠性模拟和概率分析· ． 验证这种新方法对解决上进何题的有效性． 哲态逻辑早B作为计算机软件和硬件的有力推理工具而技推出．暂卷芷辑所表迭的迮辑运算符是与时间概念如 总是和有时)相对应的．这种技认可且万髓的逆辑形式能够以筒洁而有效的方式描述动态特性 它支持可靠性模拟和 可靠性分析 ．具傩地说 ．它为动态系坑 中冗案方式的描连挺惧了一十适当的工再 -所 以，这种新方法对可靠性的模拟 和分析与实用嘲合最好 ． 关键词 苎堡基墼 奎基垒 量查垡 选筮熊盥 结柑可靠性 概率分析 弋8li