CCF@U1134：CCF嵌入式专委走进新疆师范高等专科学校

CCF走进高校第1134场

敬请关注

由中国计算机学会（CCF）主办，CCF嵌入式专委、新疆师范高等专科学校承办的CCF走进高校活动，将于2024年10月11日在新疆师范高等专科学校召开，敬请关注。

时间：2024年10月11日（周五）10:30--13:30

地点：新疆师范高等专科学校（亚心校区）润德楼320室

活动日程：

报告信息：

报告题目：中国计算机学会（CCF）及CCF嵌入式系统专委介绍

报告摘要：本报告将系统介绍中国计算机学会（CCF）的整体架构、历史沿革及其在推动我国计算机及信息技术发展的核心职能；作为中国最具影响力的计算机领域专业组织之一，CCF在学术研究、行业标准制定、人才培养等方面发挥着举足轻重的作用。此外，本报告将阐述CCF嵌入式系统专委成立背景及使命，涵盖该专委在嵌入式系统设计、嵌入式软件开发、物联网、边缘计算等领域的主要研究方向及技术前沿，了解专委在推进嵌入式系统技术落地应用、促进产业发展、培养新一代嵌入式系统人才方面所取得的成就与未来发展方向。

报告嘉宾：

谢国琪，湖南大学教授、博士生导师，从事嵌入式计算基础理论、平台技术与应用系统研究，现任信息科学与工程学院院长助理、嵌入式与网络计算湖南省重点实验室主任、中国计算机学会（CCF）嵌入式系统专委秘书长、国家级青年人才计划获得者、湖南省杰出青年基金获得者；获华为欧拉开源贡献精英教师奖、入选全球前2%顶尖科学家（终身科学影响力）榜单，担任JSA、JCSC及MICPRO 3本嵌入式领域SCI期刊编委。近五年以第一或通信作者发表CCF A类及ESI高被引论文30多篇、出版专著2本、主持企业项目20多项，主持研制了原创型嵌入式实时虚拟机管理平台ZVM、CAN-TSN实时通信平台、国产“五合一”AI计算平台，汽车软件可视化辅助开发系统、汽车软件架构自动化开发系统、车端V2X场景验证系统，均应用于合作企业的工业实际。

报告题目：嵌入式系统的低能耗软件设计方法

报告摘要：在目前全球ICT领域倡导“低碳节能”的背景下，嵌入式系统的多样化功能、高性能应用和可用性服务等要求对低能耗研究提出新的挑战。因此，本项目以嵌入式系统的低能耗为目标，从静态设计和动态设计两方面，探索能量优先的任务运行模式、系统资源的自适应软件节能配置策略、高效可定制化的软件体系结构、能量感知的编程模式和低能耗软件的演化与控制等关键技术，建立低能耗软件的设计理论和方法体系，实现嵌入式系统能量资源的最优应用适应性分配与使用，有效提高系统的能效比。

报告嘉宾：

郭兵，二级教授，博士生导师，四川大学计算机学院副院长，国家重点研发计划和NSFC重点项目首席科学家（负责人），IET Fellow，中国计算机学会（CCF）理事、CCF嵌入式系统专委会主任，四川省学术和技术带头人，主要研究方向包括嵌入式智能系统、边缘计算、工业软件、大数据管理与共享等。

报告题目：智能信-物融合系统设计自动化

报告摘要：信物融合系统简称CPS，是一种通过嵌入式软硬件与物联网对物理世界实施精确智能“感、执、传、控”的系统。随着涉及的设备与场景越来越多，智能CPS系统的构造复杂度与成本呈指数级增长。为了缓解这一问题，越来越多的智能CPS系统采用云-端相结合的架构，支持数字孪生与多场景协同，实现面向信物融合的协同控制与优化。由于缺乏设计自动化方法与工具，目前智能CPS系统设计仍存在以下问题与挑战。一是设备与场景的强异构，物理属性强时空，模型难以统一构造；模型语义差异大，场景难以实现融合。二是云-端架构难协同，运行环境不确定，难以开展评估确认；异构设备难兼容，难以协同反馈控制。三是控制效果难优化，时空演化强动态，难以实现自主适应；同时智能控制能力弱，难以实现智能协同。围绕这三个问题，本次报告将介绍本人研究团队近期的一些工作与进展。

报告嘉宾：

陈铭松，华东师范大学教授、博导，软硬件协同设计与应用技术教育部工程研究中心主任，入选国家重大人才计划青年项目。主要研究方向为可信智能软硬件协同设计、智慧城市与物联网、信息物理系统设计自动化。在领域权威会议与期刊上发表论文近200篇，出版英文专著2部、中文教材2部，相关成果获得上海市科技进步特等奖（排名第三）、上海市研究生优秀教学成果二等奖（排名第一）、中国计算机学会NASAC青年软件创新奖、上海计算机学会青年科技英才奖。主持过国家重点研发计划重点专项项目、自然基金委重大研究计划重点项目在内的省部级以上项目多项。目前担任CCF嵌入式专委会副主任。

报告题目：软件定义（群）智能系统：体系与技术

报告摘要：空天地海领域装备的群化协同新发展，迫切需要新型的计算体系与技术。基于新型异构计算体系，将如何基于软件定义来设计弹性、开放的计算体系，以及相关的资源虚拟化、任务微服务、开放式连接、可信管理机制等进行讨论，以支撑实现群智能系统功能、性能的软件可定义。进而，结合无人机集群、嵌入式可信等三个科研案例进行展示和讨论。

报告嘉宾：

张凯龙，博士、博士后（法国），西北工业大学软件学院教授、博士生导师，西北工业大学-巴黎高科MINES机器人与群智能系统联合实验室主任，陕西省计算机教育学会常务理事，中国计算机学会杰出会员、嵌入式系统专委副主任，第二届中国嵌入式系统十大杰出青年、法中科学与应用基金会“卡恩·冈“奖获得者。近年来，主要研究实时/智能/可信嵌入式系、协作式智能交通系统、空天地海群智能协同系统等，主持国家自然科学基金项目、省部级重大科技计划项目等多项。在IEEE Transactions on ITS等领域顶刊、IEEE ITSC等领域旗舰会议发表学术论文60余篇，获发明专利、著作权等30余项，出版嵌入式类专业书籍7部，获陕西省科技进步一等奖、国防科技进步三等奖等。

报告题目：边缘智能：前沿与进展

报告摘要：边缘计算与人工智能的结合催生了边缘智能，它融合了网络、计算、存储、应用核心能力的新兴技术，通过将智能算法部署在更贴近用户的边缘设备，能够更高效地为用户提供高质量和隐私保护的智能服务。相比云端人工智能计算与处理模式，边缘智能具备低功耗性、低时延性、高隐私安全性和贴近用户等优势。边缘智能近年来已成为了学术界与企业界的研究热点。本报告将聚焦边缘智能的前沿与进展，并介绍我们在边缘智能及其协同技术的一些初步探索。

报告嘉宾：

周俊龙，南京理工大学计算机科学与工程学院副教授，博导，院长助理，分布式计算与体系结构研究所副所长，CCF嵌入式系统专委会副秘书长/常委，研究方向为嵌入式系统、边缘智能、联邦学习等，在CCF A类和IEEE/ACM Transactions期刊和会议发表论文40余篇，主持国家和省部级科研项目10余项，获江苏省青蓝人才工程、江苏省优青、江苏省计算机学会青年科技奖、上海市计算机学会优博等奖励，多次获得国际会议最佳论文奖，连续四年入选斯坦福大学发布的“全球前2%顶尖科学家”榜单。

CCF微信公众号，欢迎关注