安宜 冯冬芹 蒙正林 郑长伟 刘永红 李晓维 冯平法 李洪威 曾松伟 邵明 朱昊 马亚龙 刘志 李文斌 裴泽辉 周文斌 高一新 郭齐胜 何雄辉

通用电动机 电路宽度 HSK刀柄 视景仿真 屏蔽效能 迁移关系 测试产生 系统 对策 嵌入式 仿真算法 蛋白质组 等价性验证 组合电路 数学模型 分化 二叉判定图 神经干细胞 模拟 孔 体外诱导 接触应力 皮下气孔 二叉判决图 数字仿真 等价性检验 地形匹配 布尔可满足问题 比较点匹配 布尔推理

浙江林学院信息工程学院 中国科学院计算技术研究所信息网络研究室 北京100080中国科学院研究生院北京 杭州311300中国科学院计算技术研究所... 北京100080中国科学院研究生院北京1... 浙江大学工业控制技术国家重点实验室 浙江林学院信息系 中国科学院研究生院