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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 史忠植 常亮 牛温佳 陈立民
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  1-13
    摘要: 作为描述逻辑的扩展,动态描述逻辑为语义Web服务的建模和推理提供了一种有效途径.在将语义Web服务建模为动作之后,动态描述逻辑从动作执行结果的角度提供了丰富的推理机制,但对于动作的执行过程却...
  • 作者: 余航 公茂果 杨咚咚 焦李成
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  14-33
    摘要: 目标维数较高的多目标优化问题的难题在于非支配解急剧增加,经典算法由于缺乏足够的选择压力导致性能急剧下降.提出了基于偏好等级的免疫记忆克隆选择优化算法,用于解决目标维数较高的多目标优化问题.利...
  • 作者:
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  33
    摘要:
  • 作者: 虞蕾 陈火旺
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  34-46
    摘要: PSL(property specification language)是一种用于描述并行系统的属性规约语言,包括线性时序逻辑FL(foundation language)和分支时序逻辑OB...
  • 作者: 朱朝晖 肖文洁
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  47-54
    摘要: 经典的AGM信念修正理论和以D-P假设为代表的迭代信念修正理论都是以完全指派为可能世界而进行的理论研究.把这些研究推广到有缺指派的领域中与完全指派为每个原子命题符号都指派真假值不同,有缺指派...
  • 作者: 庄毅 胡华 胡海洋 赵格华
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  55-67
    摘要: 提出一种网格环境下基于流水线技术的分布式多重相似查询的优化算法(pipeline-based distributed similarity query processing,简称pGMSQ)...
  • 作者: 冯玉琳 刘国梁 魏峻
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  68-83
    摘要: 组件容器为组件提供部署和运行环境,是基于组件分布式应用开发的核心.近年来分布式组件的多样化和快速演化对组件容器的开发方法提出了挑战.产品线工程是基于公共的核心资产开发特定领域内软件产品系列的...
  • 作者: 张伟 梅宏 赵海燕 闫华
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  84-97
    摘要: 特征模型是领域分析活动产生的具有复用价值的软件需求模型.对特征模型的复用通常采用定制的方式.特征模型定制中的一个重要问题是验证问题.该问题的存在是因为特征之间往往具有一定的约束关系,而一个合...
  • 作者: 周洲仪 梁洪亮 贺也平
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  98-106
    摘要: 商业应用需要实施完整性策略保护.Biba模型提供了一种简洁的多级完整性控制方案,但是需要引入可信主体来保证实施的可用性.而Clark-Wilson模型通过可监控的状态转换提供了一种完备的完整...
  • 作者: 尤志强 易叶青 李小龙 林亚平 羊四清
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  107-118
    摘要: 提出一种基于协作水印的数据认证算法来识别虚假数据和重复包,算法在每个数据包中嵌入两类水印:一类是鲁棒性水印,用于对发送者的身份和数据的新鲜性进行认证;另一类是由t个证人节点协作生成、嵌入的半...
  • 作者: 彭伟 胡乔林 苏金树 赵宝康
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  119-132
    摘要: 作为一种新型的体系结构,容延容断网络(delay/disruption tolerant network,简称DTN)近年来得到了广泛的研究与应用.由于其面临的应用环境极为特殊,传统网络的路...
  • 作者:
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  132
    摘要:
  • 作者: 赵洪华 陈鸣
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  133-146
    摘要: 网络层析成像是近年来新兴的一种网络测量技术,该技术结合了网络测量和统计推断,可以解决网络测量的部分难题.网络拓扑推断是网络层析成像技术的重要应用之一,基于网络层析成像技术的拓扑推断通过端到端...
  • 作者: 张宏科 徐怀松 郜帅
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  147-162
    摘要: 在sink移动轨迹固定的传感器网络中,由于sink点有限的通信时间和节点的随机分布,使得很难兼顾数据采集量的提高和整体能耗的降低.为了解决该问题,提出了一种最大数据量最短路径(maximum...
  • 作者: 李小勇 桂小林
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  163-176
    摘要: 开放系统中的信任关系本质上是最复杂的社会关系之一,涉及到假设、期望、行为和环境等多种因子,很难准确地定量表示和预测.结合人类社会的认知行为,提出了一种符合人类心理认知习惯的动态信任预测模型:...
  • 作者:
    刊名: 软件学报
    发表期刊: 2010年1期
    页码:  封3
    摘要:

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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