姜春明 张钊谦 张贝克 夏涛 吴重光 牟善军 张海峰

故障树自动生成 HAZOP 动态建模 LappPowers算法 节点 定性仿真 推理机 危险识别 过程工业 支路 计算机辅助 安全评估 仿真 定性模型 危险分析 符号定向图 计算机辅助技术 事件树建模 安全评价 石油化工 国际标准 SDG

北京化工大学 信息科学与技术学院 北京化工大学信息科学与技术学院 中国石油化工股份有限公司安全工程研究院