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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 周龙骧 陈宁 陈安
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  1-7
    摘要: 提出基于密度的网格聚类算法GDcA,发现大规模空间数据库中任意形状的聚类.该算法首先将数据空间划分成若干体积相同的单元,然后对单元进行聚类只有密度不小于给定阈值的单元才得到扩展,从而大大降低...
  • 作者: 景宁 朱铁稳 钟志农
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  8-14
    摘要: 目前,大量的数据都是通过数据库管理系统(DBMS)进行存储和管理,关系数据库是解决数据处理问题的最成熟和最有效的工具在地理信息系统(GIs)的应用中,是利用所谓的空间数据库来管理、分析和观察...
  • 作者: 张建军 郑津津
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  15-23
    摘要: 提出了一种高效基于物理性质的算法来动态的塑造n边形曲面的外形.这种算法是基于曲面的物理性质.通过极小化一个能量泛函,用户能够直接使用不同形式的外力作为虚拟的塑造工具来改变n边形曲面的外形.用...
  • 作者: 居德华 沈备军 陈诚
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  24-32
    摘要: 事务管理是过程工程环境(PSEE)的一个关键技术.近年来,提出了不少高级事务模型支持长事务.然而,由于软件过程事务处理的特殊性,这些模型只能反映其中一部分需求,而且大多数多层的合作事务模型还...
  • 作者: 唐稚松 李广元
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  33-41
    摘要: 为了描述实时系统的性质和行为,10多年来,各种不同的时序逻辑,如Timed Computation Tree Logic,Metric Interval Temporal Logic和Rea...
  • 作者: 吴剑 吴建平 徐恪 徐明伟
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  42-50
    摘要: 随着Internet的迅猛发展,用于主干网络互联的核心路由器的接口速率已经达到了2.5Gbps~10Gbps.这一速率要求核心路由器每秒能够转发几百万乃至上千万个以上的分组.分组转发的重要一...
  • 作者: 乔颖 戴国忠 王宏安
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  51-58
    摘要: 实时多处理器系统的动态调度算法一直是实时系统研究中的重要课题,而评价实时调度算法性能的一个最重要的指标是调度成功率.在近视算法的基础上提出了一种新的实时多处理器系统的动态调度算法--节约算法...
  • 作者: 李未 栾尚敏
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  59-64
    摘要: 给出了命题逻辑上信念修正的两种可操作的完全方法.首先对R-演算的规则进行了修改,使得对任何一个极大协调的子集都通过这组规则得到.然后,给出了求得所有的极小不协调子集的一组规则.最后,给出一个...
  • 作者: 冯建华 周立柱 蒋旭东
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  65-70
    摘要: 联机分析处理(online analytical processing,简称OLAP)查询是涉及大量数据的即席复杂查询,从SQL(structured query language)角度来看...
  • 作者: 吕建 唐宝 廖宇 杨大军
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  71-79
    摘要: 同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两...
  • 作者: 方滨兴 汪立东
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  80-84
    摘要: Unix Shell生成的命令历史记录是系统审计信息的重要来源,但它未能包含检测入侵所需的足够信息,且容易被用户本人篡改.利用可装入内核模块和系统调用劫持技术实现了对Linux Shell安...
  • 作者: 李佐 王姝华 蔡士杰
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  85-91
    摘要: 字符识别系统的性能在很大程度上依赖于所选取的字符特征.提出了一种基于特征行必要-充分性匹配的OCR(optical character recognition)方法.该方法使用字符模板的特征...
  • 作者: 孙家骕 孙艳春 邹炜
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  92-98
    摘要: 青鸟网上构件库系统通过对可复用构件的管理,支持软件企业进行基于构件的软件开发.系统在提高开放性的同时,往往会带来安全性以及知识产权方面的问题.为了解决这些问题,在青鸟网上构件库系统中采用基于...
  • 作者: 张宏江 杨强 苏中 马少平
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  99-104
    摘要: 速度和效果是聚类算法面临的两大问题.DBSCAN(density based spatial clustering of applications with noise)是典型的基于密度的一...
  • 作者: 张大军 陈肇雄 黄河燕
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  105-110
    摘要: 针对多样本文语转换系统中的语音合成实时性问题,提出了对合成系统语音库的改进策略和语音单元之间相似度的计算方法,在此基础上设计并实现了查找语音单元的地址映射算法.实验表明,地址映射算法和音库的...
  • 作者: 姜跃平 李庆忠 王海洋 董继润 马绍汉
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  111-117
    摘要: 主动规则及规则处理机制一直是主动数据库研究的薄弱环节,主要表现为:(1) 语义不够丰富;(2) 缺乏基础语义;(3) 缺乏对规则处理的层次化和结构化的描述.为弥补上述不足,对规则处理机制赋予...
  • 作者: 安虹 陈国良
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  118-124
    摘要: 并行计算技术的发展已有20多年的历史了.时至今日,高性能并行计算仍然缺乏有效的并行程序设计方法和工具,使得编写并行程序、理解并行程序的行为、调试和优化并行程序的性能都很困难.从分析并行程序设...
  • 作者: 刘洁 刘贵全 蔡庆生 陈小平
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  125-129
    摘要: 实际问题中存在着大量连续量以及对它们的各种认知信息(知识).为了较好地描述和利用这些知识,将这些知识分解为连续认知结论以及关于这个结论的一个认知结构,并将它们统一成一个连续认知结构.在此基础...
  • 作者: 刘大有 杨鲲 郭欣
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  130-135
    摘要: 在分析现有的移动Agent系统的特点以及MASIF(mobile agent system interoperability facility)规范的基础上,给出了一个具有高安全性的移动Ag...
  • 作者: 张宏江 杨强 苏中 马少平
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  136-141
    摘要: 随着Web上用户访问信息的不断增加,特别是Web服务器可提供大量的日志文件,使得有可能对这些大数据集进行知识挖掘,例如,对用户未来的访问进行预测.提出了一种利用服务器日志文件,运用N元(N-...
  • 作者: 李效东
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  142-149
    摘要: 数据密集(data-intensive)型Web站点是指那些将大量的异构数据源的数据进行集成以后所生成的Web站点.此类站点的建设可以划分为3项主要任务:数据的访问与集成、站点结构的构造(指...
  • 作者: 于玉 刘学文 胡运发 陶晓鹏
    刊名: 软件学报
    发表期刊: 2002年1期
    页码:  150-158
    摘要: 提出了一种新的全文索引模型--后继数组模型,它结合了目前多个主流全文检索模型(倒排表模型、Pat数组模型等)的优点,提高了空间效率和时间效率,并得到了理论和实验的证明.
  • 作者: 尹中航 王永成 蔡巍 韩客松
    刊名: 软件学报
    发表期刊: 2002年2期
    页码:  159-167
    摘要: 从文本中提取主题串是自然语言处理的重要基础之一.传统的提取方法主要是依据" 词典加匹配"的模式.由于词典的更新速度无法同步于网上新闻中新词汇涌现的速度,而且词典的内容也无法完全涵盖网上新闻的...
  • 作者: 何明星 范平志
    刊名: 软件学报
    发表期刊: 2002年2期
    页码:  168-175
    摘要: 在信息管理与电子商务应用中,如何安全地将一个合法实体(比如一个公司)的密钥分配给其属下的若干部门具有非常重要的意义.通常在这类应用中各部门都需拥有自己的子密钥,而每个部门的每个人(或科室)都...
  • 作者: 彭绯 程时瑞
    刊名: 软件学报
    发表期刊: 2002年2期
    页码:  176-184
    摘要: 给出了在高带宽时延乘积网络中无拥塞丢包的TCP缓冲区的占用量的微分方程,然后针对广域网中窗口大小小于网络带宽时延乘积和无线网络中,由于误码丢包而使窗口尺寸无法达到链路带宽时延乘积(如卫星网)...
  • 作者: 刘云生 李国徽
    刊名: 软件学报
    发表期刊: 2002年2期
    页码:  185-192
    摘要: 移动计算系统中一个很重要的问题就是管理移动客户机的实时位置.在现有商业的移动计算系统中,采用一种两层的体系结构.这种两层的结构不具有可扩展性,因而不能适应具有大量移动用户的新型移动计算应用....
  • 作者: 唐稚松 李广元
    刊名: 软件学报
    发表期刊: 2002年2期
    页码:  193-202
    摘要: 模型检查是一种用于并发系统的性质验证的算法技术.LTLC(linear temporal logic with clocks)是一种连续时间时序逻辑,它是线性时序逻辑LTL的一种实时扩充.讨...
  • 作者: 林闯 魏丫丫
    刊名: 软件学报
    发表期刊: 2002年2期
    页码:  203-213
    摘要: 针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochast...
  • 作者: 何震瀛 李建中 高宏
    刊名: 软件学报
    发表期刊: 2002年2期
    页码:  214-218
    摘要: 数据仓库信息量的飞速膨胀对数据仓库提出了巨大挑战.如何提高Web环境下数据仓库的查询效率成为数据仓库研究领域重要的研究问题.对Web数据仓库的体系结构和查询方法进行了研究和探讨.在分析几种W...
  • 作者: 何晖光 杨骅 田捷 赵明昌
    刊名: 软件学报
    发表期刊: 2002年2期
    页码:  219-226
    摘要: 提出了一种基于分割的三维医学图像表面重建算法,它将图像分割与MC(marching cubes)算法有机地结合,这样可以根据不同医学图像的特点,采用适合的分割方法,实现对不同组织的准确分割,...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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