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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 姚建国 朱昱锦 管海兵
    刊名: 软件学报
    发表期刊: 2020年1期
    页码:  1-19
    摘要: 区块链的本质是分布式账本.它作为比特币的底层技术日益被熟知,具有去中心化、开放性、自治性、信息不可篡改、匿名性的特点.区块链即服务(blockchain as a service)则是把区块...
  • 作者: 李晓卓 贺也平 马恒太
    刊名: 软件学报
    发表期刊: 2020年1期
    页码:  20-46
    摘要: 缺陷理解是针对缺陷本身及衍生产物建立完整认知过程的研究.由于调试的连贯性及完美缺陷理解假设不合理性,深入分析缺陷传播过程及缺陷间关系、研究关键信息检测及理解信息表达方式,提取及表达面向缺陷研...
  • 作者: 刘井平 刘斌 彭智勇 王飞 肖仰华 钱铁云
    刊名: 软件学报
    发表期刊: 2020年1期
    页码:  47-66
    摘要: 智能化软件开发正在经历从简单的代码检索到语义赋能的代码自动生成的转变,传统的语义表达方式无法有效地支撑人、机器和代码之间的语义交互,探索机器可理解的语义表达机制迫在眉睫.首先指出了代码知识图...
  • 作者: 宋明黎 潘文雯 王新宇 陈纯
    刊名: 软件学报
    发表期刊: 2020年1期
    页码:  67-81
    摘要: 如今,深度学习已被广泛应用于图像分类和图像识别的问题中,取得了令人满意的实际效果,成为许多人工智能应用的关键所在.在对于模型准确率的不断探究中,研究人员在近期提出了“对抗样本”这一概念.通过...
  • 作者: 何炎祥 张晓瞳 李清安 江南 汪吕蒙
    刊名: 软件学报
    发表期刊: 2020年1期
    页码:  82-112
    摘要: 随着现代社会计算机化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失.机械化定理证明能够建立更为严格的正确性,从而奠定系统的高可信性.针对机械化定理证明的逻辑基础和关键技术,详细...
  • 作者: 万建武 杨明
    刊名: 软件学报
    发表期刊: 2020年1期
    页码:  113-136
    摘要: 分类是机器学习的重要任务之一.传统的分类学习算法追求最低的分类错误率,假设不同类型的错误分类具有相等的损失.然而,在诸如人脸识别门禁系统、软件缺陷预测、多标记学习等应用领域中,不同类型的错误...
  • 作者: 卞昊穹 杜小勇 金国栋 陈跃国
    刊名: 软件学报
    发表期刊: 2020年1期
    页码:  137-161
    摘要: HDFS(Hadoop distributed file system)作为面向数据追加和读取优化的开源分布式文件系统,具备可移植、高容错和可大规模水平扩展的特性.经过10余年的发展,HDF...
  • 作者: 刘家俊 姚斌 文继荣 袁喆 郑凯 魏哲巍
    刊名: 软件学报
    发表期刊: 2020年1期
    页码:  162-182
    摘要: 实时交互式分析针对多目标和多角度的分析任务,通过多轮次的用户-数据库交互过程,逐步明确分析任务与分析目标,全方位地了解相关领域信息,最终得到科学的、全面的分析结果.相比传统数据库“提交查询-...
  • 作者: 孙知信 徐玉华
    刊名: 软件学报
    发表期刊: 2020年1期
    页码:  183-207
    摘要: 软件定义网络(software defined networking,简称SDN)是一种新型的网络架构.SDN将控制层从数据层分离并开放网络接口,以实现网络集中控制并提高网络的可扩展性和编程...
  • 作者: 朱俊虎 王清贤 邱菡 陈迪
    刊名: 软件学报
    发表期刊: 2020年1期
    页码:  208-227
    摘要: 互联网域间路由系统的安全问题一直备受关注.实现全网范围的互联网资源管理认证和可信跨域协作至关重要.区块链技术以其去中心化、防篡改、可追溯等天然属性,可作为域间网络资源认证与信任建立的基础.首...
  • 作者: 关贝 吕荫润 吴敬征 张常有 王永吉 王秀利 王翀
    刊名: 软件学报
    发表期刊: 2020年1期
    页码:  228-245
    摘要: 隐蔽信道是指恶意通信双方通过修改共享资源的数值、特性或状态等属性,来编码和传递信息的信道.共享资源的选取,由隐蔽信道的类型与具体通信场景所决定.早期,存储隐蔽信道和时间隐蔽信道主要存在于传统...
  • 作者: 刘尧 张云剑 曾庆凯 袁平海
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  247-265
    摘要: 即时编译机制(just-in-time compilation)改善了网页浏览器执行JavaScript脚本的性能,同时也为攻击者向浏览器进程注入恶意代码提供了便利.借助即时编译器,攻击者可...
  • 作者: 刘童 叶俊民 陈曙
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  266-281
    摘要: 软件缺陷预测旨在帮助软件开发人员在早期发现和定位软件部件可能存在的潜在缺陷,以达到优化测试资源分配和提高软件产品质量的目的.跨项目缺陷预测在已有项目的缺陷数据集上训练模型,去预测新的项目中的...
  • 作者: 向毅 周育人 蔡少伟
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  282-301
    摘要: 在基于搜索的软件工程研究领域,高维多目标最优软件产品选择问题是当前的一个研究热点.既往工作主要采用后验方式(即先搜索再选择)处理软件工程师或终端用户的偏好.与此不同,将用户偏好集成于优化过程...
  • 作者: 刘俊晖 朱扬勇 王淑婷 蔡莉
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  302-320
    摘要: 数据标注是大部分人工智能算法得以有效运行的关键环节.数据标注越准确、标注的数据量越大,算法的性能就越好.数据标注行业的发展带动了中国许多城市和城镇的就业,促使中国逐渐成为世界数据标注的中心....
  • 作者: 周国栋 奚雪峰 徐昇 朱巧明 蒋峰 褚晓敏
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  321-343
    摘要: 篇章结构分析是自然语言处理领域的一个重要研究方向.篇章结构分析有助于理解篇章的结构和语义,并为自然语言处理的应用(如自动文摘、信息抽取、问答系统等)提供有力的支撑.目前,篇章结构分析主要集中...
  • 作者: 刘建伟 史忠植 田东平 赵晓非
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  344-355
    摘要: 为了验证RDFS(resource description framework schema)本体的正确性所执行的推理是一项计算开销很大的任务,该任务在附加约束存在的条件下变得更加复杂.提出...
  • 作者: 余伟伟 汪慎文 胡玉荣 谢承旺 闭应洲
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  356-373
    摘要: 现实中大量存在的高维多目标优化问题对以往高效的多目标进化算法提出了严峻的挑战.通过将分解策略和协同策略相结合提出一种高维多目标进化算法MaOEA/DCE.该算法利用混合水平正交实验方法在聚合...
  • 作者: 张阳洋 景永俊 邵堃 霍星
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  374-394
    摘要: 在分布式体系结构的MAS(multi-agent system)中,Agent之间通过彼此的交互,协调完成共同的任务,但是由于没有中心化的管理权威可以依赖,导致对网络中Agent信誉信息进行...
  • 作者: 刘磊 吕帅 牛当当 王强 贺甫霖
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  395-405
    摘要: 模型计数是指求出给定命题公式的模型数,是SAT问题的泛化.模型计数在人工智能领域取得了广泛应用,彳艮多现实问题都可以规约为模型计数进行求解.目前,常用的模型计数求解器主要有Cachet与sh...
  • 作者: 张安珍 李建中 高宏
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  406-420
    摘要: 研究了基于符号语义的不完整数据聚集查询处理问题.不完整数据又称为缺失数据,缺失值包括可填充的和不可填充的两种类型.现有的缺失值填充算法不能保证填充后查询结果的准确度,为此,给出了不完整数据聚...
  • 作者: 孟祥武 张玉洁 杜雨露 赖奕安
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  421-438
    摘要: 新兴的基于活动的社交网络以活动为核心,结合线上关系与线下活动促进用户真实、有效的社交关系的形成,但过多的活动信息会使用户难以分辨和选择.结合上下文进行个性化同城活动推荐,是解决活动信息过载问...
  • 作者: 吴中海 沈晴霓 罗杨
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  439-454
    摘要: 为了保护云资源的安全,防止数据泄露和非授权访问,必须对云平台的资源访问实施访问控制.然而,目前主流云平台通常采用自己的安全策略语言和访问控制机制,从而造成两个问题:(1)云用户若要使用多个云...
  • 作者: 侯瑞涛 刘红燕 咸鹤群 张曙光
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  455-470
    摘要: 数据删重技术在云存储系统中得到了广泛的应用.如何在保证数据隐私的前提下,在半可信的云存储系统中实现高效的数据删重,是云计算安全领域的研究热点问题.现有方案在数据标识管理和用户数量统计方面普遍...
  • 作者: 周长利 田晖 蔡绍滨 陈永红
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  471-492
    摘要: 位置隐私和查询内容隐私是LBS兴趣点(point ofinterest,简称POI)查询服务中需要保护的两个重要内容,同时,在路网连续查询过程中,位置频繁变化会给LBS服务器带来巨大的查询处...
  • 作者: 常瑞 李晨曦 沈微 王若彤 陶新民
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  493-510
    摘要: 提出了一种基于低密度分割几何距离的半监督KFDA(kemel Fisher discriminant analysis)算法(semisupervised KFDA based on low...
  • 作者: 刘明华 崔雪红 汪传生 王传旭 胡强
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  511-530
    摘要: 为了解决复杂场景下,基于整体表观模型的目标跟踪算法容易丢失目标的问题,提出了一种多模型协作的分块目标跟踪算法.融合基于局部敏感直方图的产生式模型和基于超像素分割的判别式模型构建目标表观模型,...
  • 作者: 曹宇尧 李刚 赵耀 顾广华
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  531-543
    摘要: 智能电子设备和互联网的普及,使得图像数据爆炸性膨胀.为了有效管理复杂图像资源,提出一种基于加权语义邻近集和形式概念偏序结构的图像层级分类方法.首先,根据图像语义相关分数,对不同程度语义设定自...
  • 作者: 吴晓慧 周启明 林少锋 贺也平 马恒太
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  544-563
    摘要: 现代处理器的优化技术,包括乱序执行和推测机制等,对性能至关重要.以Meltdown和Spectre为代表的侧信道攻击表明:由于异常延迟处理和推测错误而执行的指令结果虽然在架构级别上未显示,但...
  • 作者: 庞建民 张杰鑫 张铮
    刊名: 软件学报
    发表期刊: 2020年2期
    页码:  564-577
    摘要: 拟态构造的Web服务器是一种基于拟态防御原理的新型Web安全防御系统,其利用异构性、动态性、冗余性等特性阻断或扰乱网络攻击,以实现系统安全风险可控.在分析拟态防御技术原理的基础上,论证异构性...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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