【转发】《软件学报》前沿论文速递

为更好地服务学术交流与传播，推动科研成果早发布、早传播，《软件学报》实施预出版计划，即论文一经录用即进入排版编校流程，在学报官方网站和中国知网在线优先出版。

本次汇集的是2026年6月3日至6月25日预出版的文章，共计14篇（按预出版时间排序）。欢迎关注、阅读与转发！

FedProbe: 代理模型引导的可解释联邦学习投毒攻击防御框架

曹益皓，张建标，赵亚茹，韩宇飞，张承昱，叶涛

DOI:10.13328/j.cnki.jos.007661

链接:http://www.jos.org.cn/1000-9825/7661.htm

关键词:联邦学习;投毒攻击;防御策略;可解释性;代理模型

人体姿态引导的鲁棒生成式隐写

张清华，黄方军，马宾

DOI:10.13328/j.cnki.jos.007662

链接:http://www.jos.org.cn/1000-9825/7662.htm

关键词:生成式隐写;鲁棒隐写;人体姿态;几何不变性;扩散模型

基于LLM智能体的智能家居场景规则自动生成

刘力玮，陈伟，魏峻，朱家鑫，王伟，吴国全，汪涛

DOI:10.13328/j.cnki.jos.007663

链接:http://www.jos.org.cn/1000-9825/7663.htm

关键词:触发-动作编程;LLM智能体;频繁模式挖掘;物联网;智能家居

基于大语言模型的数据库管理系统可靠性测试技术研究

吴志镛，梁杰，姚灵灵，庞枢，符景洲，张弛，李飞飞，姜宇

DOI:10.13328/j.cnki.jos.007653

链接:http://www.jos.org.cn/1000-9825/7653.htm

关键词:大语言模型;数据库管理系统;漏洞挖掘;测试用例生成

基于双向选择性状态空间模型的动态图表示学习

何萍，汪雷达，徐晓华，严勇林

DOI:10.13328/j.cnki.jos.007654

链接:http://www.jos.org.cn/1000-9825/7654.htm

关键词:动态图表示学习;连续时间动态图;双向选择性状态空间模型;长期双向依赖关系

HCA-Index: 基于数据冷热感知的学习型索引

孙伊鸣，信俊昌，赵少杰，操天童，洪振强，安宸

DOI:10.13328/j.cnki.jos.007637

链接:http://www.jos.org.cn/1000-9825/7637.htm

关键词:学习型索引;动态分区;数据温度;冷热分离

数学分析机械化工程I: 一元微积分形式化系统

窦国威，郁文生

DOI:10.13328/j.cnki.jos.007604

链接:http://www.jos.org.cn/1000-9825/7604.htm

关键词:形式化数学;定理机器证明;Coq;数学分析;一元微积分

基于变色龙哈希的可撤销注册属性加密方案

王经纬，夏志华，宁建廷，许胜民，李朋林

DOI:10.13328/j.cnki.jos.007647

链接:http://www.jos.org.cn/1000-9825/7647.htm

关键词:注册加密;属性加密;用户撤销;变色龙哈希;数据共享

基于线性松弛与对偶优化的循环神经网络验证方法

赵亮，杨成龙，闫宗祥，王小兵

DOI:10.13328/j.cnki.jos.007657

链接:http://www.jos.org.cn/1000-9825/7657.htm

关键词:循环神经网络;形式化验证;鲁棒半径;对偶优化;近似求解

QueryGuide: 基于生成式模型的细粒度查询提示推荐方法

杨少聪，王宁

DOI:10.13328/j.cnki.jos.007659

链接:http://www.jos.org.cn/1000-9825/7659.htm

关键词:查询重写;慢查询优化;查询提示;生成式语言模型

从设计到安全分析: 异构模型转换与交叉验证

吴梦丹，杨顺昆，侯展意，佘志坤，曾福萍，冀振燕

DOI:10.13328/j.cnki.jos.007605

链接:http://www.jos.org.cn/1000-9825/7605.htm

关键词:安全风险分析;统一中间表示;模型转换;多重交叉验证

知识图谱推理研究综述: 从单一任务到复杂任务

牛广林，粟思悦，李波

DOI:10.13328/j.cnki.jos.007627

链接:http://www.jos.org.cn/1000-9825/7627.htm

关键词:知识图谱推理;单一任务和复杂任务;知识表示学习;多模态学习;大模型

面向大语言模型生成能力提升的检索增强生成研究进展

刘澳迪，奚雪峰，周国栋

DOI:10.13328/j.cnki.jos.007684

链接:http://www.jos.org.cn/1000-9825/7684.htm

关键词:检索增强生成;大语言模型;外部知识库;提示工程

差异化图嵌入的多层社交网络影响力最大化方法

林荣华，姚润彬，王怡嘉，林俊杰，吴正洋，汤庸

DOI:10.13328/j.cnki.jos.007672

链接:http://www.jos.org.cn/1000-9825/7672.htm

关键词:影响力最大化;多层社交网络;差异化图嵌入

本期原文链接： https://mp.weixin.qq.com/s/_dNTZExK-4Ub5Tjlhf8DRA