冯珊 李明楚 周凯波 凌之洸 陈廷 金月 金锋 胡英 马孜 魏福林 黄景平 郭占设 杜剑平 王颖 韩云 姜海文 韩中庚 陈治宇 汪洋 樊尚春 王命全 于炯 李彤

压力 动态规划 振动主动控制 调度 传感器网络 关键路径 水指标分配 RMOSI 数学建模 混合方案 Dolev-Yao相似性 呼吸力学参数 综合测试环境 工作流 南水北调 群钥 计算密码学 决策支持系统 可扩展性 寿命分布 温度 网格 优化 可证明的安全性 DIS虚拟现实 形式模型 COTS 解题自动化 UC-相似 时间跨度

大连理工大学软件学院 华中理工大学系统工程研究所 辽宁大连 大连理工大学数学科学学院 北京计算机应用与仿真技术研究所 大连海事大学自动化研究中心 华中理工大学控制科学与工程系 中国科学院研究生院