师资队伍

数学与统计系

当前位置: 首页  师资队伍  数学与统计系
刘燕丽
发布人:系统管理员  发布时间:2013-11-19   浏览次数:489

姓名

 刘燕丽

职称

讲师

性别

联系电话

027-68893315

电子邮件

Yanlil2008@163.com

通信地址

湖北武汉市武汉科技大学黄家湖校区理学院

学术兼职

 

一级学科

计算机科学与技术

二级学科

计算机软件与理论

研究方向

NP问题求解、近似算法设计

个人简历

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]基于优化冲突集改进的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年

 

主要获奖情况

 

[1]获教学优秀奖 2013年度 2014年度
[2]指导本科生毕业论文获校级二等奖 2014年
[3]指导本科生毕业论文获校级三等奖  2015年
[4]信息与计算科学专业教学改革  教研项目 省级二等奖 2013年
[5]信息与计算科学专业的课程体系与专业定位研究 教研项目 校级一等奖 2012年