CCF中国软件大会具身智能与泛在计算系统软件论坛

[xuos]

 

一、论坛介绍

具身智能通过物理实体在多模态环境交互中实现感知、认知、决策、执行的闭环进化，已成为新一代人工智能发展的前沿领域，其展现的具身性、情境性、涌现性等特征，推动智能技术升级，并广泛应用于智能制造、自动驾驶、医疗辅助、智慧城市等场景。然而，当前具身智能尚未形成统一、开放、可扩展的系统架构，难以协同优化异构计算资源与分布式感知执行终端，而泛在计算系统是关键技术之一。

“具身智能与泛在计算系统软件论坛”将探讨具身智能与系统软件的融合创新，聚焦人-机-物协同的泛在计算环境，涵盖泛在计算系统的软件架构、开发工具、计算性能、资源管理、安全可信等核心问题，同时融合具身智能大模型、多模态感知、决策规划、计算机视觉等领域的热点话题。本论坛旨在搭建跨学科交流平台，推动智能体与环境的高效协同，以及泛在计算系统架构研究，为学术界与产业界提供深入学习、交流与探讨具身智能与系统软件前沿发展的机会。

二、论坛组织委员会

• 方志军（东华大学）

• 董震（复旦大学）

• 陈翔（北京大学）

• 万燕（东华大学）

三、论坛安排

日程安排：

时间：11月29日星期六 15:30-18:30

地点：武汉国际会议中心 二楼荆玉厅210

论坛议程：

四、论坛报告嘉宾简介

1. 报告人：方志军 教授

 题目：面向高端装备制造的工业具身智能技术

摘要：人工智能的范式正经历从感知智能、生成智能到具身智能的深刻演进，其核心特征是实现智能体与物理环境的主动、协同交互。将具身智能技术应用于航空航天等高端装备制造，拟通过构建多模态感知、智能决策、柔顺控制一体化的技术体系，旨在解决传统高端装备制造业的深层痛点，并逐步实现从“工具自动化”到“系统自主化”的制造范式变迁。为实现“智造中国”的国家战略提供关键技术支撑。

简介：方志军，东华大学信息与智能科学学院执行院长，上海交通大学工学博士，二级教授，美国华盛顿大学访问学者，复旦大学特聘教授，博士生导师，CCF/CSIG杰出会员，CAAI/IEEE/ACM高级会员。入选国家级人才、享受国务院政府特殊津贴、有突出贡献中青年专家，公安部第一批公安视频监控专业人才、江西省“赣鄱555工程”领军人才、江西省主要学科学术与技术带头人、首届“江西省青年科学家（井冈之星）”培养对象、江西省高校中青年学科带头人、江西省“十大IT”青年、上海市五一劳动奖章获得者等。主持科技创新2030-“新一代人工智能”重大项目、国家自然科学基金联合基金重点项目、国家自然科学基金面上项目、公安部应用创新计划项目等，获省部级以上科技成果奖5项，省部级以上教学成果奖2项，担任HHME、ISITC、ICMeCG等10余个国内、国际学术会议的组织委员会主席或共同主席。在IEEE TIP 、IEEE TSMC 等知名学术期刊上发表学术论文近百篇。参与组织了全国第一个5G校园建设，推动了数据智能、机器视觉等技术在航空航天等场景的应用落地，赋能行业、产业的数字化、智能化转型发展，产生了显著的经济和社会效益，相关成果在上海知识产权交易中心完成知识成果转化2700万元。

2. 报告人：徐凯 研究员

题目：生成式AI驱动的智能制造产线设计与开发

摘要：柔性制造是未来制造业的核心发展方向，也是推动智能制造落地的关键驱动力。针对柔性制造产线开发门槛高、工艺更新慢、动态排产难等挑战，本报告重点探讨生成式AI驱动的智能制造产线设计与开发新路径，并介绍我们全栈自研的智能产线开发平台——坤吾。坤吾平台构建了生产设备的软硬件全栈虚拟镜像，支持在虚拟环境中实现“所见即所得”的产线布局规划，以及“虚实无差别”的工艺编排调试，实现了产线控制软件的低代码开发和高柔性定制。为进一步提升智能化水平，研发了两大生成式AI大模型：一是基于Transformer架构的产线自动生成模型LineGen，能够从2D CAD图纸快速生成精细的3D产线场景；二是低代码生成大模型LoCoGen，依托大语言模型理解布局与工艺需求，自动生成可执行低代码程序，并支持仿真反馈迭代与自我纠错，中等复杂度的产线代码可直接部署使用。结合数字孪生与强化学习动态排产优化等技术，坤吾平台显著提升了产线设计、软件开发与系统迭代的效率与智能化程度。

简介：徐凯，中科院工业人工智能研究所研究员。曾任国防科技大学教授、普林斯顿大学访问学者、加拿大西蒙弗雷泽大学客座教授。研究方向为计算机图形学、三维视觉、具身智能、数字孪生等。在国际上较早开展了数据驱动三维感知、建模与交互工作，提出面向复杂场景的结构引导、机理增强的感知-建模-交互理论方法系统，并规模化应用于重工、船舶、汽车等智能制造领域。主持国家自然科学基金青年科学基金A类（原杰青）、B类（原优青）、重点项目等。发表TOG/TPAMI/TVCG/TIP等A类论文100余篇。连续多年入选全球前2%顶尖科学家榜单。担任图形领域顶级国际期刊ACM Transactions on Graphics、IEEE Transactions on Visualization and Computer Graphics的编委，Computational Visual Media的领域执行编委。多次担任领域内重要会议的大会主席和程序主席。担任中国图象图形学会智能图形专委会副主任、中国工业与应用数学学会几何设计与计算专委会副主任。曾获湖南省自然科学一等奖2项（排名1和3）、中国计算机学会自然科学一等奖2项（排名1和3）、军队科技进步二等奖、军队教学成果二等奖、中国电子学会青年科学家奖。

3. 报告人：陈翔 副教授

 题目：基于运动反馈的具身智能推理加速

摘要：当前具身智能领域的相关研究聚焦于VLA模型，以实现对复杂环境的高效感知与精准动作生成。然而，VLA模型存在显著技术瓶颈：其庞大的参数量与计算需求导致推理过程难以满足实时性要求，必须依赖专用的推理优化技术才能进一步适配实际场景。与之相对，传统运动控制方法虽具备响应速度快、实时性强的优势，但受限于对环境语义的理解能力薄弱，在复杂或动态变化的场景中泛化性较差。因此，探索如何将二者有机结合，同时发挥VLA模型的感知优势和传统运动控制的速度优势成为解决当前具身智能困境的核心问题。本次报告将围绕具身智能与传统运动控制的结合展开，介绍我们在具身模型编解码优化、融入传统运动控制的模型推理、具身模型异构部署等方面的研究进展。我们通过软硬件协同优化与系统级优化，力求突破现有具身模型的性能瓶颈，为下一代高能效具身应用提供计算支撑。

简介：陈翔，北京大学-计算机学院-预聘副教授，其于美国匹兹堡大学师从陈怡然教授2016年8月获得计算机工程专业博士学位。博士毕业后，即在美国乔治梅森大学的计算学部任教并获得终身教职。2024年起全职回国任教北京大学，入选国家级青年项目，并获“博雅青年学者”称号，华为“未名学者“称号，智源“青年学者”称号。并展开多项高性能人工智能计算相关工作，覆盖人工智能异构部署，具身模型推理优化，全模态大模型系统等。此外，陈翔教授曾获得美国国家科学基金会颁发的青年职业奖。并作为首席研究员，领导了共计6项美国国家自然基金NSF项目，并作为联合研究员参与1项空军研究实验室项目。作为第一作者或通讯作者发表论文40余篇，合作发表论文20余篇，均发表于计算系统设计自动化、人工智能系统等领域的国际顶级会议与期刊。其中关于边缘分布式大规模学习的工作获得DATE 2017最佳论文奖，DATE 2022 ICCAD 2016最佳论文提名；关于高能效边缘计算优化的工作获得MLSys 2023最佳论文奖，ASPDAC 2024 DATE 2020最佳论文提名。

4. 报告人：赵斌 副教授

题目：面向异构智能体的具身智能模型

摘要：生物智能是生命起源以来产生的思维和实体的综合，其进化过程不仅体现在思维方式的演进，还包括体型和四肢等实体结构的转变。人工智能是一门致力于模拟与扩展生物智能的前沿技术，数据驱动的思维认知离不开实体物理条件，同时也会促进硬件实体发展。本报告聚焦软硬协同的具身智能大模型前沿研究，重点介绍大模型驱动的人形机器人、机械臂、无人机等异构智能体，探讨面向不同智能体的“感知-决策-行动”多模态模型框架，致力于推动具身智能技术发展与应用落地。

简介：赵斌，西北工业大学光电与智能研究院副教授，副院长。从事大模型与具身智能研究，在国际期刊和会议发表学术论文 50 余篇，包括TPAMI/CVPR/ICCV/RSS/ICRA/CoRL等，国家发明专利 10 余项，PCT 国际专利 1 项。获中国科协青年托举人才工程、陕西省高校优秀青年人才，获国家自然科学基金面上/青年项目、军口国家级项目、陕西省特支项目等资助。相关成果应用于航空、航天任务中，公开技术被 Asia Times、South China Morning Post、The SUN、人民日报、新华网、科学网等国内外媒体广泛报道。

5. 报告人：阮乐成 研究员

题目：大模型时代，机器人操作为什么还这么难？

摘要：大模型的发展给机器人智能化带来了新的热潮。尤其是近几年自动驾驶技术的快速落地，更是增加了大家具身智能落地的信心。多种形式的数据采集纷纷涌现，以VLA为代表的具身智能大模型的训练与研发如火如荼，并取得了诸多进展。然而，虽然人形机器人跳舞或打拳已经不再稀奇，但稳定的抓取与操作却仍然面临着诸多挑战。相比于跳舞，机器人操作究竟难在哪里？相比于自动驾驶，机器人操作又有哪些不同的需求，面临什么不同的挑战？有哪些是我们可以尝试的方向？本次报告将针对这些问题，结合前期研究基础，探讨这些问题。

简介：阮乐成，博士，研究员。北京大学先进制造与机器人学院工业智能联合实验室执行主任。湖北人形机器人创新中心秘书长。长期从事人工智能与机器人的技术研究与产业落地工作。曾出任多个上市公司研究院院长与首席科学家等职务。于哈尔滨工业大学取得荣誉学士学位，美国加州大学洛杉矶分校取得博士学位，在Science Robotics，Nature Communications，T-RO等期刊会议发表高水平论文40余篇，参与多项国家标准制定。长期参与部委与地方政府咨询与评审工作，兼任多个基金与科技企业专家顾问。

6. 报告人：董震 副教授

题目：具身智能：神经符号融合初探

摘要：近年来，神经网络的迅速发展显著推动了具身智能的进步，尤其在人形机器人领域，智能体已能够完成多样且复杂的任务。然而，距离大规模实际应用仍存在显著鸿沟，其中一个关键原因在于缺乏类似互联网规模的多样化训练数据。相比之下，符号推理具备抽象概括、知识迁移与可解释性等优势，而神经网络擅长从感知中学习复杂模式。在此背景下，神经符号融合被视为推动具身智能走向成熟应用的关键路径。本报告将介绍我们在该方向上的探索性研究，包括程序化强化学习与神经符号融合的程序合成等工作，并探讨其在提升具身智能泛化性与实用性方面的潜力。

简介：董震，海德堡大学博士，复旦大学副教授，软件工程专业委员会执行委员、智能机器人专委执行委员。主持国家自然基金委面上基金、国家重点研发子课题，参与国家科技创新2030“新一代人工智能”重大项目课题，承担10余项企业合作项目。软件分析与测试、具身智能方向，在软件工程与人工智能领域ICSE、FSE、ASE、ISSTA、 NeurIPS、IJCAI、FM等国际会议发表30余篇学术论文，并获得ICSE‘20 杰出论文、ISSTA‘25杰出论文、AsiaCCS’21 最佳论文等多个奖项。同时，担任CCF-A类国际期刊、会议程序委员，并获得ASE’22杰出评审、TOSEM杰出评审，TOSEM制品杰出评审等称号。

 

五、论坛组织委员会简介

1. 论坛主席：方志军 教授

简介：方志军，东华大学信息与智能科学学院执行院长，上海交通大学工学博士，二级教授，美国华盛顿大学访问学者，复旦大学特聘教授，博士生导师，CCF/CSIG杰出会员，CAAI/IEEE/ACM高级会员。入选国家级人才、享受国务院政府特殊津贴、有突出贡献中青年专家，公安部第一批公安视频监控专业人才、江西省“赣鄱555工程”领军人才、江西省主要学科学术与技术带头人、首届“江西省青年科学家（井冈之星）”培养对象、江西省高校中青年学科带头人、江西省“十大IT”青年、上海市五一劳动奖章获得者等。主持科技创新2030-“新一代人工智能”重大项目、国家自然科学基金联合基金重点项目、国家自然科学基金面上项目、公安部应用创新计划项目等，获省部级以上科技成果奖5项，省部级以上教学成果奖2项，担任HHME、ISITC、ICMeCG等10余个国内、国际学术会议的组织委员会主席或共同主席。在IEEE TIP 、IEEE TSMC 等知名学术期刊上发表学术论文近百篇。参与组织了全国第一个5G校园建设，推动了数据智能、机器视觉等技术在航空航天等场景的应用落地，赋能行业、产业的数字化、智能化转型发展，产生了显著的经济和社会效益，相关成果在上海知识产权交易中心完成知识成果转化2700万元。

2. 论坛主席：董震 副教授

简介：董震，复旦大学副教授，海德堡大学博士，主要研究软件可靠性，聚焦于机器人程序合成、智能CPS系统测试、基础软件测试。研究受国家自然基金委面上项目、国家重点研发子课题，国家科技创新2030“新一代人工智能”重大项目课题，华为胡杨林软工专项基金等项目支持。在软件工程会议ICSE、FSE、ASE、ISSTA、FM、NeurIPS、IJCAI等国际会议发表30余篇学术论文，并获得ICSE'20 杰出论文、AsiaCCS’21 最佳论文(1/370)等多个奖项。同时，担任多个国际期刊审稿人及国际会议程序委员会成员，并获得ASE’22杰出评审、TOSEM杰出评审，TOSEM治品评估杰出评审等称号。

3. 论坛主席：陈翔 副教授

简介：陈翔，2016年8月获得美国匹兹堡大学的计算机工程专业博士学位。博士毕业后，即在美国乔治梅森大学的计算学部任教并获得终身教职。2024年陈翔回国全职加入北京大学计算机学院，入选国家级青年项目计划并获得博雅青年学者称号，在网络与高能效研究所继续相关领域的研究和教学工作。陈翔的主要研究方向为计算系统设计自动化（包括软硬件结合优化、AI 加速系统和体系结构设计、边缘与移动计算等）和人工智能（包括深度学习算法、可信 AI 计算等）。

4. 论坛主席：万燕 教授

简介：东华大学计算机科学与技术学院教授，上海交通大学工学博士，美国德州大学奥斯汀分校博士后，长期致力于机器学习、人工智能、图像处理与模式识别等领域的研究，先后主持和参与了国家自然科学基金、教育部科学技术研究重点项目、高等学校全国优秀博士学位论文作者专项资金等课题。现为中国计算机学会（CCF）软件工程专委会委员，CCF系统软件专委会委员，中国自动化学会网络计算专业委员会委员。