[1] FOSTER I, KESSELMAN C, TUECKE S. The anatomy of the grid:enabling scalable virtual organizations[J]. The International Journal of High Performance Computing Applications:Information for Contributors, 2001, 15(3):200-222. [2] VOUK M A. Cloud computing-issues, research and implementations[J]. Journal of Computing and Information Technology, 2008, 16(4):235-246. [3] MO Y. Variable ordering to improve BDD analysis of phased-mission systems with multimode failures[J]. IEEE Transactions on Reliability, 2009, 58(1):53-57. [4] HARISH P, NARAYANAN P J. Accelerating large graph algorithms on the GPU using CUDA[C]//HiPC 2007:Proceedings of the 14th International Conference on High Performance Computing, LNCS 4873. Berlin:Springer-Verlag, 2007:197-208. [5] SHIVA S G. Advanced Computer Architectures[M]. Boca Raton, FL:CRC Press, 2005:312-322. [6] MO Y, XING L, ZHONG F, et al. Choosing a heuristic and root node for edge ordering in BDD-based network reliability analysis[J]. Reliability Engineering and System Safety, 2015, 131:83-93. [7] LEVITIN G, XING L. Reliability and performance of multi-state systems with propagated failures having selective effect[J]. Reliability Engineering and System Safety, 2010, 95(6):655-661. [8] ANDREWS J D. To not or not to not[C]//ISSC-2000:Proceedings of the 18th International System Safety Conference.[S.l.]:System Safety Society, 2000:267-275. [9] RAUZY A, DUTUIT Y. Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within aralia[J]. Reliability Engineering and System Safety, 1997, 58(2):127-144. [10] MO Y, XING L, ZHONG F, et al. Reliability evaluation of network systems with dependent propagated failures using decision diagrams[J]. IEEE Transcations on Dependable and Secure Computing, 2015, 13(6):672-683. [11] MEYER J F. Model-based evaluation of system resilience[C]//DSN-W 2013:Proceedings of the 201343rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop. Washington, DC:IEEE Computer Society, 2013:1-7. [12] RAUZY A B, GAUTHIER J, LEDUC X. Assessment of large automatically generated fault trees by means of binary decision diagrams[J]. Proceedings of the Institution of Mechanical Engineers, Part O:Journal of Risk and Reliability, 2007, 221(2):95-105. [13] POCKY M, MALASS E, WALTER M. Combining different binary decision diagram techniques for solving models with multiple failure states[J]. Proceedings of the Institution of Mechanical Engineers, Part O:Journal of Risk and Reliability, 2011, 225(1):18-27. [14] MO Y, ZHONG F, LIU H, et al. Efficient ordering heuristics in binary decision diagram-based fault tree analysis[J]. Quality and Reliability Engineering International, 2013, 29(3):307-315. [15] MEYER J F. Defining and evaluating resilience:a performability perspective[C/OL]//PMCCS-9:Proceedings of the 9th International Workshop on the Performability Modeling of Computer and Communication Systems.[S.l.]:Mendeley, 2009[2016-03-06]. http://ftp.eecs.umich.edu/people/jfm/PMCCS-9_Slides.pdf. [16] REIBMAN A, TRIVEDI K. Numerical transient analysis of Markov models[J]. Computers and Operations Research, 1998, 15(1):19-36. [17] TRIVEDI K S. Probability and Statistics with Reliability, Queuing and Computer Science Applications[M]. 2nd ed. Upper Saddle River, NJ:Prentice Hall, 2001:172-179. [18] MO Y, XING L, AMARI S V, et al. Efficient analysis of multi-state k-out-of-n systems[J]. Reliability Engineering and System Safety, 2015, 133:95-105. |