王小兵 王元元 刘晓凌 宁乐 戴文宗 邵军力 王伟全 程翼羽 陈一明 党荣军 何健虎 杨振平 韩烨 马震 李玉珍 薛惠锋 王磊

假设 无人机 点火系统 发动机 消解原理 数据库 活塞 Ajax技术 Winsock 自动定理证明（ATP） RBAC扩展模型 VSAT 无偿服务 一阶谓词逻辑 高度补偿省油器 知识库系统 自动定理证明ATP) 自然推理 LAORDTM模型 抽象数据类型 TCPIP XML技术 裙部型面 面向对象程序设计 电磁兼容性 通信网 网络管理及维护 软插件 人工智能 校核方法

广东　茂名 广东省茂名教育学院 海南师范学院 海南　海口 陕西西安 西北工业大学365所 南京金科技术开发公司 西北工业大学自动化学院