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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
文章浏览
目录
  • 作者: 白硕 鲁松 黄雄
    刊名: 软件学报
    发表期刊: 2002年6期
    页码:  1082-1089
    摘要: 有导词义消歧机器学习方法的引入虽然使词义消歧取得了长足的进步,但由于需要大量人力进行词义标注,使其难以适用于大规模词义消歧任务.针对这一问题,提出了一种避免人工词义标注巨大工作量的无导学习方...
  • 作者: 周龙骧 谭红星
    刊名: 软件学报
    发表期刊: 2002年6期
    页码:  1090-1096
    摘要: 提出了多维数据中实视图的动态选择方案.其基本思想是由系统跟踪查询的分布情况,并据此动态地调整实视图集合.具体实现了该方案,并证明了在一定条件下,单次选择算法的效果与最优效果的差具有一定的上限...
  • 作者: 刘积仁 才国清 王兴伟
    刊名: 软件学报
    发表期刊: 2002年6期
    页码:  1097-1102
    摘要: 提出一种服务质量受控型组管道,作为基于服务质量的平台层多媒体组通信抽象,以支持分布式多媒体组通信机制的描述与开发.给出了服务质量受控型组管道的形式定义,详细讨论了其工作过程.该抽象已被成功地...
  • 作者: 冯进国 周兴铭 戴金海 桂先洲
    刊名: 软件学报
    发表期刊: 2002年6期
    页码:  1103-1110
    摘要: 仿真技术的进步推动了实时系统(如核反应堆、军事战场和fly-by-wire系统)的深入研究.用仿真方法解决实时问题,必须首先给出实时系统描述模型.TGM(task graph model)模...
  • 作者: 冯登国 卿斯汉 常晓林
    刊名: 软件学报
    发表期刊: 2002年6期
    页码:  1111-1116
    摘要: 一个企业网中的应用服务多种多样,各自都提供了安全措施,这必然给用户使用和管理员的权限管理带来不便.为此,设计和开发了一套一次身份认证系统.该系统可与各个应用服务很好地集成在一起,在保证安全的...
  • 作者: 朱大铭 雷鹏 马绍汉
    刊名: 软件学报
    发表期刊: 2002年6期
    页码:  1117-1122
    摘要: 讨论基于基因组翻转距离的星型进化树问题的算法和复杂性.首先证明星树问题是NP-难解的,再证明该问题不存在绝对近似求解算法,最后给出一个求解星树问题的常数近似算法,近似性能比为2.
  • 作者: Guang R.Gao 唐志敏 张兆庆 赵荣彩
    刊名: 软件学报
    发表期刊: 2002年6期
    页码:  1123-1129
    摘要: 提出了在多线程体系结构中通过降低执行频率有效减小功耗的理论模型和方法.首先研究识别可降频运行的线程的计算模型和降频因子的计算,然后给出在编译过程中基于对应用程序行为的分析,结合线程划分的低功...
  • 作者: 刘三阳 刘莹 吴建平 唐厚俭
    刊名: 软件学报
    发表期刊: 2002年6期
    页码:  1130-1134
    摘要: 在应用多播(multicast)时,有效的多播路由是关键.现有的多播路由算法一般假定每个节点都支持multicast,但在实际网络中,某些节点并不支持多播,而为了保证网络速度,需限制进行多播...
  • 作者: 刘海鹏 张根度
    刊名: 软件学报
    发表期刊: 2002年6期
    页码:  1135-1141
    摘要: 网络软件实现的复杂性及运行的动态性增加了精确分析时延出现原因的难度.利用先进微处理器提供的性能监视功能和操作系统网络软件实现的特点,NetSlice提供了一种新颖、模块化且具有良好扩展性的自...
  • 作者: 杨炳儒 綦艳霞
    刊名: 软件学报
    发表期刊: 2002年6期
    页码:  1142-1147
    摘要: 在KDD(knowledge discovery in database)中,对所发现的知识进行评价是一个很重要的环节.提出了一种针对KDD中因果关联规则的自动评价方法.该评价方法采用了全新...
  • 作者: 杨良怀 杨萍 王生原 袁崇义
    刊名: 软件学报
    发表期刊: 2002年6期
    页码:  1148-1154
    摘要: 如果不考虑继承性,并发性与对象技术的结合是很自然的.继承反常(又称继承异常)现象是继承性和并发性不相容的主要原因之一.现阶段人们对继承反常现象的认识有许多模糊之处,出发点不尽相同,形式化的工...
  • 作者: 祝跃飞 裴定一 顾纯祥
    刊名: 软件学报
    发表期刊: 2002年6期
    页码:  1155-1161
    摘要: 选取安全椭圆曲线的核心步骤是对椭圆曲线阶的计算.SEA(Schoof Elkies Atkin)算法是计算椭圆曲线阶的有效算法,同种圈(isogeny cycles)方法是Morain对SE...
  • 作者: 刘增基 强刚 水野忠则
    刊名: 软件学报
    发表期刊: 2002年6期
    页码:  1162-1168
    摘要: 由于多数卫星地面站只具有接收能力而形成了单向链路,无法应用现有的路由协议.为了解决含有卫星单向链路的路由问题,首先针对卫星直播系统的拓扑结构建立了网络模型,并在简化模型的基础上提出了基于环路...
  • 作者: 田盛丰 黄厚宽
    刊名: 软件学报
    发表期刊: 2002年6期
    页码:  1169-1172
    摘要: 针对支持向量机应用于函数估计时支持向量过多所引起的计算复杂性,提出一种简化算法,可以大幅度地减少支持向量的数量,从而简化其应用.采用简化算法还可以将最小平方支持向量机算法和串行最小化算法结合...
  • 作者: 冯东雷 张勇 白英彩 陈涵生
    刊名: 软件学报
    发表期刊: 2002年6期
    页码:  1173-1177
    摘要: IKE(Internet key exchange,RFC2409)提供了一组Internet密钥交换协议,目的是在IPSec(IP security)通信双方之间建立安全联盟和经过认证的密...
  • 作者: 朱传琪 李靖 臧斌宇
    刊名: 软件学报
    发表期刊: 2002年6期
    页码:  1178-1186
    摘要: 传统的数据相关性分析主要针对线性数组下标表达式,并不适用于不规则计算中的循环并行性识别.利用间接数组特征分析和基于严格数组私有化定义的运行时动态测试技术来解决包含间接数组下标引用的循环并行性...
  • 作者: 张方国 张福泰 王育民
    刊名: 软件学报
    发表期刊: 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参数,从而克服...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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