刘毅 谢克嘉 陈益 杨晋兴 周延泉

动态翻译 蓝图 飞行控制 二进制翻译 虚拟机 重构 余度管理 容错计算机 实时分布式计算机系统 容错

中国航空计算技术研究所 西北工业大学计算机科学与工程系 西安电子科技大学计算机学院 陕西西安 北京邮电大学信息工程学院