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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 张方国 张福泰 王育民
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1187-1192
    摘要: 可验证秘密分享是密码学和信息安全中的一个重要工具.在现有的文献中可见到许多门限可验证秘密分享方案,但对广义可验证秘密分享的研究却很少.研究了广义可验证秘密分享问题.基于一个广义秘密分享方案,...
  • 作者: 殷新春 谢立 陈崚
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1193-1198
    摘要: 给出了将具有变相关的嵌套循环映射到具有分布式存储的多处理机上的两种方法.通过相关向量的分解或由相关向量导入方向向量,可将具有变相关的嵌套循环分解成若干互相没有相关关系的独立部分.由于它们可以...
  • 作者: 张宏鑫 王国瑾
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1199-1208
    摘要: 给出了一类新颖的基于六边形网格的细分方法.该方法拓广了细分曲面的种类,被形象地称为蜂窝细分方法.通过引入中心控制点的概念,使蜂窝细分具有参数选取灵活,形状控制容易,网格复杂性增长缓慢,适用范...
  • 作者: 孙玉芳 张普含
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1209-1219
    摘要: 随着网络规模的急剧扩大和结构的日趋复杂化,网络故障管理越来越重要.在一个复杂的通信网络中,故障是不可避免的,但是对故障的及时探测和识别对于提高网络的可靠性是非常重要的.监测数据包是网络故障检...
  • 作者: David Yau 梁丰
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1220-1227
    摘要: 提出一种自适应路由器限流算法防御分布拒绝服务攻击的机制.该算法的关键是由被攻击者要求经挑选的相距k跳(hop)的上游路由器对目的为被攻击者的数据流进行限流,从而将被攻击者的服务支援在各数据流...
  • 作者: 刘超 孙昌爱 金茂忠
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1228-1237
    摘要: 近年来,软件体系结构逐渐成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一.归纳了软件体系结构技术发展过程及其主要研究方向.在分析了典型的软件体系结构概念之后,给出了...
  • 作者: 刘俊义 王润生
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1238-1241
    摘要: 图像的对称性研究是模式识别和计算几何的重要内容,在目标识别、视觉监视和形状表示等研究中有一定的应用价值.提出一种利用分布式主动智能体提取灰度图像中的基本反射对称轴的新方法,它通过对智能体在局...
  • 作者: 吴恩华 张严辞
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1242-1249
    摘要: 提出了一种基于平面的逆向Warping算法,用于根据多幅参考图像生成任意视点下的新图像.首先通过参考图像的深度信息来重建三维平面,然后寻找这些重建平面间的对应关系,并比较它们对空间平面同一部...
  • 作者: 杨博 王鼎兴 郑纬民
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1250-1256
    摘要: 从解释执行到及时编译的转变极大地提高了Java程序的运行速度.但是,现有的Java虚拟机还有待进一步的改进.提出了一种新的Java虚拟机编译与执行模型--混合并发模型HCCEM(hybrid...
  • 作者: 焦莉 陆维明
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1257-1263
    摘要: 寻找实际可行的多项式算法一直是Petri网应用的重要方面.给出了关于扩展强化非对称选择网(extended strong asymmetric choice nets,简称ESAC网)结构活...
  • 作者: 刘振宇 刘杰 张敏捷 谭敏生 阳小华
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1264-1270
    摘要: 合成是元搜索引擎系统中一个重要的技术问题.给出了搜索引擎和元搜索引擎的形式化定义,对各种可能的元搜索引擎合成类型进行了划分.在此基础上,提出了元搜索引擎合成的一般性约束条件以及针对特殊类型的...
  • 作者: 周熠 朱紫汝 陈小平
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1271-1277
    摘要: 建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题.提供了一个新的基于"归约蕴涵"的意图后承形式系统Lm5c,给出了意图后承的形式规范.与已有的意图后承形式系统相比,这个系统比较简...
  • 作者: 史元春 张子银 徐光祐 杨士强 白雪生
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1278-1283
    摘要: 随着数字设备在视频制作中的广泛应用,数字特技(DVE)也越来越多地被用于镜头转换,这就要求视频检索能有效地对DVE镜头转换进行检测.通过对DVE镜头转换的模型和特性的分析,指出了目前基于二维...
  • 作者: 刘增基 李晓濛 赵斌
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1284-1289
    摘要: 提出了一种基于测量的QoS参数估计方法,该方法使得用户无须事先为业务源建立相应的业务模型并向网络提交其业务模型参数,而是通过对业务流的统计特性进行实时测量来动态估计相应的QoS参数,从而克服...
  • 作者: 刘九芬 黄继武 黄达人
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1290-1297
    摘要: 稳健性是图像隐形水印最基本的要求之一.嵌入对策、嵌入公式、嵌入强度都影响水印的稳健性.提出了一个基于离散小波变换(DWT)的新的隐形水印嵌入对策.根据小波图像系数的分布特点和对小波系数振幅的...
  • 作者: 李毅 石纯一
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1298-1302
    摘要: MAS中,一个agent对其他agent进行跟踪、监视,并推断出其高级目标和意图是重要的,对多个agent的跟踪,既要知道每个agent的意图,也要分析出群体意图,以便于协作或对抗.引入群体...
  • 作者: 丁箐 陈国良 顾钧
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1303-1308
    摘要: 由于资源具有广域分布、异构、动态等特性,计算网格环境下资源的管理和调度是一个非常复杂且具有挑战性的问题.提出了计算网格环境下一组相互独立的计算任务(meta-task)的资源映射策略.该策略...
  • 作者: 刘润涛
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1309-1312
    摘要: 给出了一种确定任意多边形顶点凸、凹性的简捷算法.该算法只需要2n+4次乘法,5n+10次加、减法及2n+3次比较即可完成(n是多边形顶点的个数).同时,给出了任意简单多边形走向的充要条件.
  • 作者: 刘东喜 白英彩
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1313-1317
    摘要: Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方法证明了认证属性.通过在该模型中引入消息类型检查机制,简...
  • 作者: 周学海 李光亚 李曦 赵振西 龚育昌
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1318-1323
    摘要: 在基于语义网络的超媒体模型基础上,通过引入数据库模式、模式约束图以及分层模式依赖图等概念,提出了一种基于模式匹配的超媒体查询模型,给出了图形代数的形式化定义,并证明了该模型的查询能力.该模型...
  • 作者: 李琪 白英彩
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1324-1330
    摘要: 数据仓库的一个重要用途是利用时态视图向用户提供历史信息.因为在传统关系数据模型中增加了对时间的支持,而且时态视图的更新不仅来自于基表更新,还包括时间前进,所以,目前对非时态视图维护的研究成果...
  • 作者: 万燕 唐进 孙永强 朱向华
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1331-1337
    摘要: 安全技术决定了Mobile Agent的实用性,其主要解决的问题是防范恶意Mobile Agent的重复攻击和越权攻击.在介绍了Mobile Agent的概念、特点及安全的重要性的基础上,提...
  • 作者: 严中洪 张万萍 李建平
    刊名: 软件学报
    发表期刊: 2002年7期
    页码:  1338-1344
    摘要: 给出了小波分析滤波器系数的解析构造方法,导出了类似于快速Fourier变换的小波快速变换算法.它比著名的小波变换Mallat算法更简单、方便,计算速度更快.同时,它还可以根据分析的信号自适应...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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