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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 古亮 王华 谢冰 邵维忠 邹艳珍 郭耀
    刊名: 软件学报
    发表期刊: 2010年2期
    页码:  373-387
    摘要: 扩展了已有的软件可信性证据模型,引入了运行时软件可信证据,从而提供了更为全面的软件可信证据模型.为了提供客观、真实、全面的可信证据,提出了一种基于可信计算技术的软件运行时可信证据收集机制.利...
  • 作者: 吕建 徐锋 潘静
    刊名: 软件学报
    发表期刊: 2010年2期
    页码:  388-400
    摘要: 为了满足开放系统的高度动态性,特别是系统在线演化对服务评估高效性提出的要求,提出了一种基于声誉的推荐者发现方法,首先引入一个相关因子量化不同上下文中的推荐信任关系,得到信任可传递空间,然后应...
  • 作者: 张硕 李建中 邹兆年 高宏
    刊名: 软件学报
    发表期刊: 2010年3期
    页码:  401-414
    摘要: 提出一种方法来解决从多个小图到一个大图的子图同构检测问题,其中多个小图是预先给定的,而大图是用户在线提交的.首先,基于DFS编码提出一种小图集合的压缩组织方法;其次,提出一种带有前向剪枝技术...
  • 作者: 华保健 李兆鹏 王志芳 陈意云
    刊名: 软件学报
    发表期刊: 2010年3期
    页码:  415-426
    摘要: 本文改进并扩展先前为验证指针程序提出的指针逻辑,主要贡献是提出了合法访问路径集合的概念,极大地简化了访问路径上的基本运算,并使得指针逻辑推理规则变得易理解.另外,增加了局部推理规则和函数构造...
  • 作者: 丁晓君 周昌乐 游维
    刊名: 软件学报
    发表期刊: 2010年3期
    页码:  427-437
    摘要: 主要针对宋词这种特殊的汉语诗歌体裁,开展了有关自动生成算法及其实现方法的探索性研究.研究工作主要根据宋词特点,设计了基于平仄的编码方式、基于句法和语义加权值的适应度函数、基于精英主义和轮盘赌...
  • 作者: 于戈 李晓静 王义 谷峪
    刊名: 软件学报
    发表期刊: 2010年3期
    页码:  438-451
    摘要: RFID数据采集过程中漏读现象频频发生,降低了RFID(radio frequency identification)应用中查询结果的准确性.目前解决漏读问题的算法主要是以RFID原始读数为...
  • 作者: 刘曦 史忠植 施智平 石志伟
    刊名: 软件学报
    发表期刊: 2010年3期
    页码:  452-460
    摘要: 利用一种特征捆绑计算模型,以Gabor特征作为模型的初级特征,将相关统计量作为实现特征捆绑的基础.提出了一种物体识别方法.并实现了一组物体识别实验,结果显示,该方法能够进行较快速而准确地识别...
  • 作者: 奚宏生 孔德光 宫涛 帅建梅 谭小彬
    刊名: 软件学报
    发表期刊: 2010年3期
    页码:  461-472
    摘要: 针对多线程程序数据竞争分析与检测困难的问题,提出-种基于隐Markov模型的多线程程序时序分析方法.用随机变量不确定性刻画不同线程之间时序上的交互关系,分析数据竞争条件下程序不确定结果的概率...
  • 作者: 余建平 林亚平
    刊名: 软件学报
    发表期刊: 2010年3期
    页码:  473-489
    摘要: 无线传感器网络因不同应用而被广泛部署于各种场合,通常被视为分布式数据库.可以通过向该类数据库发布查询请求来获取事件相关的响应信息.-些具有实时需求的应用对查询时延要求较高,而目前存在的查询算...
  • 作者: 刘明 朱金奇 李建平 许富龙 陈贵海 龚海刚
    刊名: 软件学报
    发表期刊: 2010年3期
    页码:  490-504
    摘要: 延迟容忍移动无线传感器网络(delay tolerant mobile sensor network,简称DTMSN)用于广泛数据收集.与传统的传感器网络不同,DTMSN具有节点移动性、间歇...
  • 作者: 朱培栋 胡宁 邹鹏
    刊名: 软件学报
    发表期刊: 2010年3期
    页码:  505-515
    摘要: 如何抑制虚假路由的传播和恶意路由行为的发生,是域间路由安全管理的重要研究内容,对自治系统路由行为进行可信性评价和监督是其中的关键技术.设计了一种用于评价自治系统路由行为可信性的分布式协同信誉...
  • 作者: 张世永 袁珽 钟亦平 马建庆
    刊名: 软件学报
    发表期刊: 2010年3期
    页码:  516-527
    摘要: 提出一种基于时间部署的随机密钥管理方案.该方案采用了特殊的两级随机密钥预分配和清除机制以及按时间顺序的成组部署方法:每个传感器节点从多个密钥池中随机选择密钥并在一定条件下删除相关的密钥;所有...
  • 作者: 王洪波 程时端 裴育杰
    刊名: 软件学报
    发表期刊: 2010年3期
    页码:  528-538
    摘要: 互联网中流量分布的不均衡会导致网络拥塞、网络资源得不到有效利用.而为了负载均衡,现有算法调整路由又会造成新路径过长,服务质量降低.提出了一种路由调整算法LCBA(length-constra...
  • 作者: 冯登国 张阳 程亮
    刊名: 软件学报
    发表期刊: 2010年3期
    页码:  539-547
    摘要: 在总结前人工作的基础上,结合安全操作系统对测试的特殊需求,提出了简并测试集(degenerate test set,简称DTS)的概念,设计了一种使用模型检测的基于安全状态转移的高效测试集生...
  • 作者: 严冰 刘威 孙宝林 张棋飞 桂超
    刊名: 软件学报
    发表期刊: 2010年3期
    页码:  548-563
    摘要: IEEE 802.11网络中的传统退避算法利用竞争窗口机制进行冲突解析,冲突节点被重新分布在一个更大的窗口范围内以避免冲突.然而,只要这些分布窗口之间存在着交集,就仍有可能引发冲突.为了解决...
  • 作者: 蔡维玲 许宗泽 雷磊
    刊名: 软件学报
    发表期刊: 2010年3期
    页码:  564-574
    摘要: 指出了现有的基于不定长时隙的DCF协议马尔可夫链模型的局限性,并在详细分析多跳ad hoc网络环境中DCF协议建模的难点问题基础上,提出了一种基于定长时隙的多跳ad hoc网络DCF协议马尔...
  • 作者:
    刊名: 软件学报
    发表期刊: 2010年3期
    页码:  575
    摘要:
  • 作者: 刘鹏远 赵铁军
    刊名: 软件学报
    发表期刊: 2010年4期
    页码:  575-585
    摘要: 为解决困扰词义消歧及译文消歧任务中存在的数据稀疏及知识获取问题,提出一种利用双语词汇Web间接关联的完全无指导消歧方法.首先做出词汇歧义可由双语词汇的间接关联度决定的假设,为译文消歧提供了一...
  • 作者: 张向荣 焦李成 阳春
    刊名: 软件学报
    发表期刊: 2010年4期
    页码:  586-596
    摘要: 提出了一种基于核主成分分析(kernel principal component analysis,简称KPCA)和拉普拉斯正则化最小二乘(Laplacian regularized lea...
  • 作者: 李国臣 李济洪 王瑞波 王蔚林
    刊名: 软件学报
    发表期刊: 2010年4期
    页码:  597-611
    摘要: 基于山西大学自主开发的汉语框架语义知识库(CFN),将语义角色标注问题通过IOB策略转化为词序列标注问题,采用条件随机场模型,研究了汉语框架语义角色的自动标注.模型以词为基本标注单元,选择词...
  • 作者: 刘侍刚 吴成柯 姜光 宁纪锋
    刊名: 软件学报
    发表期刊: 2010年4期
    页码:  612-619
    摘要: 为了解决梯度向量流力场(gradient vector flow,简称GVF)难以进入目标凹部的问题,提出了一种新的主动轮廓模型外力场--各向异性梯度向量流.GVF的扩散项是各向同性且光滑性...
  • 作者: 杜小勇 栾华 王珊
    刊名: 软件学报
    发表期刊: 2010年4期
    页码:  620-631
    摘要: 数据立方体计算通常会产生大量的输出结果,冰山立方体和封闭立方体是解决这个问题的比较流行的两种策略,二者可以结合使用.鉴于封闭冰山立方体(closed iceberg cube)的重要性和实用...
  • 作者: 于戈 王义 胡小龙 谷峪
    刊名: 软件学报
    发表期刊: 2010年4期
    页码:  632-643
    摘要: 由于RFID(radio frequency identification)技术采用无线射频信号进行数据通信,漏读和多读现象时有发生,降低了其在事件检测中查询结果的准确性.在很多RFID监控...
  • 作者: 施伯乐 钱江波 陈华辉 陈叶芳
    刊名: 软件学报
    发表期刊: 2010年4期
    页码:  644-658
    摘要: 许多应用中会连续不断产生大量随时间演变的序列型数据,构成时间序列数据流,如传感器网络、实时股票行情、网络及通信监控等场合.聚类是分析这类并行多数据流的一种有力工具.但数据流长度无限、随时间演...
  • 作者: 张亮 徐前方 肖波 蔺志青 郭军
    刊名: 软件学报
    发表期刊: 2010年4期
    页码:  659-671
    摘要: 超团模式是一种新型的关联模式,这种模式所包含的项目相互间具有很高的亲密度.超团模式中某个项目在事务中的出现很强地暗示了模式中其他项目也会相应地出现.极大超团模式是一组超团模式更加紧凑的表示,...
  • 作者: 孙贺 朱洪
    刊名: 软件学报
    发表期刊: 2010年4期
    页码:  672-679
    摘要: 在数据库理论中,如何在较小的空间条件下快速地比较不同的XML(extensible markup language)流的差异性是一个基本问题.在这一问题的研究中,人们提出了树编辑距离等测度来...
  • 作者: 施伯乐 汪卫 王智慧 许俭
    刊名: 软件学报
    发表期刊: 2010年4期
    页码:  680-693
    摘要: 为了防止个人隐私的泄漏,在数据共享前需要对其在准标识符上的属性值作数据概化处理,以消除链接攻击,实现在共享中对敏感属性的匿名保护.概化处理增加了属性值的不确定性,不可避免地会造成一定的信息损...
  • 作者: 刘冬宁 汤庸
    刊名: 软件学报
    发表期刊: 2010年4期
    页码:  694-701
    摘要: 尽管在1994年,Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的,但是仍需要通过对时间轴的公理化建模,利用公理化系统的可靠和完全等性质对时间轴作"细...
  • 作者: 戴东波 汤春蕾 熊赟
    刊名: 软件学报
    发表期刊: 2010年4期
    页码:  702-717
    摘要: 现有的很多序列聚类算法是基于"局部特征可以表征整个序列"的假设来进行的,即不区分实际应用中序列的整体相似性和局部相似性.这对存在保守子模式的序列,如DNA和蛋白质序列是适用的,但对一些注重整...
  • 作者: 戴东波 朱扬勇 熊赟
    刊名: 软件学报
    发表期刊: 2010年4期
    页码:  718-731
    摘要: 序列数据在文本、Web访问日志文件、生物数据库中普遍存在,对其进行相似性查找是一种重要的获取和分析知识的手段.基于参考集索引技术是一类解决序列相似性查找的有效方法,主要思想是找到序列数据库中...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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