桂盛霖 刘倩 陆少鹏 熊光泽 陈果 高绪伟 刘锦德 徐金荣 罗蕾 陈丽蓉 陈宇

图像处理 遗传算法 UPPAAL 可调度性 质量检验 种群多样性 嵌入式软件 模式 开发环境 配对算子 模型方法 包装检测 非抢占 Hough变换 体系结构分析设计语言

电子科技大学计算机科学与工程学院 北京科银京成技术有限公司成都研发中心 南京航空航天大学民航学院 西南交通大学信息科学与技术学院