雷竞技-38个项目获2024年度“CCF科技成果奖”—新闻—科学网

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余个财产化结构，社会、经济效益显著。