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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
文章浏览
目录
  • 作者: 黄章进
    刊名: 软件学报
    发表期刊: 2006年3期
    页码:  559-567
    摘要: 利用单变量均匀稳定细分格式Ck连续的充要条件,分析了已有的插值曲线格式各阶连续时参数的取值范围.首次指出了六点二重插值格式可以达到C3连续,并构造了一种新的C3连续的六点三重插值细分格式.
  • 作者: 刘学慧 吴恩华 柳有权
    刊名: 软件学报
    发表期刊: 2006年3期
    页码:  568-576
    摘要: 在GPU(grhics processing unit)上求解了复杂场景中的三维流动问题,充分利用了GPU并行能力以加速计算.与前人的方法不同,该方法对于边界条件的处理更为通用.首先,通过在...
  • 作者: 吴恩华 孙汉秋 杨刚 王文成
    刊名: 软件学报
    发表期刊: 2006年3期
    页码:  577-586
    摘要: 基于毛发的多层纹理表达方法,提出一种毛发实时绘制方法.该方法充分利用图形处理器的绘制功能,不仅能对毛发进行高精度快速的光照计算,而且能够高效地模拟毛发间的自阴影效果以及物体其他部分在毛发上遮...
  • 作者: 彭群生 陈为 鲍虎军
    刊名: 软件学报
    发表期刊: 2006年3期
    页码:  587-601
    摘要: 光线投射是一种高质量的体绘制方法.它以图像空间为序,逐根光线遍历和采样体数据.因此,传统上,它只能在CPU上实现,因而速度慢,交互性不好.提出了一个新的视点相关的层次采样VDLS (view...
  • 作者: 李明树 王保进 王志刚
    刊名: 软件学报
    发表期刊: 2006年3期
    页码:  602-610
    摘要: 静态优先级调度在实际应用中经常受到系统支持的优先级个数的影响,当任务个数多于系统优先级个数时,需要将几个任务优先级映射成一个系统优先级.这可能引起优先级映射问题,使映射前可调度的系统(任务集...
  • 作者: 王立刚 陈香兰 齐骥 龚育昌
    刊名: 软件学报
    发表期刊: 2006年3期
    页码:  611-619
    摘要: 在混合实时系统中,调度器必须既保证所有硬实时任务严格按照其时间约束在截止期内完成,又要尽可能地提高软实时任务和非实时任务的服务质量.提出了一种严格按比例派发服务器算法(RPDS),并以此为基...
  • 作者: 杨芙清 陈向群
    刊名: 软件学报
    发表期刊: 2006年3期
    页码:  620-627
    摘要: 面向Aspect软件设计是一种新的软件设计思想和技术.分析了近年来操作系统贯穿特性与Aspect概念,构件重构、系统演化与设计,系统安全、性能检测与容错这3个方面的研究成果,指出面向Aspe...
  • 作者: 姬孟洛 王怀民 齐治昌
    刊名: 软件学报
    发表期刊: 2006年3期
    页码:  628-637
    摘要: 符号化WCET(worst-case execution time)分析是用符号表达式表示任务的最大执行时间:表达式中包含了参数.通过在运行时刻快速确定表达式值,符号化WCET分析可以更精确...
  • 作者: 汪洋 王振宇 魏峻
    刊名: 软件学报
    发表期刊: 2006年3期
    页码:  638-648
    摘要: 基于发布/订阅模式的事件通知服务,作为基本的通信与集成基础设施已广泛应用于分布式应用系统.由于日益增长的应用需求,事件通知服务需要应对各种来自不同应用领域的新需求.但在开发基于事件中间件的分...
  • 作者:
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  649-657
    摘要:
  • 作者: 何克清 何成万
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  658-669
    摘要: 虽然设计模式有利于软件的重用,但当设计模式实例化时,存在模式的重叠、可追踪性以及模式代码难于重用等问题.提出一种基于角色的设计模式的建模和实现方法,在设计和实现两个层面上解决上述问题.该方法...
  • 作者: 唐稚松 朱雪阳
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  670-681
    摘要: 由于简洁、直观的表达能力,Statecharts被用于许多反应系统的行为建模.Statecharts可表示不同抽象层次的系统行为,因而可用来表示逐步求精建模中各步的结果.但对于求精过程中下层...
  • 作者: 吕建 张林 徐锋 王远
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  682-690
    摘要: 网构软件的构建依赖于对开放协同环境中各种异构的、自治的软件服务实体间的有效协同.Internet的开放性与动态性,使得对于诚实的、具有可靠服务质量协同实体的选择难度较大,难以确保网构软件的可...
  • 作者: 戴国忠 王晓春 田丰 秦严严
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  691-702
    摘要: 随着硬件设备和软件技术的发展,国内外开展了大量基于Post-WIMP界面的新型交互技术的研究.面对多种交互设备以及使用环境,在界面设计的过程中,根据上下文选择适当的交互组件或技术,并有效地进...
  • 作者: 冯铁 张家晨 王洪媛 金淳兆
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  703-712
    摘要: 面向对象的软件设计改进是增强系统的可扩展性、使之适应可能的需求变化的一种有效手段.提出一种基于CBR(case based reasoning)和微体系结构反模式的设计改进方法.该方法形式化...
  • 作者: 周晓聪 舒忠梅
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  713-719
    摘要: 共代数方法是近几年来理论计算机科学的研究热点之一,在并行计算模型、自动机及面向对象技术的理论基础方面有着广泛的应用.以范畴理论为工具讨论子共代数的性质,特别是集合范畴上的子共代数的性质,证明...
  • 作者: 张文辉 易锦
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  720-728
    摘要: 目前的模型检测方法中,有一种方法是基于自动机来实现的.具体做法是:将抽象出的系统模型用Büchi自动机来表示,将需要验证的性质用LTL(linear temporal logic)公式来表达...
  • 作者: 王兴元 骆超
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  729-739
    摘要: 对二维logistic映射的动力学研究有助于认识和预测更复杂的高维非线性系统的性态.利用解析计算和实验分析相结合的方法揭示出:(1) 参数空间中二维logistic映射发生第一次分岔的边界方...
  • 作者: 张冬冬 李建中 王伟平 郭龙江
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  740-749
    摘要: 数据流滑动窗口连接聚集连续查询(简记J-A查询)是经常使用的一类查询.这类查询的直观处理方法是创建查询操作树,以流水线的方式计算查询结果.这种方法需要在主存中保存滑动窗口连接的结果,查询处理...
  • 作者: 严和平 施伯乐 汪卫
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  750-758
    摘要: 首先对按元素划分安全级的多级数据库上由函数依赖(FD)和多值函数依赖(MVD)引起的推理问题进行了研究,所提出的推理控制算法在很大程度上提高了数据的可用性.为进一步有效防范推理所导致的敏感信...
  • 作者: 何震瀛 李建中 王朝坤
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  759-769
    摘要: 数据模型是XML数据管理领域研究的核心问题之一.现有的数据模型在表达XML数据库复杂的数据结构和操作方面仍有不足.以映射为基础,提出了一种新的数据模型.该数据模型给出了XML数据库复杂的数据...
  • 作者: 于亚新 于戈 孙冰 汤南 王国仁
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  770-781
    摘要: 主要研究XML文档的并行数据分片策略,以便能够并行处理XML查询.为了描述XML数据分片,提出了媒介节点的概念.一组媒介节点的集合可以将一棵XML数据树分割成一棵根树和一组子树的集合:根树将...
  • 作者: 刘积仁 刘铮 孙雨 张霞 张骞 文学志
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  782-793
    摘要: 查询扩展是解决信息获取领域中用词歧义性问题的关键技术,并被广泛应用于搜索引擎中,获得了巨大的成功.然而,由于P2P(peer-to-peer)系统是一个分散的、动态的系统,在P2P环境下进行...
  • 作者: 李建中 李贵林 郭龙江
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  794-805
    摘要: 在无线传感器网络环境中,观察者感兴趣的是由传感器网络监测得到的与时间-空间相关的事件,而不是传感器本身或者大量无关的观察数据.观察者会经常提出与事件相关的时-空查询,例如:"网络覆盖的某地理...
  • 作者: 李红松 黄厚宽
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  806-813
    摘要: 以往在数据立方体上实现的联机聚集往往需要附加空间来存储联机聚集估算所需要的信息,极大地影响了数据立方体的存储和维护性能.提出了基于QC-Tree的用于范围查询处理的联机聚集PE(progre...
  • 作者: 崔勇 郑志梅
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  814-821
    摘要: 多协议标记交换(multiprotocol label switching,简称MPLS)技术运用显式的标记交换路径(label switching path,简称LSP),使得互联网上流量...
  • 作者: 曾华燊 李季
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  822-829
    摘要: 基于EPFTS(ethernet-like physical frame timeslot switching)交换技术,提出了一种新型调度算法TWFS(timeslot weighted ...
  • 作者: 张雷 田乐 程时端 谢东亮 韩冰
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  830-837
    摘要: 无线传感器网络中的"瓶颈节点"是指那些由于随机部署的原因而不得不成为连接两个或多个区域的孤立的节点.相对于其他节点,这类节点对网络的生存期有着更大的影响.如何找出这些"瓶颈节点"在图论中是一...
  • 作者: 刘湘辉 卢锡城 殷建平 蔡志平 赵建民
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  838-844
    摘要: 考虑网络节点的流守恒特性,网络流量的有效监测问题可抽象为求给定图G(V,E)的最小弱顶点覆盖集的问题和基于流划分的最小弱顶点覆盖集的问题,这是NP难的问题.首先分析了弱顶点覆盖集的约束关系,...
  • 作者: 王文东 田慧蓉 程时端 邹仕洪
    刊名: 软件学报
    发表期刊: 2006年4期
    页码:  845-853
    摘要: 在诸如文件共享的P2P(peer-to-peer)网络中,节点不可靠的自主行为严重影响了P2P服务的可用性.而目前,主流的全分布P2P网络在构造拓扑时都没有考虑节点的自主行为特征,节点在拓扑...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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