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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 刘春明 唐稚松 徐雨波 晏荣杰 李广元
    刊名: 软件学报
    发表期刊: 2006年1期
    页码:  1-10
    摘要: 为了缓解状态空间爆炸问题,减小模型检测过程中生成的状态空间,加快模型检测速度,引入有限精度时间自动机(finite precision timed automata,简称FPTA)作为实时系...
  • 作者: 夏传良 焦莉 陆维明
    刊名: 软件学报
    发表期刊: 2006年1期
    页码:  11-19
    摘要: 针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充...
  • 作者: 汤庸 王驹 蒋运承
    刊名: 软件学报
    发表期刊: 2006年1期
    页码:  20-30
    摘要: 分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊...
  • 作者: 丁晓宁 张昕 金蓓弘 黄涛
    刊名: 软件学报
    发表期刊: 2006年1期
    页码:  31-38
    摘要: J2EE(Java 2 platform enterprise edition)是构建分布式企业应用的基础中间件平台,当前的J2EE事务对资源的访问调度仍然是简单的先来先服务策略,导致服务器...
  • 作者: 徐晓飞 战德臣 王忠杰
    刊名: 软件学报
    发表期刊: 2006年1期
    页码:  39-47
    摘要: 基于构件的软件复用是解决软件危机的重要手段,但目前还缺乏规范化的模式和方法以支持具有高复用性能的构件的识别与设计,借助特征空间作为工具以解决上述问题.首先介绍特征与特征空间的概念,从特征变化...
  • 作者: 于笑丰 张岩 李宣东 胡军 郑国梁
    刊名: 软件学报
    发表期刊: 2006年1期
    页码:  48-58
    摘要: 在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区...
  • 作者: 孙雪冬 徐晓飞 王刚
    刊名: 软件学报
    发表期刊: 2006年1期
    页码:  59-68
    摘要: 为了提高企业过程结构优化的实用性、合理性以及计算机支持性,提出了基于有向超图和资源约束的优化方法.根据优化需求,通过对考虑了支持资源的过程进行不同的有向超图建模,利用有向超图的性质以及超图上...
  • 作者: 戴国忠 王晓春 田丰 秦严严
    刊名: 软件学报
    发表期刊: 2006年1期
    页码:  69-78
    摘要: 笔式用户界面软件以其自然、高效的交互方式,在很多领域中有着广泛的应用.笔式用户界面软件具有以交互为中心、用户个性化需求高的特点,由此也决定了用户在软件设计中的主导地位.以用户为中心的设计的关...
  • 作者: 吴建平 吴茜 崔勇 徐明伟
    刊名: 软件学报
    发表期刊: 2006年1期
    页码:  86-95
    摘要: 移动通信在人们的日常生活中发挥着越来越重要的作用,受到了越来越多的重视.人们希望能够在移动的时候获得与静态联网者相同的网络服务,这里最主要的就是要解决移动切换和无线网络带宽受限的问题.由于组...
  • 作者: Ting Shan 刘积仁 张霞 张骞 文学志
    刊名: 软件学报
    发表期刊: 2006年1期
    页码:  96-107
    摘要: 信任是多方面的,在不同的应用场景中,同一节点在不同领域具有不同的可信度.现有信任模型粒度过于粗糙,不能很好地解决同一Peer节点在不同领域、不同方面的可信度计算问题.据此,提出一种新的Pee...
  • 作者: 刘敏 李忠诚 过晓冰 邓辉
    刊名: 软件学报
    发表期刊: 2006年1期
    页码:  108-116
    摘要: 目前绝大多数带宽测量方法都是基于网络瓶颈分隔原理的,在此基础上形成了基于包对/包队列的各种容量/可用带宽探测方法.但是,这类方法的测量结果不能超过源节点的最大发送速率,因此无法在高带宽环境中...
  • 作者: 刘湘辉 刘芳 殷建平 蔡志平
    刊名: 软件学报
    发表期刊: 2006年1期
    页码:  117-123
    摘要: 在扩展网络或网络拓扑发生变化时,需要用最小的代价重新布置网络监测体系,以保证能收集到所有必需的网络信息.更新网络监测体系包括新增和重新配置收集节点两方面的代价,求解总代价最小的更新方案的问题...
  • 作者: 怀进鹏 李先贤 李建欣
    刊名: 软件学报
    发表期刊: 2006年1期
    页码:  124-133
    摘要: 在Internet日益孕育新技术和新应用的同时,交互主体间的生疏性以及共享资源的敏感性成为跨安全域信任建立的屏障.自动信任协商是通过协作主体间信任证、访问控制策略的交互披露,逐渐为各方建立信...
  • 作者: 叶丹 徐罡 汪锦岭 马建刚 黄涛
    刊名: 软件学报
    发表期刊: 2006年1期
    页码:  134-147
    摘要: 发布/订阅系统技术具有异步、松散耦合和多对多通信的特点,适应了目前动态多变的大规模分布式计算环境的需求,有着广阔的应用前景.分析了国内外发布/订阅系统的研究现状,并从拓扑结构、事件模型和订阅...
  • 作者: 杨明 罗军舟
    刊名: 软件学报
    发表期刊: 2006年1期
    页码:  148-156
    摘要: 认证测试是一种新型的在Strand空间模型基础上发展而来的安全协议分析与辅助设计技术,可用于大部分协议的关联属性的分析;但是与Strand空间模型一样,它主要用于协议正确性证明,在协议为何不...
  • 作者: 冯登国 孙中伟 朱岩 杨永田
    刊名: 软件学报
    发表期刊: 2006年1期
    页码:  157-166
    摘要: 数字作品的所有权证明允许在不泄漏任何秘密信息和防止所有者欺骗的前提下,对版权声明进行验证.提出一种基于Proactive可验证秘密共享和安全多方计算的数字作品所有权证明方案.在该方案中,可验...
  • 作者: 华宇 吴产乐 王勇
    刊名: 软件学报
    发表期刊: 2006年1期
    页码:  167-174
    摘要: GMPLS(generalized multiprotocol label SWitching)网络中的多约束QoS路由问题是要在诸如带宽、代价和延迟的约束条件下找到一条优化的路径.这个问题...
  • 作者: 张鹤颖 方力 窦文华 蒋杰
    刊名: 软件学报
    发表期刊: 2006年2期
    页码:  175-184
    摘要: 降低能耗以延长网络生存时间是无线传感器网络设计中的一个重要挑战.在传感器节点高密度部署的环境中,在保证网络性能的前提下,仅将最少量的节点投入活跃工作状态,而将其余节点投入低功耗的睡眠状态,是...
  • 作者: 吴绍春 吴耿锋 王炜 蔚赵春
    刊名: 软件学报
    发表期刊: 2006年2期
    页码:  185-192
    摘要: 把时间序列相似性匹配的基本概念和方法引入到地震预报的应用中.在分析现阶段时间序列研究成果的基础上,结合大量地震历史源数据和领域专家经验知识,提出了有关地震地区相关性的地震相似度定义和地震序列...
  • 作者: 张华 王小川 郑纬民
    刊名: 软件学报
    发表期刊: 2006年2期
    页码:  193-199
    摘要: 提出了一种新的测序纠错算法.该算法在对测序数据拼接之前对其进行检查,找出并修正测序序列中的错误.该算法将测序数据映射成欧拉超路,并通过一种称为合并变换的等价变换,通过一系列规则的限制和引导,...
  • 作者: 王启华 许胤龙 陈国良
    刊名: 软件学报
    发表期刊: 2006年2期
    页码:  200-208
    摘要: 研究了波分复用全光树环网在不同通信模型下的波长分配算法及其最坏性能分析.对于静态模型,证明了5L/2是树环网所需波长数的紧界.对于动态模型,提出了一种近似比为∑i=1hmaxr∈Ri[log...
  • 作者: 冯寅 周昌乐
    刊名: 软件学报
    发表期刊: 2006年2期
    页码:  209-215
    摘要: 讨论了当今算法作曲这一研究领域中存在的一些主要问题.评述了这一领域所采用的一系列关键技术,包括Markov链、随机过程、基于音乐规则的知识库系统、音乐文法、人工神经网络技术以及遗传算法.得出...
  • 作者: 张钹 李强
    刊名: 软件学报
    发表期刊: 2006年2期
    页码:  216-222
    摘要: 在图像模板匹配问题中,基于像素灰度值的相关算法尽管已经十分普遍,并得到广泛的应用,但目前此类算法都还存在有时间复杂度高、对图像亮度与尺寸变化敏感等缺点.为了克服这些缺点,提出一种新的基于图像...
  • 作者: 张道强 陈松灿 陈蕾
    刊名: 软件学报
    发表期刊: 2006年2期
    页码:  223-231
    摘要: 运用机器学习中新颖的核方法和社会网络中广泛存在的小世界现象,对Hattori等人提出的多模块多对多联想记忆模型(multi-module associative memory for man...
  • 作者: 徐恒宇 王国仁 葛健 郑若石
    刊名: 软件学报
    发表期刊: 2006年2期
    页码:  232-241
    摘要: 作为基因功能预测的主要手段,序列相似性查询技术是生物信息学领域的研究热点.基因序列和结构的相似性往往决定了基因功能的相似性,因此可以通过基因序列的相似性查找来预测新基因的功能.分析了MRS索...
  • 作者: 戴模 王林
    刊名: 软件学报
    发表期刊: 2006年2期
    页码:  242-249
    摘要: 在指纹分类和识别算法中,提取的奇异点(core点和delta点)数目和奇异点的准确位置是非常重要的.介绍了一种基于Gaussian-Hermite矩分布属性的自适应指纹奇异点定位方法,为了准...
  • 作者: 徐为群 徐波 黄泰翼
    刊名: 软件学报
    发表期刊: 2006年2期
    页码:  250-258
    摘要: 研究了信息类自然口语对话中的交互模式及其自动分析.首先,基于话语分析中的Birmingham学派关于交互模式的工作和Halliday关于言语功能的分析,提出使用语句组来刻画交互模式,并建立原...
  • 作者: 赵铁军 韩习武
    刊名: 软件学报
    发表期刊: 2006年2期
    页码:  259-266
    摘要: 描述了应用模糊k均值方法聚类汉语多义动词的实验,共涉及到60个汉语动词,40个多义词,20个单义词.首先,自动获取每个动词的次范畴化框架的概率分布,然后,导出这些动词的模糊聚类.结果表明,纯...
  • 作者: 杜文峰 王国军 贾维嘉
    刊名: 软件学报
    发表期刊: 2006年2期
    页码:  267-274
    摘要: 在轮询带宽调度和随机带宽调度两种经典算法的基础上,提出了一种基于邻居集合的带宽资源调度算法来分析和优化WiMAX(world interoperability for microwave a...
  • 作者: 张大方 杨金民 谢高岗 黎文伟
    刊名: 软件学报
    发表期刊: 2006年2期
    页码:  275-284
    摘要: 时延是准确测量时延抖动、带宽等网络性能指标的基础.目前的时延测量方法由于存在时钟误差和位置误差因而精度较差.提出一种改进的时延测量方法,以TSC(time stamp counter)寄存器...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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