戴晓君 江四义 韩龄 乔黎 董韫美 温玉波 刘强 舒炎泰 熊智 崔莉 鲍彦茹

RFID 形式规约语言 XML 上下文无关语言 信息化应用平台 递归函数 构造 节省能量路由 体系结构 求值算法 分析树 物联网 天文导航系统 按需路由 惯性导航系统 高空飞行器 商业智能 内容管理 类型检查 MOSS2007 传感器网络 子类型关系判定 Ad Hoc网络 动态功率控制 算法优化 协同办公 静态类型化语言 组合导航

中国科学院软件研究所计算机科学重点实验室 中国科学院软件研究所计算机科学开放实验室 南京航空航天大学导航研究中心