杂志简介：《软件学报》杂志经新闻出版总署批准，自1990年创刊，国内刊号为11-2560/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：理论计算机科学、系统软件与软件工程、模式识别与人工智能、数据库技术、计算机网络与信息安全、计算机体系结构
杂志简介：《软件学报》杂志经新闻出版总署批准，自1990年创刊，国内刊号为11-2560/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：理论计算机科学、系统软件与软件工程、模式识别与人工智能、数据库技术、计算机网络与信息安全、计算机体系结构
作者：刘阳 李宣东 马艳 刊期：2015年第08期
随机模型检验是经典模型检验理论的延伸和推广，由于其结合了经典模型检验算法和线性方程组求解或线性规划算法等，并且运算处理的是关于状态的概率向量而非经典模型检验中的位向量，所以状态爆炸问题在随机模型检验中更为严重．抽象作为缓解状态空间爆炸问题的重要技术之一，已经开始被应用到随机模型检验领域并取得了一定的进展以面向随机模型...
作者：陈军成 薛云志 陶秋铭 赵琛 刊期：2015年第08期
GUI测试用例集约简是降低GUI软件测试成本的有效手段．GUI软件的消息循环机制以及事件驱动特性，导致传统的基于控制流和数据流的测试用例集约简技术难以直接应用于GUI测试用例集约简．如何在尽可能保持原有测试用例集缺陷发现能力的基础上，尽可能地降低GUI测试用例集规模，是GUI测试用例集约简的一个挑战．以事件处理函数为核心，结合控制流和...
作者：白琳 叶丹 魏峻 黄涛 刊期：2015年第08期
服务因其灵活的应用机制，逐渐成为软件开发过程中的主要载体．面对网络中涌现出的大量功能相同或相似而QoS（quality of service）不同的服务群体，如何快速、准确地定位到所需要的服务个体，仍是一项十分具有挑战性的工作．基于服务对功能的封装特性，提出一种基于服务功能规约的服务选择方法，将功能相关的抽象服务规约为一个粒度更大的服务...
作者：史椸 冯雨声 齐勇 孙伟 刊期：2015年第08期
服务器系统最无法忍受的就是因为频繁出错甚至崩溃影响正常用户的运行，因此需要系统具有自恢复能力．目前研究应用较多的自恢复策略即回滚检查点策略，并不适用于多用户服务器程序的恢复．针对多用户服务器程序的特点，设计了一种基于虚拟机的自恢复系统VMSRS（virtual machine monitor-self recovery of service program）.VMSRS的基本思想是...
作者：巩敦卫 钟超群 姚香娟 刊期：2015年第08期
基于占优关系的可测试性转化，是将目标语句覆盖问题转化为位于该语句之前的占优语句（集）覆盖问题，能够对含有标志变量的程序进行测试．但是当占优语句（集）不止一个时，如何从这些语句（集）中选择最容易覆盖的作为新的目标语句（集），至今没有有效的方法，从而限制了可测试性转化的应用范围．研究了占优语句（集）选择问题，提出了基于覆...
作者：余泉 李承乾 申宇铭 王驹 刊期：2015年第08期
溯因推理为归纳与演绎推理之外的另一种重要的推理形式，在人工智能等领域有着广泛的应用．通俗地讲，溯因推理是从观察（结果）去推断原因的推理过程．不同于以往的研究思路，通过使用本原蕴含式和素蕴含，证明了可以把命题逻辑和命题模态逻辑系统S5中求溯因问题的极小解释转化为求对应集合的极小碰集问题．给出了求解溯因问题的一种新方法．
作者：甘早斌 曾灿 马尧 鲁宏伟 刊期：2015年第08期
C2C电子商务交易具有匿名性、随机性、动态性的特点，交易双方仅通过虚拟网络交换信息，缺乏基本的信任基础、交易存在较大的风险．构造科学的信任计算模型、客观度量卖家的可信度、辅助买家（消费者）做出正确的购买决策，是降低交易风险的有效手段之一．为此，从买家的角度出发，详细讨论了信任网络的基本概念及其相关属性．并以信任的时间敏...
作者：郝红星 吴玲达 黄为 刊期：2015年第08期
稀疏编码理论应用于信号处理的各个领域，为了获取优化的稀疏编码，需要通过训练获取数据词典．提出了一种复数域数据词典的快速训练方法，将词典训练问题转化为最优化问题并交替地对词典原子和编码进行最优化而得到最终训练词典．在对词典原子的最优化过程中，采用具有记忆性的在线训练算法；而在对编码进行最优化的过程中，采用交换乘子方向方...
作者：逢涛 段振华 刘晓芳 刊期：2015年第08期
现有模型检测工具的形式化规范语言，如计算树逻辑（computation tree logic，简称CTL）和线性时序逻辑（linear temporal logic，简称LTLl等的描述能力不足，无法验证ω正则性质．提出了一个命题投影时序逻辑（propositional projection temporal logic,简称PPTL）符号模型检测工具——PLSMC（PPTL symbolic model checker）的设计与实现过程．...
作者：夏先进 李士宁 张羽 李志刚 杨哲 刊期：2015年第08期
无线传感器网络的固有通信特征会引发能耗不均衡现象，进而产生能量空洞问题：混合数据传输是新近提出的一种能量空洞避免策略，其能量均衡性能主要取决于各节点的传输概率．然而，传输概率的设置还缺乏相关理论模型的指导，而且在节点传输距离受限的条件下能否通过混合传输策略实现全网能量均衡，还有待进一步研究．将一维网络中混合传输策略的...
作者：隋毅 邵峰晶 孙仁诚 李淑静 吴舜尧 刊期：2015年第08期
针对典型复杂网络模型仅描述了复杂系统中同一类个体及其间一种相互关系且对问题的讨论仅局限于同一个系统的问题，基于能够描述复杂系统中异类个体间多种关系的多子网复合复杂网络模型，导入多维向量空间，将网络节点间的关系映射为多维向量，定义了向量复合网．在此基础上，将该模型的动态组网运算（加载与退缩）转化为向量空间的基变换，给出...
作者：胡向东 徐慧芬 张力 刊期：2015年第08期
基于无线传感网的物联网感知层传统的“全网”、“周期性”重新成簇的簇维护模式因超范围过度维护，存在维护成本高、能量浪费严重、服务全面中断、响应不及时等缺点．局域按需簇维护方法（local and on-demand maintenance of clusters,简称LDMC）将簇维护操作控制在簇受损的时间和空间范围内，通过设置触发源、预处理和维护动作分别解决簇维护...
作者：杜文峰 赖力潜 吴真 刊期：2015年第08期
针对多路径并发传榆模型的整体性能在路径性能存在差异时会急剧下降的原因进行分析，给出了获取通信路径传输时延的有效评估方案，并在此基础上提出了一种基于传输时延预测的多路径并发传输数据分配算法．该算法通过获取和预测数据块在各条路径上引入的传输时延，以按序到达为目标对多路径并发传输模型发送回合内和发送回合间的数据分配过程进行...
作者：荀亚玲 张继福 秦啸 刊期：2015年第08期
MapReduce是一种适用于大规模数据密集型应用的有效编程模型，具有编程简单、易于扩展、容错性好等特点，已在并行和分布式计算领域得到了广泛且成功的应用．由于MapReduce将计算扩展到大规模的机器集群上，处理数据的合理放置成为影响MapReduce集群系统性能（包括能耗、资源利用率、通信和I／O代价、响应时间、系统的可靠性和吞吐率等）的关键...
作者：王卅 张文博 吴恒 宋云奎 魏峻 钟华 黄涛 刊期：2015年第08期
虚拟化技术已成为云计算平台中的关键性支撑技术．它极大地提高了数据中心的资源利用率，降低了管理成本和能源消耗，但同时也为数据中心带来了新的问题——性能干扰．同一平台上的多虚拟机过度竞争某一底层硬件资源（如CPU，Cache等），会造成虚拟机性能严重下降；而出于安全性和可移植性的考虑，底层平台管理者需要尽量避免侵入式监测上层虚拟...
影响因子：0.16
期刊级别：省级期刊
发行周期：双月刊
影响因子：1.2
期刊级别：省级期刊
发行周期：半月刊
影响因子：1.75
期刊级别：北大期刊
发行周期：月刊
影响因子：1.26
期刊级别：部级期刊
发行周期：月刊
影响因子：0.37
期刊级别：省级期刊
发行周期：月刊
影响因子：1.71
期刊级别：统计源期刊
发行周期：半月刊
影响因子：--
期刊级别：部级期刊
发行周期：月刊
影响因子：0.62
期刊级别：北大期刊
发行周期：双月刊
影响因子：0.95
期刊级别：北大期刊
发行周期：月刊
影响因子：0.3
期刊级别：省级期刊
发行周期：月刊
影响因子：0.68
期刊级别：省级期刊
发行周期：月刊
影响因子：2.24
期刊级别：北大期刊
发行周期：月刊