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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 周学海 李光亚 赵振西
    刊名: 软件学报
    发表期刊: 1998年3期
    页码:  0
    摘要: 数据模型的研究是设计按内容检索的图象数据库系统的基础.本文在超语义数据模型的基础上,提出了一种新的图象数据库系统模型.该模型融合了面向对象的数据模型、语义数据模型和知识模型的特点,并根据图象...
  • 作者: 徐川育
    刊名: 软件学报
    发表期刊: 1998年3期
    页码:  0
    摘要: 本文分析了变型标准遗传算法VCGA(variants of canonical genetic algorithms)有时会产生早熟收敛的机理,提出了混合法HVCSDA(hybrid VCG...
  • 作者: 孟祥武 程虎
    刊名: 软件学报
    发表期刊: 1998年3期
    页码:  0
    摘要: 本文提出了一个离散型Hopfield网联想记忆学习算法,该算法增加了训练样本的维数,因而能存储任意给定的训练模式集.实验结果也证明了该方法的有效性.
  • 作者: 史元春 徐光佑 王国意
    刊名: 软件学报
    发表期刊: 1998年3期
    页码:  0
    摘要: 为了使群体能够协同完成任务,CSCW(computer supported cooperative work)系统不仅要解决各种分布性、处理应用领域的特殊性,而且要提供面向用户的协作支持,从...
  • 作者: 刘俐 叶以正 曾献君 李思昆
    刊名: 软件学报
    发表期刊: 1998年3期
    页码:  0
    摘要: 本文改进了布尔函数的代数因子分解算法ALG_DIV和QF,采用"分治"方式降低了分解过程的计算时间复杂性,提高了多级逻辑函数分解的效率,能获得近似优化的多级逻辑分解结果.
  • 作者: 傅育熙
    刊名: 软件学报
    发表期刊: 1998年3期
    页码:  0
    摘要: 有归纳类型的马丁洛夫类型理论在经典集合论中有一简单的模型.构造演算不存在经典集合论模型,但在构造集合论中有模型.本文刻画了构造演算中归纳类型的构造集语义.
  • 作者: 夏峰 盛焕烨 赵家骜
    刊名: 软件学报
    发表期刊: 1998年3期
    页码:  0
    摘要: "远程医疗"是计算机通信技术和医学工程技术高度发展的产物.进入网络信息时代,网络化多媒体技术的发展更是推动了"远程医疗系统"的研究和实现.本文根据作者在上海医科大学所进行的一些工作,阐述了作...
  • 作者: 张奠成 王浩 高隽
    刊名: 软件学报
    发表期刊: 1998年3期
    页码:  0
    摘要: 方法和方法继承是面向对象的核心概念.本文介绍了约束演绎对象语言CDOL(constraint deductive object language)中方法的概念及定义,方法是作为规则定义的,它...
  • 作者: 张乃孝 郑红军
    刊名: 软件学报
    发表期刊: 1998年3期
    页码:  0
    摘要: 本文从Ideal的基本概念出发,研究了Ideal作为类型的语义模型所具有的性质.在类型的Ideal模型下,讨论了Garment中参数化多态类型和约束多态类型的语义.并在此基础上,证明了Gar...
  • 作者: 卢炎生 朱英武 谢晓东
    刊名: 软件学报
    发表期刊: 1998年3期
    页码:  0
    摘要: 本文通过建立分布式实时数据库系统中的一个网络通讯延迟模型,对它的时间开销进行了分析,指出实现实时通讯的可行性.同时给出了通讯协议ECSMA/CD(extend carrier sense m...
  • 作者: 李建中
    刊名: 软件学报
    发表期刊: 1998年3期
    页码:  0
    摘要: 本文使用并行数据流技术优化和处理并行数据库查询的方法,提出了一整套相关算法,并给出了一个基于并行数据流方法的并行数据库查询优化处理器的完整设计.这些算法和相应的查询优化处理器已经用于作者自行...
  • 作者: 冯玉才 孙小薇 金树东
    刊名: 软件学报
    发表期刊: 1998年3期
    页码:  0
    摘要: 本文在hB树基础上提出多属性索引方法--hB*树.hB*树索引结点溢出时先寻求避免分裂,以期得到较好的空间利用率;通过避免和消除多父结点,使hB*树成为严格的树形结构.本文表明hB*树提高了...
  • 作者: 张钹 高协平
    刊名: 软件学报
    发表期刊: 1998年3期
    页码:  0
    摘要: 本文提出了前馈神经网络学习的一种新理论棗区间小波神经网络,不同于以往工作的是本工作的主要特点有:(1) 采用区间小波空间作为神经网络的学习基底空间,克服了以往神经网络基空间与被学习信号所属空...
  • 作者: 刘贵全 王清毅 蔡庆生 陈恩红
    刊名: 软件学报
    发表期刊: 1998年4期
    页码:  0
    摘要: 本文首先分析了现有的能够处理知识库中不一致性的逻辑的不足,然后定义了超决定结构、模型和语义的概念,具体描述了超决定语义的计算过程,从而给出了一种能够处理知识库中不一致性的逻辑,并对该逻辑进行...
  • 作者: 徐永安 杨钦 谭建荣 陈其明
    刊名: 软件学报
    发表期刊: 1998年4期
    页码:  0
    摘要: 本文提出了一种快速、有效的三角化算法,实现了任意平面域上散乱数据的三角化,生成的网络符合Delaunay准则,网格的优化是在网格生成过程中完成的,算法复杂度与点数呈近似线性关系.该算法运用于...
  • 作者: 房鼎益
    刊名: 软件学报
    发表期刊: 1998年4期
    页码:  0
    摘要: 本文给出一个基于属性文法的网络通信协议的形式说明与自动生成的模型.首先引入了一个扩展的属性文法描述工具,讨论了用其描述协议的并行、同步、延时(时序)等特性的有关问题;然后研究了基于属性文法的...
  • 作者: 徐高潮 胡亮 鞠九滨
    刊名: 软件学报
    发表期刊: 1998年4期
    页码:  0
    摘要: 本文介绍了作者研制的负载平衡系统ILBOT(intelligent load balancer based on on-line tracing)的作业选择策略,该策略考虑了不同的负载环境对...
  • 作者: 张再跃 张宏裕
    刊名: 软件学报
    发表期刊: 1998年4期
    页码:  0
    摘要: 本文建立了算法复杂性函数渐近优超等价类数学结构,并应用递归论研究中的方法和技巧对该结构的性质进行了系统的研究,证明了该结构具有强Friedberg-Muchnic性质和在偏序意义下的稠密性定...
  • 作者: 吴胜利
    刊名: 软件学报
    发表期刊: 1998年4期
    页码:  0
    摘要: 直方图是许多商用数据库系统中最常用的一种估算查询结果大小的方法.从实用的观点来看,过去已提出的一些直方图方法有局限性,主要是它们不能保证估算值的准确程度.本文将提出两种新的直方图方法,它们不...
  • 作者: 林闯
    刊名: 软件学报
    发表期刊: 1998年4期
    页码:  0
    摘要: 本文提出了ATM网络的一种实时传输调度和信元丢失控制的综合方案.这种方案是基于队列长度阀值而设计的,它适应于ATM网络面向连接的特性.本文给出了这种方案的随机Petri网性能模型,并给出模型...
  • 作者: 刘积仁 张应辉 江早 王兴伟
    刊名: 软件学报
    发表期刊: 1998年4期
    页码:  0
    摘要: 分布式多媒体信息点播系统DMIoDS(distributed multimedia information_on_demand systems)作为对VoD(video_on_demand)...
  • 作者: 冯剑琳 冯玉才
    刊名: 软件学报
    发表期刊: 1998年4期
    页码:  0
    摘要: 关联规则的开采是一个重要的数据开采问题.目前已经提出了许多算法用于高效地发现大规模数据库中的关联规则,而对关联规则维护问题的研究工作却很少.在用户开采关联规则的交互过程中,为了找到真正令其感...
  • 作者: 陈世华 陶仁骥
    刊名: 软件学报
    发表期刊: 1998年4期
    页码:  0
    摘要: 本文讨论非一次相关置换和对合的产生问题.对于置换,首先给出了由给定置换进行仿射变换产生一类相关次数相同置换的方法,然后给出了由低维非一次相关置换递归产生高维非一次相关置换的方法,并估计了这些...
  • 作者: 张钹 高协平
    刊名: 软件学报
    发表期刊: 1998年4期
    页码:  0
    摘要: 证明了区间小波神经网络具有一致及L2逼近性质,且为相容的函数估计子,其学习收敛速度在d维情形不随d增大而减慢,本质上克服了神经网络高维学习的"维数灾难"问题,模拟实例验证了理论的正确性.
  • 作者: 李建中 都薇
    刊名: 软件学报
    发表期刊: 1998年4期
    页码:  0
    摘要: 并行数据库在多处理机之间的分布方法(简称数据分布方法)对并行数据操作算法的性能影响很大.如果在设计并行数据操作算法时充分利用数据分布方法的特点,可以得到十分有效的并行算法.本文研究如何充分利...
  • 作者: 张晨东 徐光 王兵山 陈火旺
    刊名: 软件学报
    发表期刊: 1998年4期
    页码:  0
    摘要: 针对Nilsson概率逻辑推理在计算规模方面存在的问题,本文给出了公式集按类超树结构分解的计算模型,并证明了分解算法的完备性.
  • 作者: 何久田 周堤基 杨文婷 邓铁清
    刊名: 软件学报
    发表期刊: 1998年4期
    页码:  0
    摘要: 本文详细介绍了一个智能数据库支持工具FoxPert的设计与实现技术.该工具立足于主流数据库系统,采用一种增强的松耦合结构实现了FoxPro,Oracle与知识表示语言CLIPS(C lang...
  • 作者: 冯结青 彭群生 马利庄
    刊名: 软件学报
    发表期刊: 1998年4期
    页码:  0
    摘要: 基于参数曲面控制的物体自由变形是一项实用的技术.在已有的方法中,待变形物体被直接嵌入控制曲面的参数空间,由于映射的非线性,导致物体变形中出现扭曲现象.本文提出了一种基于参数曲面控制的均匀变形...
  • 作者: 周立柱 赵洪彪
    刊名: 软件学报
    发表期刊: 1998年4期
    页码:  0
    摘要: 在Client/Server系统中,服务器的可用性是提高整个系统可用性的关键,采用多复制服务器是提高系统可用性的最有希望的手段.但是,复制数据更新过程中的阻塞问题是整个系统性能的一个瓶颈.本...
  • 作者: 俞本权 徐宏炳 王宁 王能斌 陈滢
    刊名: 软件学报
    发表期刊: 1998年5期
    页码:  0
    摘要: 提出一个基于CORBA(common object request broker architecture)的即插即用的异构多数据源集成系统的设计方案.由于采用具有较强描述能力的OIM(ob...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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