6165金莎总站

王涛

发稿时间:2019-04-16浏览次数:10

6165金莎总站

硕士研究生导师信息表


姓名

王涛

性别

IMG_1851王涛

学位

硕士

出生年月

1969.1

职称

副教授

职务

 

电子邮箱

wangtao690103@163.com

社会兼职

 

主讲本科课程

离散数学;数据结构;算法设计与分析

主讲研究生课程

算法与算法复杂性

研究方向

人工智能与约束满足问题求解

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

主要研究成果:在国家重要期刊及EI期刊发表学术论文十余篇。

 

学习与工作

   经历

2000..9-2003.7,吉林大学计算机应用专业,硕士研究生,获工学硕士学位

2015.11.-2016.1,美国PSU研修,访问学者

1990.12-2003.9长春工业大学,图书馆

2003.9-至今,长春工业大学,6165金莎总站

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)EI20163802821932EI期刊

2王涛,王瑞芹等.基于分割的超树分解方法.吉林大学学报(理学版),2013(2);核心

3.李宏博,王涛.改进求解约束满足问题粗粒度弧相容算法.软件学报,2012(7)EI20123415365347 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   EI20122315082917

5.李占山,王涛,孙吉贵.基于模型推理的系统修复与重用设计研究.计算机科学,20068

6王涛,李占山,孙吉贵等.产品配置的知识表示.计算机科学,200510

7.李占山,王涛,孙吉贵.利用元件替换测试求诊断.软件学报,2005(9)

8.李占山,王涛,孙吉贵.产品配置器的工作机理研究.计算机应用研究,200410

9.李占山,姜云飞,王涛.基于模型的诊断问题分解及其算法.计算机学报,20039

 

奖励与荣誉

1.计算机软件基础课程群系列教材建设,吉林省教学成果一等奖,吉林省教育厅,20144/6

2.计算机类专业软件基础课程群建设的研究与实践,吉林省教学成果三等奖,吉林省教育厅,20093/5