王甦 王颖 吴澄 田园 杨建华 巩马理 马楠 翟刚 金月 宋士吉

Dolev-Yao相似性 并行批处理机 智能优化算法 温度传感器 计算密码学 启发式算法 流水线调度问题 禁忌搜索 不相容作业组 模拟退火算法 电致冷 染缸优化调度 Dolev-Yao刚性 形式模型 大规模生产调度 UC-相似 Block性质 控制 问题分解 拉格朗日松弛分解

清华大学自动化系 大连理工大学数学科学学院 大连理工大学软件学院