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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者:
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  649-657
    摘要:
  • 作者: 何克清 何成万
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  658-669
    摘要: 虽然设计模式有利于软件的重用,但当设计模式实例化时,存在模式的重叠、可追踪性以及模式代码难于重用等问题.提出一种基于角色的设计模式的建模和实现方法,在设计和实现两个层面上解决上述问题.该方法...
  • 作者: 唐稚松 朱雪阳
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  670-681
    摘要: 由于简洁、直观的表达能力,Statecharts被用于许多反应系统的行为建模.Statecharts可表示不同抽象层次的系统行为,因而可用来表示逐步求精建模中各步的结果.但对于求精过程中下层...
  • 作者: 吕建 张林 徐锋 王远
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  682-690
    摘要: 网构软件的构建依赖于对开放协同环境中各种异构的、自治的软件服务实体间的有效协同.Internet的开放性与动态性,使得对于诚实的、具有可靠服务质量协同实体的选择难度较大,难以确保网构软件的可...
  • 作者: 戴国忠 王晓春 田丰 秦严严
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  691-702
    摘要: 随着硬件设备和软件技术的发展,国内外开展了大量基于Post-WIMP界面的新型交互技术的研究.面对多种交互设备以及使用环境,在界面设计的过程中,根据上下文选择适当的交互组件或技术,并有效地进...
  • 作者: 冯铁 张家晨 王洪媛 金淳兆
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  703-712
    摘要: 面向对象的软件设计改进是增强系统的可扩展性、使之适应可能的需求变化的一种有效手段.提出一种基于CBR(case based reasoning)和微体系结构反模式的设计改进方法.该方法形式化...
  • 作者: 周晓聪 舒忠梅
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  713-719
    摘要: 共代数方法是近几年来理论计算机科学的研究热点之一,在并行计算模型、自动机及面向对象技术的理论基础方面有着广泛的应用.以范畴理论为工具讨论子共代数的性质,特别是集合范畴上的子共代数的性质,证明...
  • 作者: 张文辉 易锦
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  720-728
    摘要: 目前的模型检测方法中,有一种方法是基于自动机来实现的.具体做法是:将抽象出的系统模型用Büchi自动机来表示,将需要验证的性质用LTL(linear temporal logic)公式来表达...
  • 作者: 王兴元 骆超
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  729-739
    摘要: 对二维logistic映射的动力学研究有助于认识和预测更复杂的高维非线性系统的性态.利用解析计算和实验分析相结合的方法揭示出:(1) 参数空间中二维logistic映射发生第一次分岔的边界方...
  • 作者: 张冬冬 李建中 王伟平 郭龙江
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  740-749
    摘要: 数据流滑动窗口连接聚集连续查询(简记J-A查询)是经常使用的一类查询.这类查询的直观处理方法是创建查询操作树,以流水线的方式计算查询结果.这种方法需要在主存中保存滑动窗口连接的结果,查询处理...
  • 作者: 严和平 施伯乐 汪卫
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  750-758
    摘要: 首先对按元素划分安全级的多级数据库上由函数依赖(FD)和多值函数依赖(MVD)引起的推理问题进行了研究,所提出的推理控制算法在很大程度上提高了数据的可用性.为进一步有效防范推理所导致的敏感信...
  • 作者: 何震瀛 李建中 王朝坤
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  759-769
    摘要: 数据模型是XML数据管理领域研究的核心问题之一.现有的数据模型在表达XML数据库复杂的数据结构和操作方面仍有不足.以映射为基础,提出了一种新的数据模型.该数据模型给出了XML数据库复杂的数据...
  • 作者: 于亚新 于戈 孙冰 汤南 王国仁
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  770-781
    摘要: 主要研究XML文档的并行数据分片策略,以便能够并行处理XML查询.为了描述XML数据分片,提出了媒介节点的概念.一组媒介节点的集合可以将一棵XML数据树分割成一棵根树和一组子树的集合:根树将...
  • 作者: 刘积仁 刘铮 孙雨 张霞 张骞 文学志
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  782-793
    摘要: 查询扩展是解决信息获取领域中用词歧义性问题的关键技术,并被广泛应用于搜索引擎中,获得了巨大的成功.然而,由于P2P(peer-to-peer)系统是一个分散的、动态的系统,在P2P环境下进行...
  • 作者: 李建中 李贵林 郭龙江
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  794-805
    摘要: 在无线传感器网络环境中,观察者感兴趣的是由传感器网络监测得到的与时间-空间相关的事件,而不是传感器本身或者大量无关的观察数据.观察者会经常提出与事件相关的时-空查询,例如:"网络覆盖的某地理...
  • 作者: 崔勇 郑志梅
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  814-821
    摘要: 多协议标记交换(multiprotocol label switching,简称MPLS)技术运用显式的标记交换路径(label switching path,简称LSP),使得互联网上流量...
  • 作者: 曾华燊 李季
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  822-829
    摘要: 基于EPFTS(ethernet-like physical frame timeslot switching)交换技术,提出了一种新型调度算法TWFS(timeslot weighted ...
  • 作者: 张雷 田乐 程时端 谢东亮 韩冰
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  830-837
    摘要: 无线传感器网络中的"瓶颈节点"是指那些由于随机部署的原因而不得不成为连接两个或多个区域的孤立的节点.相对于其他节点,这类节点对网络的生存期有着更大的影响.如何找出这些"瓶颈节点"在图论中是一...
  • 作者: 刘湘辉 卢锡城 殷建平 蔡志平 赵建民
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  838-844
    摘要: 考虑网络节点的流守恒特性,网络流量的有效监测问题可抽象为求给定图G(V,E)的最小弱顶点覆盖集的问题和基于流划分的最小弱顶点覆盖集的问题,这是NP难的问题.首先分析了弱顶点覆盖集的约束关系,...
  • 作者: 王文东 田慧蓉 程时端 邹仕洪
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  845-853
    摘要: 在诸如文件共享的P2P(peer-to-peer)网络中,节点不可靠的自主行为严重影响了P2P服务的可用性.而目前,主流的全分布P2P网络在构造拓扑时都没有考虑节点的自主行为特征,节点在拓扑...
  • 作者: 严伟 代亚非 刘永强
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  854-859
    摘要: 旨在为移动计算中多跳网络链路的研究建立一个计算复杂度较低的通用分析模型,奠定一定的数学研究基础.在已有成果的基础上,将研究的粒度从节点扩展到由若干节点组成的路径,并提出了基于流水排队策略的无...
  • 作者: 刘永和 林亚平 王雷 谢志军 陈红
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  860-867
    摘要: 结合传感器网络的节点特性和位置信息,提出了一种基于连通支配集的传感器网络定向传播模型,以及一种基于"域"的分布式数据汇聚模型DDAM(distributed data aggregation...
  • 作者: 冯登国 周永彬 张振峰
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  868-875
    摘要: 针对用于移动通信的可证安全的双向认证密钥协商协议MAKAP给出了一种有效攻击,指出该协议存在安全缺陷,它不能抵抗未知密钥共享攻击.分析了这些安全缺陷产生的原因,并给出了一种改进的协议MAKA...
  • 作者: 刘亚杰 窦文华
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  876-884
    摘要: 在Internet上提供大规模的VoD服务是一项具有挑战性的工作.提出了一种基于P2P(peer to peer)方法的VoD服务体系PeerVoD,它能够以较小的服务器代价实现大规模的Vo...
  • 作者: 林晨光 管晓宏 郑庆华 陈秀真
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  885-897
    摘要: 安全评估是贯穿信息系统生命周期的重要管理手段,是制定和调整安全策略的基础和前提.只有充分识别系统安全风险,才能有针对性地采取有效的安全防范措施.基于IDS(intrusion detecti...
  • 作者: 李梦君 李舟军 陈火旺
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  898-906
    摘要: 描述了基于Objective Caml开发的一个安全协议验证工具SPVT(security protocol verifying tool).在SPVT中,以扩展附加项的类(演算作为安全协议...
  • 作者: 杨广文 王鼎兴 陈明
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  915-924
    摘要: 支持大容量和高并发度的媒体库越来越流行.利用传统的基于纯粹的服务器/客户端、对等网络或网格的方法构造这种类型的媒体库,难以同时满足高并发度和可靠服务的要求.提出了一种结合了网格和对等网络(p...
  • 作者: 赵阿群
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  925-931
    摘要: 针对移动支持协议的移动管理代价进行了研究,提出了一种合适的网络模型.在此网络模型的基础上,采用理论分析的方法分析了使用各移动支持协议时,为支持MH(mobile host)移动给网络带来的信...
  • 作者: 廖明宏 李治军
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  939-948
    摘要: 文档安全性对于信息共享Peer-to-Peer(或P2P)系统而言是一项重要的性能指标,以P2P系统的文档安全性优化为目标.P2P系统的文档安全性主要取决于两方面的因素:其载体的安全性和文档...
  • 作者: 刘克 刘志勇 徐琳
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  949-950
    摘要:

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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