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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 蒲飞 陆维明
    刊名: 软件学报
    发表期刊: 2003年12期
    页码:  1977-1988
    摘要: 合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了Petri网系统同...
  • 作者: 吕江花 金成植
    刊名: 软件学报
    发表期刊: 2003年12期
    页码:  1989-1995
    摘要: Monad程序的核心是一组Monad定义.Monad定义分为MAP型和BIND型.如果在Monad库中已有所需要的Monad定义型,则可以直接使用,而不需要重新构造;否则,需要重新构造.但如...
  • 作者: 杨学军 蒋艳凰 赵强利
    刊名: 软件学报
    发表期刊: 2003年12期
    页码:  1996-2005
    摘要: 二分离散化是决策树生成中处理连续属性最常用的方法,对于连续属性较多的问题,生成的决策树庞大,知识表示难以理解.针对两类分类问题,提出一种基于属性变换的多区间离散化方法--RCAT,该方法首先...
  • 作者: 张浩然 韩正之
    刊名: 软件学报
    发表期刊: 2003年12期
    页码:  2006-2013
    摘要: 支持向量机(support vector machine,简称SVM)是一种基于结构风险最小化原理的学习技术,也是一种新的具有很好泛化性能的回归方法,提出了实现回归支持向量机的一种改进的SM...
  • 作者: 严斌峰 朱小燕
    刊名: 软件学报
    发表期刊: 2003年12期
    页码:  2014-2020
    摘要: 提出了一种基于联合概率似然得分和概率似然比得分进行语音识别确认的方法,计算搜索路径得分过程中同时考虑概率似然比得分,在给出系统最终识别结果的同时给出置信度水平.实验结果表明,该方法在大大降低...
  • 作者: 张亦辰 曹珍富 李建中 李继国
    刊名: 软件学报
    发表期刊: 2003年12期
    页码:  2021-2027
    摘要: 1996年,Mambo等人提出了代理签名概念.但是,代理签名仅能提供授权的认证而不能提供保密性.Chan和Wei提出一个门限代理签密方案(记为Chan-Wei方案),扩展了代理签名的概念.指...
  • 作者: 卿斯汉
    刊名: 软件学报
    发表期刊: 2003年12期
    页码:  2028-2036
    摘要: 串空间模型和CSP方法是当前最著名的分析认证协议的形式化方法.通过一个具体的认证协议例子,比较两种方法的不同特点.
  • 作者: 凌力 曾立安 程朝辉
    刊名: 软件学报
    发表期刊: 2003年12期
    页码:  2037-2044
    摘要: NAT-PT(network address translation + protocol translation)允许IPv6节点与IPv4节点之间进行通信.NAPT-PT则通过一定的映射...
  • 作者: 张乃通 王亮
    刊名: 软件学报
    发表期刊: 2003年12期
    页码:  2045-2051
    摘要: 移动性管理是LEO(低轨卫星(low earth orbit))卫星网络通信系统中的一个重要问题.提出了LEO网络中一种改进的基于移动的位置更新和寻呼方案.在这种方法中我们引入了"元小区"概...
  • 作者: 朱文涛 李津生 洪佩琳 熊继平
    刊名: 软件学报
    发表期刊: 2003年12期
    页码:  2052-2059
    摘要: 组播是面向组接收者的首选网络通信技术,其重要性随着Internet的发展日益突出.组管理协议IGMP不提供成员接入控制.为了保护通信机密性,安全组播使用仅为认证组成员所知的会话加密密钥(SE...
  • 作者: 吴俊 罗军舟 陈晴
    刊名: 软件学报
    发表期刊: 2003年12期
    页码:  2060-2067
    摘要: 现今Internet中的交换机/路由器面临着高交换速率和提供QoS保证的双重挑战.前者要求交换机/路由器的缓冲存储器尽可能地以链路速率工作,后者要求交换机能够完全模仿OQ(output qu...
  • 作者: 杜增凯 郑名扬 鞠九滨
    刊名: 软件学报
    发表期刊: 2003年12期
    页码:  2068-2073
    摘要: 在分布式Web服务系统的研究中,基于内容的调度策略日益受到关注.但是,基于内容的请求调度带来的额外开销使得调度节点成为系统的瓶颈,限制了系统规模.为了实现系统的容错和扩展,集中讨论了分布式调...
  • 作者: 何晖光 李光明 田捷 赵明昌
    刊名: 软件学报
    发表期刊: 2003年12期
    页码:  2074-2081
    摘要: 虚拟内窥镜可用来对人体内部管腔结构进行无损检测,在医疗诊断及手术上有着重要意义.要想快速准确地进行虚拟内窥漫游,一个首要的步骤是要先提取出模型的中心线以指导视点的移动.提出了一种基于Hess...
  • 作者: 张景峤 王国瑾 郑建民
    刊名: 软件学报
    发表期刊: 2003年12期
    页码:  2082-2091
    摘要: 带有复杂型曲线插值约束的细分曲面的生成,是计算机图形学及几何造型技术等领域所关心的一个问题.鉴于此,提出了一种高效的可以插值三次NURBS曲线的细分曲面生成方法.只需在被插值曲线的控制多边形...
  • 作者: 岳晶岩 蒋鲲 高小山
    刊名: 软件学报
    发表期刊: 2003年12期
    页码:  2092-2097
    摘要: 在参数化CAD设计中,设计者常常遇到判断一个参数化模型是欠、过和完整约束的问题.针对这个问题,提出了一个判断参数化模型的欠、过和完整约束性的图论算法.该算法不仅能够给出判断,同时还能够对欠和...
  • 作者: 金辉 高文
    刊名: 软件学报
    发表期刊: 2003年12期
    页码:  2098-2105
    摘要: 面部表情的分析与识别,不但在社会生活中具有普遍意义,而且在计算机的情感计算方面也起着有重要作用.关于表情运动特征的分析,有根据人脸面部几何结构特征的变化来分析的,有根据特征脸的概念定义的"表...
  • 作者: 王国瑾 解本怀
    刊名: 软件学报
    发表期刊: 2003年12期
    页码:  2106-2112
    摘要: 对CAGD中常见的多项式曲线和有理多项式曲线的导矢的界提出了新的估计公式.基于这些公式,对参数曲线的逐点绘制法进行了研究,提出了新的插值规则,较好地解决了以往绘制算法中出现的重复绘制问题和不...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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