中科院成都计算机应用研究所导师介绍：刘忠

　　姓名：刘忠 　性别：男　
　　职称：教授　学院：中科院成都计算机应用研究所
　　研究方向：自动推理的理论、算法及程序自动生成的方法。
　　
　　教育经历:
　　 1986年-1990 毕业于四川大学数学系数学专业，学士学位
　　 1991年-1994年 中国航空计算技术研究所计算数学专业，硕士学位
　　 2000年-2003年 中科院成都计算机应用研究所计算机软件与理论专业师从杨路研究员，博士学位
　　 2003年-2005年 电子科技大学计算机应用专业，博士后
　　
　　工作经历:
　　 1990年-1996年 中国航空计算技术研究所软件工程师
　　 1996年-2000年 Leshan-Motorola高级工程师
　　 2004年-2006年 黑龙江省人民政府国有资产监督管理委员会调研员，教授
　　 2006年- 现在 四川建筑职业技术学院科学技术协会副主席，研究员
　　
　　研究成果及获奖情况:
　　 1. 2003年“基于DIXON结式的聚筛法的软件实现”被张景中院士誉为“非线性代数方程组求解算法研究中的重大进展”
　　 2. 四川省灾后重建专家服务团成员
　　 3. 四川省学术和技术带头人后备人选
　　 4. “西部之光”访问学者
　　 5. 四川省计算机学会高职高专分会第一届理事长
　　 6. 四川省电子学会第十届执行副理事长
　　
　　联系方式:
　　 Email: r31676@163.com
　　
　　著述论文:
　　 [1] Liu Zhong, Chen Shi-Ping, Xiang Xiao-Lin, Automatic software GAS of gather-and-sift based on DIXON resultant, Journal of Sichuan University (Engineering Science　Edition),May.2004,36(3),101-103 EI: 2004338313763）
　　 [2] Jiwei Xue, Yaohui Li, Yong Feng, Lu Yang, Zhong Liu, An intelligent hybrid algorithm for solving non-linear polynomial systems, LNCS, 2004.05, 3037, 26-33 SCI:BAG06
　　 [3] 张新丽、朱大勇、陈帆、刘忠, 几何约束求解中分离图完备的充要条件, 四川大学学报(工程科学版), 2006年1月, 38(1), 103-108
　　 [4] Bing Guo, Dianhu Wang, Yan Shen, Zhong Liu, Hardware-software Partitioning of Real-time Operating Systems Using Hopfield Neural Networks, NeuroComputing, 2006.07, 69(2006), 2379-2384. SCI:091QZ EI:20063710109488
　　 [5] Tinghuai Ma, Wenjie Liu, Yawei Zhao, Zhong Liu, Sharing Weather Data in An Agent-based Distributed Management, ISCID, Oct.17-18, 2008, 1(2008), 541-544
　　 [6] Zhong Liu, Ying Wang, A Novel Method of Chinese Web Information Extraction and Applications, WASE ICIE, July 10-11, 2009, 1(2009), 65-68 EI: 20094712473234 ISTP:BNV97
　　 [7] Xu Yi, Liu Zhong, Wen Jun, Automatic identification technology research on opto-electronic hybrid pattern recognition system, ICCCSP, July 28-30, 2010, 1(2010), 119-121 EI:20104613394097
　　 [8] Ying Wang, Zhong Liu, Word Association Learning System Based on Vocabulary Morphology Network, ICACTE, August 20-22, 2010, 1(2010), 184-187 EI:20104613373642
　　 [9] Zhong Liu, Lei Huang, A Mixed Discrete Particle Swarm Optimization for TSP, ICACTE, August 20-22, 2010, 2(2010), 208-211 EI:20104613373887
　　 [10] Tinghuai Ma, Sainan Wang, Zhong Liu, Privacy Preserving Based on Association Rule Mining, ICACTE, August 20-22, 2010, 4(2010), 637-640 EI:20104613373542
　　 [11] Zhong Liu, The Research on Collaborative Commerce of Enterprise Application Integration, CCCM, August 20-22, 2010, 3(2010), 124-126
　　 [12] LIU Zhong, The Research on How to Improve Gather-and-Sift Software GAS, ICCASM, October 22-24, 2010, 8(2010), 124-125 EI:20104913452840
　　 [13] XU Yi, LIU Zhong, Ji Lin, Liver CT Image Segmentation by Local Entropy Method, ICCASM, October 22-24, 2010, 11(2010), 591-594 EI:20104913453314
　　 [14] Tao Zhang, Liu Zhong, A Decision Tree Algorithm Based Approach, ICCEE, November 16-18, 2010, 11(2010), 133-135
　　 [15] Chen Shiping, LIU Zhong, The Readable Proof of Triangle Inequalities，ICCCI, December 25-26, 2010, 4(2010), 277-280
　　

　　如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式