吕帅 计算机学院,刘磊-吉林大学计算机科学与技术学院
在《Journal of Systems and Software》、《Pattern Recognition》、《計算機學報》、《軟件學報》等國內外期刊和會議上累計發表學術論文180余篇,其中:SCI檢索論文40余篇、EI檢索論文100余篇。
主要代表性學術論文(SCI檢索學術論文、國內權威期刊論文):
[36] Niu Dangdang, Liu Lei, Lü Shuai*. New stochastic local search approaches
for computing preferred extensions of abstract argumentation. AI Communications, 2018. (Accepted, SCI)
[35] Niu Dangdang, Liu Lei, Lü Shuai*, Xu Yue. Complementary knowledge compilation using the hyper extension rule. Chinese Journal of Electronics, 2018. (Accepted, SCI)
[34] 王強, 劉磊, 呂帥*. 基于擴展規則的啟發式#SAT求解算法. 軟件學報, 2018. (國內權威期刊, 已錄用待發表, EI)
[33] Niu Dangdang, Liu Lei, Lü Shuai*. Knowledge compilation methods based on the clausal relevance and extension rule. Chinese Journal of Electronics, 2018. (Accepted, SCI)
[32] ? 楊洋, 劉磊, 李廣力, 張桐搏, 呂帥*. 一種新的基于局部搜索的擴展規則推理方法. 計算機學報, 2018, 41(4): 825-839. (國內權威期刊)
[31] ? 牛當當, 劉磊, 呂帥*. EPCCL理論的并行知識編譯算法. 電子學報, 2018, 46(3): 537-543. (國內權威期刊, EI)
[30] 胡小娟, 劉磊, 邱寧佳*. 基于主動學習和否定選擇的垃圾郵件分類算法. 電子學報, 2018, 46(1): 203-209. (國內權威期刊, EI)
[29] Liu Yuzhou, Liu Lei, Liu Huaxiao*, Wang Xiaoyu, Yang Hongji. Mining domain knowledge from app descriptions. Journal of Systems and Software, 2017, 133: 126-144. (CCF-B, SCI: FJ3EX, EI: 20173504084283)
[28] 牛當當, 劉磊, 呂帥*. EPCCL理論的求交知識編譯算法. 軟件學報, 2017, 28(8): 2096-2112. (國內權威期刊, EI: 20174404332803)
[27] 郭德貴, 王冠成, 呂帥, 劉磊*. peC語言的部分求值器及在編譯器測試中的應用. 軟件學報, 2017, 28(5): 1221-1232. (國內權威期刊, EI: 20173304046256)
[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, 2017, 29(3): 629-647. (CCF-C, SCI: ES5XX, 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)
總結
以上是生活随笔為你收集整理的吕帅 计算机学院,刘磊-吉林大学计算机科学与技术学院的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 四色着色问题 c语言编程,数据结构-图着
- 下一篇: java 十进制 左移,java移位运