王红 薛月菊 靳洋 彭黎辉 吴超 梁晓庚 李晓维 葛俊锋 骆祖莹 宋鼎 董炜 邓雨春 罗予频 刘曙 牛道恒 王肃宁 梁学明 王俊杰 陆耿 林志文 刘坤 陈晓明 胡梅 闵应骅 胡庚

行人轮廓 随机采样一致性 布尔可满足性 颗粒速度测量 运动模糊 宏模型 交叉耦合 BTT控制 IVI系统结构 RTL设计 故障字典 模型估计 测试访问机制 融合 多尺度 XML模式 形式验证 D-矩阵 异或门展开 P1500 SoC 最大功耗估计 单总线 点扩散函数 鲁棒性 等价性检查 非线性电路 最大功耗 DS18B20 IVI分类驱动程序

中国科学院计算技术研究所网络研究室 清华大学自动化系 海军装备技术研究所 清华大学自动化系清华信息科学与技术国家实... 中国科学院计算技术研究所信息网络研究室 清华大学计算机科学与技术系 清华大学自动化技术与工程系 北京航空工程技术研究中心