姓名
刘燕丽
职称
讲师

性别
女
联系电话


电子邮件
Yanlil2008@163.com
通信地址
湖北武汉市武汉科技大学黄家湖校区理学院

学术兼职
无

一级学科
计算机科学与技术

二级学科
计算机软件与理论

研究方向
NP问题求解、近似算法设计

个人简历
1998-2002年武汉大学计算机科学与技术专业 本科
2002-2005年武汉大学计算机软件与理论 硕士
2011年- 华中科技大学计算机软件与理论 博士在读
2005-至今 武汉科技大学任职

主要著作
《概率论与数理统计习题指导》 编委

主要科研项目

[1]基于子句学习的最大可满足性问题的算法设计(2015XZ031)武汉科技大学校基金主持2015年
[2]基于格子Boltzmann方法的多孔介质内气固反应与热质耦合传输过程的微观机理研究(**)国家自然科学基金排序32014年
[3]基于概率推理求解命题逻辑可满足性问题的局部搜索技术研究(**)国家自然科学基金排序52012年
[4]参与武汉四维机电有限公司远程调度系统开发青年教师下企业，2012年9月
[5]企业经营分析系统ETL数据管理软件开发横向课题主持2011年
[6]信息与计算科学专业实验教学案例开发校级教研项目主持2013年
[7]GDI+在图形学中的研究与应用校级教研项目主持2006年
[8]信计系教务管理系统的设计与研发校级教研项目排序22007年
[9]信息与计算科学专业的课程体系与专业定位研究省级教研项目参与者2008年
[10]基于PIC18F串口到以太网口的设计大学生创新项目指导教师2011年


主要论文

[1]基于优化冲突集改进的MaxSAT完备算法计算机学报2013年EI
[2]AnewstoragedesignofdistributedgeographicinformationAdvancedMaterialsResearch2012年EI
[3]基于环型扩展推理规则的MaxSAT完备算法南京大学学报2015中文核心
[4]基于扩展失败文字检测的MaxSAT完备算法计算机工程与设计2015中文核心
[5]基于PIC18F串口到以太网的接口设计软件导刊2012年
[6]GDI在图形学教学中的研究与应用软件导刊2011年


主要获奖情况

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