颜波 李晓维 李光辉 谢存禧 孙守迁 曾松伟 王鑫 张铁

功能验证 电路宽度 二叉判定图 模拟 布尔可满足性 局部搜索算法 二叉判决图 设计验证 机器人装配 运动合成 形式验证 符号模拟 磁悬浮 极小布尔不可满足子式 因子图 存储元素映射 比较点匹配 布尔比较 等价性检验 组合电路 摩托车发动机 角色动画 曲线匹配 微动机器人 热键 运动捕获 黑盒 集成电路 BorlandC＋＋3．1 下拉菜单

浙江林学院信息系 北京100080中国科学院研究生院北京 浙江林学院信息工程学院 中国科学院计算技术研究所信息网络研究室 中国科学院计算技术研究所 中国科学院研究生院 青岛建工学院机电系 中国科学院计算技术研究所信息网络室