CCF ChinaSoft 2023 论坛巡礼 | 泛在计算时代的操作系统论坛

2023年CCF中国软件大会（CCF ChinaSoft 2023）由CCF主办，CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办，将于2023年12月1-3日在上海国际会议中心举行。

本次大会主题是“智能化软件创新推动数字经济与社会发展”，学术、工业、教育、竞赛等分论坛活动40余场，期待您的参与！

目前大会火热报名中！早鸟注册（early-bird registration）10月22日截止，提前注册付费锁定注册费优惠权益。

CCF ChinaSoft 2023官方首页：

http://chinasoft.ccf.org.cn/

点击文末“阅读原文”或扫描下方二维码进入官方注册通道:

https://conf.ccf.org.cn/chinasoft2023

✦  +

+

论坛巡礼

论坛名称：泛在计算时代的操作系统论坛

时间: 2023年12月1日 14:00-17:30

地点: 上海国际会议中心，3A会议室

论坛简介：

     本论坛针对泛在计算时代的新特征，围绕泛在计算时代对操作系统提出的新挑战和需求，研讨软件定义的泛在操作系统面临的技术挑战，介绍国内最新研究进展和未来发展方向。

日程安排

Schedule

论坛主席

Forum Chairmen

 

李宣东

南京大学

    南京大学教授，兼任中国计算机学会软件工程专业委员会主任、国务院学科评议组成员（软件工程）；教学和研究工作主要涉及软件工程、系统软件、可信软件、形式化方法等领域。

 

郭耀

北京大学

    北京大学计算机学院教授、副院长。2021年起，担任“101计划”工作组秘书长和课程建设组负责人。主要研究方向包括操作系统、移动计算、隐私保护与系统安全等。

论坛嘉宾

Forum Guests

 

方志军

东华大学

上海交通大学工学博士，二级教授，博士生导师，美国华盛顿大学访问学者，复旦大学眼耳鼻喉科医院特聘教授，入选国家级人才，先后获上海市五一劳动奖章、中国产学研合作创新奖等。东华大学计算机学院院长，上海工程技术大学人工智能产业研究院院长，上海市数据智能技术及其应用协同创新中心主任。近年来，在 IEEE TIP 、IEEE TSMC 等知名学术期刊上发表学术论文近百篇。先后主持科技创新2030-“新一代人工智能”重大项目、国家自然科学基金联合基金重点项目、公安部应用创新计划等项目，多项教学、科研成果获省部级以上奖励，担任HHME、ISITC、ICMeCG等10余个国内、国际学术会议的组织委员会主席或共同主席。

报告题目：

面向泛在制造的工业知识构建与推理决策技术

报告摘要：

    泛在计算为制造业数字化转型提供了新的思路，智能制造则为泛在计算的验证与示范提供了良好的应用场景。针对智能制造异构多源数据管理难题，构建面向智能制造的泛在操作系统，对泛在互联的人、机、物进行全面感知，实时数据采集与知识抽取，研究工业领域知识自动构建与推理决策技术，并在飞机制造、汽车制造、中药制造等领域的研发设计、生产制造、工艺和质量优化、产品质量溯源等典型业务环节应用实践，助力制造业提质增效。

 

王斌

达闼机器人有限公司

达闼机器人有限公司产品副总裁，计算机软件硕士，MBA。研究领域包括：云端机器人操作系统、人形机器人关键技术、机器人应用开发和生态建设，拥有多项云端机器人技术的专利和著作权。曾任中国CERNET IPv6骨干网建设专家组副组长，软件开发环境国家重点实验室研究员，主持参与北京奥运城市动态交通项目获得国家科技进步二等奖。

报告题目：

机器人泛在操作系统与RobotGPT应用

报告摘要：

    为了使机器人具备类人的智能感知、认知、决策与行为能力，逐步达到通用人工智能的水平，我们构建了基于“云-网-端”分布式智能计算协同的HARIX海睿云端机器人体系架构，其核心是海睿操作系统HARIX OS。HARIX OS是面向机器人领域的泛在操作系统，采用数字孪生机器人元宇宙实现机器人的虚实同步，低成本、高效率的智能训练、持续闭环学习和智能进化。机器人应用开发者可以通过HARIX OS平台和开发者社区，在机器人大模型RobotGPT的支持下，开发各种机器人的技能和应用，形成可持续发展的云端机器人生态。

 

李宣东

南京大学

   南京大学教授，兼任中国计算机学会软件工程专业委员会主任、国务院学科评议组成员（软件工程）；教学和研究工作主要涉及软件工程、系统软件、可信软件、形式化方法等领域。

报告题目：

软件定义的泛在操作系统与环境

报告摘要：

    国家重点研发计划项目“软件定义的泛在操作系统与环境”面向人机物融合应用场景，从“系统之系统、自底向上抽象”的视角破解多元化应用场景和泛在化异构资源带来的复杂性难题，基于汇聚异构软硬件资源系统的场景计算机，支撑高效、高质量、低成本地开发、运行和演化人机物融合应用软件系统。本报告简要介绍该项目的当前研究进展。

 

蒋炎岩

南京大学

   南京大学计算机科学与技术系新体制副教授。研究兴趣包括软件系统分析测试和软件自动化，在操作系统和软件工程顶级会议发表论文十余篇、担任多个重要会议的程序委员会委员，获NASAC青年软件创新奖、CCF优秀博士论文奖、SOSP’23 Best Paper Award、ICSE’21 ACM Europe Council Best Paper Award等荣誉或奖励。蒋炎岩执教了广受欢迎的《操作系统》课程，互联网播放超300百万次，多次获评“毕业生心目中的好课程”。蒋炎岩十多年来一直服务于江苏省青少年信息学奥林匹克竞赛委员会的命题和技术工作，他也是APIO2022、APIO2023的Technical Committee成员。

报告题目：

基于场景计算机的泛在操作系统元级化理论与方法

报告摘要：

    构建人-机-物统一融合泛在操作系统的关键挑战在于如何管理已有软硬件系统中间件平台、业务逻辑代码、人工智能模型等传统与非传统软件部件。本次报告将阐述我们面向人工智能应用、无人机群系统、电信业务系统调研后形成的人机物融合泛在数据“whom-when-where-what”的基础抽象，以及如何在此抽象上构建人机物融合新应用。

 

郭耀

北京大学

   北京大学计算机学院教授、副院长。主要研究方向包括操作系统、移动计算、隐私保护与系统安全等。2021年起，担任“101计划”工作组秘书长和课程建设组负责人。曾获ISSTA 2023杰出论文奖、WWW 2020最佳学生论文奖、UbiComp 2016最佳论文提名奖、国家技术发明一等奖、电子学会技术发明特等奖、教育部科技进步一等奖、北京市教学成果一等奖等。

报告题目：

面向工业物联场景的泛在操作系统构造与应用

报告摘要：

    本报告围绕面向智能制造等工业物联领域典型泛在计算场景，针对工业物联网感知全面化、连接泛在化、通信多样化、认知实时化、控制柔性化、终端智能化、计算边缘化等发展趋势，介绍面向工业物联场景的泛在操作系统相关的研究计划与初步研究成果。具体内容包括：面向工业物联应用场景的泛在系统软件按需构造技术，面向工业物联应用场景的泛在操作系统结构设计，面向工业物联应用场景的应用示范等。

 

沈立炜

复旦大学

   博士，复旦大学计算机科学技术学院副教授。主要研究方向为人机物融合系统软件，泛在计算与泛在操作系统、机器人软件工程技术等。现承担一项国家重点研发计划课题，并作为技术骨干参与多项国家重点研发计划项目、国家自然科学基金项目的研究工作。至今在国内外高水平期刊和会议上（包括TSC、SCIS、ISSTA、ICSME、软件学报）发表三十余篇相关研究论文。

报告题目：

面向智慧城市场景的泛在资源管理与协同

报告摘要：

    智慧城市是人机物深度融合的典型场景，为此需要研制并部署相应的泛在操作系统以支持不同区域范围与类型的空间环境中异构人机物资源的接入，实现多样化的人机物融合应用的构造与可靠执行。本次报告将介绍面向智慧城市场景泛在操作系统的整体架构，并针对具有分级分区部署特点的泛在资源在管理与协同邓方面的挑战，重点介绍涵盖人机物资源抽象与管理、云边融合任务调度与协同的技术方案。

 

高丰

之江实验室

   博士，之江实验室智能计算研究院研究员，之江实验室博士后指导委员会委员，中国计算机学会（CCF）区块链专委会委员，浙江省智慧城市促进会科技智库专家。长期从事分布式智能、边缘计算、计算机体系结构等技术的研究。主持多项国家科技部重点研发项目和国家自然基金区域集成创新重大项目，获得了端边云操作系统协同计算、复杂作业分解与指派等方向多项原创性研究成果，获国际国内专利十余项，获军队科研成果一等奖3项、二等奖2项、三等奖1项，获军队三等功一次。

报告题目：

面向泛在场景的智能计算关键技术探索

报告摘要：

    智能计算是一种“计算密集、数据驱动、基于模型”的新型计算形态，而泛在场景通常算力密度低、只能提供局部原始数据等。大模型的出现使得面向泛在场景提供即时智能服务成为一种迫切的需求，报告从泛在计算和智能计算相结合的维度，介绍了模型训练中局部规约与整体规约分级训练的方法，并结合未来工厂中的智能计算实现优化应用。

 

战茅

麒麟软件有限公司

   麒麟软件有限公司科技项目专家，副研究员。长期从事软件工程、软件测评、标准制定等方面的工作，作为课题负责人主持/参与：核高基国家科技重大专项3项、“863计划”课题、部委级科技预研项目、型号项目等研制；主持国军标1项、团标2项、地标2项的撰写；获得省部级科技进步一等奖1项，二等奖4项，三等奖4项；授权专利十余项。

报告题目：

泛在操作系统规范标准与开源社区生态建设

报告摘要：

    针对共性概念和技术要求形成的统一标准规范，将对泛在操作系统技术和产业发展起到基础性、支撑性、引领性的良性促进作用。本报告将根据前期研究成果，重点介绍泛在操作系统标准体系的构建，探讨通过分层构建、实例化和抽象层的双向互动方式，形成涵盖基础架构、开发支撑、行业应用的泛在操作系统标准规范。针对泛在操作系统在版本构建平台和社区运营推广平台等方面的迫切需求，对开源社区平台构建技术和开源社区体系建设进行研究，解决开源社区构建和治理过程中的各项问题，建设具有较强影响力的操作系统开源社区，建立泛在操作系统开源社区生态。