张蕊 帅春燕 员春欣 靳昂 闵应骅 彭澄廉 赵则章 沈君华 楼俊钢 施鸿宝 胡谋 赵晓东 楼俊刚 胡治国 李峰 王艳娜 刘洪涛 田春岐 郑剑 王真

程序执行流程 双模比较冗余 重构 高性能处理器 自动闭塞 网络通信接口 网络服务器 差错恢复 离线模拟器 超级节点 未确知理论 协议适配 机器学习 并发差错定位 多模冗余 在线测试 映射 仿真 Web服务 定位器 故障安全 健壮性基准程序 Sen的非参数化方法 轨道电路 容错计算 可靠性增长模型 差错校正 性能分析 自回归滑动平均过程 电子交换机系统

中国科学院计算技术研究所CAD开放实验室 同济大学计算机科学与技术系 同济大学计算机科学与工程系 复旦大学计算机科学与工程系 上海铁道学院可靠计算系统研究室 复旦大学计算机与信息技术系 中国科学院计算技术研究所 同济大学嵌入式系统与服务计算教育部重点实...