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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 宋方敏 张云洁 徐家福 戴静安 钱士钧
    刊名: 软件学报
    发表期刊: 2008年1期
    页码:  1-8
    摘要: 量子程序设计语言自1996年出现以来,颇受业界重视.在简述几种有代表性的量子程序设计语言之后,着重阐述自行设计之量子程序设计语言NDQJava之概貌,其中包括设计准则、语言风范、硬件平台、基...
  • 作者: 宋方敏 张云洁 徐家福 戴静安 钱士钧
    刊名: 软件学报
    发表期刊: 2008年1期
    页码:  9-16
    摘要: 简要介绍了量子程序设计语言NDQJava的一个处理系统.其特点是:程序中经典部分之处理借助Java系统,着重考虑量子部分之处理.该处理系统遵循编译-解释的途径,由词法分析程序、语法分析与代码...
  • 作者: 李梦君 李舟军 陈火旺
    刊名: 软件学报
    发表期刊: 2008年1期
    页码:  17-26
    摘要: 抽象解释(abstract interpretation)理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近(approxiamation)程序不动点语义的理...
  • 作者: 屈婉霞 李暾 杨晓东 郭阳
    刊名: 软件学报
    发表期刊: 2008年1期
    页码:  27-38
    摘要: 随着软、硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.谓词抽象是解决状态空间爆炸的最有效方法之一,近年来得到迅速发展.介绍了谓...
  • 作者: KLEINE B(U)NING Hans 王立福 陈振宇 陶志红
    刊名: 软件学报
    发表期刊: 2008年1期
    页码:  39-47
    摘要: 提出一个结合变量抽象和有界模型检测(BMC)的验证框架,用于证明反例不存在或输出存在反例.引入变量极小不可满足(VMU)的数学概念来驱动抽象精化的验证过程.一个VMU公式F的变量集合是保证其...
  • 作者: 刘杰 孙吉贵 赵连宇
    刊名: 软件学报
    发表期刊: 2008年1期
    页码:  48-61
    摘要: 对近年来聚类算法的研究现状与新进展进行归纳总结.一方面对近年来提出的较有代表性的聚类算法,从算法思想、关键技术和优缺点等方面进行分析概括;另一方面选择一些典型的聚类算法和一些知名的数据集,主...
  • 作者: 姜青山 王声瑞 陈黎飞
    刊名: 软件学报
    发表期刊: 2008年1期
    页码:  62-72
    摘要: 确定数据集的聚类数目是聚类分析中一项基础性的难题.常用的trail-and-error方法通常依赖于特定的聚类算法,且在大型数据集上计算效率欠佳.提出一种基于层次思想的计算方法,不需要对数据...
  • 作者: 周志华 李小琳
    刊名: 软件学报
    发表期刊: 2008年1期
    页码:  73-81
    摘要: 现有的关系学习研究都是基于完备数据进行的,而现实问题中,数据通常是不完备的.提出一种从不完备关系数据中学习概率关系模型(probabilistic relational models,简称P...
  • 作者: 孙春明 徐燕 李锦涛 王斌
    刊名: 软件学报
    发表期刊: 2008年1期
    页码:  82-89
    摘要: 特征选择在文本分类中起着重要作用.文档频率(document frequency,简称DF)、信息增益(information gain,简称IG)和互信息(mutual informati...
  • 作者: 曾荣飞 林闯 肖圳莎 雷蕾
    刊名: 软件学报
    发表期刊: 2008年1期
    页码:  90-102
    摘要: 近年来,超三代移动通信系统的QoS体系结构已成为计算机网络领域和通信领域的一个研究热点.调研了相关的主要研究项目,通过对重点项目和国外该领域相关论文成果进行分析和比较,总结出未来B3G(be...
  • 作者: 周水庚 肖斌 蔚赵春
    刊名: 软件学报
    发表期刊: 2008年1期
    页码:  103-115
    摘要: 数据存取,也称信息中介,是指生产者(传感器节点)将产生的感知数据按照某种策略存放在特定的位置上,而消费者(基站、用户、传感器节点)将查询请求按照对应策略路由到数据存放位置获得感兴趣的数据.利...
  • 作者: 丁旭阳 朱大勇 王佳昊 范明钰
    刊名: 软件学报
    发表期刊: 2008年1期
    页码:  116-124
    摘要: WMN(wireless mesh network)网络环境中,网络拓扑结构的改变或无线冲突的发生,都可能导致作为信任值评估证据的样本空间不一定完整和可靠,使得现有的信任评估模型不能应用其上...
  • 作者: 王建新 陈建二 龚皓
    刊名: 软件学报
    发表期刊: 2008年1期
    页码:  125-135
    摘要: 提出一种协同工作式的TCP(transmission control protocol)拥塞控制改进协议C3P(cooperant congestion control protocol),...
  • 作者: 张刚 谭建龙
    刊名: 软件学报
    发表期刊: 2008年1期
    页码:  136-143
    摘要: 分布式信息检索的文档集合划分方案的评价是一个困难的问题,目前还没有良好的评价标准.从文档集合划分问题本身出发,给出了两个划分模型来刻画文档集合划分问题,从而使这两个模型可以作为文档集合划分的...
  • 作者: 卢锡城 朱培栋 赵金晶
    刊名: 软件学报
    发表期刊: 2008年1期
    页码:  144-155
    摘要: 实用的组播计费机制是IP组播能够在域间得以广泛部署的前提条件.从不同参与者的角度讨论了IP组播的3种典型的服务模型及其相应的可实施的计费策略.这3种模型代表了域间组播的多种可能情况,它们是I...
  • 作者: 程时端 邹仕洪 郝丹丹
    刊名: 软件学报
    发表期刊: 2008年1期
    页码:  156-166
    摘要: 就同时包含了有线链路和无线链路的异构网络上的实时应用,提出了一种满足其端到端服务质量(QoS)需求的无线网络MAC(media access control)层调度算法(real-time ...
  • 作者: 朱培栋 胡湘江 龚正虎
    刊名: 软件学报
    发表期刊: 2008年1期
    页码:  167-176
    摘要: BGP(border gateway protocol)协议的安全是Internet路由系统安全的关键.目前已提出多种BGP安全机制,但都未能得到部署.对BGP安全机制的部署问题进行深入分析...
  • 作者: 于戈 孟小峰
    刊名: 软件学报
    发表期刊: 2008年2期
    页码:  177-178
    摘要:
  • 作者: 凌妍妍 刘伟 孟小峰
    刊名: 软件学报
    发表期刊: 2008年2期
    页码:  179-193
    摘要: Web数据库中,海量的信息隐藏在具有特定查询能力的查询接口后面,使人无法了解一个Web数据库内容的特征,比如主题的分布、更新的频率等,这就为Deep Web数据集成带来了巨大的挑战.为了解决...
  • 作者: 寇月 李冬 申德荣 聂铁铮
    刊名: 软件学报
    发表期刊: 2008年2期
    页码:  194-208
    摘要: 分析了常见的实体识别方法,提出了一种基于语义及统计分析的实体识别机制(deep Web entity identification mechanism based on semantics ...
  • 作者: 杨少华 林海略 韩燕波
    刊名: 软件学报
    发表期刊: 2008年2期
    页码:  209-223
    摘要: 当前,Web上的很多网页是动态生成的,网站根据请求从后台数据库中选取数据并嵌入到通用的模板中,例如电子商务网站的商品描述网页.研究如何从这类由模板生成的网页中检测出其背后的模板,并将嵌入的数...
  • 作者: 凌妍妍 刘伟 孟小峰
    刊名: 软件学报
    发表期刊: 2008年2期
    页码:  224-236
    摘要: 提出了一种基于词频统计的方法以估算Web数据库的规模.通过分析Web数据库查询接口中属性之间的相关度来获取某个属性上的一组随机样本;并对该属性分别提交由前k位高频词形成的试探查询以估算Web...
  • 作者: 李战怀 袁柳 陈世亮
    刊名: 软件学报
    发表期刊: 2008年2期
    页码:  237-245
    摘要: 借鉴语义Web领域中深度标注的思想,提出了一种对Web数据库查询结果进行语义标注的方法.为了获得完整且一致的标注结果,将领域本体作为Web数据库遵循的全局模式引入到查询结果语义标注过程中.对...
  • 作者: 刘艳威 左万利 王辉
    刊名: 软件学报
    发表期刊: 2008年2期
    页码:  246-256
    摘要: 在深度网研究领域,通用搜索引擎(比如Google和Yahoo)具有许多不足之处:它们各自所能覆盖的数据量与整个深度网数据总量的比值小于1/3;与表层网中的情况不同,几个搜索引擎相结合所能覆盖...
  • 作者: 徐和祥 王述云 王鑫印 胡运发
    刊名: 软件学报
    发表期刊: 2008年2期
    页码:  257-266
    摘要: 研究了Deep Web集成环境中构件的依赖关系(执行偏序依赖和知识依赖),并在此基础上提出了一种基于知识的环境变化的处理方法,包括Deep Web集成环境变化处理模型以及适应Deep Web...
  • 作者: 宋玲 闫泼 韩晓晖 马军
    刊名: 软件学报
    发表期刊: 2008年2期
    页码:  267-274
    摘要: 讨论了提高Deep Web数据库分类准确性的若干新技术,其中包括利用HTML网页的内容文本作为理解数据库内容的上下文和把数据库表的属性标记词归一的过程.其中对网页中的内容文本的发现算法是基于...
  • 作者: 宋杰 王大玲 申德荣 鲍玉斌
    刊名: 软件学报
    发表期刊: 2008年2期
    页码:  275-290
    摘要: 提出了基于页面Block对Web页面的采集和存储方式,并详细表述了该方法如何完成基于布局页面分区、Block主题的抽取、版本和差异的比较以及增量存储的方式.实现了一个Web归档原型系统,并对...
  • 作者: 丁凡 李锦涛 王斌 郎皓
    刊名: 软件学报
    发表期刊: 2008年2期
    页码:  291-300
    摘要: 目前,查询性能预测(predicting query performance,简称PQP)已经被认为是检索系统最重要的功能之一.近几年的研究和实验表明,PQP技术在文本检索领域有着广阔的发展...
  • 作者: 唐世渭 宋国杰 杨冬青 林子雨 王腾蛟
    刊名: 软件学报
    发表期刊: 2008年2期
    页码:  301-313
    摘要: 通过基于主动决策引擎日志的数据挖掘来找到分析规则的CUBE使用模式,从而为多维数据实视图选择算法提供重要依据;在此基础上设计了3A概率模型,并给出考虑CUBE受访概率分布的视图选择贪婪算法P...
  • 作者: 史美林 汪晓庆 郑彦兴
    刊名: 软件学报
    发表期刊: 2008年2期
    页码:  314-322
    摘要: 针对数据共享环境多数据源选择MDSS(multiple data sources selection)问题,基于Pareto最优理论提出了MDSSA(MDSS algorithm)算法.该算...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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