李杰 郑国梁 罗进 叶甜春 薛宏熙 徐勇 洪先龙 张祖平 李宣东 segnjueducn 李春东 叶青 满家汉 李必信 李文钊 查鸣 朱昭贤 贾英江 周强 庞军 边计年 杨朝晖 张勇翔 黄广炎 熊立华 孔造杰 吴晓丹 郝永敬 吴强 冯顺山

程序切片 精化演算 物化视图 联合要素 产品检验 遗传算法 依赖图 粒度变换 形式化开发方法 模糊C均值算法 形式化软件开发方法 信号分类 贪婪算法 环保 质量屋 制造系统管理 系统依赖图 先进制造 绿色医院 基于实例库推理 电气设计 数据精化 压控振荡器 节能 静态切片 数据仓库 物料清单 形式规约 单元制造 子类型规范

河北工业大学管理学院 解放军理工大学气象学院 南京大学计算机科学与技术系 南京大学计算机软件新 解放军理工大学气象学院南京 南京大学计算机软件新技 美国宾夕法尼亚州立大学 清华大学计算机科学与技术系