自动推理
2020-11-22
自动推理是人工智能领域的重要分支，是在给定知识及有关推理策略和方法的前提下，研究用计算机帮助人们进行推理的一门融合计算机和数学的交叉学科，其目标是使机器能够具备人脑一样根据已知信息推导出已知或未知信息的处理能力和思维能力。自动推理中的定理自动证明和定理自动发现，程序自动生成、逻辑程序设计以及更一般的智能系统中的推理问题研究是演绎数据库、软件验证、专家系统、知识库、智能机器人等研究领域的重要基础，它已成为当代科学技术研究的热点领域。本方向面向国际科技前沿，以国家的重大战略需求为牵引，致力于研究自动推理的新理论、新方法
查看详情
大数据智能计算
2020-11-22
大数据智能计算涵盖对大规模数据的有效获取和管理、对大数据的挖掘和分析，以及利用大数据解决实际应用问题。大数据是人工智能的基石，事实上最近人工智能所获得的成功主要取决于有效的大数据计算。大数据提供了人类认识和处理复杂系统的新思维和新手段，蕴含着巨大的社会和经济价值。作为国家基础性战略资源，大数据正日益对全球生产、流通、分配、消费活动以及经济运行机制、社会生活方式和国家治理能力产生重要影响。本方向以国家的重大战略需求为牵引，致力于大数据感知与获取、存储与管理、分析与挖掘等方面的基础理论、关键技术与应用研究。主要研究方向
查看详情
计算机视觉技术
2020-11-22
计算机视觉是信息科学和人工智能不可或缺的重要组成部分，是指用计算机来模拟人的视觉系统，让机器代替人眼来识别物体、确认物体形状和方位、判断物体运动等，从而让机器来理解、适应外界环境和控制自身运动。计算机视觉技术已广泛应用于自主无人系统、生物特征识别、虚拟现实等多个领域和国防、安防、制造、金融、服务等多个行业。随着我国《新一代人工智能发展规划》的发布，计算机视觉作为人工智能领域的研究焦点，其发展已受到国家的大力支持和重视。本方向遵循产学研一体化发展模式，专注于计算机视觉基础理论、关键技术和工程应用研究：(1)计算机视觉
查看详情
智能机器人技术
2020-11-22
智能机器人是一个在感知、认知、决策等方面全面模拟人的机器系统，是机械技术、电子技术、信息技术、生物技术的有机结合。本学科方向面向国家及重庆市重大战略需求，结合计算机科学与控制、智能制造等领域，从事机器人的智能感知、智能控制、智能测评、工业辅助设计方面的基础理论、关键技术及其应用研究，已在智能发育，机器人视觉、力触觉、导航定位、检测、辅助设计等方面具有自主知识产权，开发的教育机器人、医用检测机器人、3D打印机器人、三峡水下探测机器人、无人救援车、无人微耕机、无人割草机、智能设计、减速器测试仪等产品，达到国内领先水平。
查看详情
国科大重庆学院人工智能学院在不完备大数据分析理论与方法上 取得的研究进展
2020-11-03
不完备大数据常见于人脸识别、智慧金融、电子商务、社交网络、电子政务、通讯运维、共享交通等典型大数据智能应用场景，主要用以描述极大实体集合间的不完备交互关系，其中蕴含丰富、多态的实体模式和知识。基于不完备数据，国科大重庆学院人工智能学院(中科院重庆研究院大数据挖掘及应用中心)取得了以下研究进展
查看详情
国科大重庆学院人工智能学院在数据驱动的蓝藻水华认知上取得系列进展
2020-11-03
目前，中科院重庆研究院大数据挖掘及应用中心与中科院水生所宋立荣研究员课题组合作，尝试将人工智能方法与水生态问题进行融合，利用概率图模型方法对我国大中型浅水湖泊蓝藻水华数据进行深入挖掘分析，相关研究成果以论文形式发表在海洋湖沼学领域知名刊物《Harmful Algae》上，研究结果将有助于科学认知蓝藻水华的演变风险，为大型水体生态系统的长效恢复提供参考。
查看详情
国科大重庆学院人工智能学院在三峡库区水华优势种演替模式遥感分析方面取得进展
2020-11-03
近日，重庆研究院大数据挖掘及应用中心与重庆市环境科学研究院合作，利用遥感反演手段实现三峡库区蓝藻-绿藻水华的演替模式分析与演变趋势回溯，相关研究成果发表在《Science of the total environment》、《Journal of environmental management》、《Environmental Science and Pollution Research》等期刊上。研究获得国家科技重大专项“水体污染防治与治理”、国家自然科学基金及重庆市社会事业与民生保障等项目的支持。
查看详情
报告题目：虚拟心脏研究进展
2020-01-16
随着生命科学的飞速发展，人们已经在细胞及分子层次积累了海量的实验数据，如何解释、分析这些数据，并将其与生命系统的功能联系起来是我们面临的巨大挑战。心脏是人类最重要的器官之一，我们将以此为例构建心脏的细胞、组织及器官各层次模型，在计算机上实现一个虚拟的心脏系统。利用该系统，
查看详情
报告题目：Application of Homomorphic Encryption in Homomorphism Computing Models
2019-12-30
Homomorphic encryption is a form of encryption that allows computation on ciphertexts, generating an encrypted result which, when decrypted, matches the result of the operations as if they had been performed on the plaintext.
查看详情
报告题目：基于非单调Lyapunov函数的切换系统可稳定性分析
2019-11-15
切换系统是由若干连续或离散的子系统以及一个决定如何在子系统间切换的规则组成的混成系统。切换系统分析与综合极其复杂，例如：切换系统稳定性分析是一不可判定问题;稳定的子系统可以组成不稳定的切换系统;不稳定的子系统可以组成稳定的切换系统等。本报告主要围绕切换系统可稳定性展开：首先，基于非单
查看详情
