2019考研吉林大学计算机科学与技术学院导师简介：李占山

　　对考生而言，充分了解高校、专业以及师资情况是一项最基础、最关键的工作。以下是新东方在线为大家整理的“2019考研吉林大学计算机科学与技术学院导师简介：李占山”的相关信息，希望对同学们有所帮助。

　　姓名：李占山

　　性别：男

　　职称：教授

　　是否博导：是

　　最高学历：研究生

　　最高学位：博士

　　详细情况

　　所在学科专业：计算机科学与技术学科 计算机软件与理论专业 软件工程学科 软件工程专业

　　所研究方向：主要研究人工智能及其应用，具体研究约束优化与约束求解，机器学习，基于约束的数据挖掘，基于模型的诊断，智能规划与调度。

　　讲授课程：离散数学(课程链接I 课程链接II)

　　人工智能基础(课程链接)

　　可计算性与计算复杂性

　　基于模型的诊断

　　教育经历：1985.9-1989.6原吉林工业大学学习攻读学士学位

　　1993.9-1996.6原吉林工学院学习攻读硕士学位

　　1996.9-2000.12吉林大学学习攻读博士学位

　　2001.12-2004.6吉林大学博士后研究

　　工作经历：1989.7-1993.9原东光自动化设备研究所工艺员，设计员

　　1999.9-2001.8吉林大学计算机系讲师

　　2001.9-2006.8吉林大学计算机学院副教授

　　2006.9-至今吉林大学计算机学院教授

　　2015.7-博士研究生导师

　　科研项目：承担国家自然科学基金项目“基于模型诊断的若干关键问题研究及其在配置中的应用”

　　并作为骨干参加6项国家基金项目

　　承担吉林省科技计划项目“约束求解过程中的冲突解释与择优蕴涵研究”和“基于新相容技术的约束求解方法研究及其在配置中的应用”

　　并作为骨干参与6项省部级项目

　　学术论文：发表学术论文60余篇，其中在国际顶级会议AAAI-11 、AAAI-13和IJCAI-16上各发表1篇(计算机领域国际A类会议)，在计算机领域国内权威期刊计算机学报、软件学报和计算机研究与发展发表学术论文15篇;近年来在约束优化与约束求解、机器学习等相关研究方向上发表学术30余篇，其中CP-2011(计算机领域国际B类会议)1篇和ICTAI2012上2篇(计算机领域国际C类会议)。SCI国际期刊KBS、IJAIT、 EAAI和Heuristics各1篇，EI检索近30余篇。

　　近年来指导的学术成果突出的硕士郭劲松2013年到牛津大学(已经毕业)、郭霆2012年到悉尼科技大学(已经毕业)、王瑞伟2016年到新加坡国立大学深造与学习;

　　2012年毕业的徐培治获得special职位，所在团队获得2014年百度最高大奖，目前是百度商务搜索部高级项目经理;

　　2013年毕业生郭劲松到牛津大学深造(已经获得博士学位)、叶寒锋入职杭州微策略公司;

　　2014毕业生张良入职去哪网、张乾在建行北京总部工作、李博宇吉林大学博士毕业;

　　2015年毕业生贾湘华人获得百度special职位(目前已经到杭州阿里工作)、许苍竹进入商务搜索部工作、张舒娟进入北京京东工作;

　　2016年毕业生王瑞伟到新加坡国立大学深造、王旭进入百度钱包、2人到去哪网工作(其中付兴宇以Special职位入职)、刘明慧到北京滴滴工作、1人进入华为;

　　2017年毕业生李哲在吉林大学攻读博士学位、杜江珊到华为工作;

　　2018年毕业生杨明奇到小米研发岗工作、初蓓去华为上海工作、张梦林到北京滴滴、董爱迪到国家电网工作.

　　以下是部分代表性论文(权威及以上)目录

　　[1]Ruiwei Wang, Wei Xia, Roland Yap and Zhanshan Li.Optimizing Simple Table Reduction with Bitwise Representation ,In Subbarao Kambhampati, ed:Proceedings of IJCAI2016,2016,Palo Alto, California USA,787-793,(中国计算机学会推荐A类会议长文，第一作者为学生)

　　[2] Ting Guo，Zhan-shan Li，Rui-zhi Guo，Xing-quan Zhu. Large Scale Diagnosis using Associations between System Outputs and Components. AAAI. 2011, 1786-1787. EI: 20114414476470(中国计算机学会推荐A类会议)通讯作者第一作者为学生

　　[3] Hongbo Li, Haijiao Shen and Zhanshan Li. Reducing Consistency Checks in Generating Corrective Explanations for Interactive Constraint Satisfaction. Knowledge-based systems，2013，43 (May 2013), 103-111 SCI: 120ID,EI: 20131316149013 通讯作者第一作者为学生

　　[4] Jin-song Guo，Zhan-shan Li. Efficient singleton consistency by combining forward checking and bound consistency, ICTAI2012(中国计算机学会推荐C类会议)，Greece, November 7-9,2012,223-229;IJAIT，2014,23(4)。通讯作者第一作者为学生

　　[5]Jinsong Guo, Zhanshan Li and Hongbo Li. Partial Max-restricted Path Consistency. ICTAI2012(中国计算机学会推荐C类会议) Greece, November 7-9,2012,186-190 通讯作者第一作者为学生

　　[6] Hongbo Li, Yanchun Liang, Jinsong Guo, Zhanshan Li. Making Simple Tabular Reduction Works on Negative Table Constraints .AAAI2013, July 14–18, 2013 in Bellevue, Washington, USA.通讯作者

　　[7] 李占山，李宏博，张永刚，王孜文. 一种基于环切割的约束满足问题求解算法. 计算机学报. 2011,34(8):1528-1535. EI: 20113714332535

　　[8] 李宏博，李占山，韩文成. 基于等价类划分的配置求解与解释计算研究. 软件学报. 2011，22(5)：929-937. EI: 20112714112606 通讯作者第一作者为学生

　　[9] 李宏博，李占山 王涛. 关于改进求解约束满足问题粗粒度弧相容算法的研究. 软件学报. 2012，23(7)1816-1823 通讯作者第一作者为学生

　　[10] Jin-song Guo，Zhan-shan Li，Liang Zhang，Xue-na Geng. maxRPC algorithms based on bitwise operations. In:Jimmy Lee Ed.Proceedings of Principles and Practice of Constraint Programming. 2011, 373-384. EI: 20113914358914(中国计算机学会推荐B类会议)通讯作者第一作者为学生

　　[11] 李占山，姜云飞.基于模型诊断测试的修正与扩充，《软件学报》，2000，11(7)：979-983.

　　[12] 姜云飞，李占山.基于模型诊断的元件替换与替换测试，《计算机学报》，2001，(6)：666-672.通讯作者第一作者为导师

　　[13]李占山，姜云飞，王涛.基于模型的诊断问题分解及其算法，《计算机学报》，2003，26(9)：1171-1176.

　　[14]李占山，王涛，孙吉贵.“利用元件替换测试与分解诊断问题的研究”，《软件学报》，2005，16(9)：1599-1605.

　　[15]Boyu Li; Ting Guo; Xingquan Zhu; zhanshan li.Reverse Twin Plant for Efficient Diagnosability Testing and Optimizing.Engineering Applications of Artificial Intelligence,2015(38)131-137 通讯作者第一作者为学生

　　[16] 李占山，张乾，张良。基于实例化次数的约束求解方法研究。计算机研究与发展,2015,52(5):1091-1097

　　[17]李宏博，梁艳春，李占山。“概率最大受限路径相容算法研究”软件学报,2015,26(12):3140-3150，通讯作者)

　　[18]王瑞伟，李占山，李宏博。“优化求解约束可满足问题的eSTR算法”计算机研究与发展，2016， 53 (7): 1586-1595

　　[19]李宏博，梁艳春，李占山。“负表约束的表缩减广泛弧相容算法研究“软件学报,2016,27(11):2701-2711 [doi: 10.13328/j.cnki.jos.004874](通讯作者)

　　[20]Hongbo Li, Yanchun Liang, Ning Zhang,Jisong Guo,Dong Xu and Zhanshan Li.Improving Degree-based Variable Ordering Heuristics for Solving Constraint Satisfaction Problems.Journal of Heuristics,2016,22(2):125-145(通讯作者))http://link.springer.com/article/10.1007/s10732-015-9305-2

　　[21]李哲;李占山;李颖。基于GPU的一种新的约束网络模型和细粒度的并行弧相容算法.计算机研究与发展，2017，54(3)：514-528(第一作者为学生)

　　[22]杨明奇,李占山,李哲.优化求解约束满足问题的MDDc 和STR3 算法.软件学报,2017, 28(12):3156-3166

　　[23]初蓓,李占山,张梦林,于海鸿.基于森林优化特征选择算法的改进研究,软件学报(已经录用第一作者为学生)，2018年第9期专刊上发表

　　[24] 董爱迪，李占山，于海鸿.一种基于STR 算法的新表压缩方法.计算机研究与发展(已经录用第一作者为学生)

　　[25] 杨明奇，李占山，张家晨。一种新的基于STR 的动态表缩减方法。软件学报(已经录用第一作者为学生)

　　[26] Zhe Li, Mingqi Yang and Zhanshan Li. A New Variable-oriented Propagation Scheme for Constraint Satisfaction Problem. KSEM2018已经录用(CCF推荐的C类会议,通迅作者)

　　着作教材：[1]孙吉贵，杨凤杰，欧阳丹彤，李占山。离散数学，高等教育出版社，2002

　　[2]孙吉贵，杨凤杰，欧阳丹彤，李占山。离散数学学习指导语习题解答，高等教育出版社，2003

　　[3]欧阳丹彤，杨凤杰，李占山，张永刚。离散数学结构，高等教育出版社，2011

　　获奖情况：

　　离散数学国家精品资源共享课程主要成员。

　　数据结构与离散数学国家教学团队主要成员。

　　2014年6月，吉林省优秀学士学位论文指导教师, 指导学生郭劲松论文“约束满足问题(CSP)的求解技术研究”。

　　2016年6月，吉林大学优秀硕士论文指导教师，指导学生王瑞伟论文“表约束的相容性技术研究”。

　　2017年，知识表示与特征选择方法研究，获吉林省自然科学二等奖(排名第二)。

　　2017年10月，武汉华中科技大学召开的中国计算机学会理论计算机科学专委会优秀论文“一种基于STR 算法的新表压缩方法”(第一作者是指导的硕士生)

　　2018年6月，2017年吉林省硕士专业学位示范论文指导教师，指导学生王瑞伟论文“表约束的相容性技术研究”(编号ZS2017028)

　　2018年6月，吉林大学优秀硕士论文指导教师，指导学生杨明奇论文“基于STR算法的新表压缩方法的研究”。

　　2018年6月，吉林大学优秀硕士论文指导教师，指导学生董爱迪论文“表约束上的约束传播算法研究”。

　　2018年6月，吉林大学优秀硕士论文指导教师，指导学生初蓓论文“基于演化学习的特征选择算法的研究”。

　　社会兼职：

　　中国计算机学会理论计算机科学专委;

　　中国人工智能学会知识工程于分布式智能专业委员会委员;

　　吉林省计算机学会理事;

　　AAAI2019 PC;

　　国际顶级期刊中国科学(英文信息版)、国际人工智能顶级期刊AI和KBS审稿人;

　　国内信息领域权威期刊计算机学报、软件学报、计算机研究与发展、通信学报等期刊审稿人;

　　国际约束程序协会CP会员;

　　教育部学位与研究生教育评审专家;

　　国家科学技术奖励评审专家。

　　治学格言：以人为本，品德优先，学高为师;志存高远，