自动推理与认知重庆市重点实验室介绍

思想自由、兼容并包

实验室成员

历史沿革:自动推理与认知实验室依托于中国科学院重庆绿色智能技术研究院,她的前身是中国科学院成都计算机应用研究所自动推理实验室,培养了中国科学院院士1人,国家杰出青年基金获得者2人和学术带头人9人。现实验室结合国家、重庆市的经济、科技发展需求,经重庆研究院批准又建立了“多领域统一建模”和“视频语义认知”两个新的研究方向,既是自动推理技术在先进制造和认知科学的前沿应用,又为人工智能、应用数学、计算机代数等基础研究提出新的科学问题。目前固定科研人员有46人,包括1位中国科学院院士、7名研究员、6名副研究员,其中14人是研究院引进的海外博士;客座教授共5位,其中1位是美国国家工程院院士,2位是中国科学院特聘研究员。

总体定位:瞄准国际自动推理领域发展前沿,密切结合国家重大战略需求和重庆本地的经济发展,针对基础性和前瞻性科学问题,开展创新性研究和自主性关键技术研发。

超级计算机
高性能GPU计算集群平台

包含4+2个计算节点,1个 管理节点,1个并行存储系统(与超算共用),节点之间用40Gb/s Infiniband网络连接, 配有千兆以太网交换机和IPMI远程控制专用交换机,操作系统64位Linux CentOS 6.X,装有CUDA, MPI等常用并行编程环境。共28块Nvidia TESLA K20 GPU卡, 双精度浮点计算峰值 23.4T flops。

GPU集群
科研项目与成果

2012年建设实验室以来,共获得国家级、省部级项目31项,总经费2050.4万元. 其中, 国家自然科学基金项目10项(面上5项,青年5项),总经费459万元;重庆市科委、重庆市发改委、中科院先导专项、中科院前沿重点项目等省部级项目 15 项,总经费 1253.4 万元;重庆市青年拔尖人才、中科院西部之光等省部级人才计划 6 项,总经费 338 万元。

期间共发表论文84篇,其中 SCI 检索论文18篇,EI论文50篇;申请发明专利13项。 。