张震 黄其涛 齐潘国 吕宗伟 张燕燕 李洪人 林争辉 姜洪洲 刘大鹏 张玉 杨秀敏 李明树 王青 黄战 张宇楠 武小兰 郝波 姜宇鹰 肖俊超

对称变量 FPGA 飞行模拟器 SBDD 面向对象 不等蕴含项 故障检测 测试仪 数据采集和处理系统 飞行仿真 手写体数字识别 空气动力学模型 过程建模 误差分析 人工神经网络 温度 硬件 标签 过程Agent 组合逻辑电路 抗干扰 最小项 图论 VLSI 工艺映射 逻辑综合 湿度 友好界面 硬件电路 LabWindowsCVI

上海交通大学大规模集成电路研究所 中国科学院软件研究所互联网软件技术实验室 广东广州 沈阳电力高等专科学校 中国科学院软件研究所计算机科学重点实验室 暨南大学计算机科学系 哈尔滨工业大学机电学院 辽宁省信息产业厅科技与产品处