學(xué)術(shù)論文：

在《Journal of Systems and Software》、《Pattern Recognition》、《計算機(jī)學(xué)報》、《軟件學(xué)報》等國內(nèi)外期刊和會議上累計發(fā)表學(xué)術(shù)論文180余篇，其中：SCI檢索論文40余篇、EI檢索論文100余篇。

代表性學(xué)術(shù)論文(SCI檢索學(xué)術(shù)論文、國內(nèi)權(quán)威期刊論文)：

[31] 楊洋, 劉磊, 李廣力, 張桐搏, *呂帥. 一種新的基于局部搜索的擴(kuò)展規(guī)則推理方法. 計算機(jī)學(xué)報, 2017. (國內(nèi)權(quán)威期刊, EI)

[30] 郭德貴, 王冠成, 呂帥, *劉磊. peC語言的部分求值器及在編譯器測試中的應(yīng)用. 軟件學(xué)報, 2017. (國內(nèi)權(quán)威期刊, EI)

[29] 牛當(dāng)當(dāng), 劉磊, *呂帥. EPCCL理論的并行知識編譯算法. 電子學(xué)報, 2017. (國內(nèi)權(quán)威期刊, 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] 牛當(dāng)當(dāng), 劉磊, *呂帥. EPCCL理論的求交知識編譯算法. 軟件學(xué)報, 2017. (國內(nèi)權(quán)威期刊, 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] 劉磊, 牛當(dāng)當(dāng), *呂帥. 基于超擴(kuò)展規(guī)則的知識編譯方法.計算機(jī)學(xué)報, 2016, 39(8): 1681-1696. (國內(nèi)權(quán)威期刊, 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] 趙健, *劉磊, 潘欣. 模糊語義下知識系統(tǒng)的結(jié)構(gòu)及信息傳播的研究. 計算機(jī)學(xué)報, 2014, 37(8): 1669-1678. (國內(nèi)權(quán)威期刊, EI: 201436063115)

[19] 張鵬, 劉磊, *劉華虓, 金英. Tabular表達(dá)式的指稱語義研究. 軟件學(xué)報, 2014, 25(6): 1212-1224. (國內(nèi)權(quán)威期刊, 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期刊分區(qū)-3區(qū), 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] 呂帥, *劉磊, 魏唯, 高冰冰. 智能規(guī)劃的邏輯編碼方式研究. 計算機(jī)研究與發(fā)展, 2012, 49(3): 607-619. (國內(nèi)權(quán)威期刊, EI: 20121514937769)

[14] 劉磊, 張鵬, 呂帥, *張睿. 基于演化傳播模型的本體內(nèi)聚程度分析. 電子學(xué)報, 2011, 39(8): 1845-1851. (國內(nèi)權(quán)威期刊, 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] 周栩, *劉磊, 范任宏. 基于模式結(jié)構(gòu)分類的本體映射方法. 電子學(xué)報, 2011, 39(4): 882-886. (國內(nèi)權(quán)威期刊, EI: 20112714112096)

[11] 呂帥, *劉磊, 石蓮, 魏唯, 楊超. 依賴公理約簡的經(jīng)典規(guī)劃方法. 電子學(xué)報, 2011, 39(2): 322-328. (國內(nèi)權(quán)威期刊, 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期刊分區(qū)-2區(qū), SCI: 647BR, EI: 20104213302104)

[9] 呂帥, *劉磊, 江鴻, 史晶晶. 一種約簡動作變元的命題規(guī)劃編碼方式. 計算機(jī)研究與發(fā)展, 2010, 47(10): 1756-1763. (國內(nèi)權(quán)威期刊, 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程序安全行為模型的靜態(tài)檢查方法. 計算機(jī)學(xué)報, 2009, 32(9): 1856-1868. (國內(nèi)權(quán)威期刊, EI: 20094512438444)

[5] 呂帥, 劉磊, 李瑩, 石蓮. 基于模態(tài)邏輯D公理系統(tǒng)的Conformant規(guī)劃方法. 計算機(jī)研究與發(fā)展, 2009, 46(7): 1160-1168. (國內(nèi)權(quán)威期刊, 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] 呂帥, *劉磊, 石蓮, 李瑩. 基于自動推理技術(shù)的智能規(guī)劃方法. 軟件學(xué)報, 2009, 20(5): 1226-1240. (國內(nèi)權(quán)威期刊, 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)

總結(jié)

以上是生活随笔為你收集整理的吉林大学计算机学院刘衍衍教授,刘磊-吉林大学计算机科学与技术学院的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。