%0 Journal Article %T 基于代数模型的飞控计算机可靠性分析方法 %A 张竞凯 %A 章卫国 %A 刘小雄 %A 王晓光 %J 北京航空航天大学学报 %P 262-267 %D 2014 %X 针对现有大型客机飞行控制计算机的体系结构,运用动态故障树分析方法对系统进行可靠性分析.通过引入时间算子,为系统所包含的温贮备门事件建立了可靠性代数模型,并且在借助逻辑符号系统得到的结构函数基础上,推演出非相似余度温贮备可靠性分析的量化表达形式.这种代数模型方法可以适用于包含任何寿命分布类型部件的系统.通过对一个典型的电传飞控计算机系统进行研究,将其和经典Markov方法比较,体现出该种方法在工程中的有效性和便捷性. %U http://bhxb.buaa.edu.cn/CN/abstract/abstract12859.shtml