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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 唐稚松 阎安
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  1-7
    摘要: 混成系统是由计算机和物理设备组成的嵌入式实时计算系统.它允许在交互式实时系统中引入连续变化的单元.XYZ/E 是基于Manna-Pnueli的线性时序逻辑的程序设计语言.它将程序的动态语义与...
  • 作者:
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  8-22
    摘要: 考虑了结合面向对象和函数式程序风范的问题.与这一方向的大多数方法相比,这种结合方法有下面两个优点:首先,结合了在广泛流行的几种主语言中非常有名的一些重要概念.换言之,没有引入新的语言概念并试...
  • 作者: 李昂生 杨东屏
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  23-39
    摘要: 证明存在一个保持最大元1的可计算枚举高度的钻石格.
  • 作者: 周龙骧 巩志国 董淑珍
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  40-48
    摘要: 着重分析分布式多媒体数据库系统的特有问题,包括实时性、时空同步以及服务质量的描述与实现等.给出了解决这些问题的策略和方法.研究了各种不同的实现途径--远程调用、中间件和Agent构造的方式;...
  • 作者: WANG Guo-zhao 孙家广 汪国昭 胡事民 金通光
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  49-53
    摘要: Nurbs曲线/曲面在反求参数上的数值不稳定性,是Nurbs曲线/曲面的致命缺点.该文介绍了用于参数曲线/曲面求交的活动仿射标架(moving affine frame,简称MAF)方法.基...
  • 作者: 徐光祐 祝远新 黄浴
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  54-61
    摘要: 给出一种基于表观的动态孤立手势识别技术.借助于图像运动的变阶参数模型和鲁棒回归分析,提出一种基于运动分割的图像运动估计方法.基于图像运动参数,构造了两种表观变化模型分别作为手势的表观特征,利...
  • 作者: 周笑波 杜鹏 谢立 陈贵海 陈道蓄
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  62-66
    摘要: 作为一种应用系统从位于Internet上的远程服务结点获取数据和计算性服务并进行集成处理的机制,Internet市场受到了广泛重视.该文给出了一种基于扩展标记语言(extensible ma...
  • 作者: 吕建 杨大军
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  67-72
    摘要: 提出了一种从VDM-SL(Vienna development method-specification language)规约到并发面向对象程序的开发方法,这种方法基于DD-VDM(dat...
  • 作者: 张福炎 戚广志 黄豫清
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  73-78
    摘要: 为了对WEB上不规则的、动态的信息按照数据库的方式集成和查询,采用对象交换模型(object exchange model,简称OEM)建立了WEB信息模型.为了将页面中各个部分表示为对应的...
  • 作者: 孙永强 曾小平 谢建华
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  79-84
    摘要: 在介绍主动网络的基础上,提出了一个在移动代理系统基础上建立的安全而高效的主动网络系统框架MANet(mobile agents based active network).通过将程序代码和数...
  • 作者: 沈理 王静 陈明
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  85-90
    摘要: 为了实现Fuzzy规则自动获取,进而构造高性能智能系统和解决智能系统的瓶颈问题,研究了利用遗传算法自动获取规则的方法以及遗传算法的组合优化能力.模拟结果表明,这是一种有效地获取Fuzzy规则...
  • 作者: 施伯乐 胡运发 许锡春
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  91-94
    摘要: 证明了多模式环境下存在最小反合一,提出了一种反合一算法,并介绍了多模式下反合一的应用.
  • 作者: 朱晴波 胡宁 许建峰 谢立
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  95-103
    摘要: 对于分布式实时系统中的周期性任务,人们提出了一系列静态分配调度算法,有效地解决了各种特定条件下的任务分配和调度问题.这些算法的主要特点是,它们均要求被调度任务的特征参数为已知条件.然而在很多...
  • 作者: 林闯
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  104-109
    摘要: 随机Petri网的模型技术有多种不同的方法.简单地使用模型技术去模拟复杂的系统,势必造成状态空间的爆炸,而无法分析系统性能.模型精化技术可以开发出紧凑的模型,暴露出原模型中子模型的独立性和相...
  • 作者: 刘继敏 史忠植
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  110-115
    摘要: 该文把一幅图像看成是由一些区域构成的,这些区域在其内部有着颜色或纹理等方面的相似性,图像的形状由这些区域的边界线及其空间关系来描述.要根据图像中所包含的物体或场景在形状方面的特征进行检索,关...
  • 作者: 王戟 胡成军 陈火旺
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  116-121
    摘要: DC/P(duration calculus prover)是一族实时区间逻辑的辅助定理证明工具.它采用Gentzen风格相继式演算作为基本证明系统,并结合项重写、自动判定算法等技术以提高证...
  • 作者: 吴婷婷 吴泉源 章文嵩 金士尧
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  122-125
    摘要: 针对已有的解决Internet服务器性能瓶颈和可靠性问题的方法所存在的不足,提出基于IP层负载平衡调度的解决方法,将一组服务器构成一个可伸缩的、高可用的虚拟Internet服务器.通过在服务...
  • 作者: 容红波 汤志忠
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  126-132
    摘要: 数据相关是并行处理的基本依据.该文指出,VLIW(very long instruction word)特有的锁步性质使其数据相关性分析具有与众不同的特点.同一体差上的流相关形成一个线序集合...
  • 作者: 朱庆保 陈蓁
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  133-137
    摘要: CMAC(cerebella model articulation controller)神经网络的局部结构使得学习非线性函数更快.然而,在许多应用领域,CMAC的学习精度不能满足应用要求....
  • 作者: 康立山 陈毓屏 黄竞伟
    刊名: 软件学报
    发表期刊: 2000年1期
    页码:  138-142
    摘要: 将一般无向图的画图问题转化为函数优化问题,用遗传算法求目标函数的最优解的近似值,从而得到无向图自动画图算法的一个一般框架.新方法的特点是:不同的画图算法的框架都一样,所不同的只是反映无向图画...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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