2025年学术年会海报----中国科学院软件研究所

2025年学术年会海报

文章来源： | 发布时间：2025-08-27 | 【打印】【关闭】

（注：以下顺序不分先后，点击名称即可查看学术海报）

学术论文
序号	实验室	名称	作者
1	基础软件与系统重点实验室	安全攸关系统可达-规避控制器生成	薛白
2	基础软件与系统重点实验室	基于最优传输对偶性的完备量子关系Hoare逻辑	Gilles Barthe，高敏博，Theo Wang，周立
3	基础软件与系统重点实验室	典型欧拉定向计数问题的多项式时间算法	孟泊宁，王踞秋，夏盟佶
4	基础软件与系统重点实验室	基于依赖精简约束的精确并发缺陷预测技术	祝世豪、郭宇琪、蔡彦、梁斌、张龙、陈睿、于婷婷
5	基础软件与系统重点实验室	基于指针流重排的并发漏洞检测技术	郭宇祺、祝世豪、蔡彦、和亮、张健
6	基础软件与系统重点实验室	结合蜕变关系的测试时增强方法	卫思为，张旭东，周志阳，蔡彦
7	基础软件与系统重点实验室	BMCFuzz：限界模型检测与模糊测试双向融合的处理器验证方法	申世东，刘锦宇，冯维直，宋富，吴志林
8	基础软件与系统重点实验室	求解正则表达式交非空问题的增量算法	陈海明，黄鸿，李镕辰，彭成尧，苏韦豪
9	基础软件与系统重点实验室	从OpenStreetMap提取不规则路口测试自动驾驶系统	孙天天，李昌文，晏荣杰，蔡彦
10	基础软件与系统重点实验室	一种基于多层依赖图的高效安卓应用降肿方法	杨恒钦，燕季薇，严俊，梁彬，张健
11	基础软件与系统重点实验室	带奇数元函数的Holant问题二分定理	孟泊宁，王踞秋，夏盟佶，郑加毅
12	基础软件与系统重点实验室	容错量子计算程序的形式化验证	黄启凡，周立，方望，赵梦宇，应明生
13	基础软件与系统重点实验室	测试用例驱动的大模型辅助静态代码检查器自动生成	刘珺，解远远，燕季薇，黄进豪，严俊，张健
14	基础软件与系统重点实验室	带权欧拉定向计数问题的计算复杂性	孟泊宁，王踞秋，夏盟佶
15	基础软件与系统重点实验室	基于大语言模型指导的内核定向模糊测试探索	李勰，苑照月，张镇铎，孙有程，张立军
16	基础软件与系统重点实验室	细节增强的高质量无向距离场学习与三维重建	Cheng Xu，Fei Hou，Wencheng Wang，Hong Qin，Zhebin Zhang，Ying He
17	并行软件与计算科学实验室	Prediction and Analysis of Large-Scale Stock Market Risk Correlation Structure	王婷，潘智杰，郑延婷
18	并行软件与计算科学实验室	面向SW26010-Pro众核处理器的新型矩阵存储格式及SpMV算法研究	王萃，刘芳芳，马文静，赵玉文，胡力娟
19	并行软件与计算科学实验室	非线性实数算术优化模理论的完备算法	贾富琦，董宇航，韩瑞，黄沛，刘明昊，马菲菲，张健
20	并行软件与计算科学实验室	2025090-并行-秦滨-ICME2025学术年会海报	秦滨，李懿，李江梦，吴学凇，王宇鹏，曹建文
21	可信计算与信息保障实验室	基于动态完整性度量的机密计算运行时监控方案	李为，冯伟，秦宇，冯登国
22	可信计算与信息保障实验室	针对检索增强生成的难度校准成员推理攻击	王广硕，何家骏，李昊，张敏，冯登国
23	可信计算与信息保障实验室	仅标签场景下的增强型成员推理攻击	李昊，李政，吴思源，叶宇桐，张敏，冯登国，张阳
24	可信计算与信息保障实验室	基于期望最大化的本地差分隐私协议分析	叶宇桐，王天豪，张敏，冯登国
25	可信计算与信息保障实验室	基于白盒分析的程序选项模糊测试	王柯林陈孟达和亮苏璞睿蔡彦陈炯峄张斌冯超唐朝京
26	可信计算与信息保障实验室	面向包管理系统的C/C++漏洞影响评估	王梓博，贾相堃，闫佳，杨轶，黄桦烽，苏璞睿
27	可信计算与信息保障实验室	Blink: Breaking Parallel Implementation of Crystals-Kyber	王舰，曹伟琼，陈华，李昊远
28	基础软件国家工程研究中心	为IC3算法深度优化SAT求解器	苏宇恒，杨秋松，慈轶为，卜天峻
29	基础软件国家工程研究中心	rIC3硬件模型检测求解器	苏宇恒，杨秋松，慈轶为，卜天峻
30	中文信息处理实验室	StructRAG: 面向知识密集任务的混合结构化知识增强	李卓群, 陈轩昂, 余海洋, 林鸿宇, 陆垚杰, 唐乔裕, 黄非, 韩先培, 孙乐, 李永彬
31	中文信息处理实验室	见微知著：消除单模态虚假关联的多模态奖励模型泛化方法	李梓超，温学儒，娄杰，季雨秋，陆垚杰，韩先培，张德兵，孙乐
32	中文信息处理实验室	大语言模型常常说一套做一套	徐若曦，林鸿宇，韩先培，郑佳，周炜翔，孙乐，孙应飞
33	中文信息处理实验室	ShortV：通过冻结冗余层的视觉标记，实现高效多模态大语言模型	袁千皓，张清宇，刘衍江，陈嘉伟，陆垚杰，林鸿宇，郑佳，韩先培，孙乐
34	中文信息处理实验室	DomainEval：自动构建的多领域代码生成评测基准	珠齐明，曹嘉伦，陆垚杰，林鸿宇，韩先培，孙乐，张成志
35	软件工程技术研究开发中心	基于扩散模型驱动的多兴趣网络建模用户长期行为以预测点击率	赖伟江，金蓓弘
36	软件工程技术研究开发中心	探索点击率预测模型的缩放定律提高在线性能	赖伟江，金蓓弘
37	软件工程技术研究开发中心	面向大数据处理框架的新型跨层次垃圾回收器	汪钇丞，许利杰，郭甜，窦文生，曾鸿斌，王伟，魏峻，黄涛
38	软件工程技术研究开发中心	IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers	肖瑜，马旭桐，李知霖，严俊
39	软件工程技术研究开发中心	动态评分代码令牌树：一种生成高性能代码的解码策略	曲慕子，刘杰，亢良伊，王帅，叶丹，黄涛
40	软件工程技术研究开发中心	LEGO：基于静态分析和大语言模型合成IoT设备组件	刘力玮，汪涛，陈伟，魏峻，王伟，吴国全
41	软件工程技术研究开发中心	理解和检测数据库系统中写特定序列化违背	崔紫玉，窦文生，高钰，杨睿，郑莹莹，宋建森，冯源，魏峻
42	软件工程技术研究开发中心	模型检查导向的分布式系统增量测试方法	高钰，王栋，窦文生，冯文翰，梁堉，冯源，魏峻
43	软件工程技术研究开发中心	检测 C++ 顺序容器中元素访问错误	高钰，王栋，窦文生，冯文翰，梁堉，冯源，魏峻
44	软件工程技术研究开发中心	基于等价数据库状态的逻辑缺陷检测方法	宋建森，窦文生，郑莹莹，高钰，崔紫玉，王伟，魏峻
45	软件工程技术研究开发中心	Cypher查询等价性证明	汤磊，窦文生，郑莹莹，许利杰，王伟，魏峻，黄涛
46	软件工程技术研究开发中心	跨语言运行时的垃圾回收算法评估方法和实证研究	汪钇丞，窦文生，梁堉，王毅，王伟，魏峻，黄涛
47	软件工程技术研究开发中心	基于UWB信号的单点血管弹性评估	王志，金蓓弘
48	软件工程技术研究开发中心	关系型数据库中的隔离异常检测方法	杨睿，崔紫玉，窦文生，高钰，宋建森，谢旭东，魏峻
49	软件工程技术研究开发中心	程序员意图与协作行为模拟制导的自动化程序错误修复	张俞炜，金芝，邢颖，李戈，刘芳，朱家鑫，窦文生，魏峻
50	软件工程技术研究开发中心	HeRo: A State Machine-based ，Fault-tolerant Framework for Heterogeneous Multi-Robot Collaboration	唐瑞杰，吴国全，汪涛，陈伟，魏峻
51	软件工程技术研究开发中心	Testing the Fault-Tolerance of Multi-sensor Fusion Perception in Autonomous Driving Systems	田浩翔，丁文强，韩星烁，吴国全，郭安，张钧琦，陈伟，魏峻，张天威
52	软件工程技术研究开发中心	MULoc: 通过锚点监听实现无限数量UWB标签的毫米级定位	马俊麒，张扶桑，金蓓弘，李思恒，王志
53	人机交互技术与智能信息处理实验室	基于扩散模型的三维数字人与物体交互运动合成方法	张永浩，贺强，万炎广，张寅达，邓小明，马翠霞，王宏安
54	人机交互技术与智能信息处理实验室	面向手物交互理解的三维高斯泼溅数据增强方法	曲文天，李家和，程坚，石剑，蒙宸宇，马翠霞，王宏安，邓小明，张寅达
55	人机交互技术与智能信息处理实验室	通用特征引导的零样本类别级物体姿态估计	曲文天，蒙宸宇，李衡，程坚，马翠霞，王宏安，周晓，邓小明，谭平
56	人机交互技术与智能信息处理实验室	半隐式光滑粒子动力学方法	何小伟，刘树森，郭煜中，石剑，乔颖
57	人机交互技术与智能信息处理实验室	TutorCraftEase: 大模型驱动的教学问题创作工具	康文惠，张琳，彭晓兰，张浩，李桉弛，王梦瑶，黄进，田丰，戴国忠
58	人机交互技术与智能信息处理实验室	面向智能装备的实时计算支撑技术	冷昶，冯一帆，刘海鹏，刘帅，郭超平，乔颖，王宏安
59	人机交互技术与智能信息处理实验室	基于特定目的的说服策略序列能否提升在线请求的说服力？案例研究	王逸之，杨翊，朱嘉奇，陈辉
60	人机交互技术与智能信息处理实验室	基于个性化引导蒸馏的高效紧凑型语音驱动三维说话头生成	陈鹏，韦小宝，陆鸣，陈辉，田丰
61	人机交互技术与智能信息处理实验室	基于三维高斯的高保真视线重定向方法	韦小宝，陈鹏，李广宇，陆鸣，陈辉，田丰
62	人机交互技术与智能信息处理实验室	基于图神经网络的高效紧凑三维人脸生成技术	韦小宝，陈鹏，陆鸣，陈辉，田丰
63	人机交互技术与智能信息处理实验室	基于真实度不完整图的大模型驱动少样本节点分类方法	李云，杨翊，朱嘉奇，陈辉，王宏安
64	人机交互技术与智能信息处理实验室	PANDA：帕金森病驾驶辅助和预警系统	闻天阳，张旭橙，万志荣，赵静，朱以诚，苏宁，彭晓兰，黄进，孙伟，田丰，李明哲
65	人机交互技术与智能信息处理实验室	SceneDiff: 使用扩散模型进行基于文本和草图的生成式场景级图像检索	左然, 胡皓翔, 邓小明, 高沧骏, 张拯明, 来煜坤, 马翠霞, 刘永进, 王宏安
66	人机交互技术与智能信息处理实验室	DoctorPupil：利用任务型瞳孔反应进行帕金森疾病检测的虚拟现实系统	张旭橙，万志荣，赵静，李信金，刘岸风，范向民，孙伟，田丰，王大阔
67	人机交互技术与智能信息处理实验室	基于时态逻辑规则学习的可解释时间序列分类	汪洋，朱嘉奇，李妙妙，刘江，李依霖，杨翊，李佳璠，王宏安
68	人机交互技术与智能信息处理实验室	融合模态间相互影响的多模态异构网络表示学习与节点分类	李佳璠，朱嘉奇，常亮，李依霖，李妙妙，汪洋，杨翊，王宏安
69	智能博弈重点实验室	站在巨人的肩膀上：通过检索增强技术实现Bug感知的自动化测试	陈孟卓，刘哲，陈春阳，王俊杰，吴泊逾，胡军，王青
70	智能博弈重点实验室	跳出思维定势：通过记忆植入和推理实现多软件交互的自动化测试	陈孟卓，刘哲，陈春阳，王俊杰，薛阳光，吴泊逾，吴丽彬，王青
71	智能博弈重点实验室	基于约束引导对抗型智能体训练实现博弈对抗智能体的多样性测试	马序言，王亚文，王俊杰，谢肖飞，吴泊逾，闫熠光，李守斌，徐帆江，王青
72	智能博弈重点实验室	CateEA: Enhancing Entity Alignment via Implicit Category Supervision	冯冠栋，任涛，胡军，王丹丹
73	智能博弈重点实验室	VEglue: 通过对象对齐联合擦除测试视觉蕴涵系统	Zhiyuan Chang，Mingyang Li，Junjie Wang, Cheng Li，Wang Qing
74	智能博弈重点实验室	仿效熟知之物：一种针对LLM工具学习系统信息窃取攻击的动态指令生成方法	江子攸，李明阳，杨国伟，王俊杰，黄悦凯，常志远，王青
75	智能软件研究中心	COFT：提升大语言模型的零样本生成能力	李维佳，钱永杰，高科，陈海鑫，王歆妤，童煜晨，李玲，武延军，赵琛
76	智能软件研究中心	DA-Ada：基于域感知适配器的域自适应目标检测算法	李昊宸，张蕊，姚涵涛，张欣，郝一帆，宋新开，李夏清，赵永威，李玲，陈云霁
77	智能软件研究中心	REACT：基于剩余特征补偿的域自适应目标检测算法	李昊宸，张蕊，姚涵涛，张欣，宋新开，郝一帆，李玲
78	智能软件研究中心	SEEN-DA：语义熵引导的域感知注意力算法	李昊宸，张蕊，姚涵涛，张欣，郝一帆，宋新开，彭少辉，赵永威，赵琛，武延军，李玲
79	智能软件研究中心	The Seeds of the FUTURE Sprout from History:Fuzzing for Unveiling Vulnerabilities in Prospective Deep Learning Libraries	李志远，吴敬征，凌祥，罗天悦，芮志清，武延军
80	智能软件研究中心	OptionFuzz: Fuzzing SMT Solvers with Optimized Option Exploration via Large Language Models	彭宇毫，吴敬征，凌祥，李志远，罗天悦，武延军
81	智能软件研究中心	我们懂你所寻：大规模开源软件推荐	崔星，吴敬征，凌祥，罗天悦
82	智能软件研究中心	RMGenie：基于大语言模型的开源软件README生成代理框架	崔星，吴敬征，李志远，罗天悦，凌祥
83	智能软件研究中心	软件供应链SBOM关键技术研究	孙泽雨，吴敬征，凌祥，魏怡琳，罗天悦，武延军
84	智能软件研究中心	探索大语言模型在开源许可证冲突分析中的应用：我们还有多远？	崔星，吴敬征，凌祥，罗天悦，杨牧天，欧文祥
85	智能软件研究中心	QiMeng-TensorOp：一句提示词足以生成基于硬件原语的高性能张量算子	张续志，彭少辉，周其睿，文渊博，郭崎，陈睿智，朱鑫国，熊伟强，陈海鑫，马聪颖，高科，赵琛，武延军，陈云霁，李玲
86	智能软件研究中心	QiMeng-Attention：SOTA注意力算法生成SOTA注意力代码	周其睿，彭少辉，熊伟强，陈海鑫，文渊博，李昊宸，李玲，郭崎，赵永威，高科，陈睿智，武延军，赵琛，陈云霁
87	智能软件研究中心	QiMeng-GEMM：发掘大语言模型自动生成高性能矩阵乘法算子	周其睿，文渊博，陈睿智，高科，熊伟强，李玲，郭崎，武延军，陈云霁
88	智能软件研究中心	D-Linker：一种基于Object文件的定制化共享库裁剪方法	何家泰，侯朋朋，于佳耕，齐冀，孙滢，李丽娟，赵瑞霖，武延军
89	智能软件研究中心	Beaver：一种基于PM-DRAM的高性能崩溃一致性文件系统缓存方法	潘庆霖，齐冀，何家泰，张珩，于佳耕，武延军
90	时空数据管理与数据科学研究中心	基于图模型的分布式数据库双分支查询编码器	杨建文，张秋鸿，严瑾，徐馨润，张硕，丁治明
91	时空数据管理与数据科学研究中心	LIGHT: A Learned Join Order Selection Network Using Dynamic Graph Attention Mechanism	张秋鸿，杨建文，严瑾，张硕，丁治明
92	天基综合信息系统全国重点实验室	面向多模态大模型领域适应失配问题的因果前门校正方法	张雅楠，李江梦，刘立祥，强文文
93	天基综合信息系统全国重点实验室	基于拓扑保持和冗余修剪的胞腔对比学习	秦滨，戢启瑞，李江梦，王宇鹏，吴学凇，曹建文，徐帆江
94	天基综合信息系统全国重点实验室	基于随机网络蒸馏的卫星波束选择探索增强算法	成子敬，孙楚雄，刘帅军，刘立祥
95	天基综合信息系统全国重点实验室	LLM Enhancers for GNNs: An Analysis from the Perspective of Causal Mechanism Identification	高航，黄文轩，吴凤鸽，赵军锁，郑昌文，刘华平
96	天基综合信息系统全国重点实验室	基于高斯杂波截断的多尺度特征增强SAR水体检测	朱博，夏玉立，周永胜，吕晓宁*，刘民钦
97	天基综合信息系统全国重点实验室	基于双注意力和重参数化的轻量级低光图像增强	王惜，郑权
98	天基综合信息系统全国重点实验室	DMKPN：多因素混叠扩散退化下的图像去模糊	张莹，唐熊忻，杨瀚翔，陈巧，徐帆江
99	天基综合信息系统全国重点实验室	基于扩展AADL的混成系统建模与验证	徐雄，Ehsan Ahmad，王淑灵，金翔宇，詹博华，詹乃军
100	天基综合信息系统全国重点实验室	HpC面向移动混成系统的演算	徐雄，Jean-Pierre Talpin，王淑灵，吴昊，詹博华，柳欣欣，詹乃军
101	天基综合信息系统全国重点实验室	基于大语言模型的更泛化的异构图表示学习方法	高航，章晨昊，吴凤鸽，赵军锁，郑昌文，刘华平
102	天基综合信息系统全国重点实验室	振兴有监督低光图像增强器：学习无源快速场景适应	王惜，郑权
103	天基综合信息系统全国重点实验室	基于因果孪生网络的持续测试时单图像散焦模糊去除	崔爽，李懿，李江梦，唐熊忻，苏冰，徐帆江，熊辉
104	天基综合信息系统全国重点实验室	基于自适应光谱滤波器稀疏注意力的高光谱图像去噪	陈锐杰，徐帆江，唐熊忻，尹超
105	天基综合信息系统全国重点实验室	基于LLM的自然语言到信号时序逻辑的转换	房越，金芝，安杰，陈宏申，陈小红，詹乃军
106	天基综合信息系统全国重点实验室	EWT-AF：用于图像去噪的带自适应滤波器的增强型小波变换	郑梓余，吴玉泉，李雪薇，吕宁宁
107	天基综合信息系统全国重点实验室	Not All Frequencies Are Created Equal:Towards a Dynamic Fusion of Frequencies in Time-Series Forecasting	张星宇，赵思雨，宋泽恩，郭慧杰，张健琦，郑昌文，强文文
108	天基综合信息系统全国重点实验室	On the Out-of-Distribution Generalization of Self-Supervised Learning	强文文，王婧瑶，宋泽恩，李江梦，郑昌文
109	天基综合信息系统全国重点实验室	Towards the Causal Complete Cause of Multi-Modal Representation Learning	王婧瑶，赵思雨，强文文，李江梦，郑昌文，孙富春，熊辉
110	天基综合信息系统全国重点实验室	Learning Invariant Causal Mechanism from Vision-Language Models	宋泽恩，赵思雨，张星宇，李江梦，郑昌文，强文文
111	天基综合信息系统全国重点实验室	轮廓增强双分支网络的类增量学习方法	曾丰成，杨绮明，吴玉泉等
112	天基综合信息系统全国重点实验室	基于增强模态对齐和实例保持的多模态知识图谱补全	李懿，朱庆猛，宋飞，郑昌文，李江梦
113	天基综合信息系统全国重点实验室	On the Generalization and Causal Explanation in Self-Supervised Learning	强文文，宋泽恩，顾子茵，李江梦，郑昌文，孙富春，熊辉，李江梦
114	天基综合信息系统全国重点实验室	Image-based Freeform Handwriting Authentication with Energy-oriented Self-Supervised Learning	王婧瑶，郑昌文，牟伦田，高文，牟伦田
115	天基综合信息系统全国重点实验室	从维度分析视角重新审视多智能体强化学习中的通信效率问题	孙楚雄，贺鹏，王瑞，郑昌文
116	天基综合信息系统全国重点实验室	可塑性损失:解决稀疏奖励下多智能体探索任务的新视角	臧泽华，孙楚雄，刘立祥，孙富春，郑昌文
117	天基综合信息系统全国重点实验室	基于反事实推理解释多智能体系统中的个体重要性	陈建明，王亚文，王俊杰，谢肖飞，胡军，王青，徐帆江
118	天基综合信息系统全国重点实验室	演示测试：利用失效演示迁移对竞争环境智能体进行测试	陈建明，王亚文，王俊杰，谢肖飞，王丹丹，王青，徐帆江
119	天基综合信息系统全国重点实验室	基于时序分解的有效波高非平稳性建模	黄炜楠，朱晓雯，金亦帅，沈星辰
120	天基综合信息系统全国重点实验室	Less Yet Robust Crucial Region Selection for Scene Recognition Models	张健琦，王蒙轩，王静瑶，司凌宇，郑昌文，徐帆江
121	天基综合信息系统全国重点实验室	跨技术通信中的异构数据包翻译	何灏，吴琪欢，袁烁，顾子茵，于志鹏，朱庆猛
122	天基综合信息系统全国重点实验室	用于CLIP视频理解的去偏领域知识引导方法	朱庆猛，吴琪欢，于志鹏，李懿，顾子茵，何灏
123	集成创新中心	面向实用的缺陷导向自动化代码审查	陆俊逸，姜丽莉，李晓佳，方剑冰，张凤军，杨立，左春
124	集成创新中心	Smart-LLaMA-DPO: 强化大模型进行可解释智能合约漏洞检测	于磊，黄智榕，袁航，成仕骐，杨立，张凤军，沈宸杰，马佳佳，张竞元，陆俊逸，左春

关键技术
序号	实验室	名称	作者
1	人机交互技术与智能信息处理实验室	面向人机物三元空间复杂运动叠加的人机交互理论与技术	田丰，黄进，张浩，李洋，郑雅文，肖一笑
2	人机交互技术与智能信息处理实验室	非侵入信号神经语音解码	谢旭荣，秦颖，王昊铭，张高媛，周超，陈辉，田丰
3	人机交互技术与智能信息处理实验室	面向神经系统疾病预警的智能人机交互关键技术	田丰，孙伟，彭晓兰，张浩，黄进，谢旭荣，李信金
4	智能软件研究中心	基于大语言模型的RISC-V软件生态使用示例生成	崔星，吴敬征，罗天悦，凌祥，王旭，芮志清
5	智能软件研究中心	基于控制流签名的上下文敏感控制流完整性机制研究	张军，吕林航，郑晨，张玉清
6	时空数据管理与数据科学研究中心	中医辨证辨病及中药处方生成技术研究	张剑昆，马龙龙，刘汇丹
7	时空数据管理与数据科学研究中心	云边协同卫星数据服务与“刷脸”系统及方法	丁治明，张硕，潘远明，戴上军，刘胜旺，陈新国
8	天基综合信息系统全国重点实验室	兵棋建模语言自主可控编译与优化技术	师磊，刘朝晖，徐帆江，臧雪松，颜凤辉、费林鹤
9	天基综合信息系统全国重点实验室	基于多智能体协同框架的自主论辩构建和生成技术	李罗政，李凌波，刘朝晖，郑昌文，陈昌明
10	天基综合信息系统全国重点实验室	一种面向地表高精度三维重建的遥感任务规划方法	李锦文
11	天基综合信息系统全国重点实验室	多分辨率自适应网格计算关键技术研究	段远征，刘朝晖，师磊，费林鹤
12	集成创新中心	基于关键场景的智能算法安全边界评估方法	董乾，薛云志，孟令中，陈贺，杨光，王鹏淇，任红萍，龚优迪，李瑞

工具系统
序号	实验室	名称	作者
1	可信计算与信息保障实验室	DNS协议恶意行为检测系统	黄克振，张海霞，连一峰
2	软件工程技术研究开发中心	轻量化高可靠的边缘数据协同框架	唐震，吴恒，吴嘉俊，孙浩，贺凯，周亦轩，刘薛浒
3	人机交互技术与智能信息处理实验室	人机增强智能计算平台	田丰，黄进，王俊杰，孙伟，冷昶，姚乃明，谢旭荣，彭晓兰，李守斌
4	智能博弈重点实验室	智能查重一体化工具	王成纬，鲍越，刘李仕皓，常宏芳，贾佳妮，王丹丹，胡渊喆
5	智能软件研究中心	PHMM：基于访存特征感知的异构内存管理系统	张仁号，郑晨
6	时空数据管理与数据科学研究中心	多源异构数据驱动的边坡滑坡监测预警与处置系统	陈新国，丁治明，李强，张硕，刘杰
7	天基综合信息系统全国重点实验室	星链解析与模拟推演系统	刘帅军，徐帆江，刘立祥，严文励，何玉秋，贾玉牒，秦明宇
8	天基综合信息系统全国重点实验室	自动化测试在兵棋系统研制中的应用	宋倩霞，王帏祎，刘朝晖，师磊，吴超凤
9	天基综合信息系统全国重点实验室	天智2C及星地协同任务规划系统	王鹏，王明，胡培培，潘优美，孙静，李锦文
10	集成创新中心	多模型协同的科普挂图资源生成智能体系统	关贝，李峻羽，张芸鹏，孙哲，王永吉

科研奖励
序号	实验室	名称	作者
1	智能软件研究中心	HACK@DATE 2025 RISC-V硬件漏洞挖掘竞赛冠军	指导老师：吴敬征，凌祥参赛队员：吕浩，芮志清，王承杰，李志远

重大示范工程/项目
序号	实验室	名称	作者
1	天基综合信息系统全国重点实验室	LLM-CBC: Confidence-Based Code Classification With Large Language Models	宋锐科，杨帆，董洪伟，司凌宇