谢树森 张华 谭永红 张大方 王任栋 甘才军 李声晋 谢高岗 林斌 胡保安 林笠 余伏章 程敏 孙吉贵 黄瑞锋 姜云飞 芦刚 苏密勇 李冰 邵亮 李磊 孙荣燕 王海平 蔡志勇

辩论理论 焊缝跟踪 非单调推理 移动性 两级Tabu搜索 公共计算平台 V型坡口 定量评估 经络系统 约束 共模抑制比 因果关系 多任务 程序说明语义 逻辑程序设计 机动式系统 前置放大器 基于模型诊断 ARM 次协调逻辑程序 极值探测 基于模型的诊断 同构诊断 透射谱 辩论系统 溯因逻辑程序设计 能量 Tabu搜索 经典否定 溯因

中山大学软件研究所 吉林大学计算机科学系 南昌大学信息工程学院 洪都航空工业集团飞机设计研究所 广东广州 福建师范大学激光研究所 暨南大学信息科学技术学院 福州康顺光通讯有限公司