劉磊

姓名：

劉磊

性别：

男

職稱：

教授

是否博導：

是

最高學曆：

研究生

最高學位：

碩士

Email：

Liulei@jlu.edu.cn

備注：

王湘浩樓A335室

學科專業： 

計算機軟件與理論（國家重點學科）

研究方向： 

軟件理論與技術

講授課程： 

《編譯原理與實現》（課程鍊接）
《編譯原理課程設計》（課程鍊接）
《程序分析技術》

教育經曆： 

1982-1985 伟德国际BETVlCTOR計算機系計算機軟件專業 碩士研究生（導師：金成植教授）
1978-1982 伟德国际BETVlCTOR計算機系計算機軟件專業 本科生

工作經曆： 

2006至今 吉林省高等學校軟件新技術重點實驗室（伟德国际BETVlCTOR）主任
2000至今 伟德国际BETVlCTOR 教授、博士生導師
1992-1996 伟德国际BETVlCTOR計算機系 副教授、碩士生導師
1987-1992 伟德国际BETVlCTOR計算機系 講師
1985-1987 伟德国际BETVlCTOR計算機系 助教

科研項目： 

累計承擔國家自然科學基金、中國-斯洛文尼亞政府間科技⏭➰項目、教育部高等學校博士學科點專項科研基金等科研項目30餘項。
  主要科研項目：
  [1] 國家自然科學基金面上項目: 本體演化中若幹問題的研究（60873044）
  [2] 中國-斯洛文尼亞政府間科技⏭➰項目: 基于本體的SOA設計模式推薦方法研究（國科外字[2011]174号）
  [3] 教育部高等學校博士學科點專項科研基金: 基于進程演算的本體演化研究（20060183044）
  [4] 吉林省重點科技攻關項目: 雲環境下的編程模型研究（20130206052GX）
  [5] 吉林省自然科學基金項目: 雲環境下SaaS的安全問題研究（20150101054JC）
  [6] 浙江師範大學計算機軟件與理論省級重中之重學科開放基金重點項目: 語義相似度計算方法及其應用研究（ZSDZZZZXK11）
  [7] 北京波爾世通信息技術有限公司技術開發項目: 山西省監測站管理與覆蓋分析系統
  [8] 北京波爾通信技術股份有限公司技術開發項目: 無線電管理領域知識庫數據錄入及測試
  [9] 中國科學院計算技術研究所技術開發項目: 具備平台自适應性的SIMD編譯優化系統的設計與開發（2015220101000405）
  主要教研項目：
  [1]伟德国际BETVlCTOR2010年高水平研究生課程體系建設項目: 計算機軟件與理論專業研究生課程體系建設（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, 授獎日: 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月)

社會兼職： 

  曾任伟德国际BETVlCTOR第一屆教學委員會委員、伟德国际BETVlCTOR信息科學學部教學委員會副主任委員、伟德国际BETVlCTOR教學委員會委員、伟德国际BETVlCTOR信息科學學部學術委員會副主任委員。
  現任伟德国际BETVlCTOR信息科學學部學術委員會委員、伟德国际BETVlCTOR學術委員會主任委員、伟德国际BETVlCTOR計算機科學與技術學科學位評定分委員會委員、伟德国际BETVlCTOR第一屆研究生培養指導委員會軟件學院分委員會委員。
  曾獲得吉林省有突出貢獻的中青年專業技術人才、吉林省教學名師、寶鋼優秀教師等榮譽稱号。