烟台大学计算机学院导师介绍：刘惊雷

　　姓名：刘惊雷
　　职称：副教授
　　学历：研究生
　　学位：硕士
　　专业：自动化
　　毕业院校：太原理工大学
　　主讲课程：离散数学,计算机图形学
　　主要研究兴趣：人工智能,理论计算机科学
　　Email：jinglei_liu@sina.com　
　　联系电话：6902601
　　
　　
　　个人简介：1970年1月生，男，计算机学院副教授。1996~2000在太原理工大学数学系工作，2000．1~2001．9在太原理工大学计算机系工作，2001．9~至今在烟台大学计算机学院工作。目前的研究兴趣为：有穷模型论（一阶逻辑FO与单目二阶逻辑MSO在有穷结构上的表达能力与复杂度）；基于（超）图模型的知识表示与推理（如CP-nets图模型，联盟结构图等）。所研究的部分成果发表或录用在《软件学报》和《计算机学报》等国内重要期刊。
　　
　　
　　主要科研成果：
　　1．刘惊雷, 廖士中, 张伟．  CP-nets的完备性及一致性研究．软件学报,2012,23(6):1531-1541．
　　2．刘惊雷, 张伟, 童向荣, 张振荣．  一种O(2．983n)时间复杂度的最优联盟结构生成算法．软件学报,2011,22(5):938-950．
　　3．刘惊雷． CP-nets及其表达能力研究,自动化学报．2011,37(3):290-302．
　　4．刘惊雷, 华臻, 武栓虎． 基于约束半环的CP-nets占优查询算法．电子学报,2011,39(8):1932-1936．
　　5．刘惊雷, 张伟, 刘兆伟, 孙雪姣． 联盟结构图的性质及应用．计算机研究与发展,2011,48(4):602-609．
　　6．刘惊雷,刘兆伟,孙雪姣,武栓虎． CP-nets的代数表示及其模型求取算法．模式识别与人工智能,2011,24(6):725-732．
　　7．刘惊雷, 张伟, 王玲玲． 联盟结构图的代数性质及应用．模式识别与人工智能,2009,22(6):841-847．
　　8．LiuJinglei, ZhangWei． AnΩ(2．81n)lowerboundalgorithmforoptimalcoalitionstructure．JournalofInformationandComputationalScience,2010．7(2):415-421．
　　
　　主要教学成果：
　　1．刘惊雷．VisualC++实用教程,电子工业出版社,2005．
　　2．刘惊雷,张伟,王立宏,刘红霞．计算机实践向理论的回归．计算机工程与科学,2008,30(10):72-77．
　　3．LiuJinglei,WangLihong．Computationalthinkingindiscretemathematics．ETCS2010,IEEEComputerSociety,Wuhan,China．2010,March,Vol1,413-416．

 　　如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。（联系方式）