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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 李静 王晶晶 许东
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  195-208
    摘要: 偶图是由Robin Milner在2001年提出的一种基于图形的形式化理论模型,试图为普适计算提供一个设计、模拟和分析的平台以及为现有的进程代数提供一个统一的可扩展的框架.介绍了偶图的基本概...
  • 作者: 朱梧槚 李未 眭跃飞 罗杰
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  209-218
    摘要: 中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词~、反对连接词(△)以及蕴涵连接词→,并且定义否定连接词.给出了一个Gentzen-型的推导系统,使得该系...
  • 作者: 汪芸 马骏驰
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  219-230
    摘要: 软错误是高辐照空间环境下影响计算可靠性的主要因素,结果错误(silent data corruption,简称SDC)是软错误造成的一种特殊的故障类型.针对SDC难以检测的问题,提出了一种基...
  • 作者: 吕天阳 张斌 张锡哲
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  231-246
    摘要: 随着分布式计算技术的发展,以自治的服务协同与互操作为主要构造手段、结构与行为随需而变的面向服务的软件系统已成为当前主流的软件架构,分析并理解服务交互行为对于这类复杂软件系统的开发、维护和运营...
  • 作者: 刘挺 李洋 陈毅恒
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  247-263
    摘要: 微博已经逐渐成为人们获取信息、分享信息的重要社会媒体,深刻影响并改变了信息的传播方式.针对微博信息传播预测问题展开综述.该研究对舆情监控、微博营销、个性化推荐具有重要意义.首先概述微博信息传...
  • 作者: 张斌 张长胜 段沛博
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  264-279
    摘要: 多agent系统作为分布式人工智能研究领域的重要分支,已被广泛应用于多个领域中复杂系统的建模.而分布式约束优化作为一种多agent系统求解的关键技术,已成为约束推理研究的热点.首先对其适用性...
  • 作者: 周国栋 朱巧明 李培峰
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  280-294
    摘要: 中文事件触发词抽取是一项具有挑战性的任务.针对中文事件触发词抽取中存在的事件论元语义信息难以获取以及部分贫信息事件实例难以抽取的问题,提出了基于语义的中文事件触发词抽取联合学习模型.首先,根...
  • 作者: 张清华 王国胤 薛玉斌
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  295-308
    摘要: Pawlak教授提出的粗糙集理论是解决集合边界不确定的重要手段,他构建了边界不确定集合的两条精确边界,但没有给出用已有知识基来精确或近似地构建目标概念(集合)X的方法.在前期的研究中提出了寻...
  • 作者: 周国栋 朱巧明 邹博伟 钱忠 陈站成
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  309-328
    摘要: 目前,信息抽取研究主要面向肯定性信息,而自然语言文本中包含了大量否定性和不确定性信息,为了将此类信息与肯定性信息区分开,有必要针对否定性与不确定性信息抽取进行深入研究针对这一任务,首次构建了...
  • 作者: 万常选 刘喜平 刘德喜 廖国琼
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  329-347
    摘要: 由于越来越多的数据具有位置和文本双重属性,空间关键词查询(spatial keyword query,简称SKQ)应运而生.一个SKQ以一个地理位置和若干关键词作为参数,返回满足空间与文本约...
  • 作者: 刘志晗 张峻铭 李静林 杨放春 王尚广 袁泉
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  348-362
    摘要: 移动对象聚集模式是指由移动对象参与的一组群体事件,通常用来预测交通系统中出现的异常现象.然而由于海量移动轨迹数据的产生,已有的研究方法难以准确、高效地挖掘特定的聚集模式.为此,提出一种基于时...
  • 作者: 杨静 谢志强 辛宇
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  363-380
    摘要: 语义社会网络是一种由信息节点及社会关系构成的新型复杂网络,传统语义社会网络分析算法在进行社区挖掘时需要预先设定社区个数,且无法发现重叠社区.针对这一问题,提出一种面向语义社区发现的link-...
  • 作者: 孟小峰 张啸剑
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  381-393
    摘要: 基于差分隐私保护模型,已经存在多种静态数据集上的直方图发布方法,而目前着重考虑数据流环境下的直方图发布方法却很少.由于数据流本身潜在的复杂性,直接利用现有的满足差分隐私的直方图发布方法处理数...
  • 作者: 周桐庆 夏竟 徐明 蔡志平
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  394-417
    摘要: 作为一种新型网络架构,软件定义网络(software defined network,简称SDN)将网络的数据层和控制层分离,通过集中化控制和提供开放控制接口,简化网络管理,支持网络服务的动...
  • 作者: 杨静静 王恒 范兴刚
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  418-431
    摘要: 覆盖与连通问题是无线传感器网络的基本问题.研究考虑连通性的概率覆盖增强算法,构建覆盖空洞的修补半径,提出了移动距离和修补半径的关系模型.通过这个关系模型,移动节点在修补圆上选择保持连通的修补...
  • 作者: 刘斌 刘明 朱金奇 陈贵海 马春梅 龚海刚
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  432-450
    摘要: 车载自组织网络(vehicular ad hoc networks,简称VANETs)具有网络间歇连通、节点高速移动及动态的网络拓扑结构等特性,如何有效地实现车辆间的数据传输,成为VANET...
  • 作者: 周彦伟 张文政 杨波
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  451-465
    摘要: 分析传统的匿名漫游认证协议,指出其匿名不可控和通信时延较大的不足.针对上述不足,提出异构无线网络可控匿名漫游认证协议,远程网络认证服务器通过1轮消息交互即可完成对移动终端的身份合法性验证,当...
  • 作者: 张文博 徐继伟 钟华 魏峻 黄涛
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  466-480
    摘要: 随着云计算的兴起,虚拟化技术使用也越来越广泛,虚拟机正逐步取代物理机,成为应用服务的部署环境.出于灵活性、可靠性等方面的需求,虚拟机镜像急剧增长,如何高效地、经济地管理这些镜像文件已成为一个...
  • 作者: 孙浩 曾庆凯 邓良 黄啸
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  481-494
    摘要: 传统的基于虚拟化内核监控模型存在两个方面的不足:(1)虚拟机监控器(virtual machine monitor,简称VMM)过于复杂,且存在大量攻击面(attack surface),容...
  • 作者:
    刊名: 软件学报
    发表期刊: 2016年2期
    页码:  封3
    摘要:

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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