陈源 王振宇 王长君 李拥军 林伟伟 于宗光 曹小峰 胡定磊 宋运吉 邹胜 印鉴 赵震 陈书明 张志立 周强 刘春林 王晟 盛昭瀚 何建敏 陈锦源 杨海 李师贤 张惠国 赵常智 彭利民 齐德昱 边计年 史忠植 王雄 杨文强

线性松弛法 启发式算法 峰值模块功耗 峰值周期功耗 连接主义 遗传算法 功耗时延乘积项 伪布尔 网络吞吐量 复制 最优任务分配方案 平均报酬马尔可夫决策过程 数据流图 安全算法 约束满足 网络编码 逻辑 起迄点出行分布矩阵 静态调度 势约束 最短路径路由 任务调度 多电压调度 自动机 代码选择 无线网状网 嵌入式实时系统 布尔可满足性 交通检测点 高层次综合