邓伟 邱建林 顾晖 刘维富 丁卫平 吕彦明 张义清

逻辑综合 操作系统 属性约简 构建主义 可观测无关项 粗糙集 许可函数 重聚路径 属性重要度 实验任务驱动 组合逻辑 教学 优化 数据挖掘

江苏南通 南通工学院信息工程系 江苏南京 南京航空航天大学信息科学与技术学院 江苏南通226019南京航空航天大学信息... 南通大学计算机科学与技术学院 江苏苏州 苏州大学计算机科学与技术学院