书目详细信息 : 二元决策图及其扩展形式在系统可靠性分析中的应用