夏涛 吴重光 李安峰 张贝克 刘敏华 萧德云 王滢 付罡 张玎 张钊谦

危险和可操作性分析 风险分析 间歇过程 过程危险评价 基于风险的检测 推理引擎 铝电解槽 人工智能 定性仿真 推理机 LappPowers算法 自动建模 计算机辅助 深层知识 定性模块 安全分析 故障诊断 故障树自动生成 模糊融合 危险与可操作性分析