煙臺大學計算機學院導(dǎo)師劉驚雷 正文

　　姓名：劉驚雷
　　職稱：副教授
　　學歷：研究生
　　學位：碩士
　　專業(yè)：自動化
　　畢業(yè)院校：太原理工大學
　　主講課程：離散數(shù)學,計算機圖形學
　　主要研究興趣：人工智能,理論計算機科學
　　Email：　
　　聯(lián)系電話：6902601
　　
　　
　　個人簡介：1970年1月生，男，計算機學院副教授。1996~2000在太原理工大學數(shù)學系工作，2000．1~2001．9在太原理工大學計算機系工作，2001．9~至今在煙臺大學計算機學院工作。目前的研究興趣為：有窮模型論（一階邏輯FO與單目二階邏輯MSO在有窮結(jié)構(gòu)上的表達能力與復(fù)雜度）；基于（超）圖模型的知識表示與推理（如CP-nets圖模型，聯(lián)盟結(jié)構(gòu)圖等）。所研究的部分成果發(fā)表或錄用在《軟件學報》和《計算機學報》等國內(nèi)重要期刊。
　　
　　
　　主要科研成果：
　　1．劉驚雷, 廖士中, 張偉．  CP-nets的完備性及一致性研究．軟件學報,2012,23(6):1531-1541．
　　2．劉驚雷, 張偉, 童向榮, 張振榮．  一種O(2．983n)時間復(fù)雜度的最優(yōu)聯(lián)盟結(jié)構(gòu)生成算法．軟件學報,2011,22(5):938-950．
　　3．劉驚雷． CP-nets及其表達能力研究,自動化學報．2011,37(3):290-302．
　　4．劉驚雷, 華臻, 武栓虎． 基于約束半環(huán)的CP-nets占優(yōu)查詢算法．電子學報,2011,39(8):1932-1936．
　　5．劉驚雷, 張偉, 劉兆偉, 孫雪姣． 聯(lián)盟結(jié)構(gòu)圖的性質(zhì)及應(yīng)用．計算機研究與發(fā)展,2011,48(4):602-609．
　　6．劉驚雷,劉兆偉,孫雪姣,武栓虎． CP-nets的代數(shù)表示及其模型求取算法．模式識別與人工智能,2011,24(6):725-732．
　　7．劉驚雷, 張偉, 王玲玲． 聯(lián)盟結(jié)構(gòu)圖的代數(shù)性質(zhì)及應(yīng)用．模式識別與人工智能,2009,22(6):841-847．
　　8．LiuJinglei, ZhangWei． AnΩ(2．81n)lowerboundalgorithmforoptimalcoalitionstructure．JournalofInformationandComputationalScience,2010．7(2):415-421．
　　
　　主要教學成果：
　　1．劉驚雷．VisualC++實用教程,電子工業(yè)出版社,2005．
　　2．劉驚雷,張偉,王立宏,劉紅霞．計算機實踐向理論的回歸．計算機工程與科學,2008,30(10):72-77．
　　3．LiuJinglei,WangLihong．Computationalthinkingindiscretemathematics．ETCS2010,IEEEComputerSociety,Wuhan,China．2010,March,Vol1,413-416．

 　　如果發(fā)現(xiàn)導(dǎo)師信息存在錯誤或者偏差，歡迎隨時與我們聯(lián)系，以便進行更新完善。（）

添加煙臺大學學姐微信，或微信搜索公眾號“考研派小站”，關(guān)注[考研派小站]微信公眾號，在考研派小站微信號輸入[煙臺大學考研分數(shù)線、煙臺大學報錄比、煙臺大學考研群、煙臺大學學姐微信、煙臺大學考研真題、煙臺大學專業(yè)目錄、煙臺大學排名、煙臺大學保研、煙臺大學公眾號、煙臺大學研究生招生）]即可在手機上查看相對應(yīng)煙臺大學考研信息或資源。

煙臺大學