鞠大鹏 李凯 汪东升 杨孝宗 詹求翔 袁振洁 薛一波 郑效忠 生拥宏

逻辑卷 函数包裹 网络内容处理器 数据包处理 入侵防御系统（IPS） 检查点设置 C语言 响应计算 卷回恢复 冗余管理 容错操作系统 微机应用 换名 PVM 三模冗余系统 容错 数据保护 反射对称 数据同步 分布计算 旋转对称

北京邮电大学计算机科学与技术学院 清华大学计算机科学与技术系 清华大学微处理器与片上系统技术研究中心