陈益 臧红伟 杨晋兴 刘毅 周延泉

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

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