吉林大学计算机学院推免名额,吕帅-吉林大学计算机科学与技术学院

在国内外期刊和会议上发表学术论文108篇，其中：SCI和EI检索学术论文77篇。

主要代表性学术论文：

[38] 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. (CCF-C)

[37] Li Jingyao, Li Zhanshan, Lü Shuai*. Unsupervised double weighted domain adaptation. Neural Computing & Applications, 2020. (CCF-C, 中科院JCR-2, SCI)

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

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

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

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

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

[31] 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. (SCI)

[30] Zhou Wenbo, Liu Lei, Lü Shuai, Zhang Peng*. Toward formal modeling and verification of resource provisioning as a service in cloud. IEEE Access, 2019, 7: 26721-26730. (中科院JCR-2, SCI)

[29] 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. (中科院JCR-2, SCI)

[28] Zhou Wenbo, Liu Lei, Zhang Peng*, Lü Shuai, Li Jingyao. SDAC: A model for analysis of the execution semantics of data processing framework in cloud. Computer Languages, Systems & Structures, 2018, 54: 406-426. (CCF-C, 中科院JCR-3, SCI)

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

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

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

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

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

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

[21] 郭德贵, 王冠成, 吕帅, 刘磊*. peC语言的部分求值器及在编译器测试中的应用. 软件学报, 2017, 28(5): 1221-1232. (CCF中文-A)

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

[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), The Hague, The Netherlands, August 29 - September 2, 2016, FAIA 285, 1652-1653. (CCF-B, Short paper)

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

[17] 魏唯, 欧阳丹彤*, 吕帅. 路标计数启发式引导的分解规划方法. 软件学报, 2013, 24(10): 2327-2339. (CCF中文-A)

[16] Liu Lei, Liu Dongqing, Lü Shuai*, Zhang Peng. An abstract description method of Map-Reduce-Merge using Haskell. Mathematical Problems in Engineering, 2013, Article ID 147593: 1-12. (中科院JCR-3, SCI)

[15] 魏唯, 欧阳丹彤*, 吕帅. 基于缩减信念状态的Conformant规划方法. 软件学报, 2013, 24(7): 1557-1570. (CCF中文-A)

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

[13] 刘磊, 张鹏, 吕帅, 张睿*. 基于演化传播模型的本体内聚程度分析. 电子学报, 2011, 39(8): 1845-1851. (CCF中文-A)

[12] 魏唯, 欧阳丹彤, 吕帅, 冯宇轩. 动态不确定环境下多目标路径规划方法. 计算机学报, 2011, 34(5): 836-846. (CCF中文-A)

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

[10] 魏唯, 欧阳丹彤, 吕帅, 殷明浩. 结合增量与启发式搜索的多目标问题处理方法. 计算机研究与发展, 2010, 47(11): 1954-1961. (CCF中文-A)

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

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

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

[6] 孙吉贵, 殷明浩*, 吕帅. JLU-RLAO和JLU-QLAO: 两个不确定智能规划求解系统. 计算机研究与发展, 2009, 46(4): 667-675. (CCF中文-A)

[5] 赖永, 欧阳丹彤*, 蔡敦波, 吕帅. 基于扩展规则的模型计数与智能规划方法. 计算机研究与发展, 2009, 46(3): 459-469. (CCF中文-A)

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

[3] 孙吉贵, 李莹, 朱兴军, 吕帅. 一种新的基于扩展规则的定理证明算法. 计算机研究与发展, 2009, 46(1): 9-14. (CCF中文-A)

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

[1] 杨宇鹏, 欧阳丹彤, 蔡敦波, 吕帅. 基于Conformant Fast-Forward规划系统的析取目标处理方法. 计算机研究与发展, 2008, 45(12): 2120-2128. (CCF中文-A)

注：按照国际惯例，*表示通讯作者。