吕帅
基本情况
姓名: 吕帅                
性别:
职称: 副教授
最高学历: 研究生
最高学位: 博士
电话:
Email:
备注: 计算机楼B230室,QQ:1482563826
详细情况
所在学科专业: 计算机软件与理论(国家重点学科)
所研究方向: 人工智能,自动规划,机器学习,自动推理
讲授课程: 【面向本科生】
《程序设计基础》【原名:高级语言程序设计,国家精品课程、国家精品资源共享课】(课程链接
《程序设计综合课I》【理科试验班(唐敖庆计算机班)】
《C语言程序设计》【工科试验班(软件工程)】
《程序设计基础课程设计》(课程链接
《编译原理与实现》【教育部-微软精品课程】(课程链接
《编译原理课程设计》(课程链接
《人工智能基础》(课程链接
【面向研究生】
《可计算性与计算复杂性》【学术硕士】
教育经历: 2007.09-2010.06 吉林大学计算机科学与技术学院计算机软件与理论专业 博士生(指导教师:刘磊教授、孙吉贵教授)
2004.09-2007.06 吉林大学计算机科学与技术学院计算机软件与理论专业 硕士生(指导教师:孙吉贵教授、欧阳丹彤教授)
1999.09-2003.06 东北师范大学计算机科学系计算机科学与技术专业 本科生
工作经历: 2015.09至今 吉林大学计算机科学与技术学院 副教授、硕士生指导教师
2010.07-2015.09 吉林大学计算机科学与技术学院 讲师

2016.10至今 吉林大学计算机科学与技术学院计算机科学与技术专业201602 班主任
2016.03至今 吉林大学计算机科学与技术学院2015级理科试验班(唐敖庆计算机班) 班主任
2013.03-2014.09 吉林大学计算机科学与技术学院学术委员会 秘书

————————我是华丽丽的分割线————————

【研究生招生】每年招收硕士研究生3名,其中:
——计算机科学与技术学院2名,招生专业:081202计算机软件与理论(国家重点学科,学术硕士)、085211计算机技术(专业硕士)二者均可;
——软件学院1名,招生专业:083500软件工程(学术硕士)、085212软件工程(专业硕士)二者均可。

目前指导和协助指导在读研究生:

于佳玉,软件工程,2015级本科生【拟申报2019级推免硕士生】

韩帅,计算机软件与理论,2018级硕士生

李俊劼,计算机软件与理论,2018级推免硕士生
刘京,软件工程,2018级推免硕士生
张桐搏,计算机技术,2017级创新推免硕士生
徐玥,计算机技术,2017级硕士生
贺甫霖,计算机技术,2016级硕士生
邹璐琨,计算机技术,2016级硕士生
王强,计算机软件与理论,2015级推免硕士生
王冠成,计算机软件与理论,2015级推免硕士生
李广力,计算机技术,2015级创新推免硕士生
牛当当,计算机软件与理论,2015级博士生
李壮,计算机软件与理论,2015级博士生

2010年至今协助指导毕业研究生:
杨洋,计算机软件与理论,2014级推免硕士生,毕业去向:华为技术有限公司
刘丰,计算机软件与理论,2014级推免硕士生,毕业去向:网易互动娱乐有限公司
牛当当,计算机软件与理论,2012级硕士生,毕业去向:吉林大学博士生
李壮,软件工程,2012级硕士生,毕业去向:吉林大学博士生
张鑫,计算机软件与理论,2011级推免硕士生,毕业去向:中国工商银行数据中心(北京)
刘冬清,计算机软件与理论,2011级推免硕士生,毕业去向:加拿大蒙特利尔大学博士生
魏唯,计算机软件与理论,2010级推免博士生,毕业去向:吉林大学教师
邹婷婷,计算机软件与理论,2010级博士生,毕业去向:大连海事大学教师

【教学指导工作相关成果】
指导和协助指导吉林大学优秀本科毕业论文5篇(杨洋,冯元力,李广力,贺甫霖,张桐搏);
协助指导吉林省优秀硕士学位论文2篇(刘冬清,牛当当);
协助指导吉林大学十佳研究生1人(杨洋);
协助指导吉林大学优秀硕士学位论文3篇(刘冬清,牛当当,杨洋)。
荣获2010-2011年度优秀共产党员荣誉称号,2016年吉林大学“三育人”先进个人荣誉称号。
科研项目: 【科研项目】
累计承担国家自然科学基金项目1项,教育部高等学校博士学科点专项科研基金项目1项,中国博士后科学基金项目1项,吉林省科技发展计划资助项目1项;参加国家自然科学基金项目8项,教育部新世纪优秀人才支持计划项目1项,教育部高等学校博士学科点专项科研基金项目3项,吉林省科技发展计划资助项目3项,其它项目6项。
近年主持的科研项目:
[1] 国家自然科学基金:命题与模态逻辑的扩展规则推理与混合推理方法研究(61300049)
[2] 教育部高等学校博士学科点专项科研基金:命题逻辑和模态逻辑的扩展规则推理方法研究(20120061120059)
[3] 中国博士后科学基金面上资助项目:自动规划的逻辑约束机制研究(2011M500612)
[4] 吉林省青年科研基金项目:结合模态逻辑知识表示与推理的自动规划方法研究(20140520069JH)
[5] 吉林大学科学前沿与交叉学科创新项目:自动规划的逻辑推理特性研究(201103124)
[6] 吉林大学种子基金项目:结合模态逻辑知识表示与推理的智能规划方法研究
[7] 吉林大学青年教师创新项目:扩展规则推理方法及其在规划推理中的应用研究
近年骨干参加的科研项目:
[1] 国家自然科学基金:智能规划中基于路标的启发式搜索方法研究(61502197)
[2] 国家自然科学基金:面向构建过程的范畴学习模型及其适应性机制研究(61503044)
[3] 吉林省重点科技攻关项目:云环境下的编程模型研究(20130206052GX)
[4] 中国科学院计算技术研究所技术开发项目:具备平台自适应性的SIMD编译优化系统的设计与开发(2015220101000405)
[5] 吉林省自然科学基金项目:云环境下SaaS的安全问题研究(20150101054JC)
[6] 吉林省青年科研基金项目:基于随机游走策略的智能规划方法研究(20150520058JH)
[7] 北京波尔通信技术股份有限公司技术开发项目:无线电传播模型计算软件设计与开发(2017220101000909)

【教研项目】
累计承担校级教学研究项目3项;参加国家级教学研究项目1项,校级教学研究项目4项;指导吉林大学“挑战杯”大学生课外学术科技作品竞赛项目3项,吉林大学大学生创新创业训练计划项目(含吉林大学大学生创新性实验计划项目)26项,吉林大学研究生暑期社会实践调研项目2项。
具体信息详见微信公众平台:创新研究计划(微信号jlu_lus),项目组成员实名制加入QQ群:创新研究计划(群号182721035)。
学术论文: 【科研论文】

在《Journal of Experimental & Theoretical Artificial Intelligence》、《计算机学报》、《软件学报》、《计算机研究与发展》和《电子学报》等国内外期刊和会议上累计发表学术论文82篇,其中:SCI和EI检索论文50篇、国内权威期刊论文20篇。

主要代表性学术论文(SCI检索学术论文、国内权威期刊论文):

[28] Niu Dangdang, Liu Lei, Lü Shuai*. New stochastic local search approaches for computing preferred extensions of abstract argumentation. AI Communications, 2018. (Accepted, SCI)

[27] Niu Dangdang, Liu Lei, Lü Shuai*, Xu Yue. Complementary knowledge compilation using the hyper extension rule. Chinese Journal of Electronics, 2018. (Accepted, SCI)

[26] 王强, 刘磊, 吕帅*. 基于扩展规则的启发式#SAT求解算法. 软件学报, 2018. (国内权威期刊, 已录用待发表, EI)

[25] Niu Dangdang, Liu Lei, Lü Shuai*. Knowledge compilation methods based on the clausal relevance and extension rule. Chinese Journal of Electronics, 2018. (Accepted, SCI)

[24]  杨洋, 刘磊, 李广力, 张桐搏, 吕帅*. 一种新的基于局部搜索的扩展规则推理方法. 计算机学报, 2018, 41(4): 825-839. (国内权威期刊, EI)

[23]  牛当当, 刘磊, 吕帅*. EPCCL理论的并行知识编译算法. 电子学报, 2018, 46(3): 537-543. (国内权威期刊, EI)

[22] 牛当当, 刘磊, 吕帅*. EPCCL理论的求交知识编译算法. 软件学报, 2017, 28(8): 2096-2112. (国内权威期刊, EI: 20174404332803)

[21] 郭德贵, 王冠成, 吕帅, 刘磊*. peC语言的部分求值器及在编译器测试中的应用. 软件学报, 2017, 28(5): 1221-1232. (国内权威期刊, EI: 20173304046256)
[20] Liu Lei, Yang Yang, Li Guangli, Wang Qi, Lü Shuai*. Redundancy checking algorithms based on parallel novel extension rule. Journal of Experimental & Theoretical Artificial Intelligence, 2017, 29(3): 629-647. (CCF-C, SCI: ES5XX, IF: 1.703, EI: 20163102654480)
[19] Niu Dangdang, Liu Lei, Lü Shuai*. A new stochastic local search approach for computing preferred extensions of abstract argumentation. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), 2016, 1652-1653. (CCF-B, Short paper, EI: 20170803367642)
[18] 刘磊, 牛当当, 吕帅*. 基于超扩展规则的知识编译方法. 计算机学报, 2016, 39(8): 1681-1696. (国内权威期刊, EI: 20163402730022)
[17] 魏唯, 欧阳丹彤*, 吕帅. 路标计数启发式引导的分解规划方法. 软件学报, 2013, 24(10): 2327-2339. (国内权威期刊, EI: 20135117103959)
[16] Liu Lei, Liu Dongqing, Lü Shuai*, Zhang Peng. An abstract description method of Map-Reduce-Merge using Haskell. Mathematical Problems in Engineering, 2013, Volume 2013, Article ID 147593, 12 pages. (中科院JCR期刊分区-3区, SCI: 218CY, IF: 1.383, EI: 20134116825151)
[15] 魏唯, 欧阳丹彤*, 吕帅. 基于缩减信念状态的Conformant规划方法. 软件学报, 2013, 24(7): 1557-1570. (国内权威期刊, EI: 20133416646679)
[14] 吕帅, 刘磊*, 魏唯, 高冰冰. 智能规划的逻辑编码方式研究. 计算机研究与发展, 2012, 49(3): 607-619. (国内权威期刊, EI: 20121514937769)
[13] 刘磊, 张鹏, 吕帅, 张睿*. 基于演化传播模型的本体内聚程度分析. 电子学报, 2011, 39(8): 1845-1851. (国内权威期刊, EI: 20113914370870)
[12] 魏唯, 欧阳丹彤, 吕帅, 冯宇轩. 动态不确定环境下多目标路径规划方法. 计算机学报, 2011, 34(5): 836-846. (国内权威期刊, EI: 20112314043639)
[11] 吕帅, 刘磊*, 石莲, 魏唯, 杨超. 依赖公理约简的经典规划方法. 电子学报, 2011, 39(2): 322-328. (国内权威期刊, EI: 20111713935625)
[10] 魏唯, 欧阳丹彤, 吕帅, 殷明浩. 结合增量与启发式搜索的多目标问题处理方法. 计算机研究与发展, 2010, 47(11): 1954-1961. (国内权威期刊, EI: 20105113512594)
[9] 吕帅, 刘磊*, 江鸿, 史晶晶. 一种约简动作变元的命题规划编码方式. 计算机研究与发展, 2010, 47(10): 1756-1763. (国内权威期刊, EI: 20104713409227)
[8] 吕帅, 刘磊, 李莹, 石莲. 基于模态逻辑D公理系统的Conformant规划方法. 计算机研究与发展, 2009, 46(7): 1160-1168. (国内权威期刊, EI: 20093012214145)
[7] 吕帅, 刘磊*, 石莲, 李莹. 基于自动推理技术的智能规划方法. 软件学报, 2009, 20(5): 1226-1240. (国内权威期刊, EI: 20092212102159)
[6] 孙吉贵, 殷明浩*, 吕帅. JLU-RLAO和JLU-QLAO: 两个不确定智能规划求解系统. 计算机研究与发展, 2009, 46(4): 667-675. (国内权威期刊, EI: 20091912073597)
[5] 赖永, 欧阳丹彤*, 蔡敦波, 吕帅. 基于扩展规则的模型计数与智能规划方法. 计算机研究与发展, 2009, 46(3): 459-469. (国内权威期刊, EI: 20091712051749)
[4] Zhang Changsheng, Ning Jiaxu, Lü Shuai, Ouyang Dantong*, Ding Tienan. A novel hybrid differential evolution and particle swarm optimization algorithm for unconstrained optimization. Operations Research Letters, 2009, 37(2): 117-122. (SCI: 426GJ, IF: 0.83, EI: 20090911937668)
[3] 孙吉贵, 李莹, 朱兴军, 吕帅. 一种新的基于扩展规则的定理证明算法. 计算机研究与发展, 2009, 46(1): 9-14. (国内权威期刊, EI: 20091311983400)
[2] Shi Lian, Sun Jigui, Lü Shuai, Yin Minghao*. Flexible planning using fuzzy description logics: Theory and application. Applied Soft Computing, 2009, 9(1): 142-148. (中科院JCR期刊分区-2区, SCI: 361UK, IF: 1.909, EI: 20084211648299)
[1] 杨宇鹏, 欧阳丹彤, 蔡敦波, 吕帅. 基于Conformant Fast-Forward规划系统的析取目标处理方法. 计算机研究与发展, 2008, 45(12): 2120-2128. (国内权威期刊, EI: 20090711906383)

【教研论文】
在《计算机教育》上,发表教研论文2篇。
[2] 吕帅, 王强强*, 郭德贵, 金京姬. 实践教学中的开放性创新实验项目探索. 计算机教育, 2017, 3: 29-32.
[1] 吕帅, 刘磊*, 张睿, 郭德贵. 计算机学科研究生科研基础的建立模式. 计算机教育, 2012, 23: 22-24.
获奖情况: 【科研奖励】

作为成员获得全国商业科技进步一等奖3项,吉林省自然科学二等奖1项,吉林省科学技术进步三等奖2项。

[6] 吉林省科技厅2017年度吉林省自然科学二等奖:知识表示与特征选择方法研究. Grant No. 2017Z20001, 授奖日: 2017年11月10日. (2009年01月-2015年02月)

[5] 中国商业联合会2016年度全国商业科技进步一等奖:形式化新方法及其在云计算中的应用. Grant No. 2016-1-54, 授奖日: 2016年12月14日. (2011年01月-2016年08月)
[4] 吉林省科技厅2015年度吉林省科学技术进步三等奖: 本体工程技术及其应用研究. Grant No. 2015J3G064, 授奖日: 2015年10月23日. (2009年01月-2014年12月)
[3] 中国商业联合会2014年度全国商业科技进步一等奖: 形式化新方法与新技术及其在软件需求工程中的应用. Grant No. 2014-1-50, 授奖日: 2014年12月17日. (2009年01月-2014年08月)
[2] 吉林省科技厅2011年度吉林省科学技术进步三等奖: 高可信软件的安全开发与验证方法及其应用. Grant No. 2011J30057, 授奖日: 2012年01月10日. (2006年01月-2010年12月)
[1] 中国商业联合会2010年度全国商业科技进步一等奖: 基于形式化方法的本体工程关键技术研究与应用. Grant No. 2010-1-16, 授奖日: 2011年01月25日. (2005年01月-2010年06月)
社会兼职: 中国计算机学会理论计算机科学专业委员会委员(2012.12至今)
中国计算机学会形式化方法专业组首批委员(2015.10至今)
中国计算机学会教育专业委员会委员(2016.07至今)
中国人工智能学会机器博弈专业委员会委员(2012.07至今)
吉林省计算机学会理事(2013.04至今)
吉林大学青年科技工作者协会会员(2017.04至今)
CCF吉林大学学生分会指导委员会委员(2013.10至今)
吉林大学CSDN高校俱乐部指导教师(2015.07至今)
治学格言: 宝剑锋从磨砺出,梅花香自苦寒来。——《警世贤文》之勤奋篇

吉林大学计算机科学与技术学院 版权所有 © 2017

地址:吉林省长春市朝阳区前进大街2699号吉林大学前卫南区计算机楼 邮编:130012