基本信息
刘忠 男 博导 其它
电子邮件：r31676@163.com
通信地址：四川省成都市人民南路四段9号成都中科信息技术有限公司
邮政编码：610041


研究领域 研究人工智能、信息化、自动推理的理论、算法及程序自动生成的方法。研究内容包括基于符号与数值计算和逻辑推理的定理机器证明、人工智能程序的自动生成及其应用。
招生信息

招生专业 计算机软件与理论
计算机应用技术
计算数学

招生方向 自动推理与机器证明
企业信息化
计算数学
教育背景 2000-09--2003-06 中国科学院研究生院 研究生/博士
1991-09--1994-03 中国航空研究院 研究生/硕士
1986-09--1990-07 四川大学 本科学士


学历中国科学院研究生院 博士研究生

学位中国科学院研究生院 博士学位
工作经历

工作简历 2005-12--今 中国科学院成都计算机应用研究所 研究员/博导
2004-07--2005-12 黑龙江省国资委 正处级调研员
2003-06--2005-05 电子科技大学 博士后/研究员
1990-07--2000-08 中国航空计算技术研究所 助理工程师/工程师/高级工程师


社会兼职 2015-08--今 中国掷球协会，委员
2013-12--今 省计算机学会，副理事长
2013-10--今 市硅材料职业教育集团，理事长
2013-01--今 省政协，委员
2012-01--2013-07 市人大常委会，常委
2011-11--今 市九三学社，副主委
2011-07--2012-09 市经信委，副主任
2010-10--今 省电子学会，执行副理事长
2008-07--今 省灾后重建专家服务团，专家

专利

专利成果 （1） 中药提取罐工作指示灯兼作多级报警方法，发明，2010，第2作者，专利号：**6.3，已在四川恩威制药有限公司应用
（2） 中药提取罐生产控制方法，发明，2010，第2作者，专利号：**6.X，已在四川恩威制药有限公司应用
（3） 中药提取罐双温传感器控制方法，发明，2010，第2作者，专利号：**7.9，已在四川恩威制药有限公司应用
（4） 中药提取罐药渣排渣处理方法，发明，2010，第2作者，专利号：**8.6，已在四川恩威制药有限公司应用
（5） 中药提取罐温度传感器保护与安装方法，发明，2010，第2作者，专利号：**0.0，已在四川恩威制药有限公司应用

出版信息

发表论文 （1） An improved lowest-level best-fit algorithm with memory for the 2D-rectangular packing problem，ISEEE，2014，第2作者
（2） Computational Approach of the Jacobian Conjecture，LDIA，2013，第2作者
（3） 基于混合推理的知识库的构建及其应用研究，Construction of Knowledge Base on Hybrid Reasoning and Its Application，计算机学报，2012，第2作者
（4） The Readable Proof of Triangle Inequalities，ESEP，2011，第2作者
（5） 构建复杂DIXON矩阵递归算法的改进，Improving the recursive algorithm to construct complicated Dixon matrices，华中科技大学学报(自然科学版)，2011，第2作者
（6） The Research on Collaborative Commerce of Enterprise Application Integration，CCCM，2010，第1作者
（7） The Research on How to Improve Gather-and-Sift Software GAS，ICCASM，2010，第1作者
（8） A Mixed Discrete Particle Swarm Optimization for TSP，ICACTE，2010，第1作者
（9） The Readable Proof of Triangle Inequalities，ICCCI，2010，第1作者
（10）A Novel Method of Chinese Web Information Extraction and Applications，WASE ICIE，2009，第1作者
（11） 基于DIXON 结式的聚筛法的自动化软件GAS，四川大学学报(工程科学版)，2004，第1作者

指导学生已指导学生

黄磊 博士研究生 081202-计算机软件与理论

现指导学生

段翼真 博士研究生 081202-计算机软件与理论

李明浩 硕士研究生 081202-计算机软件与理论