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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 孙踊 胡易
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  569-583
    摘要: 认为传统的二值布尔不利于大规模集成电路的设计,尤其是在逻辑门电路上.为此引入了三值逻辑.此三值逻辑是基于集成电路的物理性质,且碰巧等同于Kleene的三值逻辑.鉴于Kleene三值逻辑的不完...
  • 作者:
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  583
    摘要:
  • 作者: 赵柱
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  584-589
    摘要: Ajtai和Dwork构造了一种概率公用密钥体系.这种密码系统的安全性建立在一种格问题复杂性的最坏情形上.该文的结果证明这种密码系统是很容易被误用的.如果这种系统被用于广泛使用的key-es...
  • 作者: 甄强 陆维明
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  590-605
    摘要: 活性与安全性是网系统的重要行为特性.该文的贡献在于为非对称选择网导出其活性与安全性的一般性质.文章讨论了活性具有单调性的非对称选择网活性与安全性的条件,并给出一个多项式时间算法来判定一个给定...
  • 作者: 沈俊 罗军舟 顾冠群
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  606-615
    摘要: 协议是计算机网络的命脉,协议复杂性的提高导致了协议工程学科的出现.该文首先分析了协议工程各项活动的内容、方法和相互关系,讨论了各种形式描述技术(formal description tech...
  • 作者: 刘克龙 卿斯汉 蒙杨
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  616-619
    摘要: 提出了一种新型的基于ElGamal型算法而非RSA(Rivest r.l.,Shamir A.,Adleman)算法的综合型Yaksha安全系统.该系统可以用作加密、数字签名、分布式认证、密...
  • 作者: 石青云 闫宇松
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  620-627
    摘要: 使用提升的方法,利用FFT(fast Fourier transform)的蝶型构造,完成了FFT与DCT(discrete cosine transform)的从整数到整数的变换.变换本身...
  • 作者: 汪东升 沈美明 舒继武 郑纬民
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  628-633
    摘要: 从应用的角度建立了评价大规模问题数据并行处理性能的模型,分析了区域的不同划分对解整个问题算法的收敛速度有影响时的并行性能,进而就操作重叠、数据规模以及算法选取等几个方面的问题对大规模数据并行...
  • 作者: 杨芙清 梅宏 袁望洪 谢涛
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  634-341
    摘要: 对软件产业发展所需要的软件生产率和软件质量的重视引起了对软件复用技术的研究,同时,有关复用度量的研究和应用也引起了广泛的重视.青鸟构件库系统可以对可复用构件进行描述、管理、存储和检索,用以满...
  • 作者: 卿斯汉 张磊
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  642-645
    摘要: 分析了现有的防火墙系统及其弱点.在此基础上,引入了"Agent"的概念.应用"Agent"的定义和方法来规范防火墙的各个部件,描述了各"Agent"之间的通信和协作,并说明了设计和实现一个基...
  • 作者: 容红波 汤志忠
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  646-653
    摘要: 流相关是影响VLIW(very long instruction word)结构上的循环调度的一个关键因素.目前的研究未利用VLIW的锁步特性.利用这一性质,围绕着包含这一概念,该文为VLI...
  • 作者: 张尧学 王晓春
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  654-659
    摘要: 提出了一种用于Internet中服务质量控制的报文分组调度与丢弃算法.该方法根据用户要求的服务质量(quality of service,简称QoS)参数和多媒体应用的类型以及等待时间等因素...
  • 作者: 叶俊 慕春棣 戴剑彬
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  660-666
    摘要: 贝叶斯网络是用来表示变量集合的连续概率分布的图形模式,它提供了一种自然地表示因果信息的方法,用来发现数据间的潜在关系.贝叶斯网络的学习也就是要找出一个能够最真实反映现有数据库中各数据变量相互...
  • 作者: 周志华 陈世福 陈兆乾
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  667-672
    摘要: 提出了一种基于域理论的自适应谐振神经网络模型FTART2(field theory based adaptive resonance theory 2).该模型结合了自适应谐振理论和域理论的...
  • 作者: 孙玉芳 左春 石云
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  673-678
    摘要: 近来,数据采掘的研究已从关系型和事务型数据库扩展到空间数据库.空间数据采掘是一个很有发展前景的领域,其中空间数据分类的研究尚处在起步阶段.该文分析和比较了现有的几个空间数据分类方法的利和弊,...
  • 作者: 万建成 张曙明
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  679-685
    摘要: 在论述了面向对象技术中对象间的关系作为第一级建模概念的重要性之后,该文设计并实现了显式支持对象间关系的RCPP(relational C++)语言.它提供了显式描述对象间关系特性和语义的机制...
  • 作者: 庞丽萍 李胜利 秦啸 韩宗芬
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  686-693
    摘要: 以往文献中研究的实时容错调度算法都只能调度单一的具有容错需求的任务.该文建立了一个混合型实时容错调度模型,提出一种静态实时容错调度算法.该算法能同时调度具有容错需求的实时任务和无容错需求的实...
  • 作者: 张勇翔 李必信 梁佳 樊晓聪 郑国梁
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  694-700
    摘要: 从类层次图CHG(class hierarchy graph)出发,提出一个基于CHG的分析面向对象程序的框架OOAF(object-oriented analyzing framework...
  • 作者: 丁宇新 程虎
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  701-706
    摘要: 详细介绍了国产开放系统平台Java虚拟机多线程的设计与实现.在线程调度上,采用带有独立队列的静态级别轮巡调度,较好地解决了独立循环线程的调度问题.对于线程的同步,采用了哈希混合锁的设计方案....
  • 作者: 朱小燕 罗予频 胡东成 贾宾
    刊名: 软件学报
    发表期刊: 2000年5期
    页码:  707-710
    摘要: Baum-Welch算法是在语音领域中用于HMM(hidden Markov model)模型参数训练的最基本方法之一.但它在多样本训练时存在着严重的上、下溢问题,需要不断地人工介入来调整中...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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