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

软件理论与技术

刘磊

基本情况

姓名:

刘磊

性别:

职称:

教授

是否博导:

最高学历:

研究生

最高学位:

硕士

Email

Liulei@jlu.edu.cn

备注:

王湘浩A335







 

详细情况

学科专业: 

计算机软件与理论(国家重点学科)

研究方向: 

软件理论与技术

讲授课程: 

《编译原理与实现》(课程链接
《编译原理课程设计》(课程链接
《程序分析技术》

教育经历: 

1982-1985 公司计算机系计算机软件专业 硕士研究生(导师:金成植教授)
1978-1982
公司计算机系计算机软件专业 本科生

工作经历: 

2006至今 吉林省高等学校软件新技术重点实验室(公司)主任
2000
至今 十大网投信誉排名(中国)有限公司 教授、博士生导师
1992-1996
公司计算机系 副教授、硕士生导师
1987-1992
公司计算机系 讲师
1985-1987
公司计算机系 助教

科研项目: 

累计承担国家自然科学基金、中国-斯洛文尼亚政府间科技合作项目、教育部高等学校博士学科点专项科研基金等科研项目30余项。
 
主要科研项目:
  [1]
国家自然科学基金面上项目: 本体演化中若干问题的研究(60873044
  [2]
中国-斯洛文尼亚政府间科技合作项目: 基于本体的SOA设计模式推荐方法研究(国科外字[2011]174号)
  [3]
教育部高等学校博士学科点专项科研基金: 基于进程演算的本体演化研究(20060183044
  [4]
吉林省重点科技攻关项目: 云环境下的编程模型研究(20130206052GX
  [5]
吉林省自然科学基金项目: 云环境下SaaS的安全问题研究(20150101054JC
  [6]
浙江师范大学计算机软件与理论省级重中之重学科开放基金重点项目: 语义相似度计算方法及其应用研究(ZSDZZZZXK11
  [7]
北京波尔世通信息技术有限公司技术开发项目: 山西省监测站管理与覆盖分析系统
  [8]
北京波尔通信技术股份有限公司技术开发项目: 无线电管理领域知识库数据录入及测试
  [9]
中国科学院计算技术研究所技术开发项目: 具备平台自适应性的SIMD编译优化系统的设计与开发(2015220101000405
 
主要教研项目:
  [1]
公司2010年高水平研究生课程体系建设项目: 计算机软件与理论专业研究生课程体系建设(20101011

学术论文: 

  在《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: 20163102654480)
   [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: 20153201124908)
   [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: 20160701929585)
   [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: 20160902025337)
  [22]
刘磊, 牛当当, *吕帅. 基于超扩展规则的知识编译方法.计算机学报, 2016, 39(8): 1681-1696. (国内权威期刊, EI: 20163402730022)
   [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: 20134416909445)
  [20]
赵健, *刘磊, 潘欣. 模糊语义下知识系统的结构及信息传播的研究. 计算机学报, 2014, 37(8): 1669-1678. (国内权威期刊, EI: 201436063115)
  [19]
张鹏, 刘磊, *刘华虓, 金英. Tabular表达式的指称语义研究. 软件学报, 2014, 25(6): 1212-1224. (国内权威期刊, EI: 20142617873955)
  [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: 20134116825151)
   [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: 20131716236510)
   [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: 20122315087939)
  [15]
吕帅, *刘磊, 魏唯, 高冰冰. 智能规划的逻辑编码方式研究. 计算机研究与发展, 2012, 49(3): 607-619. (国内权威期刊, EI: 20121514937769)
  [14]
刘磊, 张鹏, 吕帅, *张睿. 基于演化传播模型的本体内聚程度分析. 电子学报, 2011, 39(8): 1845-1851. (国内权威期刊, EI: 20113914370870)
   [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: 20112214012640)
  [12]
周栩, *刘磊, 范任宏. 基于模式结构分类的本体映射方法. 电子学报, 2011, 39(4): 882-886. (国内权威期刊, EI: 20112714112096)
  [11]
吕帅, *刘磊, 石莲, 魏唯, 杨超. 依赖公理约简的经典规划方法. 电子学报, 2011, 39(2): 322-328. (国内权威期刊, EI: 20111713935625)
  [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: 20104213302104)
  [9]
吕帅, *刘磊, 江鸿, 史晶晶. 一种约简动作变元的命题规划编码方式. 计算机研究与发展, 2010, 47(10): 1756-1763. (国内权威期刊, EI: 20104713409227)
   [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: 20101712887642)
   [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: 20100412662947)
  [6]
金英, 李泽鹏, 张晶, 刘磊. 多线程Java程序安全行为模型的静态检查方法. 计算机学报, 2009, 32(9): 1856-1868. (国内权威期刊, EI: 20094512438444)
  [5]
吕帅, 刘磊, 李莹, 石莲. 基于模态逻辑D公理系统的Conformant规划方法. 计算机研究与发展, 2009, 46(7): 1160-1168. (国内权威期刊, EI: 20093012214145)
   [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: 20091211975030)
   [3] , 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: 20092512134756)
  [2]
吕帅, *刘磊, 石莲, 李莹. 基于自动推理技术的智能规划方法. 软件学报, 2009, 20(5): 1226-1240. (国内权威期刊, EI: 20092212102159)
   [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: 20094612446060)

着作教材: 

现为教育部-微软精品课程《编译原理》、吉林省精品课程教学梯队负责人,累计出版教材7部。

获奖情况: 

获得全国商业科技进步一等奖3项,吉林省科学技术进步三等奖2项。
  [5]
中国商业联合会2016年度全国商业科技进步一等奖:形式化新方法及其在云计算中的应用. Grant No. 2016-1-54, 授奖日: 20161214. (201101-201608)
  [4]
吉林省科技厅2015年度吉林省科学技术进步三等奖: 本体工程技术及其应用研究. Grant No. 2015J3G064, 授奖日: 20151023. (200901-201412)
  [3]
中国商业联合会2014年度全国商业科技进步一等奖: 形式化新方法与新技术及其在软件需求工程中的应用. Grant No. 2014-1-50, 授奖日: 20141217. (200901-201408)
  [2]
吉林省科技厅2011年度吉林省科学技术进步三等奖: 高可信软件的安全开发与验证方法及其应用. Grant No. 2011J30057, 授奖日: 20120110. (200601-201012)
  [1]
中国商业联合会2010年度全国商业科技进步一等奖: 基于形式化方法的本体工程关键技术研究与应用. Grant No. 2010-1-16, 授奖日: 20110125. (200501-201006)

社会兼职: 

  曾任公司第一届教学委员会委员、公司信息科学学部教学委员会副主任委员、十大网投信誉排名(中国)有限公司教学委员会委员、公司信息科学学部学术委员会副主任委员。
 
现任公司信息科学学部学术委员会委员、十大网投信誉排名(中国)有限公司学术委员会主任委员、公司计算机科学与技术学科学位评定分委员会委员、公司第一届公司产品指导委员会软件学院分委员会委员。
 
曾获得吉林省有突出贡献的中青年专业技术人才、吉林省教学名师、宝钢优秀教师等荣誉称号。