事件树分析的理论依据及程序