刘怡 杨志宏 刘明业 邓家褆 李洪杰 刘和山 俞承芳 汪源源 赵刚 刘维民 黄克正 郭书明 蒋祖华 肖人彬 周以齐 赵康 艾兴 严隽琪 徐峰 陈卫东 董社勤 陈洪武 张明勇 王艳东 谢让 李旦 田宝庆 汪兴轩 边计年 王震亚

设计验证 结构式设计 寄存器传输级 专用指令集处理器 多智能代理系统 集束式整数线性规划模型 计算机辅助设计（CAD） 发展趋势 智能化 设计方法论 RDM 设计原理 内涵 设计方法 多Agent系统 计算机辅助设计 软件开发 外延 网络技术 设计方法学 数据流 原型 时延驱动 电子表格设计 概念设计 逻辑模拟 Petri网 设计理论 分布式问题求解 参数化设计