目录
系统软件与软件工程
航天嵌入式软件整数溢出的形式化验证方法
高猛;滕俊元;王政;2977-2992
基于着色Petri网的HDFS数据一致性建模与分析乔嘉林;黄向东;杨义繁;王建民;吴凯;2993-3013
DevSecOps:DevOps下实现持续安全的实践探索戴启铭;毛润丰;黄璜;荣国平;沈海峰;邵栋;3014-3035
模式识别与人工智能
基于多任务预训练的AMR文本生成研究徐东钦;李军辉;朱慕华;周国栋;3036-3050
动态手势理解与交互综述张维;林泽一;程坚;柯铭雨;邓小明;王宏安;3051-3067
基于贝叶斯网络的时间序列因果关系学习
王双成;郑飞;张立;3068-3084
一种采用新型聚类方法的最佳类簇数确定算法朱二周;孙悦;张远翔;高新;马汝辉;李学俊;3085-3103
邻域形态空间多源免疫检测器生成与检测
席亮;姚之钰;张凤斌;3104-3121
基于Wi-Fi信道状态信息的行走识别与行走参数估计李晟洁;李翔;张越;王亚沙;张大庆;3122-3138
融入案件辅助句的低频和易混淆罪名预测郭军军;刘真丞;余正涛;黄于欣;相艳;3139-3150
基于多策略的改进花授粉算法
肖辉辉;万常选;3151-3175
数据库技术
多查询共享技术研究综述危剑豪;夏烨峰;宫学庆;3176-3202
构建新型高性能与高可用的键值数据库系统
朱阅岸;简怀兵;龙永超;李彬;王树;吴喜亮;钟治初;张延松;3203-3218
基于细粒度数据的智能手机续航时间预测模型李豁然;刘譞哲;梅俏竹;梅宏;3219-3235
计算机网络与信息安全
安全随机数部分重用及在多接收方签密的应用
刘镇;韩益亮;杨晓元;柳曙光;3236-3253
融合随机森林和梯度提升树的入侵检测研究周杰英;贺鹏飞;邱荣发;陈国;吴维刚;3254-3265
医疗大数据隐私保护多关键词范围搜索方案
张明武;黄嘉骏;韩亮;3266-3282
计算机图形学与计算机辅助设计
基于双注意力残差循环单幅图像去雨集成网络张学锋;李金晶;3283-3292
计算机体系结构
VMOffset:虚拟机自省中一种语义重构改进方法
陈兴蜀;蔡梦娟;王伟;王启旭;金鑫;3293-3309
多媒体技术
大型指纹库场景中加密视频识别方法
吴桦;于振华;程光;胡晓艳;3310-3330
《软件学报》投稿指南3331
《软件学报》2022年出版专刊/专题3332