2024年度“CCF科技成果奖”评选结果公告
“CCF科技成果奖”授予在计算机科学、技术或工程领域具有重要发现、发明、原始创新,在相关领域有一定国际影响的优秀成果。
本年度共收到推荐/申报项目89个,经过评选,CCF奖励委员会决定授予“物联网可扩展性理论与方法”项目、“互联网TCP/IP核心协议族漏洞高效发现与实时防御关键技术”项目、“云原生三层解耦 Serverless 数据库关键技术与应用”项目等38个项目2024年度CCF科技成果奖。
特此公告。
中国计算机学会
2024年9月28日
============================
附:2024年度“CCF科技成果奖”获奖项目名单
自然科学一等奖(3个)
项目名称:物联网可扩展性理论与方法
完成单位:清华大学、中国科学技术大学、南京邮电大学
主要完成人:刘云浩、李向阳、王继良、肖甫、杨铮
项目针对物联网规模难以扩展的难题,突破了传统模型的物联网设计局限,在路由组网、感知效用和管理控制三个维度的可扩展性领域取得重要发现,提出并构建了基于弱状态传感的物联网可扩展性理论,在油田、城市、森林等场景取得显著应用效果。
项目名称:大规模三维几何数据的学习、理解与生成理论与方法
完成单位:中国人民解放军国防科技大学、中国人民解放军军事科学院、山东大学
主要完成人:徐凯、郭裕兰、朱晨阳、胡庆拥、李曼祎、张皓
项目揭示了三维数据几何-结构-语义的耦合规律和关联机理,取得了几何-结构耦合的鲁棒高效表征学习、层次结构聚合的大规模细粒度语义理解、结构流形约束的保结构内容生成三方面的理论和方法突破,落地应用于数字孪生、智能制造等领域。
项目名称:不确定性知识的多粒度表示与发现理论与方法
完成单位:重庆邮电大学、重庆师范大学
主要完成人:王国胤,于洪,夏书银,张清华,肖斌,李伟生
项目从精确计算和非精确计算这两条互补的学术思路,研究不确定性知识的表示与发现等基础理论问题,建立了不确定性知识的多粒度表示与发现理论模型与技术方法,项目成果被用于国家网络空间安全等应用任务,成效显著。
自然科学二等奖(5个)
项目名称:并发进程的互模拟语义理论
完成单位:华东师范大学
主要完成人:邓玉欣
本项目在经典并发理论和概率并发理论的形式化语义研究方面取得突破,为有限CCS 进程提出了统一五种弱同余关系公理化的方法,证明了有限概率标号迁移系统上测试语义与模拟语义的一致性,从度量、逻辑和算法等角度刻画了概率进程的互模拟关系。
项目名称:图神经网络的内在机理及其应用研究
完成单位:香港理工大学、大连理工大学
主要完成人:吴晓明、张晓彤、刘晗、李其迈
本项目揭示了图神经网络中图卷积的本质是拉普拉斯平滑,具有低通滤波作用,证明了过多的卷积层数会导致特征过度平滑,为后续研究发挥图神经网络的潜力和规避风险提供了理论指导,并利于设计符合具体应用场景的新型图神经网络算法。
项目名称:动态可引导的视觉内容生成与增强
完成单位:大连理工大学、感知阶跃(深圳)数字科技有限公司
主要完成人:贾旭、马里千、卢湖川
项目提出了基于动态模型的视觉内容生成理论,构建了基于条件引导的跨域生成模型与方法,以及基于自引导的视觉内容增强模型与方法,对重塑数字内容的生产和使用方式具有重要指导意义。
项目名称:复杂情境自适应群智协同感知计算理论与方法
完成单位:西北工业大学、暨南大学
主要完成人:郭斌、於志文、刘思聪、王柱、李哲涛、刘琰
本项目提出了多维群体情境统一模型与自然启发的群智协同涌现机理,发展了情境自适群智协作感知分布协同群智高效计算方法,实现了群智体任务情境与感算模型的协同优化,在城市精细治理、公共安全监测、军事智能增强等领域已开展了应用示范。
项目名称:面向天河超算的并行程序代码生成和优化方法
完成单位:国防科技大学、中国石油大学(北京)
主要完成人:方建滨、董德尊、张鹏、苏醒、杨希、刘伟峰
本项目提出了面向超算系统的自调优并行编程方法、全谱域稠密矩阵算子优化方法以及普适分块的稀疏矩阵算子优化方法,成功应用于天河超算系统,保障了新型深度学习和传统科学计算应用的高效稳定运行。
自然科学三等奖(2个)
项目名称:时空数据挖掘基础理论和方法
完成单位:京东科技控股股份有限公司、重庆大学
主要完成人:郑宇、张钧波、鲍捷、易修文、李瑞远
本项目通过构建时空数据基础模型,提出了基于紧凑存储范式的时空数据管理方法,有效提升时空数据的存储空间利用率。提出面向时空数据的机器学习框架和深度学习模型,通过时空数据分析任务的分类,提出有针对性的分析算法,提升模型效率和推理准确率并减少计算资源,在人流量、交通和环境检测等预测任务上取得成功应用。
项目名称:语言模型推理能力评测与基准构建
完成单位:西湖大学
主要完成人:张岳、王存翔、崔乐阳、刘健、刘汉蒙
本项目围绕预训练模型的知识运用能力评价问题,构建逻辑推理和常识推理等的能力评测基准,实现模型推理能力和人类推理能力差距的定量衡量,提出的评测基准获得业界的关注,成为模型推理能力评测的代表性工作。
技术发明一等奖(3个)
项目名称:互联网TCP/IP核心协议族漏洞高效发现与实时防御关键技术
完成单位:清华大学、北京科技大学、三六零数字安全科技集团有限公司
主要完成人:李琦、徐明伟、徐恪、张晓丽、龚广
本项目针对互联网TCP/IP 核心协议漏洞异构多样与漏洞准确发现的矛盾,突破了互联网TCP/IP 核心协议族交互式漏洞高效发现、漏洞利用流量实时鲁棒检测、跨异构设备和系统的漏洞热修复等核心关键技术,研制了高效灵活实时的漏洞发现防御系统,获得近百个CVE/CNVD 漏洞编号,在多个互联网公司、设备厂商和云厂商得到应用。
项目名称:安全可控高性能区块链基础平台
完成单位:清华大学、深圳前海微众银行股份有限公司
主要完成人:姜宇、李辉忠、马福辰、石翔、陈元亮、白兴强
本项目针对区块链性能和安全问题,研制了安全可控高性能区块链基础平台;通过区块流水线技术、状态感知技术、安全加固机制,显著提升交易吞吐率、测试效率和危险交易阻断成功率;项目成果用于深港跨境数据验证等300个行业应用,产生了重要的社会和经济效益。
项目名称:面向大规模互联网服务的协同传输关键技术及应用
完成单位:中国科学院计算技术研究所、淘宝(中国)软件有限公司、中国科学院计算机网络信息中心
主要完成人:李振宇、谢高岗、刘彦梅、武庆华、郭虹宇、张广兴
本项目面向大规模互联网服务,研制了应用协同决策、传输协同控制、网络协同加速技术,突破了传统单点分层传输优化技术的性能瓶颈,从应用、传输和网络三个层次构建了新一代互联网传输协议,实现了低时延互联网传输系统和可编程虚拟路由器系统,在多个大规模互联网系统部署应用,支撑了国家重大科技基础设施建设。
技术发明二等奖(3个)
项目名称:面向集成电路与显示面板设计的RC提取技术与应用
完成单位:清华大学、北京华大九天科技股份有限公司
主要完成人:喻文健、陆涛涛、魏洪川、刘伟平、王泽毅
本项目针对集成电路与显示面板设计的电阻(R)电容(C)提取挑战,突破了边界元电容求解器、随机行走电容求解器、以及全芯片 R C 提取与分析等核心关键技术,研制了具有自主知识产权、针对不同用户需求的RC提取系列工具,在晶圆代工厂、显示面板与终端设备公司、IC设计公司得到应用,取得了良好的社会与经济效益。
项目名称:软件定义的工业物联网关键技术及平台
完成单位:福州大学、爱普(福建)科技有限公司、中海创科技(福建)集团有限公司
主要完成人:陈星、郑松、陈哲毅、徐哲壮、郭文忠、刘朝儒
本项目针对工业物联网系统建设中面临的通讯协议异构性、生产系统多样性和计算节点分散性等问题,研发了软件定义的工业物联网关键技术及平台。该项目广泛应用于6个国家、22个省市、12个行业,47家服务企业,近三年销售收入1.28亿元,为我国制造业数字化转型做出贡献。
项目名称:基于多模态气象遥感数据的灾害天气智能解译关键技术
完成单位:浙江工业大学、南京信息工程大学、航天宏图信息技术股份有限公司
主要完成人:张敬林、白琮、宋毅、郑钰辉、陈胜勇、王宇翔
本项目针对目前灾害性天气的样本和标签缺失以及时空敏感性、短时和局地性等问题,突破了非均衡样本下气象卫星图像分类、递归门控注意力超分辨率模型以及多模态台风短时预测等核心关键技术。该项目研制了具有自主知识产权的基于遥感影像关键技术的智慧气象应用系统,成果在国家气候中心、山东省电力公司以及多家上市公司得到应用,近三年在自然灾害防治方面为山东省各地市区减少财产损失近百亿元。
科技进步一等奖(2个)
项目名称:云原生三层解耦 Serverless 数据库关键技术与应用
完成单位:阿里云计算有限公司
主要完成人:李飞飞、杨辛军、章颖强、王远、胡庆达、陈宗志
本项目在提出并实现了计算、内存、存储三层解耦的新一代云原生数据库架构,突破了云原生数据库分布式共享内存池、多主多写计算池、Serverless 智能调度等关键技术,在电信、金融、政务等重点行业核心业务系统中规模化应用。
项目名称:通感算融合的无人系统智能协同技术及应用平台
完成单位:中国科学院计算技术研究所、中电信数智科技有限公司、北京邮电大学
主要完成人:刘敏、赵东、余音、王煜炜、孙胜、李红平
本项目针对无人系统智能协同所面临的通信不确定、感知精度弱、计算低时效和智能非内生等挑战,在强自主智能通信、多模态精准感知、高时效协同计算等核心技术方面取得了突破性进展,主导制订了多项国际标准。项目成果应用于三大运营商和十余家相关企业,在全国二十余个省市涉及电信、环境、制造等多个民生领域落地实施并进行规模化应用,取得了良好的经济和社会效益。
科技进步二等奖(5个)
项目名称:面向数字普惠金融安全的复杂行为建模关键技术及应用
完成单位:中国科学院计算技术研究所、蚂蚁集团
主要完成人:敖翔、王维强、冯景华、傅幸、柳阳、何清
本项目针对全量用户长周期建模、高风险用户灵敏检测和欺诈用户隐蔽意图挖掘,突破了领域知识引导的长序列特征建模、拓扑动态平衡的图网络消息传递、隐蔽意图挖掘的对抗攻击防御等关键技术,并在数字普惠金融服务中规模化应用,取得了良好的社会经济效益。
项目名称:面向国产操作系统的蒙古文智能信息处理技术研究及应用
完成单位:国防科技大学、内蒙古大学、麒麟软件有限公司
主要完成人:余杰、飞龙、马俊、张晖、李琢、李剑峰
本项目针对蒙古文国产操作系统研发需求,提出了多层次自适应多语言翻译构建方法,设计了只能输入和竖排编辑蒙古文文字处理技术,实现了基于端对端架构的蒙古语语音识别和合成算法,研发了基于语义对齐的民族大预言模型构建技术,在多省区的新创工程中得到了批量应用,取得了良好的社会经济效益。
项目名称:数据重删关键技术及应用
完成单位:厦门大学、杭州海康威视数字技术股份有限公司、中山大学
主要完成人:毛波、汪渭春、吴素贞、王伟、付印金、张一鸣
项目针对当前闪存系统读性能低、资源开销大、可靠性差等问题,提出了读性能感知的数据布局和缓存方法、轻量级数据冗余识别和分块技术、高可靠的文件校验和数据恢复算法。基于项目成果研发的云计算、云存储和智能终端等产品在多个省市开展了规模化应用,取得了良好的社会经济效益。
项目名称:支持即时构造与动态演化的两段式软件自动构造技术及应用
完成单位:浪潮通用软件有限公司、南京大学、上海交通大学
主要完成人:郑伟波、王林章、戴文斌、周祥国、卜磊
项目针对智能制造广义离散随机系统的不确定性、大规模交互式程序网络的自适应、形式化方法的状态空间爆炸等关键科学问题,提出了支持即时构建和动态演化的两段式软件自动构建技术,突破了代码自动生成、服务柔性组装与形式化验证等关键技术,研制了面向智能制造的软件自动构建平台,并在智能制造领域的多家大型企业得到了规模化应用,显著提升了软件开发效率,取得了良好的社会经济效益。
项目名称:装备软件智能测试关键技术及其应用
完成单位:航天中认软件测评科技(北京)有限责任公司、西北工业大学
主要完成人:赵国亮、董云卫、赵琪、穆培培、张点、沈博
本项目围绕装备嵌入式软件特点与测试需求,开展了装备软件智能分析理论方法、智能测试核心技术创新研究,构建“以装备应用为牵引,以智能方法为核心,以场景构建为支撑”的装备软件智能分析测试综合服务平台,开展了多个重要领域的装备软件分析与测试工程实践,为装备软件质量的持续改进提供了新思路和新途径。
科技进步三等奖(15个)
项目名称:基于眼底影像的眼病人工智能辅助诊断技术与系统
完成单位:中国人民大学、北京协和医院、北京致远慧图公司
主要完成人:李锡荣、杨刚、陈有信、于伟泓、魏奇杰、丁大勇
项目针对基于眼底影像的眼病辅助诊断问题,在半监督深度学习、知识嵌入模型设计、模型决策可视化、无监督域扩张等关键技术开展攻关研究,建立了中国首个高质量、以临床为基础、涵盖多种应用场景的DR眼底彩照AI标准数据库,以该成果为核心的多个眼底辅助诊断系统获得了国家监管机构和行业认可,相关系统已规模化商用部署,对于AI赋能医疗,加快形成新质生产力,提前发现和诊断多种致盲性眼底疾病,有效减少医疗开销,具有积极的示范作用。
项目名称:面向电力端侧AIOT 的超轻量级人工智能芯片
完成单位:杭州万高科技股份有限公司、浙江大学
主要完成人:谭年熊、唐中、门长有、黄科杰、虞小鹏、孙全
项目针对工业视觉领域中电力视觉的特殊应用需求,进行电力数字视觉安全体系设计,研制基于智能视觉一体化 SoC 芯片的终端,搭建适配电力数字视觉安全体系的样机系统,并在输电线通道可视化、变电站远程智能巡视、配电站房监控、智慧基建、智慧后勤多个领域实现量产应用。
项目名称:基于人工智能的电力物联网端到端全场景安全防护体系及应用
完成单位:北京邮电大学、北京科东电力控制系统有限责任公司、国网山东省电力公司电力科学研究院
主要完成人:芦效峰、尚学伟、王文婷、周献飞、高鹏、粱花
本项目针对传统的安全防护体系难以应对海量异构电力物联网终端安全威胁,基于人工智能,开展电力物联网的端对端典型场景的路径攻击、知识图谱、终端风险、态势感知研究,从设备、数据、通信、安全模型与安全策略等多个层面,构建面向电力物联网的端到端安全防护体系,并在国网多个供电分公司约420个变电站应用,提升了发输变配用调等各环节业务系统的安全防护能力及电力行业网络与信息安全专业化服务水平。
项目名称:天翼分布式云操作系统关键技术研发及规模应用
完成单位:天翼云科技有限公司
主要完成人:胡志强、广小明、杨鑫、余斌、张翼、胡西宁
本项目围绕分布式算力网络的关键技术,研制了全面支持国产硬件的大规模分布式云操作系统,支持多区域多AZ布局以及云网一体化调度。项目成果在全国规模落地应用,打造了政务、金融、工业、互联网等行业的众多标杆客户,合同金额超20亿元,获得了显著的社会经济效益,全面支撑了关系国计民生的重点行业数字化转型。
项目名称:广域分布式算力网络技术和规模化应用
完成单位:天津大学、中移动信息技术有限公司、亚信科技(中国)有限公司
主要完成人:王晓飞、陈国、仇超、白国涛、欧阳晔、王淑玲
本项目针对广域分布式算力网络在“感知-融合-调度”方面的技术挑战,提出了跨时空多特征感知、算网资源双循环融合和自适应调度方法,打造了广域分布式算力网络平台。中国工程院院士领导的鉴定委员会评价本项目技术达到了国际领先水平。成果辐射近十亿用户,直接经济效益新增8亿元,有力支撑了国家政府部门的工作和疫情防控、应急救灾等国家重要需求。
项目名称:云计算环境下的直播业务带宽智能调度系统
完成单位:香港大学、华为云技术有限公司
主要完成人:袁晓明、赵鹏翔、胡翰宇、彭文、宋利伟、李嘉
本项目围绕带宽资源调度的关键技术,研发了服务于直播业务的带宽智能调度系统,将实际业务峰值带宽由1.5Tbps增至20Tbps,保证了直播业务的服务质量和稳定性,显著地提升了行业技术水平,获业界和学界广泛认可。项目三年内为华为云节约34%带宽成本,减少98.6%人力成本,经济效益达7.8亿元人民币,获得了显著的社会经济效益。
项目名称:跨领域的图数据异常检测关键技术
完成单位:浙江大学、上海上湖信息技术有限公司、复旦大学
主要完成人:杨洋、许嘉蓉、王春平、陈磊、王玉翔、李铁铮
本项目围绕图异常检测的关键技术,提出了动态图异常检测技术、鲁棒图异常检测技术、可泛化图异常检测技术一系列关键技术,构建了完整的图异常检测模型和应用框架,产生了良好的学术影响,在金融、电信、能源、安防、交通、教育、医疗 7 大领域的多个业务场景得到了推广应用,取得了显著的社会经济效益。
项目名称:国产高性能服务器内存体系管理与优化关键技术及应用
完成单位:北京航空航天大学、宝德计算机系统股份有限公司、中国科学院计算技术研究所
主要完成人:刘磊、肖利民、马竹茂、张云泉、项明、程强
本项目针对高性能服务器大内存体系的访存隔离、全局管理、精准监控、高效散热难题,突破内存Bank/通道访存隔离、智能化内存体系垂直管理、内核态精细化内存监控、风液混合随需散热系列创新技术,成果在多个企业和领域规模应用,提升了我国高性能服务器系统领域的创新能力和自主水平,成果应用经济和社会效益显著。
项目名称:复杂背景下弱先验小目标的轻量化检测跟踪技术及应用
完成单位:中南大学、中国人民解放军军事科学院国防科技创新研究院
主要完成人:郭克华、郭少军、赵颖、胡斌、张凌燕、邹春荣
本项目面向公共安全领域需求,构建了适配轻量设备的弱小目标检测跟踪的深度神经网络模型,在解决弱先验模型难训练、弱目标特征难提取、模型低算力设备难适配等瓶颈问题方面取得系列创新技术,成果公共安全、GF等多个领域的得到规模化应用,成果应用经济和社会效益显著。
项目名称:泛智慧生活场景生成式人工智能关键技术及产业化
完成单位:青岛海尔科技有限公司、青岛海尔智能家电科技有限公司、海尔优家智能科技(北京)有限公司
主要完成人:邓邱伟、田云龙、赵乾、牛丽、杜永杰、张军
本项目针对智慧家庭行业面临的用户需求感知能力弱、场景自适应决策水平低、平台能力通用性差等技术难题,研发了家庭场景环境感知与用户多意图理解技术、融合先验知识的强化反馈决策技术和智慧家庭垂域大模型,构建了面向智慧家庭的多模态生成式服务平台,推动了智慧家庭产品和产业的革新,成果应用经济和社会效益显著。
项目名称:基于AI的仓储库存布局规划和动态生产调度应用
完成单位:北京京东乾石科技有限公司、上海交通大学、中国科学院空间应用工程与技术中心
主要完成人:何田、秦恒乐、葛冬冬、赵磊、刘冰、宋磊
本项目针对物流行业面临的高密度存储、海量订单和短时高并发等特点及业务需求,在供应链预测、库存布局、生产模式等方面开展算法创新,构建了一套智能物流体系, 提升了预测准确率、库存周转和拣货效率,为企业降本增效并提升用户体验,成为一个全球物流行业智能化典型案例,成果应用经济和社会效益显著。
项目名称:基于多模态机器学习的在线课堂教学质量评估关键技术及应用
完成单位:北京世纪好未来教育科技有限公司、暨南大学、北京师范大学
主要完成人:刘子韬、 田密、 卢宇、 陈佳豪、 王婷、 国朝游
本项目面向教育行业提供了首个全方位衡量课堂教学质量的 AI 解决方案。该方案基于多模态机器学习,对课堂教学质量进行在线评估,成功打破了课堂教学过程的“黑盒”,使评价课堂效果的指标更客观、可量化。该方案已应用于全国数十个省市,算法 API 调用达到 100 亿次,节省教师工作时间 100 万小时以上,累计惠及师生超过近百万人,取得了良好的社会效益。
项目名称:支付宝终端智能化技术与应用
完成单位:蚂蚁集团
主要完成人:朱世艾、王世豪、赵珊伟、周大江、马晨光、翁欣旦
本项目围绕端智能技术和应用,突破模型压缩、端到端高效建模、超大参数模型推理、多模态数据全生命周期管控等关键技术,实现端智能从场景小模型到通用大模型的全覆盖。该技术助力实现端侧低成本、高实时、高隐私保护的智能化升级,成功应用于数十家机构APP,取得广泛的社会经济效益和行业技术影响力。
项目名称:基于SBOM的软件供应链安全核心技术突破与规模化应用创新实践
完成单位:中国电信股份有限公司研究院、北京安普诺信息技术有限公司
主要完成人:何国锋、闻剑峰、游耀东、殷铭、虞珍妮、徐帅健妮
本项目面向软件供应链安全场景,在软件成分分析、代码溯源分析、软件基因检测技术软件供应链知识图谱、代码疫苗技术等软件供应链关键技术方面获得创新性突破,构建了以SBOM为核心的创新性软件资产管理模式,在金融、车联网、通信、能源、政企、智能制造等行业共千余家企业得到规模化应用,为企业提供软件供应链安全防护。
项目名称:复杂数据流通场景下数据隐私安全保护关键技术及应用
完成单位:浪潮软件科技有限公司、山东大学、中国人民大学
主要完成人:李照川、彭朝晖、林一伟、汪云海、王冠军、李会
本项目围绕数据要素汇聚、共享以及价值挖掘等领域,开展数据安全相关技术研究,在数据隐私技术方面实现了创新突破,并研发了数据隐私保护平台,实现了高安全、高可控、强时效的数据流通、治理与应用。本项目研发的数据隐私保护技术在20多个省的项目中推广应用,实现在税务、水利、法治、健康、自然资源等10余个产业化布局,社会、经济效益显著。