罗云林, 张巨联, 杨剑忠. 基于马尔可夫方法的飞控系统安全性评估[J]. 中国民航大学学报, 2011, 29(4): 16-19. Luo Yunlin, Zhang Julian, Yang Jianzhong. Safety assessment research of flight control system based on MA model[J]. Journal of Civil Aviation University of China, 2011, 29(4): 16-19.
[2]
张晓洁, 赵海涛, 苗强, 等. 基于动态故障树的卫星系统可靠性分析[J]. 宇航学报, 2009, 30(3): 1249-1255. Zhang Xiaojie, Zhao Haitao, Miao Qiang, et al. Reliability analysis of satellite system based on dynamic fault tree[J]. Journal of Astronautics, 2009, 30(3): 1249-1255.
[3]
王新阁, 张显余, 张艳敬, 等. 某型运输机飞控计算机动态故障树分析[J]. 飞机设计, 2011, 31(4): 69-73. Wang Xinge, Zhang Xianyu, Zhang Yanjing, et al. Dynamic fault tree analysis of flight control computer for some type transporter[J]. Aircraft Design, 2011, 31(4): 69-73.
[4]
Manian R, Coppit D W, Sullivan K J, et al. Bridging the gap between systems and dynamic fault tree models[C]//Proceedings Annual Reliability and Maintainability Symposium. Washington: IEEE, 1999, 105-111.
[5]
Long W, Sato Y, Horigome M. Quantification of sequential failure logic of fault tree analysis[J]. Reliability Engineering and System Safety, 2000, 67: 269-274.
[6]
徐亨成, 张建国. 基于BDD技术下的故障树重要度分析[J]. 电子机械 工程, 2003, 19(6): 1-4. Xu Hengcheng, Zhang Jianguo. The importance analysis of fault tree based-on the binary decision diagrams (BDD) technique[J]. Electro-Mechanical Engineering, 2003, 19(6): 1-4.
[7]
Zhang X Y, Sun H R. A BDD based algorithm for reliability analysis of phased mission systems[J]. IEEE Trans on Reliability, 1999, 46 (1): 50-60.
[8]
张文韬,张友鹏,苏宏升, 等. 基于动态故障树的CTCS-3级ATP系统 可靠性分析[J]. 工程设计学报, 2014, 21(1): 18-25. Zhang Wentao, Zhang Youpeng, Su Hongsheng, et al. Reliability analysis on ATP system of CTCS-3 based on dynamic fault tree[J]. Chinese Journal of Engineering Design, 2014, 21(1): 18-25.
[9]
王栋. 基于动态故障树分析的民用飞机辅助动力装置系统安全性评 估[J]. 民用飞机设计与研究, 2014(3): 48-52. Wang Dong. Safety assessment of auxiliary power unit (APU) system for civil aircraft based on dynamic fault tree analysis (DFTA) [J]. Civil Aircraft Design & Research, 2014(3): 48-52.
[10]
朱正付, 李长福, 何恩山, 等. 基于马尔科夫链的动态故障树分析方 法[J]. 兵工学报, 2008, 29(9): 1104-1107. Zhu Zhengfu, Li Changfu, He Enshan, et al. The dynamic fault tree analysis method based on Markov chain[J]. Acta Armamentarii, 2008, 29(9): 1104-1107.
[11]
赵廷弟. 安全性设计分析与验证[M]. 北京: 国防工业出版社, 2011: 158-159. Zhao Tingdi. Safety design analysis and verification[M]. Beijing: National Defense Industry Press, 2011: 158-159.
