冯培恩 高文胜 洪先龙 黄双喜 许东卫 边计年 刘娆 石蕊 蔡懿慈 陈朝春 邓澍军 郑伟伟 孙建军 周敏 李卓远 杨长旗 朱明 李凤婷 李强

最优轨迹规划 协同验证 标准单元 振幅 风机测震仪 强流脉冲放电 可满足性模理论 火花放电 性质检验 模拟 数据控制流图 填装生产线 方位 无触点振动 冲压成形 可满足性 约束满足问题 对象模型 可编程控制器 冲击波 爆炸力学 增量式布局 特性 液电效应 拥挤度 线性规划 相平面建模 工业雷管 形式验证 寄存器传输级

清华大学计算机科学与技术系 浙江大学流体传动与控制国家重点实验室 清华大学计算机科学与技术系软件研究所设计... 大连理工大学电气系高压实验室 北京交通大学计算机与信息技术学院 辽宁大连