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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
文章浏览
目录
  • 作者: 付晓东 刘新忠 徐高潮 胡亮 董玉双
    刊名: 软件学报
    发表期刊: 2011年3期
    页码:  439-450
    摘要: 关联缺陷的存在很大程度上是由于缺陷的检测能力被其他缺陷所屏蔽,它不仅影响软件测试结果,还扭曲了软件可靠性评估模型的评估结果.从软件缺陷的自身角度来分析软件检测以及可靠性评估失效的原因,对关联...
  • 作者: 刘明 李巧勤 杨梅 陈贵海
    刊名: 软件学报
    发表期刊: 2011年3期
    页码:  451-465
    摘要: 基于多跳路由的传感器网络,靠近sink的节点由于要转发更多的数据,其能量消耗较快.能量消耗的不平衡导致了sink周围产生能量洞(energy hole),造成能量浪费,远离sink的节点还有...
  • 作者: 刘明 宋超 王晓敏 陈贵海 龚海刚
    刊名: 软件学报
    发表期刊: 2011年3期
    页码:  466-480
    摘要: 提出了一种基于分布式实时信息的车载自组织网络路由协议(distributed real-time information based routing protocol,简称 DRIP).网络...
  • 作者: 朱培栋 胡宁 邹鹏
    刊名: 软件学报
    发表期刊: 2011年3期
    页码:  481-494
    摘要: 路由协同监测通过在自治系统之间共享路由监测信息来形成更为完整的全局监测视图,从而克服域间路由系统自治性的制约,提高单个自治系统的路由监测能力.针对路由协同监测的核心问题--监测信息共享,基于...
  • 作者: 奚宏生 崔孝林 张勇 谭小彬
    刊名: 软件学报
    发表期刊: 2011年3期
    页码:  495-508
    摘要: 为了分析威胁传播对网络系统的影响,准确、全面地评估系统的安全性,并给出相应的加固方案,提出一种基于Markov博弈分析的网络安全态势感知方法通过对多传感器检测到的安全数据进行融合,得到资产、...
  • 作者: 吴中福 吴开贵 吴长泽 徐洁 陈明
    刊名: 软件学报
    发表期刊: 2011年3期
    页码:  509-521
    摘要: 在深入分析公平交换协议现有研究和各项安全属性的基础上,由于信任逻辑方法难以分析乐观公平交换协议的公平性和时限性,提出一种公平交换协议形式化模型和推理逻辑.新模型将信道错误转化为攻击行为,将参...
  • 作者: 奚宏生 孔德光 宫涛 帅建梅 谭小彬
    刊名: 软件学报
    发表期刊: 2011年3期
    页码:  522-533
    摘要: 针对迷惑恶意代码识别率较低的问题,提出一种基于提升多维特征的迷惑恶意代码检测算法.该算法在对迷惑恶意代码反汇编后进行静态分析,从Opcode分布序列,调用流图特征、系统调用序列图这3个特征维...
  • 作者: 刘军 肖军模 雷新锋
    刊名: 软件学报
    发表期刊: 2011年3期
    页码:  534-557
    摘要: 在密码协议中,主体的认知与信仰状态是随时间推移而不断变化的.为了在协议分析中体现这种动态性,提出一种时间相关密码协议逻辑.该逻辑基于谓词模态逻辑,通过在谓词及模态词中引入时间参数以体现时间因...
  • 作者: 杨路明 王伟平 蒲保兴
    刊名: 软件学报
    发表期刊: 2011年3期
    页码:  558-571
    摘要: 针对单源组播网络,通过对线性网络编码的内在机理进行分析,提出了不同组播率下编码方案之间的导出与扩展技术:任意一个编码方案可以由某些较高组播率下的编码方案导出,同时可以由某些较低组播率下的编码...
  • 作者: 王韬 赵新杰 郑媛媛 郭世泽
    刊名: 软件学报
    发表期刊: 2011年3期
    页码:  572-591
    摘要: 首先给出了访问驱动Cache计时攻击的模型,提出了该模型下直接分析、排除分析两种通用的AES加密泄漏Cache信息分析方法;然后建立了AES加密Cache信息泄露模型,并在此基础上对排除分析...
  • 作者: 刘禹 张莉 王守信 王帅 申菊芳
    刊名: 软件学报
    发表期刊: 2011年4期
    页码:  593-608
    摘要: 可满足性表示和推理方法是面向目标需求工程领域的重要研究内容.根据从连续定量论域抽取定性概念过程中的主观认知的不确定性特点,提出了一种基于云模型的目标可满足性表示模型.作为定性概念与其定量论域...
  • 作者: 常志明 毛新军 王戟 董孟高 齐治昌
    刊名: 软件学报
    发表期刊: 2011年4期
    页码:  609-624
    摘要: 自适应系统具有环境开放性、变化敏感性、系统动态性等复杂性特点,如何支持这类复杂系统的开发和维护是目前软件工程关注的焦点.将自适应系统中的自主运行单元抽象为软件Agent,借助组织学思想提出了...
  • 作者: 丁博 史殿习 唐扬斌 王怀民
    刊名: 软件学报
    发表期刊: 2011年4期
    页码:  625-639
    摘要: 多Agent协作过程中的许多挑战都可以建模为分布式约束优化问题.针对低约束密度的分布式约束优化问题,提出了一种基于贪婪和回跳思想的求解算法.在该算法中,各Agent基于贪婪原则进行决策.能够...
  • 作者: 卜磊 李宣东 李游 王林章
    刊名: 软件学报
    发表期刊: 2011年4期
    页码:  640-658
    摘要: 混成自动机的模型检验问题非常困难,即使是其中相对简单的一个子类--线性混成自动机,它的可达性问题仍然是不可判定的.现有的相关工具大都使用多面体计算来判定线性混成自动机状态空间的可达集,复杂度...
  • 作者: 张鹏程 李雯睿 王志坚
    刊名: 软件学报
    发表期刊: 2011年4期
    页码:  659-675
    摘要: UML 2.0顺序图已广泛应用于业界,但其语义模糊,以至于不能有效地加以使用.模态顺序图(modal sequence diagram,简称MSD)是对UML 2.0顺序图的模态扩展,区分了...
  • 作者: 张清华 杨青山 王国胤 马希骜
    刊名: 软件学报
    发表期刊: 2011年4期
    页码:  676-694
    摘要: 知识不仅是构成人类认知能力的重要基石,也是智能科学研究的基础问题之一.随着智能科学技术研究的发展,知识的不确定性研究受到人们的普遍关注.知识的不确定性来源于知识本身的不确定性以及受外界(客观...
  • 作者: 曾传华 王国胤 申元霞
    刊名: 软件学报
    发表期刊: 2011年4期
    页码:  695-708
    摘要: 信息认知的内在联系提出了相关性粒子群优化模型.该模型采用Copula函数去刻画随机因子间的相关结构,而不同的相关结构和相关性程度反映了粒子对自身经验信息和群体共享信息的利用策略的差异,同时给...
  • 作者: 徐明 蒋艳凰 赵强利
    刊名: 软件学报
    发表期刊: 2011年4期
    页码:  709-721
    摘要: 选择性集成通过选择部分基分类器参与集成,从而提高集成分类器的泛化能力,降低预测开销.但已有的选择性集成算法普遍耗时较长,将数据挖掘的技术应用于选择性集成,提出一种基于FP-Tree(freq...
  • 作者: 王意洁 郑重 马行空
    刊名: 软件学报
    发表期刊: 2011年4期
    页码:  722-735
    摘要: 覆盖网是各种数据分发应用的基础架构.在节点波动的网络环境中实现快速而准确的数据分发,对覆盖网提出了两个要求:高效的数据路由;较强的系统鲁棒性.已有的覆盖网构建方法多侧重于某个方面的优化,因而...
  • 作者: 张慧 方旭明 袁琴
    刊名: 软件学报
    发表期刊: 2011年4期
    页码:  736-744
    摘要: 由于无线频谱是极为有限的资源,呼叫接纳控制(call admission control,简称CAC)成为移动通信系统中无线资源管理的一个重要部分.针对流媒体对接入资源的过度占用问题,提出了...
  • 作者: 姜守旭 李晓义 李治军
    刊名: 软件学报
    发表期刊: 2011年4期
    页码:  745-760
    摘要: P2P网络中的节点很可能从另外的节点那里收到质量很差的服务和信息,名誉评价是解决该问题的常见方法.基于评分反馈的P2P名誉计算机制存在下述缺点:无法区分恶意评价和诚实节点给出错误评价间的差别...
  • 作者: 孙其博 杨放春 王尚广
    刊名: 软件学报
    发表期刊: 2011年4期
    页码:  761-772
    摘要: 为了检测针对3G核心网中IP多媒体子系统的SIP(session initiation protocol)洪泛攻击,提出了一种双抽样多点检测方法.该方法在使用计数式布鲁姆过滤器统计检测特征信...
  • 作者: 朱桂明 郭得科 金士尧
    刊名: 软件学报
    发表期刊: 2011年4期
    页码:  773-781
    摘要: 非结构化P2P网络资源定位过程中的查询延迟、查准率和查询成本难以同时被优化,为此,提出一种基于副本复制和Bloom Filter技术的P2P概率路由算法DCBF(data copying a...
  • 作者: 陈厚友 马传贵
    刊名: 软件学报
    发表期刊: 2011年4期
    页码:  782-788
    摘要: 标量乘和多标量乘是实现椭圆曲线密码体制的核心运算,其运算速度从整体上决定了椭圆曲线密码体制的实现效率.提出了一种多标量乘算法,该算法的基本思想是,将标量用带符号的整数阶乘展开式表示,并结合固...
  • 作者: 梁云 王栋 罗笑南 苏卓
    刊名: 软件学报
    发表期刊: 2011年4期
    页码:  789-800
    摘要: 图像收缩是缩小高分辨率图像以适应不同纵横比小尺寸显示屏幕的过程,关键是收缩后能够凸显图像重要区域,保持连续,避免扭曲.提出一种新的图像收缩方法,该方法首先基于能量失真约束,迭代收缩覆盖图像的...
  • 作者: 史忠植 施智平 李志欣 李志清
    刊名: 软件学报
    发表期刊: 2011年4期
    页码:  801-812
    摘要: 由于语义鸿沟的存在,图像自动标注已成为一个重要课题.在概率潜语义分析的基础上,提出了一种融合语义主题的方法以进行图像的标注和检索.首先,为了更准确地建模训练数据,将每幅图像的视觉特征表示为一...
  • 作者: 孙德全 张军 戴霞 王邦平
    刊名: 软件学报
    发表期刊: 2011年4期
    页码:  813-825
    摘要: 提出了一种直接从同一场景多次不同曝光值下成像的LDR(low dynamic range)图像序列中提取每个像素位置最佳成像信息的图像融合方法,可以在无需任何拍摄相机参数及场景先验信息的情况...
  • 作者: 成礼智 王红霞 陈波
    刊名: 软件学报
    发表期刊: 2011年4期
    页码:  826-832
    摘要: 传统的二维DCT(discrete cosine transform)无法稀疏表示除水平或垂直方向以外的边缘,而具有强方向表示能力的方向预测离散余弦变换(directional predic...
  • 作者: XIONG Naixue 彭少君 郭文忠 陈国龙
    刊名: 软件学报
    发表期刊: 2011年5期
    页码:  833-842
    摘要: 电路划分是VLSI物理设计过程中的一个关键阶段.该问题本质上是一个NP困难的组合优化问题.针对该问题,提出了一种带FM策略的混合粒子群优化算法.引入遗传算法的两点交叉算子和随机两点交换变异算...
  • 作者: 何琨 黄文奇
    刊名: 软件学报
    发表期刊: 2011年5期
    页码:  843-851
    摘要: 在穴度方法的基础上结合捆绑策略,为三维欧氏空间中长方体Packing问题的求解提供了一种高效的启发式算法.试算了由Loh和Nee于1992年提出的15个经典算例,对其中的困难算例LN2,取得...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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