我院举办第十三期“群荟”学术沙龙活动_疑问_研讨生_视觉(我院举办第十三期活动)

原标题：我院举办第十三期“群荟”学术沙龙活动

7月5日至7日，核算机与控制工程学院举办第十三期“群荟”学术沙龙活动，聘请北京大学智能学院査红彬教授、南边科技大学核算机科学与工程系程然副教授和我国科学院软件研讨所张健研讨员别离为我院师生作了“动态视觉与slam：在线学习的途径”“硬件可感知的深度学习模型主动化安设”和“软件查验与分析”等学术陈述。副院长王莹洁掌管，学院科研骨干教师及有些研讨生参加。

跟着传感器技能的不断打开，动态视觉和3d视觉之间的亲近交融变得愈发要害，slam（simultaneous localization and mapping：即时定位与地图构建）技能也因而备受重视。为了在真实凌乱场景中前进动态视觉体系的使用才能，强化视觉体系的环境自习气性就变得尤为重要，在线学习办法被认为是完成这一方针的有用途径。査红彬联系slam技能的打开以及其时面临的疑问，要点介绍了面向自监督视觉旅程计的序列敌对学习办法和具有在线自习气才能的自监督slam学习，以及根据slam研讨的四个作业规划，包括使用动力学模型构建猜测模型、保证学习进程的有用性、完成在线习气才能以及对不可以靠和不断定信息进行定量描绘等，对有关领域的研讨供给了重要参阅，具有重要意义。

这些年，跟着深度学习的广泛打开，将深度学习的模型安设到边缘环境的疑问变成了其时备受重视的焦点。程然在陈述中联系其时的研讨布景和疑问界说，深化谈论了将一些硬件方针归入深度学习模型思考领域的办法，并展示了如何使用演化核算完成高效的主动化模型方案。一起，他指出安设的中心方针就是将疑问建模成多方针优化疑问和构建平台。最终，以主动驾御场景下的实时语义切割使命为使用事例，展示了演化核算在边缘核算设惫亓主动化安设功能。

软件查验与分析是保证软件质量的重要办法，在软件开发和维护进程中起着要害作用。张健关于软件查验主动化以及程序静态分析方面的一些作业向师生们做了具体介绍，首要包括符号实施、捆绑求解技能和组合查验等黑盒办法。

学术陈述后，三位专家与我院有关研讨人员进行了深化的交流与谈论，耐性答复了师生们提出的疑问，并共享了更多的见地和经历。现场研讨气氛火热，师生们标明拓宽了研讨思维，获益匪浅。

核算机与控制工程学院新媒体中心宣传部

排版修改 | 刘敏轩

实施修改 | 张慧敏

责任修改 | 胡新慧

审 核 | 段昕回来搜狐，查看更多

责任修改：