路平 张林 徐锋 解学军 陈道蓄 陈磊 张开志 陆桑璐 张卫杰 江孝国 李劲 吕建 魏震生 杨国君 范玉顺 颜志奇 车阿大 荆博贤 陶烨 王义麟 杭利平

演化 无等待 工作流 放置 多机器人 指标体系 LMS算法 时序逻辑 强流电子束 自适应LQ控制 软件协同 时序约束 雷达装备 系统功能 多变量系统 模型 电子商务 高斯光斑 语义 多线程技术 M-独立 可信性 信任 硬件描述语言 替换 防炒作 束流测量 验证 黎卡提方程 多项式算法

北京信息工程学院计算机信息系统系 南京大学计算机软件新技术国家重点实验室 南京大学计算机软件研究所 江苏南京 曲阜师范大学自动化所 中国工程物理研究院流体物理研究所 山东省曲阜师范大学自动化研究所 计算机软件新技术国家重点实验室