伊明 王文杰 夏涛 周慧华 郑明辉 张贝克 曾振柄 吴重光 齐燕博 王平 朱创录 陈帆

语义Web 过程危险评价 描述逻辑 数据挖掘 LISP 作战方案评估 测试图 安全技术 符号定向图 定性仿真 测试用例 数值测试 语义 知识获取 SDG 深层知识 Agent 故障诊断 知识表示 服务 自动推理 智能规则