软件学报期刊
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 刘兴波 尹义龙 聂秀山 袭肖明
    刊名: 软件学报
    发表期刊: 2020年4期
    页码:  1039-1050
    摘要: 哈希学习通过设计和优化目标函数,并结合数据分布,学习得到样本的哈希码表示.在现有哈希学习模型中,线性模型因其高效、便捷的特性得到广泛应用.针对线性模型在哈希学习中的参数优化问题,提出一种基于...
  • 作者: 刘宇翔 程禹嘉 陶卿
    刊名: 软件学报
    发表期刊: 2020年4期
    页码:  1051-1062
    摘要: 随机优化方法已经成为处理大规模正则化和深度学习优化问题的首选方法,其收敛速率的获得通常都建立在目标函数梯度无偏估计的基础上,但对机器学习问题来说,很多现象都导致了梯度有偏情况的出现.与梯度无...
  • 作者: 刘壮 张云霞 林红梅 邹丽 黄德根
    刊名: 软件学报
    发表期刊: 2020年4期
    页码:  1063-1078
    摘要: 为了缓解神经网络的“黑盒子”机制引起的算法可解释性低的问题,基于使用证据推理算法的置信规则库推理方法(以下简称RIMER)提出了一个规则推理网络模型.该模型通过RIMER中的置信规则和推理机...
  • 作者: 于剑 刘华锋 景丽萍 肖琳 陈博理 黄鑫
    刊名: 软件学报
    发表期刊: 2020年4期
    页码:  1079-1089
    摘要: 自大数据蓬勃发展以来,多标签分类一直是令人关注的重要问题,在现实生活中有许多实际应用,如文本分类、图像识别、视频注释、多媒体信息检索等.传统的多标签文本分类算法将标签视为没有语义信息的符号,...
  • 作者: 刘奕群 张敏 王晨阳 邵英玮 马为之 马少平
    刊名: 软件学报
    发表期刊: 2020年4期
    页码:  1090-1100
    摘要: 结合领域内知识的个性化推荐算法在近年来受到了广泛关注,许多研究工作尝试将商品之间的关系(如互补关系等)融入到推荐算法中.对于商家而言,了解商品互补的关系能够帮助他们更好地制定定价策略;对于推...
  • 作者: 葛尧 陈松灿
    刊名: 软件学报
    发表期刊: 2020年4期
    页码:  1101-1112
    摘要: 图卷积网络是一种针对图信号的深度学习模型,由于具有强大的特征表征能力得到了广泛应用.推荐系统可视为图信号的链接预测问题,因此近年来提出了使用图卷积网络解决推荐问题的方法.推荐系统中存在用户与...
  • 作者: 符祖峰 许道云
    刊名: 软件学报
    发表期刊: 2020年4期
    页码:  1113-1123
    摘要: 研究具有正则结构的SAT问题是否是NP完全问题,具有重要的理论价值.(k,s)-CNF公式类和正则(k,s)-CNF公式类已被证明存在一个临界函数f(k),使得当s≤f(k)时,所有实例都可...
  • 作者: 刘志强 刘振 汤舒扬 谷大武 郑继来 高政风 龙宇
    刊名: 软件学报
    发表期刊: 2020年4期
    页码:  1124-1142
    摘要: 自2008年比特币出现以来,研究学者相继提出了多种分布式账本技术,其中,区块链是当前分布式账本最主要的实现形式之一.但当前区块链中存在一个核心问题:可扩展性瓶颈.具体而言,区块链的吞吐量严重...
  • 作者: 吕江枫 张莉 蒋竞
    刊名: 软件学报
    发表期刊: 2020年4期
    页码:  1143-1161
    摘要: 软件问答社区是软件开发者通过问答方式进行技术交流的网络平台.近年来,软件问答社区积累了大量用户讨论的技术问答内容.一些研究者对Stack Overflow等英文问答社区进行主题分析研究,但是...
  • 作者: 叶晨 李建中 王宏志 高宏
    刊名: 软件学报
    发表期刊: 2020年4期
    页码:  1162-1172
    摘要: 传统方法多数采用机器学习算法对数据进行清洗.这些方法虽然能够解决部分问题,但存在计算难度大、缺乏充足的知识等局限性.近年来,随着众包平台的兴起,越来越多的研究将众包引入数据清洗过程,通过众包...
  • 作者: 申富饶 赵金熙 邓齐林 邱天宇
    刊名: 软件学报
    发表期刊: 2020年4期
    页码:  1173-1188
    摘要: 给定一组观察数据,估计其潜在的概率密度函数是统计学中的一项基本任务,被称为密度估计问题.随着数据收集技术的发展,出现了大量的实时流式数据,其特点是数据量大,数据产生速度快,并且数据的潜在分布...
  • 作者: 周康 汤小月 王凯
    刊名: 软件学报
    发表期刊: 2020年4期
    页码:  1189-1211
    摘要: 作为一种新兴的社交媒体用户交互服务,提及机制(mention mechanism)正在用户在线交互和网络信息传播方面扮演着重要角色.对用户提及行为的研究能够揭示用户的隐式偏好与其显式行为之间...
  • 作者: 刘燕兵 尚燕敏 曹亚男
    刊名: 软件学报
    发表期刊: 2020年4期
    页码:  1212-1224
    摘要: 基于事件的社交网络使得事件推荐受到越来越多的关注.不同于其他推荐问题(如电影推荐等),事件推荐具有3类不同信息:用户构成的异构社交网络关系信息(在线社交网络和离线社交网络)、用户/事件的内容...
  • 作者: 侯朋朋 崔强 张珩 武延军 赵琛
    刊名: 软件学报
    发表期刊: 2020年4期
    页码:  1225-1239
    摘要: 在复杂网络理论中,core分解是一种最基本的度量网络节点“重要性”并分析核心子图的方法.Core分解广泛应用于社交网络的用户行为分析、复杂网络的可视化、大型软件的代码静态分析等应用.随着复杂...
  • 作者: 左志强 王林章 陆申明
    刊名: 软件学报
    发表期刊: 2020年5期
    页码:  1241-1254
    摘要: 静态程序分析发展至今,已在多个方面取得了长足的进步,应用于软件开发的众多方面.但对现代大规模复杂软件系统(如千万行代码规模的Linux操作系统、分布式大数据处理系统Hadoop等)进行高精度...
  • 作者: 刘爽 吴卓 张栋迪 王赞 闫明 陈俊洁 陈翔
    刊名: 软件学报
    发表期刊: 2020年5期
    页码:  1255-1275
    摘要: 随着深度神经网络技术的快速发展、大数据的涌现和计算能力的显著提升,深度神经网络被越来越多地应用到各个安全攸关领域,例如自动驾驶、人脸识别、飞机碰撞检测等.传统的软件系统通常由开发人员手工编写...
  • 作者: 刘浩 尹文静 张莉 王淑栋 董玉坤
    刊名: 软件学报
    发表期刊: 2020年5期
    页码:  1276-1293
    摘要: C程序中数组、malloc动态分配后的连续内存等顺序存储结构被大量使用,但大多数传统的数据流分析方法未能充分描述其结构及其上的操作,特别是在利用指针访问顺序存储结构时,传统的分析方法只关注了...
  • 作者: 吴潇雪 夏鑫 郑炜 陈军正 陈翔
    刊名: 软件学报
    发表期刊: 2020年5期
    页码:  1294-1313
    摘要: 软件安全问题的发生在大多数情况下会造成非常严重的后果,及早发现安全问题,是预防安全事故的关键手段之一.安全缺陷报告预测可以辅助开发人员及早发现被测软件中潜藏的安全缺陷,从而尽早得以修复.然而...
  • 作者: 李奕超 李征 王微微 赵瑞莲
    刊名: 软件学报
    发表期刊: 2020年5期
    页码:  1314-1331
    摘要: Web应用测试用例生成并行化是提升Web应用测试生成效率的一个有效手段.Web应用的前后端分离、事件驱动等特性,导致传统的并行化技术难以直接应用于Web应用的测试用例自动生成中.因此,如何针...
  • 作者: 吕建 纪业 魏恒峰 黄宇
    刊名: 软件学报
    发表期刊: 2020年5期
    页码:  1332-1352
    摘要: 无冲突复制数据类型(conflict-free replicated data types,简称CRDT)是一种封装了冲突消解策略的分布式复制数据类型,它能够保证分布式系统中副本节点间的强最...
  • 作者: 丁继政 朱晓冉 郭建
    刊名: 软件学报
    发表期刊: 2020年5期
    页码:  1353-1373
    摘要: “如何构造高可信的软件系统”已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,其安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操...
  • 作者: 刘筱珊 刘静 周庭梁 袁正恒 陈小红 陈铭松
    刊名: 软件学报
    发表期刊: 2020年5期
    页码:  1374-1391
    摘要: 轨道交通区域控制器是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统的核心子系统,其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是区域控制器自身的复杂性以及领域...
  • 作者: 丁滟 江哲 范冠男 董攀 黄辰林
    刊名: 软件学报
    发表期刊: 2020年5期
    页码:  1392-1405
    摘要: 可信技术正在从被动可信度量向着下一代的主动可信监控方向发展,要求TPM/TCM模块有能力主动度量和干预主机系统,传统的TPM/TCM从架构和运行机制等方面都无法满足这种能力.TEE(trus...
  • 作者: 张奥 白晓颖
    刊名: 软件学报
    发表期刊: 2020年5期
    页码:  1406-1434
    摘要: 基于区块链的分布式账本集成了非对称加密体系、P2P网络、共识算法、智能合约等多种技术,保证事务记录的一致性和不可篡改性.但是,区块链技术中的账本共享机制也带来了隐私威胁,用户身份、账户地址、...
  • 作者: 夏鑫 张能 李善平 杨博
    刊名: 软件学报
    发表期刊: 2020年5期
    页码:  1435-1453
    摘要: 代码补全(code completion)是自动化软件开发的重要功能之一,是大多数现代集成开发环境和源代码编辑器的重要组件.代码补全提供即时类名、方法名和关键字等预测,辅助开发人员编写程序,...
  • 作者: 卢喜东 周巍 段哲民 钱叶魁
    刊名: 软件学报
    发表期刊: 2020年5期
    页码:  1454-1464
    摘要: 针对当前恶意代码静态分析方法精度不足的问题,将恶意代码映射为无压缩的灰度图像,然后根据图像变换方法将图像变换为恒定大小的图像,使用方向梯度直方图提取图像的特征,最后提出一种基于深度森林的恶意...
  • 作者: 王子亚 王建新 田萱
    刊名: 软件学报
    发表期刊: 2020年5期
    页码:  1465-1496
    摘要: 自然场景文本检测与识别研究对于从场景中获取信息有重要意义,而深度学习技术有助于提高文本检测与识别的能力.主要对基于深度学习的自然场景文本检测与识别方法和其研究进展进行整理分类、分析和总结.首...
  • 作者: 姜远 李绍园
    刊名: 软件学报
    发表期刊: 2020年5期
    页码:  1497-1510
    摘要: 传统的多标记学习任务要求训练数据拥有完整的或者至少部分的真实标记,而真实标记耗费昂贵并且难以获取.不同于由昂贵受限的专家标注真实标记,众包环境下,多标记任务被分配给多个容易获取的非专家标注,...
  • 作者: 于海鸿 刘兆赓 李占山 王丽 王涛
    刊名: 软件学报
    发表期刊: 2020年5期
    页码:  1511-1524
    摘要: 特征选择作为一种重要的数据预处理方法,不但能解决维数灾难问题,还能提高算法的泛化能力.各种各样的方法已被应用于解决特征选择问题,其中,基于演化计算的特征选择算法近年来获得了更多的关注并取得了...
  • 作者: 吴小俊 胡聪 舒振球 陈素根
    刊名: 软件学报
    发表期刊: 2020年5期
    页码:  1525-1535
    摘要: 阶梯网络不仅是一种基于深度学习的特征提取器,而且能够应用于半监督学习中.深度学习在实现了复杂函数逼近的同时,也缓解了多层神经网络易陷入局部最小化的问题.传统的自编码、玻尔兹曼机等方法易忽略高...

软件学报基本信息

刊名 软件学报 主编 李明树
曾用名
主办单位 中国科学院软件研究所 中国计算机学会  主管单位 中国科学院
出版周期 月刊 语种
chi
ISSN 1000-9825 CN 11-2560/TP
邮编 100190 电子邮箱 jos@iscas.ac.cn
电话 010-62562563 网址 www.jos.org.cn
地址 北京8718信箱

软件学报评价信息

期刊荣誉
1. 百种中国杰出学术刊物

软件学报统计分析

被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊