姓名: 刘惊雷
学校: 烟台大学
学院: 计算机学院
职称:  

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


  • 暂时还没有收录刘惊雷老师的课程列表,我们将尽快添加。
    • 暂时还没有收录刘惊雷老师的论文,我们将尽快添加。
    • 暂时还没有收录刘惊雷老师参与的论文,我们将尽快添加。

    关于刘惊雷老师的相关提示:以上内容并非是刘惊雷老师的最新情况,请以刘惊雷老师的官方公布信息为准。

    反馈/投稿/合作/咨询:13562564(QQ)    邮箱:13562564@qq.com