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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 周生明 汤庸 王驹 蒋运承
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2483-2497
    摘要: 分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most ...
  • 作者: 康达周 徐宝文 李言辉 陆建江
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2498-2507
    摘要: 语义Web模糊知识的表示和应用常常涉及模糊隶属度比较,但现有描述逻辑的模糊扩展缺乏描述模糊隶属度比较的能力.提出支持模糊隶属度比较和描述逻辑ALCN(attributive concept ...
  • 作者: 喻钢 柳欣欣
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2508-2516
    摘要: 为Plotkin带常数传名调用(演算定义了一个新的CPS(continuation-passing-style)变换方法.方法基于求值上下文变换,新颖之处在于,每次传递二值给继续而不是常规的...
  • 作者: 林伟伟 毛斐巧 齐德昱
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2527-2538
    摘要: 隐式硬编码的基于过程调用构件连接束缚构件集成的灵活性,且存在的死锁连接造成软件可靠性隐患问题.针对该问题,首先建立基于过程调用连接器形式语义模型,显式地将连接关系从构件中分离;然后给出并通过...
  • 作者: 李宣东 陈鑫
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2539-2549
    摘要: 提出一种形式化用例分析建模框架,引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模.通过定义这些视图的形式化语义,为需求的各个方面定义了准确的形式化描述.利用该框...
  • 作者: 张仕 黄林鹏
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2562-2572
    摘要: 针对面向对象软件在动态更新中遇到类型安全问题,定义了一个多版本类的动态更新演算(MCUFJ演算(multi-version class dynamic updatable calculus ...
  • 作者: 刘大为 栾华 王珊 覃飙
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2573-2584
    摘要: Ailamaki等人1999年研究了数据库管理系统(database management system,简称DBMS)在处理器上的时间开销分解.此后,相关研究集中在分析DBMS在处理器上的...
  • 作者: 李国徽 陈辉
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2585-2596
    摘要: 由于数据流的流动性与连续性,数据流所蕴含的知识会随着时间的推移而发生变化.因此,在绝大多数数据流的应用中,用户往往对新产生的流数据所包含的知识要比对历史流数据所包含的知识感兴趣得多.提出了一...
  • 作者: 徐前方 李春光 肖波 蔺志青 郭军
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2597-2610
    摘要: 目前的关联规则挖掘算法主要依靠基于支持度的剪切策略来减小组合搜索空间.如果挖掘潜在的令人感兴趣的低支持度模式,这种策略并非有效.为此,提出一种新的关联模式--可信关联规则(credible ...
  • 作者: 万常选 鲁远
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2611-2619
    摘要: 文本文档信息检索中检索质量不高的一个主要原因是用户难以提出准确的描述查询意图的查询表达式. 而XML文档除了具有文本文档的内容特征外,还具有结构特征,导致用户更难以提出准确的查询表达式.为了...
  • 作者: 周明辉 曹东刚 李瑞超 李研 梅宏
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2620-2627
    摘要: 随着Internet上功能相似的Web服务的逐渐增多,在运行时刻基于服务质量(QoS)对Web服务进行查找和选择已成为研究热点.现有的基于QoS的服务选择方法通常假定服务提供者和使用者给出的...
  • 作者: 张世永 钟亦平 马建庆
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2628-2637
    摘要: 为解决无线传感反应网络的安全位置服务问题,提出了一种距离无关的安全定位协议--ServLoc定位协议.在该协议中,反应器通过认证消息包、被动接收定位请求、过滤虚假信息等方法进行位置攻击防御,...
  • 作者: 廖湘科 朱培栋 李姗姗 肖侬
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2638-2647
    摘要: 可靠性在无线传感器网络中是非常重要的.传感器网络主要通过增加传输冗余来提高数据传输的可靠性,如多路径或重传.然而,这些方法会造成能效降低,缩短网络生命周期.因此,提出了一种能量有效的方法,将...
  • 作者: 张宏科 张晖
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2648-2658
    摘要: 切换延迟和丢包率是决定移动组播算法是否能够满足实时性组播应用要求的重要指标.提出了一种基于邻居信息交换的组播快速切换算法M-FMIPv6/NIE.在二层触发器事件发生之前,通过邻居接入路由器...
  • 作者: 吴文玲 张蕾
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2659-2666
    摘要: 作为加密标准,DES(data encryption standard)算法虽然已被AES(advanced encryption standard)算法所取代,但其仍有着不可忽视的重要作用...
  • 作者:
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2666
    摘要:
  • 作者: 吴飞 庄毅 庄越挺
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2667-2680
    摘要: 提出一种支持海量跨媒体检索的集成索引结构.该方法首先通过对网页的预处理,分析其中不同模态媒体对象之间的链接关系,生成交叉参照图.然后通过用户相关反馈进行调节.当用户提交一个查询对象时,首先对...
  • 作者: 刘媛媛 周明骏 徐礼爽 戴国忠 田丰 邓昌智
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2681-2693
    摘要: 提出了一个指导自适应笔式用户界面开发的概念框架CFAPUI(a conceptual framework for developing adaptive pen-based user int...
  • 作者: 郑纬民
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2694-2695
    摘要:
  • 作者: 丁晓锋 卢炎生 洪亮 潘鹏 魏琼
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2696-2705
    摘要: 通过在U-tree中添加时间戳和速度矢量等时空因素,提出一种基于U-tree的高效率当前及未来不确定位置信息检索的索引结构TPU-tree,可以支持多维空间中不确定移动对象的索引,并提出了一...
  • 作者: 方启明 杨广文 武永卫 郑纬民
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2706-2719
    摘要: Web搜索引擎已经成为人们从海量Web信息中快速找到所需信息的重要工具,随着Web数据量的爆炸性增长,传统的集中式搜索引擎已经越来越不能满足人们不断增长的信息获取需求.随着对等网络(peer...
  • 作者: 林春晓 郭宇 陈意云
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2720-2727
    摘要: 提出一种构造代码安全性证明的新方法.这种方法的基本思想是,在基础逻辑中定义辅助递归函数来帮助构造证明.这种构造方法在不增加系统信任计算基础的情况下可以极大地减轻构造证明的工作量,并且减小安全...
  • 作者: 任鑫 佘双 戴蓓洁 曹冬磊 金蓓弘
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2728-2738
    摘要: XML(extensible markup language)解析器是分析、处理XML文档的基础软件.研究高性能验证型XML解析器的实现.开发了支持3种解析模型的XML解析器OnceXMLP...
  • 作者: 庞辽军 焦李成 王育民 裴庆祺
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2739-2745
    摘要: 为了避免现有秘密共享方案中的秘密份额分发机制的不足,结合基于身份(ID)的公钥密码技术,提出了利用参与者私钥作为其主份额的秘密份额分发方法.首先,对Zheng提出的签密方案进行了安全分析,发...
  • 作者: 石进 谢立 郭山清 陆音
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2746-2753
    摘要: 针对当前入侵响应工作中存在的不能充分考虑系统的收益,以及不能充分考虑攻击者策略变化因素等问题,提出了一种基于攻击图的入侵响应IRAG(intrusion response based on ...
  • 作者: 付长胜 肖侬 赵英杰 陈涛
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2754-2761
    摘要: 在基于角色的访问控制模型下,将一个虚拟社区中的角色动态地转换成另一个虚拟社区的角色,从而获得跨虚拟社区的数据访问权限.引入协商机制,建立起两个社区之间的角色转换关系,将跨虚拟社区的数据访问建...
  • 作者: 李亚辉 杨卫东 马建峰
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2762-2769
    摘要: 针对WLAN(wireless local area network)基础结构模式中的IEEE 802.11 DCF(distributed coordination function)机制...
  • 作者: 张德平 徐宝文 聂长海
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2770-2779
    摘要: 研究了待测软件某些参数已知的条件下,以最小化平均测试费用为目标的软件测试优化问题.将软件测试过程处理成马尔可夫(Markov)决策过程,给出了软件测试的马尔可夫决策模型,运用交叉熵方法,通过...
  • 作者: 周明骏 徐礼爽 戴国忠 田丰
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  2780-2788
    摘要: 笔式用户界面是一种重要的Post-WIMP(window icon menu pointer)界面,它给用户提供了自然的交互方式.然而,当前的笔式用户界面工具箱大多是面向单用户任务的,不能很...
  • 作者:
    刊名: 软件学报
    发表期刊: 2008年10期
    页码:  封3
    摘要:

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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