蔡开元 方瑾 谭建荣 董雁 高曙明 王桂增 徐明 刘清平 胡守仁 夏涛 邵晨曦 李安峰 吴重光 薛冬白 周东华 刘建罗 白方周 张钊谦 郭炳炎 张萍 张贝克 张明廉

面向对象知识表示 增量因子 鲁棒性 基于事例推理 SDG 概念设计 支路 动态系统 基于模型的诊断 压缩因子 定性仿真 故障诊断 自动造型 节点 HAZOP 解析模型 元级反射 诊断 智能控制 危险分析 故障检测 定性推理 定性控制