刘燕丽
近期热点
资料介绍
个人简历
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年研究领域
NP问题求解、近似算法设计""近期论文
[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年 相关热点
最新收录
- 简恺乐(蝴蝶姐姐) 06-19
- 周扬青 06-19
- 东条夏( 東條なつ Tojo Na 06-17
- 月森由乃 (月森ゆの Yuno 06-17
- 大森靜香(大森しずか Sh 06-17
- 广濑里绪菜(広瀬りおな 06-17
- 美森系(美森けい Kei Mimo 06-17
- 悠木綾音(悠木あやね Ay 06-17
- 田中英雄(田中ゆうの Yu 06-17
- 彩乃蘭(彩乃らん Ran Ayan 06-17