基本情况
姓名:刘磊
性别:男
职称:教授
是否博导:是
最高学历:研究生
最高学位:硕士
Email:
备注:计算机楼A335室
详细情况
所在学科专业:计算机软件与理论(国家重点学科)
所研究方向:软件理论与技术
讲授课程:《编译原理与实现》(课程链接)
《编译原理课程设计》(课程链接)
《程序分析技术》
教育经历:1982-1985 吉林大学计算机系计算机软件专业 硕士研究生(导师:金成植教授)
1978-1982 吉林大学计算机系计算机软件专业 本科生
工作经历:2006至今 吉林省高等学校软件新技术重点实验室(吉林大学)主任
2000至今 吉林大学计算机科学与技术学院 教授、博士生导师
1992-1996 吉林大学计算机系 副教授、硕士生导师
1987-1992 吉林大学计算机系 讲师
1985-1987 吉林大学计算机系 助教
科研项目:累计承担国家自然科学基金、中国-斯洛文尼亚政府间科技合作项目、教育部高等学校博士学科点专项科研基金等科研项目30余项。
主要科研项目:
[1] 国家自然科学基金面上项目: 本体演化中若干问题的研究(**)
[2] 中国-斯洛文尼亚政府间科技合作项目: 基于本体的SOA设计模式推荐方法研究(国科外字[2011]174号)
[3] 教育部高等学校博士学科点专项科研基金: 基于进程演算的本体演化研究()
[4] 吉林省重点科技攻关项目: 云环境下的编程模型研究(GX)
[5] 吉林省自然科学基金项目: 云环境下SaaS的安全问题研究(JC)
[6] 浙江师范大学计算机软件与理论省级重中之重学科开放基金重点项目: 语义相似度计算方法及其应用研究(ZSDZZZZXK11)
[7] 北京波尔世通信息技术有限公司技术开发项目: 山西省监测站管理与覆盖分析系统
[8] 北京波尔通信技术股份有限公司技术开发项目: 无线电管理领域知识库数据录入及测试
[9] 中国科学院计算技术研究所技术开发项目: 具备平台自适应性的SIMD编译优化系统的设计与开发(20**405)
主要教研项目:
[1]吉林大学2010年高水平研究生课程体系建设项目: 计算机软件与理论专业研究生课程体系建设(**)
学术论文:在《Journal of Systems and Software》、《Pattern Recognition》、《计算机学报》、《软件学报》等国内外期刊和会议上累计发表学术论文180余篇,其中:SCI检索论文40余篇、EI检索论文100余篇。
代表性学术论文(SCI检索学术论文、国内权威期刊论文):
[31] 杨洋, 刘磊, 李广力, 张桐搏, *吕帅. 一种新的基于局部搜索的扩展规则推理方法. 计算机学报, 2017. (国内权威期刊, EI)
[30] 郭德贵, 王冠成, 吕帅, *刘磊. peC语言的部分求值器及在编译器测试中的应用. 软件学报, 2017. (国内权威期刊, EI)
[29] 牛当当, 刘磊, *吕帅. EPCCL理论的并行知识编译算法. 电子学报, 2017. (国内权威期刊, EI)
[28] Niu Dangdang, Liu Lei, *Lü Shuai. Knowledge compilation methods based on the clausal relevance and extension rule. Chinese Journal of Electronics, 2017. (SCI)
[27] 牛当当, 刘磊, *吕帅. EPCCL理论的求交知识编译算法. 软件学报, 2017. (国内权威期刊, EI)
[26] 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, 2016. (CCF-C, SCI, EI: 20**0)
[25] Zhang Peng, *Liu Lei, Zhang Rui, Li Guangli. Loss evaluation analysis of illegal attack in SCSKP. Soft Computing, 2017, 21(2): 515-524. (CCF-C, SCI: EI5KL, EI: 20**8)
[24] Liu Huaxiao, Liu Yuzhou, *Liu Lei. The verification of program relationships in the context of software cybernetics. Journal of Systems and Software, 2017, 124: 212-227. (CCF-B, SCI: EG1XH, EI: 20**5)
[23] Zhang Rui, Guo Degui, Gao Wenjuan, *Liu Lei. Modeling ontology evolution via Pi-Calculus. Information Sciences, 2016, 346-347: 286-301. (CCF-B, SCI: DX4XH, EI: 20**7)
[22] 刘磊, 牛当当, *吕帅. 基于超扩展规则的知识编译方法.计算机学报, 2016, 39(8): 1681-1696. (国内权威期刊, EI: 20**2)
[21] Liu Lei, Zhang Peng, Fan Rong, *Zhang Rui, Yang Hongji. Modeling ontology evolution with SetPi. Information Sciences, 2014, 255: 155-169. (CCF-B, SCI: 252JP, EI: 20**5)
[20] 赵健, *刘磊, 潘欣. 模糊语义下知识系统的结构及信息传播的研究. 计算机学报, 2014, 37(8): 1669-1678. (国内权威期刊, EI: 5)
[19] 张鹏, 刘磊, *刘华虓, 金英. Tabular表达式的指称语义研究. 软件学报, 2014, 25(6): 1212-1224. (国内权威期刊, EI: 20**5)
[18] Liu Lei, Liu Dongqing, *Lü Shuai, Zhang Peng. An abstract description method of Map-Reduce-Merge using Haskell. Mathematical Problems in Engineering, 2013, 147593: 1-12. (中科院JCR期刊分区-3区, SCI: 218CY, EI: 20**1)
[17] Liu Huaxiao, Ji Xiang, *Liu Lei. Metamodeling for two-dimensional description logics. Chinese Journal of Electronics, 2013, 22(2): 237-241. (SCI: 127MC, EI: 20**0)
[16] Zhao Jian, Liu Lei, *Hu Liang. Extended representation of the conceptual element in temporal context and the diachronism of the knowledge system. Knowledge-Based Systems, 2012, 33: 136-144. (CCF-C, SCI: 964TP, EI: 939)
[15] 吕帅, *刘磊, 魏唯, 高冰冰. 智能规划的逻辑编码方式研究. 计算机研究与发展, 2012, 49(3): 607-619. (国内权威期刊, EI: 769)
[14] 刘磊, 张鹏, 吕帅, *张睿. 基于演化传播模型的本体内聚程度分析. 电子学报, 2011, 39(8): 1845-1851. (国内权威期刊, EI: 201**)
[13] Zhao Jian, *Liu Lei. Construction of concept granule based on rough set and representation of knowledge-based complex system. Knowledge-Based Systems, 2011, 24(6): 809-815. (CCF-C, SCI: 785JH, EI: 640)
[12] 周栩, *刘磊, 范任宏. 基于模式结构分类的本体映射方法. 电子学报, 2011, 39(4): 882-886. (国内权威期刊, EI: 096)
[11] 吕帅, *刘磊, 石莲, 魏唯, 杨超. 依赖公理约简的经典规划方法. 电子学报, 2011, 39(2): 322-328. (国内权威期刊, EI: 625)
[10] Liu Huawen, *Liu Lei, Zhang Huijie. A fast pruning redundant rule method using Galois connection. Applied Soft Computing, 2011, 11(1): 130-137. (中科院JCR期刊分区-2区, SCI: 647BR, EI: 104)
[9] 吕帅, *刘磊, 江鸿, 史晶晶. 一种约简动作变元的命题规划编码方式. 计算机研究与发展, 2010, 47(10): 1756-1763. (国内权威期刊, EI: 227)
[8] Liu Huawen, *Liu Lei, Zhang Huijie. Ensemble gene selection for cancer classification. Pattern Recognition, 2010, 43(8): 2763-2772. (CCF-B, SCI: 603CS, EI: 642)
[7] Liu Huawen, *Liu Lei, Zhang Huijie. Ensemble gene selection by grouping for microarray data classification. Journal of Biomedical Informatics, 2010, 43(1): 81-87. (SCI: 552QZ, EI: 947)
[6] 金英, 李泽鹏, 张晶, 刘磊. 多线程Java程序安全行为模型的静态检查方法. 计算机学报, 2009, 32(9): 1856-1868. (国内权威期刊, EI: 444)
[5] 吕帅, 刘磊, 李莹, 石莲. 基于模态逻辑D公理系统的Conformant规划方法. 计算机研究与发展, 2009, 46(7): 1160-1168. (国内权威期刊, EI: 145)
[4] Liu Huawen, Sun Jigui, *Liu Lei, Zhang Huijie. Feature selection with dynamic mutual information. Pattern Recognition, 2009, 42(7): 1330-1339. (CCF-B, SCI: 435TF, EI: 030)
[3] Xu Ying, Zong Changfu, Na Hsiao-hsiang, *Liu Lei. Investigations on control algorithm of steady-state cornering and control strategy for dynamical correction in a steer-by-wire system. Journal of Zhejiang University: Science A, 2009, 10(6): 900-908. (SCI: 451UV, EI: 756)
[2] 吕帅, *刘磊, 石莲, 李莹. 基于自动推理技术的智能规划方法. 软件学报, 2009, 20(5): 1226-1240. (国内权威期刊, EI: 159)
[1] Huawen Liu, *Lei Liu, Huijie Zhang. Boosting feature selection using information metric for classification. Neurocomputing, 2009, 73(1-3): 295-303. (CCF-C, SCI: 530QI, EI: 060)
着作教材:现为教育部-微软精品课程《编译原理》、吉林省精品课程教学梯队负责人,累计出版教材7部。
获奖情况:获得全国商业科技进步一等奖3项,吉林省科学技术进步三等奖2项。
[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月)
社会兼职:曾任吉林大学第一届教学委员会委员、吉林大学信息科学学部教学委员会副主任委员、吉林大学计算机科学与技术学院教学委员会委员、吉林大学信息科学学部学术委员会副主任委员。
现任吉林大学信息科学学部学术委员会委员、吉林大学计算机科学与技术学院学术委员会主任委员、吉林大学计算机科学与技术学科学位评定分委员会委员、吉林大学第一届研究生培养指导委员会软件学院分委员会委员。
曾获得吉林省有突出贡献的中青年专业技术人才、吉林省教学名师、宝钢优秀教师等荣誉称号。
删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
吉林大学计算机科学与技术学院导师教师简介-刘磊
本站小编 Free考研网/2020-03-11
相关话题/吉林大学 计算机科学与技术学院
吉林大学计算机科学与技术学院导师教师简介-魏晓辉
基本情况 姓名:魏晓辉 性别:男 职务:院长 职称:教授 是否博导:是 最高学历:研究生 最高学位:博士 联系方式:weixh@jlu.edu.cn 详细情况 所在学科专业:计算机系统结构 所研究方向:分布式系统、集群计算和网格计算 讲授课程:计算机网络(课程链接)网格计算容错技术计算机安全(课程链接)云计算(课程链接A 课程链接B) 教育经历:1989 - ...吉林大学师资导师 本站小编 Free考研网 2020-03-11吉林大学计算机科学与技术学院导师教师简介-胡亮
详细情况 所研究方向: 分布式计算,网络与信息安全 教育经历: 哈尔滨工业大学,计算机科学系,学士;吉林大学,计算机科学系,硕士;吉林大学,计算机科学系;博士;澳大利亚Deakin 大学,博士后; 工作经历: 2002/10-至今,吉林大学,计算机科学与技术学院,教授;2003/10-至今,吉林大学,计算机科学与技术学院,博士生导师; 科研项目: 1. 国家自然科学基金面上项目,**、网格环境下基 ...吉林大学师资导师 本站小编 Free考研网 2020-03-11吉林大学计算机科学与技术学院导师教师简介-胡亮
详细情况 所研究方向: 分布式计算,网络与信息安全 教育经历: 哈尔滨工业大学,计算机科学系,学士;吉林大学,计算机科学系,硕士;吉林大学,计算机科学系;博士;澳大利亚Deakin 大学,博士后; 工作经历: 2002/10-至今,吉林大学,计算机科学与技术学院,教授;2003/10-至今,吉林大学,计算机科学与技术学院,博士生导师; 科研项目: 1. 国家自然科学基金面上项目,**、网格环境下基 ...吉林大学师资导师 本站小编 Free考研网 2020-03-11吉林大学计算机科学与技术学院导师教师简介-梁艳春
基本情况 姓名:梁艳春 性别:男 职务:副所长 职称:教授 是否博导:是 最高学历:研究生 最高学位:博士 电话: Email: 备注: 详细情况 所在学科专业:计算机应用技术 所研究方向:机器学习,生物信息学 讲授课程:机器学习(课程链接)进化计算计算智能 教育经历:1974-1977 吉林大学数学系,本科生1979-1982 吉林大学数学系,硕士生(导 ...吉林大学师资导师 本站小编 Free考研网 2020-03-11吉林大学计算机科学与技术学院导师教师简介-刘大有
基本情况 姓名:刘大有 性别:男 职称:教授 是否博导:是 最高学历:研究生 Email: 详细情况 所在学科专业:计算机软件与理论 所研究方向:人工智能、知识工程、数据挖掘、专家系统、时空推理、统计关系学习等 讲授课程:本科生课程:数据结构(课程链接)。研究生课程:知识工程。 教育经历:? 1961年-1966年,吉林大学物理系,光学专业(五年制),学士;? 1 ...吉林大学师资导师 本站小编 Free考研网 2020-03-11吉林大学计算机科学与技术学院导师教师简介-刘衍珩
基本情况 姓名:刘衍珩 性别:男 职称:教授 是否博导:是 最高学历:研究生 最高学位:博士 Email: 备注:计算机大楼A326室 详细情况 所在学科专业:计算机应用技术 所研究方向:移动计算网络理论及应用、移动IP技术与QoS机制、网络管理与网络安全、可信网络与复杂网路、车载通信、无线传感网与车联网、Internet与下一代互联网关键技术与服务等。 讲授课程:计算机网 ...吉林大学师资导师 本站小编 Free考研网 2020-03-11吉林大学计算机科学与技术学院导师教师简介-刘大有
基本情况 姓名:刘大有 性别:男 职称:教授 是否博导:是 最高学历:研究生 Email: 详细情况 所在学科专业:计算机软件与理论 所研究方向:人工智能、知识工程、数据挖掘、专家系统、时空推理、统计关系学习等 讲授课程:本科生课程:数据结构(课程链接)。研究生课程:知识工程。 教育经历:? 1961年-1966年,吉林大学物理系,光学专业(五年制),学士;? 1 ...吉林大学师资导师 本站小编 Free考研网 2020-03-11吉林大学计算机科学与技术学院导师教师简介-周春光
吉林大学计算机科学与技术学院 版权所有 ? 2017地址:吉林省长春市朝阳区前进大街2699号吉林大学前卫南区计算机楼 邮编:130012 ...吉林大学师资导师 本站小编 Free考研网 2020-03-11吉林大学计算机科学与技术学院导师教师简介-秦贵和
基本情况 姓名:秦贵和 性别:男 职称:教授 是否博导:是 最高学历:研究生 最高学位:博士 Email: 备注: 详细情况 所在学科专业:计算机应用技术 所研究方向:智能控制、嵌入式系统、汽车电子与信息技术 讲授课程:微型计算机技术(课程链接)计算机控制技术(课程链接)汽车电子技术 教育经历:1980.8~1985.7:大连理工大学计算机系本科生(获学士学 ...吉林大学师资导师 本站小编 Free考研网 2020-03-11吉林大学计算机科学与技术学院导师教师简介-刘大有
基本情况 姓名:刘大有 性别:男 职称:教授 是否博导:是 最高学历:研究生 Email: 详细情况 所在学科专业:计算机软件与理论 所研究方向:人工智能、知识工程、数据挖掘、专家系统、时空推理、统计关系学习等 讲授课程:本科生课程:数据结构(课程链接)。研究生课程:知识工程。 教育经历:? 1961年-1966年,吉林大学物理系,光学专业(五年制),学士;? 1 ...吉林大学师资导师 本站小编 Free考研网 2020-03-11