烟台大学计算机学院导师介绍:刘惊雷
姓名:刘惊雷
职称:副教授
学历:研究生
学位:硕士
专业:自动化
毕业院校:太原理工大学
主讲课程:离散数学,计算机图形学
主要研究兴趣:人工智能,理论计算机科学
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.
【烟台大学计算机学院导师介绍:刘惊雷】相关文章:
- 2017-01-10【导师介绍】中南大学黄健陵
- 2016-10-26【导师介绍】浙江大学计算机科学与技术专业导师个人简介:王章野
- 2016-10-26【导师介绍】复旦大学生命科学学院霍克克博导个人简介
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:陈熙霖
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:何军
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:许伟
网友关注
- 【导师介绍】煤炭科学研究总院煤化工分院2013研招目录
- 【导师介绍】煤炭科学研究总院开采研究分院2011硕士招生书目
- 【导师介绍】煤炭科学研究总院煤化工分院2011硕士招生书目
- 【导师介绍】中国轻工总会环境保护所2011年环境工程硕士简章
- 【导师介绍】北京建井所2006年硕士研究生招生专业书目
- 【导师介绍】中国石油勘探开发研究院14年学制、学费和奖助政策
- 【导师介绍】中国空间技术研究院2012年接收推免生的办法
- 【导师介绍】中国食品发酵工业研究院2012年推免办法
精品推荐
- 2021考研管综逻辑300道推理题及答案(21)
- 2020考研管理类联考综合全国硕士研究生考试试题及答案(网友版)
- 2020考研管综逻辑演绎推理类型试题及答案解析(查字典考研网版)
- 2020考研管综逻辑分析推理类型试题及答案解析(查字典考研网版)
- 2020考研管综初等数学算术部分试题解析及往年对比
- 2020考研管综初数条件充分性判断部分试题答案及解析(查字典考研网版)
- 2020考研管理类联考初数问题求解部分试题答案及解析(查字典考研网版)
- 2020考研管综初等数学数据分析部分试题解析及往年对比
- 2020考研管综初等数学平面图形部分试题解析及往年对比
- 2020考研管综初等数学空间几何体部分试题解析及往年对比