学术论文: |
发表学术论文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,29(9):2547-2558 [24] 董爱迪,李占山,于海鸿.一种基于STR 算法的新表压缩方法.计算机研究与发展(已经录用第一作者为员工),将于2018年12月发表 [25] 杨明奇,李占山,张家晨。一种新的基于STR 的动态表缩减方法。软件学报(已经录用第一作者为员工) [26] Zhe Li, Mingqi Yang and Zhanshan Li. A New Variable-oriented Propagation Scheme for Constraint Satisfaction Problem. KSEM2018(Part II),59-68(CCF推荐的C类会议,通迅作者) [27] Hongbo Li and Zhanshan Li.A Novel Strategy of Combining Variable Ordering Heuristics for Constraint Satisfaction Problems.IEEE Access,2018,8.20(通讯作者) [28] 刘兆赓,李占山,王丽,王涛,于海鸿. 森林优化特征选择算法的优化与扩展研究.软件学报(已经录用,第一作者是员工)
|