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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 李明树 杨秋松 翟健 肖俊超
    刊名: 软件学报
    发表期刊: 2011年1期
    页码:  1-16
    摘要: 为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized ...
  • 作者: 丁博 史殿习 李骁 王怀民
    刊名: 软件学报
    发表期刊: 2011年1期
    页码:  17-27
    摘要: 对环境的适应是软件保证其可信的重要手段.当应用场景超出开发阶段的预设时,软件的环境适应能力需要能够在线调整,以保证其行为和结果仍可符合用户预期.这一调整的前提是软件工程层面的高效支持机制.基...
  • 作者: 张道强 陈诗国
    刊名: 软件学报
    发表期刊: 2011年1期
    页码:  28-43
    摘要: 半监督学习是近年来机器学习领域中的研究热点之一,已从最初的半监督分类和半监督聚类拓展到半监督回归和半监督降维等领域.目前,有关半监督分类、聚类和回归等方面的工作已经有了很好的综述,如Zhu的...
  • 作者: 姜云飞 朱慧泉 蒋志华 饶东宁
    刊名: 软件学报
    发表期刊: 2011年1期
    页码:  44-56
    摘要: 对智能规划中的常用工具--放松式规划图(relaxed planning graph,简称RPG)的图论性质进行了深入研究.将RPG中的命题层抽取出来,得到一个不包含任何动作的命题关系图(p...
  • 作者: 吴向军 姜云飞 梁瑞仕 边芮
    刊名: 软件学报
    发表期刊: 2011年1期
    页码:  57-70
    摘要: 领域知识的获取是智能规划研究中的重要内容之一.派生规则是一种基于逻辑推理的领域知识表示方法.在对动作模型和派生规则综合分析的基础上提出了基于派生谓词的STRIPS领域知识提取策略,并给出了该...
  • 作者: 冯登国 张妍 张敏 徐震
    刊名: 软件学报
    发表期刊: 2011年1期
    页码:  71-83
    摘要: 云计算代表IT领域向集约化、规模化与专业化道路发展的趋势,是IT领域正在发生的深刻变革.但它在提高使用效率的同时.为实现用户信息资产安全与隐私保护带来极大的冲击与挑战.当前,安全成为云计算领...
  • 作者: 吴建平 张威 毕军
    刊名: 软件学报
    发表期刊: 2011年1期
    页码:  84-100
    摘要: 互联网域间路由可扩展性问题是下一代互联网体系结构设计必须首先解决的关键问题之一.通过引入路由信息熵的概念,深入阐述Internet路由可扩展性问题的内在本质,并基于这一理论模型,分别从3个方...
  • 作者: 尤肖虎 曹傧 李云 杜杨
    刊名: 软件学报
    发表期刊: 2011年1期
    页码:  101-114
    摘要: 协作通信利用空闲节点的天线,构成虚拟的MIMO(multiple-input multiple-output)系统,从而对抗无线信道衰落,获取分集增益,协作通信是下一代无线移动网络的关键技术...
  • 作者: 吴建平 张宾 杨家海
    刊名: 软件学报
    发表期刊: 2011年1期
    页码:  115-131
    摘要: Internet流量模型对网络性能管理、QoS、准入控制等都有很重要的意义和作用.首先总结了现阶段已发现的主要网络流量的特性及相关度量参数,概要地介绍网络流量建模的意义和分类,然后按照"传统...
  • 作者: 卢锡城 彭宇行 李东升 李慧霸 田甜
    刊名: 软件学报
    发表期刊: 2011年1期
    页码:  132-148
    摘要: 互联网已成为现代社会的重要信息基础设施,然而网络环境的并发性使得传统程序设计方法在开发高质量的网络程序时遇到了许多困难,严重影响了开发效率.并发问题对网络程序开发复杂度的影响可以类比多核处理...
  • 作者: 于强 霍红卫
    刊名: 软件学报
    发表期刊: 2011年1期
    页码:  149-163
    摘要: 随着深度包检测规则数目的剧烈增长.为了适应网络处理的需求,必须对表示正则表达式的DFA(deterministic finite automata,确定的有限自动机)进行高效的存储一方面,对...
  • 作者: 杨怡 董永强
    刊名: 软件学报
    发表期刊: 2011年1期
    页码:  164-176
    摘要: 基于指针推进机制的分层移动IPv6方案因未考虑移动锚点管理域的影响,导致较高的注册和报文分发开销.提出一种面向分层移动IPv6网络的动态指针推进机制(dynamic pointer forw...
  • 作者: 尹斌 金芝 陈小红
    刊名: 软件学报
    发表期刊: 2011年2期
    页码:  177-194
    摘要: 在深入研究问题框架方法的基础上,抽取并构建了一个问题框架本体,以概念化基于问题框架的需求建模,设计了一个本体制导的基于问题框架方法的需求建模过程,为需求分析员提供建模指导并规范其建模活动.最...
  • 作者: 何啸 张岩 邵维忠 麻志毅
    刊名: 软件学报
    发表期刊: 2011年2期
    页码:  195-210
    摘要: QVT(Query/View/Transformation)Relations无法描述包含嵌套模式,因此在描述流程模型的转换规则时存在一些困难.针对此问题,对QVT Relations 进行...
  • 作者: 段振华 田聪
    刊名: 软件学报
    发表期刊: 2011年2期
    页码:  211-221
    摘要: 提出了基于命题投影时序逻辑(propositional projection temporal logic,简称PPTL)的单调速率调度(rate monotonic scheduling,...
  • 作者: 刘水 刘鹏远 李世奇 李晗静 赵铁军
    刊名: 软件学报
    发表期刊: 2011年2期
    页码:  222-232
    摘要: 提出一种基于特征组合和支持向量机(support vector machine,简称SVM)的语义角色标注(semantic role labeling,简称SRL)方法.该方法以句法成分作...
  • 作者: 吴立德 周雅倩 费仲超 黄萱菁
    刊名: 软件学报
    发表期刊: 2011年2期
    页码:  233-244
    摘要: 提出一套分为两步的代词指代消解算法,算法不需要人工清洗语料及预定义规则.算法第1步采用一些新特征和机器学习算法对名词性指代代词和非名词性指代(non-anaphoric)代词分类,第2步分别...
  • 作者: 代印唐 吴承荣 钟亦平 马胜祥
    刊名: 软件学报
    发表期刊: 2011年2期
    页码:  245-257
    摘要: 对已有的句法分析中引入知识的方法进行了归纳分析,认为多种句法分析方法都可被看作是基于特征标记的分类,然后分析了其中的欠分类和过分类问题.在此基础上,提出一种层级分类短语结构文法和一种层级分类...
  • 作者: 刘小玲 唐常杰 李川 李靓 赵小明 赵磊 陈瑜
    刊名: 软件学报
    发表期刊: 2011年2期
    页码:  258-268
    摘要: 提出了一系列Graph的OLAP模型和算法,实现了以Graph数据为中心度量的OLAP操作.主要贡献包括:(1)提出了面向Graph的数据仓库概念模型--双星模型;(2)提出了Graph的数...
  • 作者: 呙维 周春辉 夏宇 朱欣焰
    刊名: 软件学报
    发表期刊: 2011年2期
    页码:  269-284
    摘要: 研究分布式空间数据库(distributed spatial database,简称DSDB)中数据按区域分片时的跨边界片段拓扑连接查询问题,并提出相应的优化方法.首先研究了分布式环境下的空...
  • 作者: 唐常杰 张悦 朱军 李红军 杨宁 王悦 郑皎凌
    刊名: 软件学报
    发表期刊: 2011年2期
    页码:  285-297
    摘要: 提出了不确定干预分析模型,主要工作包括:(1)建立了用于多维不确定数据分析的不确定监测点模型(uncertain surveillance);(2)建立了基于不确定监测点的不确定干预策略及挖...
  • 作者: 刘丽霞 彭宇行 徐明 李宏建 胡罡
    刊名: 软件学报
    发表期刊: 2011年2期
    页码:  298-312
    摘要: 提出了一种基于节点之间竞争关系以及感知代价的分布式频谱感知算法.该算法基于分布式最小团划分理论.将节点划分至不同的团中,然后再根据团的结构来计算最优频谱感知分配.该算法的时间复杂度仅为O(N...
  • 作者: 徐娟 洪永发 王成 白星振
    刊名: 软件学报
    发表期刊: 2011年2期
    页码:  313-322
    摘要: 考虑了n个传感节点和一个Sink组成的跳时脉冲无线电超宽带(time hopping impulse radio ultra wideband,简称TH-IR UWB)传感网,其中,n个传感...
  • 作者: 冯登国 张敏 张立武 王雅哲
    刊名: 软件学报
    发表期刊: 2011年2期
    页码:  323-338
    摘要: 给出一种采用多层次优化技术的XACML(extensible access control markup language)策略评估引擎实现方案MLOBEE(multi-level opti...
  • 作者: 徐梓耀 贺也平 邓灵莉
    刊名: 软件学报
    发表期刊: 2011年2期
    页码:  339-352
    摘要: 基于Merkle哈希树提出了一种效率高、方式灵活并能保护平台隐私的远程验证机制.针对特定的目标应用场景,分析IMA(integrity measurement architecture)体系...
  • 作者: 侯紫峰 徐泽明
    刊名: 软件学报
    发表期刊: 2011年3期
    页码:  353-365
    摘要: 提出串的快速连续弱哈希(fast continuous weak Hash,简称FCWH),并研究它在理论和工程上的应用.首先提出FCWH的概念,从代数结构角度统一规划该类哈希的构造框架;然...
  • 作者: 段振华 舒新峰
    刊名: 软件学报
    发表期刊: 2011年3期
    页码:  366-380
    摘要: 为采用定理证明的方法对并发及交互式系统进行验证,研究了有穷论域下有穷时间一阶投影时序逻辑(projection tamporal logic,简称PTL)的一个完备公理系统.在介绍PTL的语...
  • 作者: 何克清 刘婧 李兵 马于涛
    刊名: 软件学报
    发表期刊: 2011年3期
    页码:  381-407
    摘要: 互联网的普及和万维网的兴起,引发了软件技术的变革,催生了新的软件形态--网络化软件,为大众用户提供多样化、个性化的按需服务.随着应用领域的不断扩展和用户群的日益庞大,其规模与复杂度正以超越人...
  • 作者: 张路 梅宏 钟浩
    刊名: 软件学报
    发表期刊: 2011年3期
    页码:  408-416
    摘要: 软件库调用规约是一种描述软件库提供函数正确调用顺序的规约.客户代码应按此规约描述的内容调用函数,否则可能引入缺陷,从而降低软件的可信性.由于能够描述可信软件应该满足的性质,软件库调用规约在可...
  • 作者: 吕建 宋巍 胡昊 马晓星
    刊名: 软件学报
    发表期刊: 2011年3期
    页码:  417-438
    摘要: 支持过程模型的动态修改并将过程模型的修改传播到当前正在运行的过程实例上,是柔性过程感知信息系统的基本要求.过程实例迁移是应对过程感知信息系统中过程动态演化的主流技术途径,它将尚未执行结束的过...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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