您当前位置: 首页  >  师资队伍  >  教研室  >  软件理论与技术

软件理论与技术

吕帅

基本情况

姓名:

吕帅

http://ccst.jlu.edu.cn/__local/4/1B/0D/DBD738ED9654F14D81B613345D9_4C9C4611_A7E6.jpg?e=.jpg

性别:

职称:

副教授

办公:

吉林大学王湘浩楼B230B227

邮箱:

lus@jlu.edu.cn

腾讯:

1482563826(实名制)

电话:

1594800308810:00-22:00

 

教学经历

【学习经历】

2007.09-2010.06,吉林大学计算机科学与技术学院计算机软件与理论专业,推免博士生(导师:刘磊教授、孙吉贵教授)

2004.09-2007.06,吉林大学计算机科学与技术学院计算机软件与理论专业,硕士生(导师:孙吉贵教授、欧阳丹彤教授)

1999.09-2003.06,东北师范大学计算机科学系计算机科学与技术专业,本科生(导师:邓安生教授)

【工作经历】

2019.11至今,吉林大学计算机科学与技术学院,博士生导师

2016.11至今,吉林大学计算机科学与技术学院,硕士生导师

2015.09至今,吉林大学计算机科学与技术学院,副教授

2010.07-2015.09,吉林大学计算机科学与技术学院,讲师

2021.10至今,吉林大学2020级工科试验班(软件工程),班主任

2021.06至今,吉林大学研究生培养指导委员会软件学院分委员会,委员

2021.01至今,吉林大学软件工程专业,专业负责人

2020.02至今,吉林大学软件学院教学委员会,委员

2016.03-2019.06,吉林大学2015级理科试验班(唐敖庆计算机班),班主任

2013.03-2014.09,吉林大学计算机科学与技术学院学术委员会,秘书

【社会兼职】

中国计算机学会理论计算机科学专业委员会,执行委员

中国计算机学会形式化方法专业委员会,执行委员

中国计算机学会教育专业委员会,执行委员

吉林省计算机学会,理事

国家自然科学基金,评审

 

教学工作

【治学格言】宝剑锋从磨砺出,梅花香自苦寒来。——《警世贤文》之勤奋篇

【主讲课程】

《程序设计基础》(原名:高级语言程序设计,现为教学团队实践负责人)

——国家精品课程《高级语言程序设计》(2009年)

——国家级精品资源共享课《高级语言程序设计》(2013年)

——国家精品在线开放课程《高级语言程序设计》(2019年)

——国家级一流本科课程(线上一流课程)《高级语言程序设计》(2020年)

——国家级一流本科课程(线上线下混合式一流课程)《程序设计基础》(2020年)

《人工智能基础》、《人工智能引论》

《计算理论》(原名:可计算性与计算复杂性)、《高级分布计算理论》

【教研论文】在《计算机教育》上发表教研论文6篇。

[1]   陈娟, 邓春燕, 张晓旭, 吕帅, 贾海洋, 张长海. 程序设计基础课程的思政元素与教学实践. 计算机教育, 2022, 3: 106-111. (CCF推荐中文C)

[2]   陈娟, 邓春燕, 吕帅, 李河, 张长海. 程序设计基础混合式教学实践与思考. 计算机教育, 2019, 8: 126-131. (CCF推荐中文C)

[3]   邓春燕, 周治国*, 陈娟, 吕帅. 工程教育认证背景下程序设计基础课程设计教学改革与实践. 计算机教育, 2019, 5: 68-72. (CCF推荐中文C) (该文荣获2018全国高校计算机教育大会优秀论文奖, 2018.07)

[4]   李占山, 吕帅*. 基于计算思维与创新能力培养的计算理论课程教学改革探索. 计算机教育, 2019, 1: 21-24. (CCF推荐中文C)

[5]   吕帅, 王强强*, 郭德贵, 金京姬. 实践教学中的开放性创新实验项目探索. 计算机教育, 2017, 3: 29-32. (CCF推荐中文C) (该文荣获2016全国高校计算机教育大会优秀论文一等奖, 2016.07)

[6]   吕帅, 刘磊*, 张睿, 郭德贵. 计算机学科研究生科研基础的建立模式. 计算机教育, 2012, 23: 22-24. (CCF推荐中文C)

 

科研工作

【研究方向】人工智能、机器学习、自动推理。

【科研项目】主持国家自然科学基金项目等科研项目12项,参加科研项目26项。

[1]   国家重点研发计划项目:智能计算机编程方法

[2]   国家自然科学基金项目:智能规划中基于路标的启发式搜索方法研究

[3]   国家自然科学基金项目:面向构建过程的范畴学习模型及其适应性机制研究

[4]   国家自然科学基金项目:命题与模态逻辑的扩展规则推理与混合推理方法研究

[5]   国家自然科学基金项目:本体演化中若干问题的研究

[6]   国家自然科学基金项目:扩展规则推理方法研究

[7]   国家自然科学基金项目:约束推理与约束程序

[8]   国家自然科学基金项目:非经典逻辑的自动推理

[9]   教育部高等学校博士学科点专项科研基金项目:命题逻辑和模态逻辑的扩展规则推理方法研究

[10]  教育部高等学校博士学科点专项科研基金项目:交通控制动态子区智能规划理论与方法研究

[11]  教育部高等学校博士学科点专项科研基金项目:基于进程演算的本体演化研究

[12]  教育部高等学校博士学科点专项科研基金项目:不确定智能规划理论与方法

[13]  中国博士后科学基金项目:自动规划的逻辑约束机制研究

[14]  吉林省重点科技攻关项目:云环境下的编程模型研究

[15]  吉林省自然科学基金项目:基于样本效率优化的深度强化学习方法研究

[16]  吉林省自然科学基金项目:面向大数据的知识表示和推理方法研究

[17]  吉林省自然科学基金项目:依赖知识编译的推理方法研究

[18]  吉林省自然科学基金项目:云环境下SaaS的安全问题研究

[19]  吉林省青年科研基金项目:基于随机游走策略的智能规划方法研究

[20]  吉林省青年科研基金项目:结合模态逻辑知识表示与推理的自动规划方法研究

[21]  教育部重点实验室开放基金项目:伪布尔求解与优化问题的局部搜索算法研究

[22]  教育部重点实验室开放基金项目:智能规划问题问题结构研究

[23]  教育部重点实验室开放基金项目:本体技术在海战场指挥决策中的应用研究

[24]  教育部重点实验室开放基金项目:基于群智能算法的多目标混合流水车间调度问题研究

[25]  教育部重点实验室开放基金项目:智能规划和自动推理问题中相变规律和解结构分析

[26]  技术开发项目:智能座舱域控制器预研项目

[27]  技术开发项目:基于深度强化学习的推理系统开发

[28]  技术开发项目:无线电传播模型计算软件设计与开发

[29]  技术开发项目:具备平台自适应性的SIMD编译优化系统的设计与开发

[30]  技术开发项目:无线电管理领域知识库数据录入及测试

[31]  技术开发项目:山西省监测站管理与覆盖分析系统

【科研论文】在国内外期刊和会议上发表学术论文123篇,其中:SCIEI检索学术论文92篇。主要代表性学术论文:

[1]   Lü Shuai, Zhang Tongbo, Xu Yue, Zhou Wenbo, Lai Yong*. Combining bounded solving and controllable randomization for approximate model counting. Journal of Experimental & Theoretical Artificial Intelligence, 2023. (中科院4, CCF推荐C, SCI, IF: 2.296)

[2]   Han Shuai, Zhou Wenbo, Lü Shuai*, Zhu Sheng, Gong Xiaoyu. Entropy regularization methods for parameter space exploration. Information Sciences, 2023, 622: 476-489. (中科院1TOP期刊, CCF推荐B, SCI, IF: 8.233)

[3]   张峻伟, 吕帅*, 张正昊, 于佳玉, 龚晓宇. 基于样本效率优化的深度强化学习方法综述. 软件学报, 2022, 33(11): 4217-4238. (CCF推荐中文A)

[4]   Lu Jiayi, Han Shuai, Lü Shuai*, Kang Meng, Zhang Junwei. Sampling diversity driven exploration with state difference guidance. Expert Systems with Applications, 2022, 203: 117418. (中科院1TOP期刊, CCF推荐C, SCI, IF: 8.665)

[5]   Han Shuai, Zhou Wenbo, Lu Jiayi, Liu Jing, Lü Shuai*. NROWAN-DQN: A stable noisy network with noise reduction and online weight adjustment for exploration. Expert Systems with Applications, 2022, 203: 117343. (中科院1TOP期刊, CCF推荐C, SCI, IF: 8.665)

[6]   Zhang Junwei, Zhang Zhenghao, Han Shuai, Lü Shuai*. Proximal policy optimization via enhanced exploration efficiency. Information Sciences, 2022, 609: 750-765. (中科院1TOP期刊, CCF推荐B, SCI, IF: 8.233)

[7]   Li Jingyao, Lü Shuai, Li Zhanshan*. Unsupervised domain adaptation via softmax-based prototype construction and adaptation. Information Sciences, 2022, 609: 257-275. (中科院1TOP期刊, CCF推荐B, SCI, IF: 8.233)

[8]   吕帅*, 龚晓宇, 张正昊, 韩帅, 张峻伟. 结合进化算法的深度强化学习方法研究综述. 计算机学报, 2022, 45(7): 1478-1499. (CCF推荐中文A)

[9]   Li Jingyao, Lü Shuai, Zhu Wenbo, Li Zhanshan*. Enhancing transferability and discriminability simultaneously for unsupervised domain adaptation. Knowledge-Based Systems, 2022, 247: 108705. (中科院1TOP期刊, CCF推荐C, SCI, IF: 8.139)

[10]  Gong Xiaoyu, Yu Jiayu, Lü Shuai*, Lu Hengwei. Actor-critic with familiarity-based trajectory experience replay. Information Sciences, 2022, 582: 633-647. (中科院1TOP期刊, CCF推荐B, SCI, IF: 8.233)

[11]  李壮, 刘磊, 张桐搏, 周文博, 吕帅*. 基于局部搜索的并行扩展规则推理方法. 软件学报, 2021, 32(9): 2744-2754. (CCF推荐中文A)

[12]  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, CORE推荐B)

[13]  Li Jingyao, Li Zhanshan, Lü Shuai*. Feature concatenation for adversarial domain adaptation. Expert Systems with Applications, 2021, 169: 114490. (中科院1TOP期刊, CCF推荐C, SCI, IF: 8.665)

[14]  Lü Shuai*, Han Shuai, Zhou Wenbo, Zhang Junwei. Recruitment-imitation mechanism for evolutionary reinforcement learning. Information Sciences, 2021, 553: 172-188. (中科院1TOP期刊, CCF推荐B, SCI, IF: 8.233)

[15]  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.102)

[16]  Han Shuai, Zhou Wenbo, Lü Shuai*, Yu Jiayu. Regularly updated deterministic policy gradient algorithm. Knowledge-Based Systems, 2021, 214: 106736. (中科院1TOP期刊, CCF推荐C, SCI, IF: 8.139)

[17]  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, CORE推荐B)

[18]  牛当当*, 吕帅, 王金艳, 刘斌. 基于MACRCAL启发式的求差知识编译算法. 电子学报, 2020, 48(2): 285-290. (CCF推荐中文A)

[19]  贺甫霖, 刘磊, 吕帅*, 牛当当, 王强. 基于格局检测的模型计数方法. 软件学报, 2020, 31(2): 395-405. (CCF推荐中文A)

[20]  牛当当*, 吕帅, 王金艳. 基于MOVR启发式的求差知识编译算法. 电子学报, 2019, 47(11): 2299-2303. (CCF推荐中文A)

[21]  Niu Dangdang, Liu Lei, Lü Shuai*. Augmenting negation normal form with irrelevant variables. IEEE Access, 2019, 7: 91360-91366. (中科院2, SCI, IF: 3.745)

[22]  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)

[23]  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)

[24]  王强, 刘磊, 吕帅*. 基于扩展规则的启发式#SAT求解算法. 软件学报, 2018, 29(11): 3517-3527. (CCF推荐中文A)

[25]  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)

[26]  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)

[27]  杨洋, 刘磊, 李广力, 张桐搏, 吕帅*. 一种新的基于局部搜索的扩展规则推理方法. 计算机学报, 2018, 41(4): 825-839. (CCF推荐中文A)

[28]  牛当当, 刘磊, 吕帅*. EPCCL理论的并行知识编译算法. 电子学报, 2018, 46(3): 537-543. (CCF推荐中文A)

[29]  牛当当, 刘磊, 吕帅*. EPCCL理论的求交知识编译算法. 软件学报, 2017, 28(8): 2096-2112. (CCF推荐中文A)

[30]  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)

[31]  刘磊, 牛当当, 吕帅*. 基于超扩展规则的知识编译方法. 计算机学报, 2016, 39(8): 1681-1696. (CCF推荐中文A)

[32]  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)

[33]  吕帅, 刘磊*, 魏唯, 高冰冰. 智能规划的逻辑编码方式研究. 计算机研究与发展, 2012, 49(3): 607-619. (CCF推荐中文A)

[34]  吕帅, 刘磊*, 石莲, 魏唯, 杨超. 依赖公理约简的经典规划方法. 电子学报, 2011, 39(2): 322-328. (CCF推荐中文A)

[35]  吕帅, 刘磊*, 江鸿, 史晶晶. 一种约简动作变元的命题规划编码方式. 计算机研究与发展, 2010, 47(10): 1756-1763. (CCF推荐中文A)

[36]  吕帅, 刘磊, 李莹, 石莲. 基于模态逻辑D公理系统的Conformant规划方法. 计算机研究与发展, 2009, 46(7): 1160-1168. (CCF推荐中文A)

[37]  吕帅, 刘磊*, 石莲, 李莹. 基于自动推理技术的智能规划方法. 软件学报, 2009, 20(5): 1226-1240. (CCF推荐中文A)

注:按照国际惯例,*表示通讯作者。

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

[1]   吉林省自然科学二等奖:知识表示与特征选择方法研究

[2]   全国商业科技进步一等奖:形式化新方法及其在云计算中的应用

[3]   吉林省科学技术进步三等奖:本体工程技术及其应用研究

[4]   全国商业科技进步一等奖:形式化新方法与新技术及其在软件需求工程中的应用

[5]   吉林省科学技术进步三等奖:高可信软件的安全开发与验证方法及其应用

[6]   全国商业科技进步一等奖:基于形式化方法的本体工程关键技术研究与应用

 

人才培养

【招生专业】详情参见科研团队的微信公众号:jlu_lus(机器学习与自动推理)。

计算机科学与技术学院,081200计算机科学与技术(学术学位)

计算机科学与技术学院,085404计算机技术(专业学位)

软件学院,083500软件工程(学术学位)

软件学院,085405软件工程(专业学位)

【目前指导和协助指导的在读研究生】

周瑞凯2020级博士生

张峻伟2020级推免硕士生,获吉林大学优秀本科毕业论文、解放领航奖学金、研究生国家奖学金

李宗泽2020级硕士生,获吉林大学优秀本科毕业论文

康勐2020级硕士生,获吉林大学优秀本科毕业论文

龚晓宇2020级创新推免硕士生,获吉林银行王湘浩奖学金、研究生国家奖学金

朱盛2020级硕士生

熊玺2021级硕士生

龙泽泓2021级硕士生

舒曼2021级硕士生

张玉树2021级硕士生

马强2021级硕士生

罗敬2021级硕士生

朱文博2022级推免硕士生,获吉林大学优秀本科毕业论文

张鑫宇2022级推免硕士生,获吉林大学优秀本科毕业论文

张泽宇2022级推免硕士生,获中国研究生数学建模竞赛国家级一等奖

林炟君2022级推免硕士生

张少杰2022级推免硕士生,获中国研究生数学建模竞赛国家级一等奖

钟太鸿2022级推免硕士生

吴珺泓2022级推免硕士生,获中国研究生数学建模竞赛国家级一等奖

安道龙2022级硕士生

李松霖2023级推免硕士生

2010年至今指导和协助指导的毕业研究生】

魏唯2010级推免博士生,获研究生国家奖学金、吉林大学优秀毕业研究生,毕业去向:[长春] 吉林大学教师

邹婷婷2010级博士生,毕业去向:[辽宁大连] 大连海事大学教师

牛当当2012级硕士生、2015级博士生,获吉林大学优秀硕士学位论文、吉林省优秀硕士学位论文、浪潮奖学金、研究生国家奖学金、吉林大学优秀博士学位论文,毕业去向:[陕西杨凌] 西北农林科技大学教师

李壮2012级硕士生、2015级博士生,毕业去向:[吉林吉林] 东北电力大学教师

周文博2017级博士生,[法国] Paris-Saclay University(巴黎萨克雷大学)国家公派联合培养博士生,获浪潮奖学金、全国大学生软件测试大赛国家级一等奖、吉林大学优秀毕业研究生、研究生国家奖学金,毕业去向:[长春] 东北师范大学教师

李静瑶2018级推免博士生,毕业去向:[长春] 吉林大学教师

张鑫2011级推免硕士生,毕业去向:[北京] 中国工商银行业务研发中心

刘冬清2011级推免硕士生,获研究生国家奖学金、吉林大学优秀硕士学位论文、吉林省优秀硕士学位论文、吉林大学优秀毕业研究生,毕业去向:[法国] University of Technology of Troyes(特鲁瓦技术大学)、[加拿大] University of Montreal(蒙特利尔大学)国家公派博士生,现为郑州大学附属第一医院科研人员

杨洋2014级推免硕士生,获吉林大学优秀本科毕业论文、三星奖学金、全国研究生数学建模竞赛国家级二等奖、研究生国家奖学金、吉林大学十佳研究生、吉林大学优秀硕士学位论文、吉林省优秀硕士学位论文、吉林大学优秀毕业研究生,毕业去向:[南京] 华为技术有限公司

刘丰2014级推免硕士生,获吉林大学优秀毕业研究生,毕业去向:[杭州] 网易互动娱乐有限公司

王强2015级推免硕士生,获华为奖学金、全国研究生数学建模竞赛国家级二等奖、CCF大数据与计算智能大赛三等奖(第4/740名)、研究生国家奖学金、吉林大学优秀毕业研究生,毕业去向:[北京] 阿里巴巴网络技术有限公司

李广力2015级创新推免硕士生,获吉林大学优秀本科毕业论文、全国研究生数学建模竞赛国家级二等奖、奇虎360奖学金、全国研究生数学建模竞赛国家级二等奖、研究生国家奖学金、中国研究生数学建模竞赛国家级二等奖、吉林大学优秀毕业研究生,毕业去向:[北京] 中国科学院计算技术研究所博士生,现为中国科学院计算技术研究所科研人员

王冠成2015级推免硕士生,获华为奖学金、全国研究生数学建模竞赛国家级二等奖、研究生国家奖学金、吉林大学优秀硕士学位论文、吉林大学优秀毕业研究生,毕业去向:[北京] 北京大学博士生

贺甫霖2016级硕士生,获吉林大学优秀本科毕业论文、研究生国家奖学金,毕业去向:[长春] 中车长春轨道客车股份有限公司

邹璐琨2016级硕士生,毕业去向:[上海] 中国银联股份有限公司

张桐搏2017级创新推免硕士生,获吉林大学优秀本科毕业论文、中国研究生数学建模竞赛国家级二等奖、吉林大学优秀毕业研究生,毕业去向:[北京] 微软亚洲互联网工程院

徐玥2017级硕士生,获中国研究生数学建模竞赛国家级二等奖、吉林大学优秀毕业研究生,毕业去向:[北京] FreeWheel公司

李俊劼2018级推免硕士生,毕业去向:[广东深圳] 哈尔滨工业大学(深圳)博士生

刘京2018级推免硕士生,获吉林大学优秀毕业研究生,毕业去向:[北京] 华为技术有限公司2012实验室

韩帅2018级硕士生,获吉林大学优秀硕士学位论文、吉林大学优秀毕业研究生,毕业去向:[荷兰] Utrecht University(乌特列支大学)国家公派博士生

于佳玉2019级推免硕士生,获吉林大学优秀本科毕业论文,毕业去向:[广东深圳] 深圳市腾讯计算机系统有限公司

张正昊2019级推免硕士生,毕业去向:[北京] 北京字节跳动科技有限公司

路笳艺2019级硕士生,获吉林大学优秀硕士学位论文、吉林大学优秀毕业研究生,毕业去向:[长春] 北京经纬恒润科技股份有限公司