曾松伟 冯冬芹 郭齐胜 周涛武 肖燕 张一弛 李晓维 郑长伟 王旭昌 薛青 陈志英 邵明 杨立功 杨瑞平 张桂元 朱飞 朱昊 江顺亮 马亚龙 赵林 张明路 刘永红 朱敏洁 丁承君 王精业

机动性仿真 现场控制网络 电路宽度 软件系统 拓扑发现 视景仿真 农民增收 分布交互仿真 设计验证 布尔比较 线性插值 测试产生 二叉判定图 增量可满足性 功能验证 调查传播算法 水陆坦克 仿真 CAN总线 局部搜索算法 仿真可信性 安防系统 模糊控制 布尔可满足性 黑盒 SJA1000 布尔可满足问题 形式验证 等价性验证 数据链路层

装甲兵工程学院仿真室 浙江林学院信息工程学院 中国科学院计算技术研究所信息网络研究室 北京100080中国科学院研究生院北京 浙江林学院信息系 中国科学院计算技术研究所 中国科学院研究生院北京 装甲兵工程学院