吉林大学计算机科学与技术学院导师刘磊介绍
《程序安全检测技术》（本科）
《程序分析技术》（硕士）
1982-1985吉林大学计算机系计算机软件专业硕士研究生（导师：金成植教授）
1987-1992吉林大学计算机系讲师
1992-1996吉林大学计算机系副教授、硕士生导师
1996-2000吉林大学计算机系教授、硕士生导师
2000至今吉林大学计算机科学与技术学院教授、博士生导师
近5年主要科研项目：
[1]中国-斯洛文尼亚政府间科技合作项目:基于本体的SOA设计模式推荐方法研究.GrantNo.9-9.(2011年06月-2013年06月)
[2]国家自然科学基金面上项目:本体演化中若干问题的研究.GrantNo.60873044/F0202.(2009年01月-2011年12月)
[3]教育部高等学校博士学科点专项科研基金:基于进程演算的本体演化研究.GrantNo.20060183044.(2007年01月-2009年12月)
[4]吉林省重点科技攻关项目:云环境下的编程模型研究.GrantNo.20130206052GX.(2013年01月-2015年12月)
[5]浙江师范大学计算机软件与理论省级重中之重学科开放基金重点项目:语义相似度计算方法及其应用研究.GrantNo.ZSDZZZZXK11.(2011年01月-2011年12月)
[6]北京波尔世通信息技术有限公司技术开发项目:山西省监测站管理与覆盖分析系统.(2010年11月-2011年07月)
[7]北京波尔通信技术股份有限公司技术开发项目:无线电管理领域知识库数据录入及测试.(2012年07月-2012年11月)
[8]中国科学院计算机技术研究所技术开发项目:具备平台自适应性的SIMD编译优化系统的设计与开发.(2014年10月-2015年10月)
近5年主要教研项目：
[1]吉林大学2010年高水平研究生课程体系建设项目:计算机软件与理论专业研究生课程体系建设.GrantNo.20101011.(2010年05月-2012年05月)
近5年代表性学术论文(SCI检索学术论文、国内权威期刊论文)：
[1]HuaxiaoLiu,XiangJi,LeiLiu.Metamodelingfortwo-dimensionaldescriptionlogics.ChineseJournalofElectronics,2013,22(2):237-241.(SCI:127MC,EI:20131716236510)
[2]JianZhao,LeiLiu,LiangHu.Extendedrepresentationoftheconceptualelementintemporalcontextandthediachronismoftheknowledgesystem.Knowledge-BasedSystems,2012,33:136-144.(SCI:964TP,EI:20122315087939)
[3]吕帅,刘磊,魏唯,高冰冰.智能规划的逻辑编码方式研究.计算机研究与发展,2012,49(3):607-619.(EI:20121514937769)
[4]刘磊,张鹏,吕帅,张睿.基于演化传播模型的本体内聚程度分析.电子学报,2011,39(8):1845-1851.(EI:20113914370870)
[5]JianZhao,LeiLiu.Constructionofconceptgranulebasedonroughsetandrepresentationofknowledge-basedcomplexsystem.Knowledge-BasedSystems,2011,24(6):809-815.(SCI:785JH,EI:20112214012640)
[6]周栩,刘磊,范任宏.基于模式结构分类的本体映射方法.电子学报,2011,39(4):882-886.(EI:20112714112096)
[7]吕帅,刘磊,石莲,魏唯,杨超.依赖公理约简的经典规划方法.电子学报,2011,39(2):322-328.(EI:20111713935625)
[8]HuawenLiu,LeiLiu,HuijieZhang.AfastpruningredundantrulemethodusingGaloisconnection.AppliedSoftComputing,2011,11(1):130-137.(SCI:647BR,EI:20104213302104)
[9]吕帅,刘磊,江鸿,史晶晶.一种约简动作变元的命题规划编码方式.计算机研究与发展,2010,47(10):1756-1763.(EI:20104713409227)
[10]HuawenLiu,LeiLiu,HuijieZhang.Ensemblegeneselectionforcancerclassification.PatternRecognition,2010,43(8):2763-2772.(SCI:603CS,EI:20101712887642)
[11]HuawenLiu,LeiLiu,HuijieZhang.Ensemblegeneselectionbygroupingformicroarraydataclassification.JournalofBiomedicalInformatics,2010,43(1):81-87.(SCI:552QZ,EI:20100412662947)
[12]金英,李泽鹏,张晶,刘磊.多线程Java程序安全行为模型的静态检查方法.计算机学报,2009,32(9):1856-1868.(EI:20094512438444)
[13]吕帅,刘磊,李莹,石莲.基于模态逻辑D公理系统的Conformant规划方法.计算机研究与发展,2009,46(7):1160-1168.(EI:20093012214145)
[14]HuawenLiu,JiguiSun,LeiLiu,HuijieZhang.Featureselectionwithdynamicmutualinformation.PatternRecognition,2009,42(7):1330-1339.(SCI:435TF,EI:20091211975030)
[15]YingXu,ChangfuZong,Hsiao-hsiangNa,LeiLiu.Investigationsoncontrolalgorithmofsteady-statecorneringandcontrolstrategyfordynamicalcorrectioninasteer-by-wiresystem.JournalofZhejiangUniversity:ScienceA,2009,10(6):900-908.(SCI:451UV,EI:20092512134756)
[16]吕帅,刘磊,石莲,李莹.基于自动推理技术的智能规划方法.软件学报,2009,20(5):1226-1240.(EI:20092212102159)
[17]ZhixueWang,LeiLiu.SynthesisandethanolsensingpropertiesofFe-dopedSnO2nanofibers.MaterialsLetters,2009,63(11):917-919.(SCI:425EW,EI:20090911932356)
[18]HuawenLiu,LeiLiu,HuijieZhang.Boostingfeatureselectionusinginformationmetricforclassification.Neurocomputing,2009,73(1-3):295-303.(SCI:530QI,EI:20094612446060)
[1]中国商业联合会2010年度全国商业科技进步一等奖:基于形式化方法的本体工程关键技术研究与应用.GrantNo.2010-1-16,授奖日:2011年01月25日.(2005年01月-2010年06月)
[2]吉林省科技厅2011年度吉林省科学技术进步三等奖:高可信软件的安全开发与验证方法及其应用.GrantNo.2011J30057,授奖日:2012年01月10日.(2006年01月-2010年12月)
[3]中国商业联合会2014年度全国商业科技进步一等奖:形式化新方法与新技术及其在软件需求工程中的应用.GrantNo.2014-1-50,授奖日:2014年12月17日.(2009年01月-2014年08月)
本网站文章仅供交流学习 ,不作为商用， 版权归属原作者，部分文章推送时未能及时与原作者取得联系，若来源标注错误或侵犯到您的权益烦请告知，我们将立即删除.
