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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 刘阳 李宣东 马艳
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  1853-1870
    摘要: 随机模型检验是经典模型检验理论的延伸和推广,由于其结合了经典模型检验算法和线性方程组求解或线性规划算法等,并且运算处理的是关于状态的概率向量而非经典模型检验中的位向量,所以状态爆炸问题在随机...
  • 作者: 薛云志 赵琛 陈军成 陶秋铭
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  1871-1885
    摘要: GUI测试用例集约简是降低GUI软件测试成本的有效手段.GUI软件的消息循环机制以及事件驱动特性,导致传统的基于控制流和数据流的测试用例集约简技术难以直接应用于GUI测试用例集约简.如何在尽...
  • 作者: 叶丹 白琳 魏峻 黄涛
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  1886-1906
    摘要: 服务因其灵活的应用机制,逐渐成为软件开发过程中的主要载体.面对网络中涌现出的大量功能相同或相似而QoS(quality of service)不同的服务群体,如何快速、准确地定位到所需要的服...
  • 作者: 冯雨声 史椸 孙伟 齐勇
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  1907-1924
    摘要: 服务器系统最无法忍受的就是因为频繁出错甚至崩溃影响正常用户的运行,因此需要系统具有自恢复能力.目前研究应用较多的自恢复策略即回滚检查点策略,并不适用于多用户服务器程序的恢复.针对多用户服务器...
  • 作者: 姚香娟 巩敦卫 钟超群
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  1925-1936
    摘要: 基于占优关系的可测试性转化,是将目标语句覆盖问题转化为位于该语句之前的占优语句(集)覆盖问题,能够对含有标志变量的程序进行测试.但是当占优语句(集)不止一个时,如何从这些语句(集)中选择最容...
  • 作者: 余泉 李承乾 王驹 申宇铭
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  1937-1945
    摘要: 溯因推理为归纳与演绎推理之外的另一种重要的推理形式,在人工智能等领域有着广泛的应用.通俗地讲,溯因推理是从观察(结果)去推断原因的推理过程.不同于以往的研究思路,通过使用本原蕴舍式和素蕴含,...
  • 作者: 曾灿 甘早斌 马尧 鲁宏伟
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  1946-1959
    摘要: C2C电子商务交易具有匿名性、随机性、动态性的特点,交易双方仅通过虚拟网络交换信息,缺乏基本的信任基础,交易存在较大的风险.构造科学的信任计算模型、客观度量卖家的可信度、辅助买家(消费者)做...
  • 作者: 吴玲达 郝红星 黄为
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  1960-1967
    摘要: 稀疏编码理论应用于信号处理的各个领域,为了获取优化的稀疏编码,需要通过训练获取数据词典.提出了一种复数域数据词典的快速训练方法,将词典训练问题转化为最优化问题并交替地对词典原子和编码进行最优...
  • 作者: 刘晓芳 段振华 逄涛
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  1968-1982
    摘要: 现有模型检测工具的形式化规范语言,如计算树逻辑(computation tree logic,简称CTL)和线性时序逻辑(linear temporal logic,简称LTL)等的描述能力...
  • 作者: 夏先进 张羽 李士宁 李志刚 杨哲
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  1983-2006
    摘要: 无线传感器网络的固有通信特征会引发能耗不均衡现象,进而产生能量空洞问题;混合数据传输是新近提出的一种能量空洞避免策略,其能量均衡性能主要取决于各节点的传输概率.然而,传输概率的设置还缺乏相关...
  • 作者: 吴舜尧 孙仁诚 李淑静 邵峰晶 隋毅
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  2007-2019
    摘要: 针对典型复杂网络模型仅描述了复杂系统中同一类个体及其间一种相互关系且对问题的讨论仅局限于同一个系统的问题,基于能够描述复杂系统中异类个体间多种关系的多子网复合复杂网络模型,导入多维向量空间,...
  • 作者: 张力 徐慧芬 胡向东
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  2020-2040
    摘要: 基于无线传感网的物联网感知层传统的“全网”、“周期性”重新成簇的簇维护模式因超范围过度维护,存在维护成本高、能量浪费严重、服务全面中断、响应不及时等缺点.局域按需簇维护方法(local an...
  • 作者: 吴真 杜文峰 赖力潜
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  2041-2055
    摘要: 针对多路径并发传输模型的整体性能在路径性能存在差异时会急剧下降的原因进行分析,给出了获取通信路径传输时延的有效评估方案,并在此基础上提出了一种基于传输时延预测的多路径并发传输数据分配算法.该...
  • 作者: 张继福 秦啸 荀亚玲
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  2056-2073
    摘要: MapReduce是一种适用于大规模数据密集型应用的有效编程模型,具有编程简单、易于扩展、容错性好等特点,已在并行和分布式计算领域得到了广泛且成功的应用.由于MapReduce将计算扩展到大...
  • 作者: 吴恒 宋云奎 张文博 王卅 钟华 魏峻 黄涛
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  2074-2090
    摘要: 虚拟化技术已成为云计算平台中的关键性支撑技术.它极大地提高了数据中心的资源利用率,降低了管理成本和能源消耗,但同时也为数据中心带来了新的问题——性能干扰.同一平台上的多虚拟机过度竞争某一底层...
  • 作者: 于戈 宋杰 李甜甜 王智
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  2091-2110
    摘要: 在云计算技术和大数据技术的推动下,IT资源的规模不断扩大,其能耗问题日益显著.研究表明:节点资源利用率不高、资源空闲导致的能源浪费,是目前大规模分布式系统的主要问题之一.研究了MapRedu...
  • 作者: 包卫东 朱晓敏 王吉 纪浩然 陈超 陈黄科
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  2111-2123
    摘要: 目前,节能已成为云数据中心的研究热点.建设节能的云数据中心不仅可以减少用电消耗,而且可以提高系统的可靠性.现有的云中心节能调度算法缺乏在任务调度级别的考虑,使得任务执行效果受到较大影响.为此...
  • 作者: 任建宝 史椸 宣宇 戴月华 王晓光 齐勇
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  2124-2137
    摘要: 操作系统漏洞经常被攻击者利用,从而以内核权限执行任意代码(返回用户态攻击,ret2user)以及窃取用户隐私数据.使用虚拟机监控器构建了一个对操作系统及应用程序透明的内存访问审查机制,提出了...
  • 作者: 刘庆云 孙永 张鹏 徐克付 林海伦 谭建龙
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  2138-2154
    摘要: 近几年来,互联网上出现了一类称为Mashup的新型应用,它使最终用户能够个性化地聚合和操作分布在互联网上的数据源.然而,关于Mashup在动态环境下运行时的性能研究还比较缺乏.为此,利用缓存...
  • 作者:
    刊名: 软件学报
    发表期刊: 2015年8期
    页码:  封3
    摘要:

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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