李菲 冯子亮 欧阳任海 樊玮 杨红雨 袁著祉 陈增强 陈化

宇航员 分布式数据库 飞机 太空 考试 蒙特利尔 联盟 起飞 加拿大 教员 Agent 冲突告警 苏联 飞船 红宝石 冲突检测 交通管制 马洛夫 飞行员