吕建 李生 马晓星 窦万春 王志明 吴林 蔡立志 陈红林 刘龙 杨根兴 张宇 刘挺 刘晓为 刘茜萍 秦兵 郎君 曹一江 宋海浪 翁多杰 吴勇 高晓光 张建东 李鹏 陈铭 朱建民 李志华

软件测试 动态演化 键合图 可调度性分析 强可调度 多工作流网 时间相关Petri网 估算模型 基于模型诊断 构件 代词消解 功能测试规模 谱分割 功能测试成本 直流电动机 重名消解 软件复用 故障征兆 航空电子综合化仿真系统 总线通讯 实例级迁移 社会网络 位移传感器 数据维护 故障诊断与隔离 中文信息处理 资源限制 隐式反馈 网络 TCPN

西北工业大学电子工程系 哈尔滨工业大学计算机科学与技术学院信息检... 陕西西安 江苏南京 黑龙江哈尔滨 计算机软件新技术国家重点实验室（南京大学... 哈尔滨理工大学应用科学学院电子科学与技术... 南京大学计算机软件研究所