[5] LANUS M, YIN L, TRIVEDI K S. Hierarchical composition and aggregation of state-based availability and performability models［J］. IEEE Transactions on Reliability, 2003, 52(1): 44-52.

[6] YEH Y C B. Triple-triple redundant 777 primary flight computer［C］//Proceedings of IEEE Aerospace Applications Conference, 1996: 293-307.

[8] DONG P P, ZHAO M R, LIU B W, et al. A new method of computing the reachability matrix of directed graph ［C］// The Second International Workshop on Education Techno-logy and Computer Science (ETCS), 2010: 774-776.

[9] WANG X, GAO C Y, ZHANG Q. Reachability matrix-based path computation using matrix self-multiplication ［C］// The 39th European Conference and Exhibition on Optical Communication, 2013: 1-3.

[14] A320 aircraft maintenance manual［Z］. China Eastern Airline, REVISION NO. 30, Aug 01/05.