黄戈 张昭瑜 王明军 冯子亮 李琳 游志胜 宋友厉 余静 李永宁 陈化 胡术 吴鹍 李贵俊 洪玫 余波 柯力 张建伟 李菲 董金祥 程萃 王玲 张波 徐文清 金虎 陶毅 庄永 康瑞 何志均 聂建荪 杨华坤

死锁检测 冲突检测 语法扩展 线程 图形工作站 控制帧包 冲突告警 服务质量暂时降级 数据帧包 软实时系统 临界优先级 任务调度 空中交通管理 多元受限 能量特征 空中交通流量管理 分布式系统 截止期任务 UML 处理系统 完成率 飞行情报 RMA调度算法 并行计算 模型 飞行计划 图例 多线程多进程技术 临界资源 多agent协作

四川大学计算机学院 四川大学图象图形研究所 四川大学计算机学院图形图象研究所 四川大学图形图像研究所 四川大学图形图象研究所 四川大学计算机学院图形图像研究所