个人简介

主讲本科课程 离散数学；数据结构；算法设计与分析 主讲研究生课程 算法与算法复杂性 学习与工作经历 2000..9-2003.7，吉林大学计算机应用专业，硕士研究生，获工学硕士学位 2015.11.-2016.1，美国PSU研修，访问学者 1990.12-2003.9，长春工业大学，图书馆 2003.9-至今，长春工业大学，计算机科学与工程学院 2009.9被评为副教授

研究领域

人工智能与约束满足问题求解 约束约束满足问题是人工智能领域一个重要研究方向，其应用范围非常广泛。近几年我主要从事这一领域的研究，特别是对约束满足问题(CSPs)的知识表示与推理求解有了一定进展。目前打算将机器学习技术融入约束满足问题的求解中。

科研项目 1．基于求解约束满足问题相关算法研究.横向.2013-至今.6万.1/4 2．不确定数据的聚类算法研究.教育厅.2013-至今.自筹.2/7 3．靖宇县人民医院数字医疗管理系统.横向.2013-2014.20万.4/6

近期论文

查看导师最新文章 （温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

专著及教材 1．王红梅，胡明，王涛.《数据结构（C++版）》,清华大学出版社，2010 2．王红梅等.《算法设计与分析》（参编）,清华大学出版社，2010 2. 论文 1．王涛,张乾等.基于成功回溯的约束推理技术.吉林大学学报（工学版），2016(5)；EI：20163802821932EI期刊 2．王涛，王瑞芹等.基于分割的超树分解方法.吉林大学学报（理学版）,2013(2)；核心 3．李宏博，王涛等.改进求解约束满足问题粗粒度弧相容算法.软件学报,2012(7)；EI：20123415365347EI期刊 4.Wang,Tao;Du,Hui-Ying;Li,Zhan-Shan;Xing,Shi-Mei.OrderingheuristicforsolvingalgorithmbasedontheAC-4algorithm.Proceedings2011InternationalConferenceonTransportation,Mechanical,andElectricalEngineering,TMEE2011EI：20122315082917 5.李占山,王涛,孙吉贵.基于模型推理的系统修复与重用设计研究.计算机科学，2006（8） 6．王涛，李占山，孙吉贵等.产品配置的知识表示.计算机科学，2005（10） 7．李占山,王涛,孙吉贵.利用元件替换测试求诊断.软件学报，2005(9) 8．李占山，王涛，孙吉贵.产品配置器的工作机理研究.计算机应用研究，2004（10） 9．李占山，姜云飞，王涛.基于模型的诊断问题分解及其算法.计算机学报，2003（9）