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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 刘辉 邵维忠 麻志毅
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2701-2710
    摘要: 提出了一种大类图拆分方法.首先通过度量工具计算类图中类目(类及接口)间的耦合度.根据面向对象设计中高内聚低耦合的设计原则,将紧耦合的类目划入同一个类图,而耦合度低的类目间实现分离.为了确保生...
  • 作者: 刘万伟 王戟 陈立前
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2711-2724
    摘要: 基于约束的多面体抽象域的处理能力主要受限于其高代价的(强)接合操作,即两多面体的凸闭包计算.针对基于约束的多面体抽象域提出了一系列低代价的弱接合操作,以作为凸闭包计算的可靠替代候选.为了能够...
  • 作者: 周晓宇 徐宝文 钱巨 陈林
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2725-2737
    摘要: 针对常见的利用指针或引用的聚集实现方式,提出一种基于形态分析的一对多聚集关系的自动识别方法.首先,扩充Sagiv的三值逻辑结构中的谓词以描述链表上聚集管理操作的语义特征.然后,给出基于控制流...
  • 作者: 刘亚萍 周航 曹子宁 祝义 黄志球
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2738-2751
    摘要: 使用LOTOS描述实时系统需求规约,通过建立LOTOS规约到UML-RT模型的模型转换,提出一种基于形式化规约生成软件体系结构模型的方法.最后,通过一个实例来说明如何将该方法应用于实时软件建...
  • 作者: 张鹏程 李必信 李雯睿
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2752-2767
    摘要: 为了表示事件出现的时间约束,扩展属性序列图为时间属性序列图,使其继承属性序列图的优点,并且能够表示时间属性,定义了时间属性序列图的形式语法,并给出基于时间Büchi自动机的形式操作语义;用实...
  • 作者: 任洪敏 宗宇伟 张敬周 朱三元 钱乐秋
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2768-2781
    摘要: 在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提...
  • 作者: 折延宏 王国俊
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2782-2789
    摘要: 为了在一种更为广泛的背景之下研究粒计算的基本问题(诸如粒化、粒的计算及粒空间之间信息粒转化等),在放弃等价关系的3个条件的基础上提出了一种基于覆盖的粒计算模型,进一步推广了已有的工作.在该模...
  • 作者: 于德弘 庄健 杜海峰 杨清宇
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2790-2801
    摘要: 针对遗传算法效率低等问题,基于复杂系统理论对其作了以下改进:首先,用反映复杂系统能量分布的幂律法则改造了选择算子;其次,引入复杂系统自学习特性重新设计了交叉算子;再次,采用反馈机理改进了更新...
  • 作者: 吴高巍 曾依灵 白硕 许洪波
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2802-2813
    摘要: 为寻求模型不匹配问题的一种恰当的解决途径,提出了基于语料分布特性的CADIC(clustering algorithm based on the distributions of intri...
  • 作者: 周维 周鹏 成镲 戚建淮 李志蜀 王红军
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2814-2825
    摘要: 已有的聚类集算法基本上都是非监督聚类集成算法,这样不能利用已知信息,使得聚类集成的准确性、鲁棒性和稳定性降低.把半监督学习和聚类集成结合起来,设计半监督聚类集成模型来克服这些缺点.主要工作包...
  • 作者: 吴瑕 孙吉贵 林海 殷明浩
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2826-2837
    摘要: 在扩展规则的基础上提出了可能性扩展规则.给出了基于可能性扩展规则的可能性逻辑推理方法,利用互补因子的概念来估价推理问题的复杂度.扩展了经典逻辑的蕴含可控制类和可满足可控制类的定义,提出了可能...
  • 作者: 卢新国 李丹 林亚平 骆嘉伟
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2838-2851
    摘要: 根据基因表达谱数据的特点,提出了全局分量模型(global component model,简称GCM)和癌症组分量模型(cancer component model,简称CCM)两种癌症识...
  • 作者: 陈亮 龚俭
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2852-2865
    摘要: 引入统计理论中的卡方统计检验,提出一种通用的应用协议流量行为特征分析方法--ABSA (application behavior significance assessment).该方法不针...
  • 作者: 冷甦鹏 毛建兵 毛玉明 白翔
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2866-2882
    摘要: 基于IEEE 802.11 p-persistent协议模型的研究,对一种近似优化条件在多优先级业务网络条件下的适用性进行了证明.应用该近似优化条件,提出了一种适用于IEEE 802.11 ...
  • 作者: 庄毅 陈松灿 顾晶晶
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2883-2891
    摘要: 在分析了无线传感器网络的布局基本符合流形(manifold)特点的基础上,借助所提出的局部保持的典型相关分析(locality preserving canonical correlatio...
  • 作者: 周兴铭 焦贤龙 王晓东
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2892-2905
    摘要: 首先证明了与应用网络编码相关的最优化问题是NP完全的,然后提出了一种采用启发式算法的网络编码方法COMP.该网络编码方法利用贪婪集合配置启发式算法和贪婪集合覆盖启发式算法的基本思想来尽可能多...
  • 作者: 李清泉 熊炜
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2906-2919
    摘要: 微机电技术、移动计算技术和无线通信技术的飞速发展,促使在现有道路网上快速构建一个自组织、分布式控制的车辆间多跳通信网络成为现实,随之引起了一系列问题亟待解决,例如高速运动车辆间的物理拓扑连通...
  • 作者: GUO Xiang-Fa 于佳 孔凡玉 程相国 郝蓉
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2920-2932
    摘要: 给出了前向安全多重签名的形式化安全性模型,并提出了一个可证安全的前向安全多重签名方案.在该方案中,即使所有参与多重签名成员的当前密钥泄漏,所有以前时间段的签名也是有效的.证明了方案是标准模型...
  • 作者: 赵小敏 陈庆章 陈晓莹
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2933-2943
    摘要: 提出一种用于提高无线传感器网络能效的双轮成簇协议(energy efficient double rounds clustering protocol,简称EEDRCP).它对LEACH协议...
  • 作者: 冯建华 张金祥 时云峰
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2944-2958
    摘要: 从强脆弱性的本质、分析和利用3个方面对强脆弱性进行了剖析.首先给出了强脆弱性定义,提出了程序存在强脆弱性的必要条件和充分条件,并证明了不存在万能的强脆弱性检测程序;其次,提出了判断程序存在强...
  • 作者: 李帅 赵沁平 郝爱民 高玉建
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2959-2970
    摘要: 在给出非均匀材质建模描述方法的基础上,通过对光线类型和光的次表面散射物理过程进行分解,分别给出了图像空间非均匀材质单次散射和多次散射的近似计算方法.延迟着色思想的融入,满足了动态物体实时绘制...
  • 作者: 吴玲达 文军 曾璞 栾悉道
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2971-2984
    摘要: 实现数据库中全部故事单元的相似度分析所面临的复杂性问题相当突出.提出了一种有效的方法来克服这些问题.首先,对限制相似关键帧识别速度的因素进行了研究,通过构建关联分析子数据库和精简局部关键点数...
  • 作者: 翟振刚 赵红 陆耀
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  2985-2998
    摘要: 为了解决倾斜表面或曲面的匹配问题,提出了一种基于图像分割块之间的几何约束和视差值的概率分布信息的视差估算方法.在一个全局能量函数中增加了图像分割块之间的几何约束项,通过计算匹配能量得到分割块...
  • 作者:
    刊名: 软件学报
    发表期刊: 2010年11期
    页码:  封3
    摘要:

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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