基本情况 |
姓名: |
吕帅 |
|
性别: |
男 |
职称: |
副教授 |
办公: |
887700葡京线路检测王湘浩楼B230、B227室 |
邮箱: |
lus@jlu.edu.cn |
腾讯: |
1482563826(实名制) |
电话: |
15948003088(10:00-22:00) |
教学经历
【学习经历】
2007.09-2010.06,887700葡京线路检测计算机软件与理论专业,推免博士生(导师:刘磊教授、孙吉贵教授)
2004.09-2007.06,887700葡京线路检测计算机软件与理论专业,硕士生(导师:孙吉贵教授、欧阳丹彤教授)
1999.09-2003.06,东北师范大学计算机科学系计算机科学与技术专业,本科生(导师:邓安生教授)
【工作经历】
2019.11至今,887700葡京线路检测,博士生导师
2016.11至今,887700葡京线路检测,硕士生导师
2015.09至今,887700葡京线路检测,副教授
2010.07-2015.09,887700葡京线路检测,讲师
2021.10至今,887700葡京线路检测2020级工科试验班(软件工程),班主任
2021.06至今,887700葡京线路检测研究生培养指导委员会软件学院分委员会,委员
2021.01至今,887700葡京线路检测软件学院软件工程专业,专业负责人
2020.02至今,887700葡京线路检测软件学院教学委员会,委员
2016.03-2019.06,887700葡京线路检测2015级理科试验班(唐敖庆计算机班),班主任
2013.03-2014.09,887700葡京线路检测学术委员会,秘书
【社会兼职】
中国计算机学会理论计算机科学专业委员会,执行委员
中国计算机学会形式化方法专业委员会,执行委员
中国计算机学会教育专业委员会,执行委员
吉林省计算机学会,理事
国家自然科学基金,评审
教学工作
【治学格言】宝剑锋从磨砺出,梅花香自苦寒来。——《警世贤文》之勤奋篇
【主讲课程】
《程序设计基础》(原名:高级语言程序设计)
——国家精品课程《高级语言程序设计》(2009年)
——国家级精品资源共享课《高级语言程序设计》(2013年)
——国家精品在线开放课程《高级语言程序设计》(2019年)
——国家级一流本科课程(线上一流课程)《高级语言程序设计》(2020年)
——国家级一流本科课程(线上线下混合式一流课程)《程序设计基础》(2020年)
《人工智能基础》
《计算理论》(原名:可计算性与计算复杂性)
《学科方向前沿进展》
《高级分布计算理论》
【教研论文】
在《计算机教育》上发表教研论文5篇。
[5]陈娟,邓春燕,吕帅,李河,张长海.程序设计基础混合式教学实践与思考.计算机教育, 2019, 8: 126-131.
[4]邓春燕,周治国*,陈娟,吕帅.工程教育认证背景下程序设计基础课程设计教学改革与实践.计算机教育, 2019, 5: 68-72. (该文荣获2018全国高校计算机教育大会优秀论文奖, 2018.07)
[3]李占山,吕帅*.基于计算思维与创新能力培养的计算理论课程教学改革探索.计算机教育, 2019, 1: 21-24.
[2]吕帅,王强强*,郭德贵,金京姬.实践教学中的开放性创新实验项目探索.计算机教育, 2017, 3: 29-32. (该文荣获2016全国高校计算机教育大会优秀论文一等奖, 2016.07)
[1]吕帅,刘磊*,张睿,郭德贵.计算机学科研究生科研基础的建立模式.计算机教育, 2012, 23: 22-24.
科研工作
【研究方向】人工智能、机器学习、自动推理
【科研项目】主持国家自然科学基金项目等科研项目11项,参加科研项目25项。
[1]国家重点研发计划项目:智能计算机编程方法
[2]国家自然科学基金项目:智能规划中基于路标的启发式搜索方法研究
[3]国家自然科学基金项目:面向构建过程的范畴学习模型及其适应性机制研究
[4]国家自然科学基金项目:命题与模态逻辑的扩展规则推理与混合推理方法研究
[5]国家自然科学基金项目:本体演化中若干问题的研究
[6]国家自然科学基金项目:扩展规则推理方法研究
[7]国家自然科学基金项目:约束推理与约束程序
[8]国家自然科学基金项目:非经典逻辑的自动推理
[9]教育部高等学校博士学科点专项科研基金项目:命题逻辑和模态逻辑的扩展规则推理方法研究
[10]教育部高等学校博士学科点专项科研基金项目:交通控制动态子区智能规划理论与方法研究
[11]教育部高等学校博士学科点专项科研基金项目:基于进程演算的本体演化研究
[12]教育部高等学校博士学科点专项科研基金项目:不确定智能规划理论与方法
[13]中国博士后科学基金项目:自动规划的逻辑约束机制研究
[14]吉林省重点科技攻关项目:云环境下的编程模型研究
[15]吉林省自然科学基金项目:面向大数据的知识表示和推理方法研究
[16]吉林省自然科学基金项目:依赖知识编译的推理方法研究
[17]吉林省自然科学基金项目:云环境下SaaS的安全问题研究
[18]吉林省青年科研基金项目:基于随机游走策略的智能规划方法研究
[19]吉林省青年科研基金项目:结合模态逻辑知识表示与推理的自动规划方法研究
[20]教育部重点实验室开放基金项目:智能规划问题问题结构研究
[21]教育部重点实验室开放基金项目:本体技术在海战场指挥决策中的应用研究
[22]教育部重点实验室开放基金项目:基于群智能算法的多目标混合流水车间调度问题研究
[23]教育部重点实验室开放基金项目:智能规划和自动推理问题中相变规律和解结构分析
[24]技术开发项目:智能座舱域控制器预研项目
[25]技术开发项目:基于深度强化学习的推理系统开发
[26]技术开发项目:无线电传播模型计算软件设计与开发
[27]技术开发项目:具备平台自适应性的SIMD编译优化系统的设计与开发
[28]技术开发项目:无线电管理领域知识库数据录入及测试
[29]技术开发项目:山西省监测站管理与覆盖分析系统
【科研论文】在国内外期刊和会议上发表学术论文117篇,其中:SCI和EI检索学术论文86篇。
主要代表性学术论文:
[29]吕帅*,龚晓宇,张正昊,韩帅,张峻伟.结合进化算法的深度强化学习方法研究综述.计算机学报, 2021. (CCF中文-A类)
[28]张峻伟,吕帅*,张正昊,于佳玉,龚晓宇.基于样本效率优化的深度强化学习方法研究综述.软件学报, 2021. (CCF中文-A类)
[27]刘京,吕帅*.基于深度学习的随机局部搜索初始化方法.软件学报, 2021. (CCF中文-A类)
[26] Gong Xiaoyu, Yu Jiayu, Lü Shuai*, Lu Hengwei. Actor-critic with familiarity-based trajectory experience replay. Information Sciences, 2022, 582: 633-647. (中科院1区, TOP期刊, CCF-B类, SCI, IF: 6.795)
[25]李壮,刘磊,张桐搏,周文博,吕帅*.基于局部搜索的并行扩展规则推理方法.软件学报, 2021, 32(9): 2744-2754. (CCF中文-A类)
[24] Li Junjie, Zhang Junwei, Gong Xiaoyu, Lü Shuai*. Evolutionary generative adversarial networks with crossover based knowledge distillation. In: Proceedings of the International Joint Conference on Neural Networks (IJCNN 2021), Virtual Event, July 18-22, 2021, 1-8. (CCF-C类)
[23] Li Jingyao, Li Zhanshan, Lü Shuai*. Feature concatenation for adversarial domain adaptation. Expert Systems with Applications, 2021, 169: 114490. (中科院1区, TOP期刊, CCF-C类, SCI, IF: 6.954)
[22] Lü Shuai*, Han Shuai, Zhou Wenbo, Zhang Junwei. Recruitment-imitation mechanism for evolutionary reinforcement learning. Information Sciences, 2021, 553: 172-188. (中科院1区, TOP期刊, CCF-B类, SCI, IF: 6.795)
[21] Li Jingyao, Li Zhanshan, Lü Shuai*. Unsupervised double weighted domain adaptation. Neural Computing and Applications, 2021, 33(8): 3545-3566. (中科院2区, CCF-C类, SCI, IF: 5.606)
[20] Han Shuai, Zhou Wenbo, Lü Shuai*, Yu Jiayu. Regularly updated deterministic policy gradient algorithm. Knowledge-Based Systems, 2021, 214: 106736. (中科院1区, TOP期刊, CCF-C类, SCI, IF: 8.038)
[19] Zhang Lei, Han Shuai, Zhang Zhiruo, Li Lefan, Lü Shuai*. Deep recurrent deterministic policy gradient for physical control. In: Proceedings of the 29th International Conference on Artificial Neural Networks (ICANN 2020), Bratislava, Slovakia, September 15-18, 2020, LNCS 12397, 257-268. (CCF-C类)
[18]贺甫霖,刘磊,吕帅*,牛当当,王强.基于格局检测的模型计数方法.软件学报, 2020, 31(2): 395-405. (CCF中文-A类)
[17] Niu Dangdang, Liu Lei, Lü Shuai*. Augmenting negation normal form with irrelevant variables. IEEE Access, 2019, 7: 91360-91366. (中科院2区, SCI, IF: 3.745)
[16] Niu Dangdang, Liu Lei, Lü Shuai*, Xu Yue. Complementary knowledge compilation using the hyper extension rule. Chinese Journal of Electronics, 2019, 28(2): 259-265. (中科院4区, SCI, IF: 0.941)
[15] Ren Junqi, Liu Lei, Liu Feng, Zhou Wenbo, Lü Shuai*. An executable specification of Map-Join-Reduce using Haskell. IEEE Access, 2019, 7: 10892-10904. (中科院2区, SCI, IF: 3.745)
[14]王强,刘磊,吕帅*.基于扩展规则的启发式#SAT求解算法.软件学报, 2018, 29(11): 3517-3527. (CCF中文-A类)
[13] Niu Dangdang, Liu Lei, Lü Shuai*. Knowledge compilation methods based on the clausal relevance and extension rule. Chinese Journal of Electronics, 2018, 27(5): 1037-1042. (中科院4区, SCI, IF: 0.945)
[12] Niu Dangdang, Liu Lei, Lü Shuai*. New stochastic local search approaches for computing preferred extensions of abstract argumentation. AI Communications, 2018, 31(4): 369-382. (中科院4区, SCI, IF: 0.765)
[11]杨洋,刘磊,李广力,张桐搏,吕帅*.一种新的基于局部搜索的扩展规则推理方法.计算机学报, 2018, 41(4): 825-839. (CCF中文-A类)
[10]牛当当,刘磊,吕帅*. EPCCL理论的并行知识编译算法.电子学报, 2018, 46(3): 537-543. (CCF中文-A类)
[9]牛当当,刘磊,吕帅*. EPCCL理论的求交知识编译算法.软件学报, 2017, 28(8): 2096-2112. (CCF中文-A类)
[8] 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. (中科院4区, CCF-C类, SCI, IF: 1.011)
[7]刘磊,牛当当,吕帅*.基于超扩展规则的知识编译方法.计算机学报, 2016, 39(8): 1681-1696. (CCF中文-A类)
[6] Liu Lei, Liu Dongqing, Lü Shuai*, Zhang Peng. An abstract description method of Map-Reduce-Merge using Haskell. Mathematical Problems in Engineering, 2013, 2013: 147593. (中科院3区, SCI, IF: 1.082)
[5]吕帅,刘磊*,魏唯,高冰冰.智能规划的逻辑编码方式研究.计算机研究与发展, 2012, 49(3): 607-619. (CCF中文-A类)
[4]吕帅,刘磊*,石莲,魏唯,杨超.依赖公理约简的经典规划方法.电子学报, 2011, 39(2): 322-328. (CCF中文-A类)
[3]吕帅,刘磊*,江鸿,史晶晶.一种约简动作变元的命题规划编码方式.计算机研究与发展, 2010, 47(10): 1756-1763. (CCF中文-A类)
[2]吕帅,刘磊,李莹,石莲.基于模态逻辑D公理系统的Conformant规划方法.计算机研究与发展, 2009, 46(7): 1160-1168. (CCF中文-A类)
[1]吕帅,刘磊*,石莲,李莹.基于自动推理技术的智能规划方法.软件学报, 2009, 20(5): 1226-1240. (CCF中文-A类)
注:按照国际惯例,*表示通讯作者。
【科研获奖】获得全国商业科技进步一等奖3项,吉林省自然科学二等奖1项,吉林省科学技术进步三等奖2项。
[6]吉林省自然科学二等奖:知识表示与特征选择方法研究
[5]全国商业科技进步一等奖:形式化新方法及其在云计算中的应用
[4]吉林省科学技术进步三等奖:本体工程技术及其应用研究
[3]全国商业科技进步一等奖:形式化新方法与新技术及其在软件需求工程中的应用
[2]吉林省科学技术进步三等奖:高可信软件的安全开发与验证方法及其应用
[1]全国商业科技进步一等奖:基于形式化方法的本体工程关键技术研究与应用
人才培养
【招生专业】详情参见科研团队的微信公众号:jlu_lus(机器学习与自动推理)。
——887700葡京线路检测,081200计算机科学与技术(学术学位)
——887700葡京线路检测,085400电子信息、085404计算机技术(专业学位)
——软件学院,083500软件工程(学术学位)
——软件学院,085400电子信息、085405软件工程(专业学位)
【目前指导和协助指导的在读研究生】
李静瑶,2018级推免博士生
周瑞凯,2020级博士生
于佳玉,2019级推免硕士生,获887700葡京线路检测优秀本科毕业论文
张正昊,2019级推免硕士生
路笳艺,2019级硕士生
张峻伟,2020级推免硕士生,获887700葡京线路检测优秀本科毕业论文、解放领航奖学金
李宗泽,2020级硕士生,获887700葡京线路检测优秀本科毕业论文
康勐,2020级硕士生,获887700葡京线路检测优秀本科毕业论文
龚晓宇,2020级创新推免硕士生,获吉林银行王湘浩奖学金
朱盛,2020级硕士生
熊玺,2021级硕士生
龙泽泓,2021级硕士生
舒曼,2021级硕士生
张玉树,2021级硕士生
马强,2021级硕士生
罗敬,2021级硕士生
朱文博,2022级推免硕士生
张鑫宇,2022级推免硕士生
张泽宇,2022级推免硕士生
林炟君,2022级推免硕士生
张少杰,2022级推免硕士生
钟太鸿,2022级推免硕士生
吴珺泓,2022级推免硕士生
【2010年至今指导和协助指导的毕业研究生】
魏唯,2010级推免博士生,获研究生国家奖学金、887700葡京线路检测优秀毕业研究生,毕业去向:[长春]887700葡京线路检测教师,现为887700葡京线路检测副教授
邹婷婷,2010级博士生,毕业去向:[辽宁大连]大连海事大学教师,现为大连海事大学副教授、硕士生导师
牛当当,2015级博士生,获浪潮奖学金、研究生国家奖学金、887700葡京线路检测优秀博士学位论文,毕业去向:[陕西杨凌]西北农林科技大学教师,现为西北农林科技大学讲师、硕士生导师
李壮,2015级博士生,毕业去向:[吉林吉林]东北电力大学教师,现为东北电力大学讲师、硕士生导师
周文博,2017级博士生,获浪潮奖学金、研究生国家奖学金,毕业去向:[长春]东北师范大学教师
张鑫,2011级推免硕士生,毕业去向:[北京]中国工商银行业务研发中心
刘冬清,2011级推免硕士生,获研究生国家奖学金、887700葡京线路检测优秀硕士学位论文、吉林省优秀硕士学位论文、887700葡京线路检测优秀毕业研究生,毕业去向:[法国] University of Technology of Troyes(特鲁瓦技术大学)、[加拿大] University of Montreal(蒙特利尔大学)国家公派博士生
牛当当,2012级硕士生,获887700葡京线路检测优秀硕士学位论文、吉林省优秀硕士学位论文,毕业去向:[长春]887700葡京线路检测博士生
李壮,2012级硕士生,毕业去向:[长春]887700葡京线路检测博士生
杨洋,2014级推免硕士生,获887700葡京线路检测优秀本科毕业论文、三星奖学金、研究生国家奖学金、887700葡京线路检测十佳研究生、887700葡京线路检测优秀硕士学位论文、吉林省优秀硕士学位论文、887700葡京线路检测优秀毕业研究生,毕业去向:[南京]华为技术有限公司
刘丰,2014级推免硕士生,获887700葡京线路检测优秀毕业研究生,毕业去向:[杭州]网易互动娱乐有限公司
王强,2015级推免硕士生,获华为奖学金、研究生国家奖学金、887700葡京线路检测优秀毕业研究生,毕业去向:[北京]阿里巴巴网络技术有限公司
李广力,2015级创新推免硕士生,获887700葡京线路检测优秀本科毕业论文、奇虎360奖学金、研究生国家奖学金、887700葡京线路检测优秀毕业研究生,毕业去向:[北京]中国科学院计算技术研究所博士生,现为中国科学院计算技术研究所助理研究员(中国科学院特别研究助理)
王冠成,2015级推免硕士生,获华为奖学金、研究生国家奖学金、887700葡京线路检测优秀硕士学位论文、887700葡京线路检测优秀毕业研究生,毕业去向:[北京]北京大学博士生
贺甫霖,2016级硕士生,获887700葡京线路检测优秀本科毕业论文、研究生国家奖学金,毕业去向:[长春]中车长春轨道客车股份有限公司
邹璐琨,2016级硕士生,毕业去向:[上海]中国银联股份有限公司
张桐搏,2017级创新推免硕士生,获887700葡京线路检测优秀本科毕业论文、887700葡京线路检测优秀毕业研究生,毕业去向:[北京]微软亚洲互联网工程院
徐玥,2017级硕士生,获887700葡京线路检测优秀毕业研究生,毕业去向:[北京] FreeWheel公司
李俊劼,2018级推免硕士生,毕业去向:[广东深圳]哈尔滨工业大学博士生
刘京,2018级推免硕士生,获887700葡京线路检测优秀毕业研究生,毕业去向:[北京]华为技术有限公司2012实验室
韩帅,2018级硕士生,获887700葡京线路检测优秀硕士学位论文、887700葡京线路检测优秀毕业研究生,毕业去向:[荷兰] Utrecht University(乌特列支大学)国家公派博士生