[1] 陈志军,许开立. 生产安全事故侵权责任的归责原则研究[J]. 中国安全科学学报,2016, 26(9):13-18. CHEN Zhijun, XU Kaili. Study on liability principles for work safety accident tort liability[J]. China Safety Science Journal, 2016, 26(9):13-18. [2] VESELY W E, GOLDBERG F F, ROBERTS N H, et al. Fault tree handbook[R]. Nuclear Regulatory Commission Washington DC, 1981. [3] FUSSELL J B. A formal methodology for fault tree construction[J]. Nuclear Science and Engineering, 1973, 52(4): 421-432. [4] LAPP S A, POWERS G J. Computer-aided synthesis of fault-trees[J]. IEEE Transactions on Reliability, 1977, 26(1): 2-13. [5] WANG Yanjun, TEAGUE T, WEST H, et al. A new algorithm for computer-aided fault tree synthesis[J]. Journal of Loss Prevention in the Process Industries, 2002, 15(4): 265-277. [6] WANG Yanjun, ROGERS W J, WEST H H, et al. Algorithmic fault tree synthesis for control loops[J]. Journal of LossPrevention in the process Industries, 2003, 16(5): 427-441. [7] CAMARDA P, CORSI F, TRENTADUE A. An efficient simple algorithm for fault tree automatic synthesis from the reliability graph[J]. IEEE Transactions on Reliability, 1978, 27(3): 215-221. [8] ZHANG Zhaoqian, ZHANG Beike, XIA Tao, et al. A new computer-aided fault tree synthesis method[J]. Computer Simulation, 2005, 22(10): 125-129. [9] YANG Zongxiao, ZHENG Yanyi, XUE Jinxue. Development of automatic fault tree synthesis system using decision matrix[J].International Journal of Production Economics, 2009, 121(1): 49-56. [10] 肖贵平,侯福均,聂磊, 等. 计算机辅助事故树分析中的图形输入法[J]. 中国安全科学学报, 2001, 11(4): 53-56. XIAO Guiping, HOU Fujun, NIE Lei, et al. Method for inputting the image for computer aided fault tree analysis[J]. China Safety Science Journal, 2001, 11(4): 53-56. [11] KNUTH D E. Optimum binary search trees[J]. Actainformatica, 1971, 1(1): 14-25. [12] REINGOLD E M, Tilford J S. Tidier drawings of trees[J]. IEEE Transactions on Software Engineering, 1981,7 (2): 223-228. [13] VAUCHER J G. Pretty-printing of trees[J]. Software: Practice and Experience, 1980, 10(7): 553-561. [14] WETHERELL C, SHANNON A. Tidy drawings of trees[J]. IEEE Transactions on software Engineering, 1979,5 (5): 514-520. [15] WALKER J Q. A node-positioning algorithm for general trees[J]. Software: Practice and Experience, 1990, 20(7): 685-705. [16] SUPOWIT K J, REINGOLD E M. The complexity of drawing trees nicely[J]. Acta Informatica, 1983, 18(4): 377-392. |