个人简介
1998-2002年武汉大学计算机科学与技术专业 本科
2002-2005年武汉大学计算机软件与理论 硕士
2011年- 华中科技大学计算机软件与理论 博士在读
2005-至今 武汉科技大学任职
主要著作
《概率论与数理统计习题指导》 编委
主要科研项目
[1]基于子句学习的最大可满足性问题的算法设计(2015XZ031) 武汉科技大学校基金 主持 2015年
[2]基于格子Boltzmann方法的多孔介质内气固反应与热质耦合传输过程的微观机理研究(51306133) 国家自然科学基金 排序3 2014年
[3]基于概率推理求解命题逻辑可满足性问题的局部搜索技术研究(61272014) 国家自然科学基金 排序5 2012年
[4]参与武汉四维机电有限公司远程调度系统开发 青年教师下企业，2012年9月
[5]企业经营分析系统ETL数据管理软件开发 横向课题 主持 2011年
[6]信息与计算科学专业实验教学案例开发 校级教研项目 主持 2013年
[7]GDI+在图形学中的研究与应用 校级教研项目 主持 2006年
[8]信计系教务管理系统的设计与研发 校级教研项目 排序2 2007年
[9]信息与计算科学专业的课程体系与专业定位研究 省级教研项目 参与者 2008年
[10]基于PIC18F串口到以太网口的设计 大学生创新项目指导教师2011年
主要获奖情况
[1]获教学优秀奖 2013年度 2014年度
[2]指导本科生毕业论文获校级二等奖 2014年
[3]指导本科生毕业论文获校级三等奖 2015年
[4]信息与计算科学专业教学改革 教研项目 省级二等奖 2013年
[5]信息与计算科学专业的课程体系与专业定位研究 教研项目 校级一等奖 2012年
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
[1]基于优化冲突集改进的MaxSAT完备算法 计算机学报 2013年 EI
[2] A new storage design of distributed geographic information Advanced Materials Research 2012年 EI
[3]基于环型扩展推理规则的MaxSAT完备算法 南京大学学报 2015 中文核心
[4]基于扩展失败文字检测的MaxSAT完备算法 计算机工程与设计 2015 中文核心
[5]基于PIC18F串口到以太网的接口设计 软件导刊 2012年
[6]GDI在图形学教学中的研究与应用 软件导刊 2011年
京公网安备 11010802027423号