长春工业大学计算机科学与工程学院
硕士研究生导师信息表

姓名
王涛
性别
女


学位
硕士
出生年月
1969.1

职称
副教授
职务


电子邮箱
wangtao690103@163.com

社会兼职


主讲本科课程
离散数学；数据结构；算法设计与分析

主讲研究生课程
算法与算法复杂性

研究方向
人工智能与约束满足问题求解

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

学习与工作
经历
2000..9-2003.7，吉林大学计算机应用专业，硕士研究生，获工学硕士学位
2015.11.-2016.1，美国PSU研修，访问学者
1990.12-2003.9，长春工业大学，图书馆
2003.9-至今，长春工业大学，计算机科学与工程学院
2009.9被评为副教授

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


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

奖励与荣誉
1．计算机软件基础课程群系列教材建设，吉林省教学成果一等奖，吉林省教育厅，2014，4/6
2．计算机类专业软件基础课程群建设的研究与实践，吉林省教学成果三等奖，吉林省教育厅，2009，3/5