吕建 高阳 郭瑞景 丁志义 陈红强 童创明 吕丹 陶先平 刘丽 宋旸 徐锋

Hoare公理系统 雷达吸波材料 多分辨率 隐身目标 行为原语 小波变换 互信息 风洞 直流调速 非均匀有理B样条 KQML 控制系统 会话密钥 医学图像配准 物理光学法 良序集 agent

江苏南京 南京大学软件新技术国家重点实验室 四川大学电气信息学院 空军工程大学导弹学院 中国空气动力研究与发展中心 空军工程大学训练部