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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 刘国平 吴敏 徐德智 胡春华
    刊名: 软件学报
    发表期刊: 2007年8期
    页码:  1870-1882
    摘要: 针对互联网中Web服务具有动态变化且迅速增长的特点,提出了一种面向用户需求的服务工作流构造模型.该模型将功能相同或相似的服务聚集成一类服务集合,每类服务集合采用生成树的方式组织,并依据工作流...
  • 作者: 刘譞哲 梅宏 黄罡
    刊名: 软件学报
    发表期刊: 2007年8期
    页码:  1883-1895
    摘要: 虚拟计算环境的重要目标之一,就是在动态、开放、多变的网络环境中对分布异构资源按需进行聚合,并提供有效的资源发布、发现、订阅等机制.通过服务来抽象和封装资源是资源虚拟化的主要手段之一,但现有面...
  • 作者: 吴健 吴朝晖 李莹 邓水光
    刊名: 软件学报
    发表期刊: 2007年8期
    页码:  1896-1910
    摘要: 在服务规则库的基础上,介绍了回溯树与完备回溯树的概念,并证明了其重要性质.提出了基于回溯树的Web服务自动组合方法.该方法采用分步分治的思想进行服务的自动组合:1) 针对用户请求的输出对象生...
  • 作者: 吴健 吴朝晖 李莹 邓水光 邝砾
    刊名: 软件学报
    发表期刊: 2007年8期
    页码:  1911-1921
    摘要: 提出为服务库中所有注册服务的输出建立倒排索引,以快速、准确、高效地发现目标服务.即为每个输出维护一个服务列表,用于记录在该服务库中所有能够产生该输出的服务.基于倒排索引机制,提出面向组合的服...
  • 作者: 刘志忠 周斌 王怀民
    刊名: 软件学报
    发表期刊: 2007年8期
    页码:  1922-1932
    摘要: 在开放的Internet环境下,多本体共存是一种必然.同时,集中式的语义服务发现机制是整个面向服务计算的瓶颈,导致系统的可扩展性差.为了支持多本体共存并提高系统的可扩展性,提出一种双层P2P...
  • 作者: 卢锡城 张一鸣 李东升
    刊名: 软件学报
    发表期刊: 2007年8期
    页码:  1933-1942
    摘要: 基于网络资源的"成长性"、"自治性"和"多样性",近年来,人们提出以通用DHT(distributed Hash table)信息服务的形式实现网络资源信息的发布和查询.然而,现有的资源信息...
  • 作者: 吕建 殷琴 胡昊
    刊名: 软件学报
    发表期刊: 2007年8期
    页码:  1943-1957
    摘要: 提出了一种用Petri net对服务行为和服务质量进行统一建模的框架.基于该框架所提出的统一的服务行为和服务质量的一致性规则可以在服务的查找和替换中综合判断服务行为和服务质量的一致性.自行开...
  • 作者: 刘伟 蔡嘉勇 贺也平
    刊名: 软件学报
    发表期刊: 2007年8期
    页码:  1958-1967
    摘要: 提出了基于信任度的自组安全互操作方法,引入信任度描述自治域和用户正确参与协作的概率.自治域对用户的信任度由二者的直接交互经验以及其他域对用户的评价共同决定,满足信任策略要求的用户允许执行角色...
  • 作者: 唐扬斌 常俊胜 王怀民
    刊名: 软件学报
    发表期刊: 2007年8期
    页码:  1968-1986
    摘要: 借鉴人类社会中的组织构造与演化机制,提出一种基于组结构的信誉机制--组信誉机制.通过组信誉评价和信誉驱动的组演化机制的结合,一方面使得信誉模型具有更好的自主元素行为刻画能力和收敛特征;另一方...
  • 作者: 刘欣然 姚远哲 张鸿 方滨兴 石凌 陈瓅
    刊名: 软件学报
    发表期刊: 2007年8期
    页码:  1987-2001
    摘要: 虚拟计算环境R-Net的监测系统RNMS(R-Net monitoring system)把侵扰控制作为研究的一项重要内容,RNMS试图从多个方面来进行侵扰控制,并把重点放在监测数据采集阶段...
  • 作者: 冯登国 徐震 翟征德
    刊名: 软件学报
    发表期刊: 2007年8期
    页码:  2002-2015
    摘要: 综合基于角色的访问控制和信任管理各自的优势,提出了一个适用于开放式环境的细粒度可控委托授权模型--FCDAM(fine-grained controllable delegation aut...
  • 作者: 怀进鹏 李沁 胡春明
    刊名: 软件学报
    发表期刊: 2007年8期
    页码:  2016-2026
    摘要: 通过对基于虚拟机的虚拟计算环境典型系统的分析,给出了CROWN虚拟计算平台CIVIC(CROWN- based infrastructure for virtual computing)的设...
  • 作者: 何慧 刘文懋 张伟哲 张宏莉 田志宏
    刊名: 软件学报
    发表期刊: 2007年8期
    页码:  2027-2037
    摘要: 基于虚拟计算环境的核心机理,提出由自主调度单元、域调度共同体、元调度执行体为核心的多机群协同系统框架.剖析多机群任务并发运行性能模型,设计了多机群协同调度算法框架,提出最大空闲节点优先、最小...
  • 作者: 余萍 吕建 周宇 曹建农 马晓星
    刊名: 软件学报
    发表期刊: 2007年8期
    页码:  2038-2048
    摘要: 虚拟计算环境中的用户在物理空间的移动要求其相关应用能够在网络空间进行相应的移动.为支持应用的迁移,利用软件代理技术来实现计算网络空间以及其中资源的虚拟化.具体而言,就是结合情境感知技术,利用...
  • 作者: 何儒汉 吴松 孙傲冰 章勤 郑然 金海
    刊名: 软件学报
    发表期刊: 2007年8期
    页码:  2049-2062
    摘要: 提出了一种医学图像网格MedImGrid(medical image grid)基于语义的信息集成方法.基于HL7 RIM(health level 7 referenced informa...
  • 作者: 李阳阳 焦李成
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2063-2069
    摘要: BSMA(bounded shortest multicast algorithm)被认为是最好的受限多播路由算法;然而,过长的计算时间限制了其应用.作为一种全局优化算法,遗传算法(GA)被...
  • 作者: 王建新 谢民主 陈建二
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2070-2082
    摘要: 个体单体型MSR(minimum SNP removal)问题是指如何利用个体的基因测序片断数据去掉最少的SNP(single-nucleotide polymorphisms)位点,以确定...
  • 作者: 张德富 陈火旺 陈青山 魏丽军
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2083-2089
    摘要: 通过组合拟人启发式和模拟退火算法,提出了三维装箱问题的组合启发式算法.拟人启发式算法的主要思想来源于日常砌墙中的策略.利用找点法以及水平和垂直参考线规则来控制装填过程.用模拟退火算法改进拟人...
  • 作者: 张强锋 徐云 车皓阳 陈国良
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2090-2099
    摘要: 研究了在门德尔遗传定理和哈代-维恩伯格平衡假设下,三元家庭基因型数据的单体分型和单体型频率估计问题.过去的研究仅仅关注个体间没有联系或者含有一般家系信息的基因型数据,而对这种特殊的三元家庭关...
  • 作者: 张彩霞 胡占义
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2100-2104
    摘要: 一般情况下,P3P问题可能出现1,2,3或4个解.但是,若3个控制点和摄像机光心这4点共圆,则会出现无穷多组解.利用"蒙特卡洛"方法模拟出P3P问题分别出现1,2,3,4个解的概率为0.99...
  • 作者: 杨学军 王之元 高珑
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2105-2116
    摘要: 传统的容错编译通常复制所有的计算并且使用完全冗余的存储单元来保证容错.这种完全冗余在存储空间和性能上的开销都是相当大的.在错误流分析的基础上提出错误流图的关键子图的概念以及通过关键结点和关键...
  • 作者: 官荷卿 胡剑军 魏峻 黄涛
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2117-2129
    摘要: 高动态的计算环境使得QoS(quality of service)保障对于基于组件的分布式系统越来越重要,软件系统需要具备自我调整的能力以适应外部环境的变化.给出一种自适应的中间件配置框架,...
  • 作者: 易晓东 杨学军 王戟
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2130-2140
    摘要: 提出了一种基于Assume-Guarantee搜索复用的验证方法,对C程序源代码进行验证.其思想是,在程序的每点处都引入一个保守假设条件,并假设从任意点出发,变量取值满足该点假设条件的所有执...
  • 作者: 李明树 袁峰
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2141-2152
    摘要: SPEM(software process engineering metamodel)是国际标准化组织制定的标准元模型,正日益成为软件过程建模领域的行业标准,但在过程执行方面,SPEM还存...
  • 作者: 王远 范玉顺
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2153-2161
    摘要: 为了解决工作流时间建模与时序一致性验证问题,以时序逻辑和模型检查为基础,提出了一种工作流时间建模与时序一致性验证方法.该方法用一阶逻辑描述工作流模型及其时间信息,用时序逻辑描述工作流的时序约...
  • 作者: 戴国忠 敖翔 王宏安 王绪刚
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2162-2173
    摘要: 在基于识别的界面中,用户的满意度不但由识别准确度决定,而且还受识别错误的纠正过程的影响.提出一种基于多通道融合的连续手写笔迹识别错误的纠正方法.该方法允许用户通过口述书写内容纠正手写识别中的...
  • 作者: 曲开社 李德玉 梁吉业 翟岩慧
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2174-2182
    摘要: 侧重于建立形式概念分析与粗糙集之间融合的理论基础.利用形式概念分析中名义梯级背景(nominal scale)的概念,对信息系统进行平面梯级(plain scaling)得到了衍生的形式背景...
  • 作者: 史有群 吕俊怀 郝国生 郭广颂 黄永青
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2183-2193
    摘要: 噪声是影响进化计算(evolutionary computation,简称EC)算法性能的一个重要因素.对于传统EC中的噪声,已有许多研究成果,但交互式进化计算(interactive ev...
  • 作者: 朱晓静 章隆兵 胡伟武 马可
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2194-2204
    摘要: 针对片上网络(network on chip,简称NoC)的节点数量少、距离近、物理实现复杂度受到限制的特点,提出了一种新的Xmesh拓扑结构,并为该结构提出了XM路由算法.该结构在经典的m...
  • 作者: 吴鲲 徐恪 王青青
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2205-2215
    摘要: 可扩展路由器控制平面节点间通信的瓶颈问题是制约软件体系结构大规模扩展的关键因素.针对此问题,在传统的软件体系结构的支撑模型中引入了传输适配子层的结构,上行的数据流经特征抽取与已注册的任务进行...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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