软件学报杂志

发表咨询:400-808-1731

订阅咨询:400-808-1751

软件学报杂志 北大期刊 CSCD期刊 统计源期刊

Journal of Software

  • 11-2560/TP 国内刊号
  • 1000-9825 国际刊号
  • 2.86 影响因子
  • 1-3个月下单 审稿周期
软件学报是中国科学院软件研究所;中国计算机学会主办的一本学术期刊,主要刊载该领域内的原创性研究论文、综述和评论等。杂志于1990年创刊,目前已被上海图书馆馆藏、CSCD 中国科学引文数据库来源期刊(含扩展版)等知名数据库收录,是中国科学院主管的国家重点学术期刊之一。软件学报在学术界享有很高的声誉和影响力,该期刊发表的文章具有较高的学术水平和实践价值,为读者提供更多的实践案例和行业信息,得到了广大读者的广泛关注和引用。
栏目设置:理论计算机科学、系统软件与软件工程、模式识别与人工智能、数据库技术、计算机网络与信息安全、计算机体系结构

软件学报 2004年第12期杂志 文档列表

少儿图灵测试回顾1751-1763

摘要:报告了关于少儿图灵测试(CTT)的一项研究工作.研究区别于其他人的主要之处是该测试程序是基于知识的,它依靠一个海量常识知识库的支持.给出了作者研究少儿图灵测试的动机、设计、技术、实验结果和平台(包括一个知识引擎和一个会话引擎).最后给出了关于少儿图灵测试的几点研究结论和思考.

第10次全国Petri网学术年会暨形式化方法学术讨论会征文通知1763-1763

基于会话的安全、鲁棒共享控制方法1764-1775

摘要:在共享控制系统中,比如智能服务机器人,操作员和自动化专门系统相互配合,共同控制.有效的共享控制需要复杂的系统体系结构,该结构可以提供安全鲁棒的运行,提供对用户友好的界面.满足这两项需求是一个不寻常的任务.介绍了解决这些问题的方法.首先给出一个以会话为中心采用面向编程和形式化方法的认知控制体系结构.采用混成设计的SharC认知控制体系结构,可以区分协同群体中每一个遥控设备的控制.安全性对共享控制系统来说是极为重要的,因此这种体系结构必须能够保证较高的安全性.最后,描述了作为控制系统核心的形式化建模会话管理器,通过示范平台中自动轮椅的例子说明这些不同的软件范例的应用.

桌面环境下拼贴显示的自动对准1776-1786

摘要:通过拼贴一组投影仪来构建高分辨率显示系统已成为现在一个较实际的办法.但是,这样的高分辨率显示系统用途有限,因为它们需要在定制的并行机或个人计算机集群上运行一些专门开发的并行形象化程序才能实现.针对个人计算机桌面环境下的任意拼贴显示给出了一种自动对准机制,使得桌面用户可以在其上运行普通的桌面应用软件.该系统包括3个步骤:检测投影仪对齐失准,计算出纠正所需之变换,对桌面环境进行实时的变形.这样就允许用户在运行任何2D,3D或视频程序时无须作任何修改,也无须使用专门的硬件支持.实验结果表明,系统能够获得亚像素级的精度,并且能在系统性能衰减最小的情况下达到实时变形.

OnceAS/Q:一个面向QoS的Web应用服务器1787-1799

摘要:网络分布计算环境下应用系统的需求多样化和复杂性的增长,要求位于中间件层次的Web应用服务器(web application server,简称WAS)从原来的'尽力而为'服务模型转变为服务质量(quality of service,简称QoS)保障模型,为具有不同需求的应用分别提供适宜的服务质量保障.目前的WAS系统在此方面仍然比较薄弱.OnceAS/Q是一个面向QoS的WAS系统,它以QoS规约为基础,为不同应用提供不同的QoS保障能力.OnceAS/Q实现了一个应用QoS保障框架,提供了一组QoS服务组件支持具有QoS需求的应用开发和运行.介绍了OnceAS/Q的体系结构和主要组件,详细阐述了两个关键问题,一是QoS规约的定义及其映射,另一个是面向QoS的服务组件和资源的动态重配.OnceAS/Q原型在Ecperf测试基准下,对其QoS保障能力进行了实验.实验数据表明,在较大规模的应用环境下,OnceAS/Q能够提供更好的服务质量,并且开销是可接受的.

滑动窗口规模的动态调整算法1800-1814

摘要:讨论当数据流系统的数据流流速或连续查询发生变化时,滑动窗口规模的动态调整问题.根据可用内存空间大小和连续查询需求,提出了3类动态调整滑动窗口规模的算法,实现了对连续查询3种服务质量级别的支持,提高了连续查询处理的效率和效果.理论分析与实验结果表明,提出的算法可以有效地应用于数据流系统.

可控可信可扩展的新一代互联网1815-1821

摘要:互联网将成为21世纪信息社会最重要的基础设计之一.在回顾互联网发展历史的基础上,总结了它成功的经验和失败的教训.从应用需求的角度出发,预测和归纳了新一代互联网应该具备的基本特性,即可控性、可信性和可扩展性,并进行了详细的分析与阐述.最后,介绍了几点有关新一代互联网研究方法的思考.

数据库技术发展趋势1822-1836

摘要:讨论目前数据库研究领域中最热门的几个研究方向的发展现状、面临的问题和未来趋势.包括信息集成、数据流管理、传感器数据库技术、XML数据管理、网格数据管理、DBMS自适应、移动数据管理和微小数据库,数据库用户界面等.

高安全等级安全操作系统的隐蔽通道分析1837-1849

摘要:总结隐蔽通道分析的30年研究进展,根据理论研究与工程实践,说明隐蔽通道及其分析的本质与内涵,指出隐蔽通道分析方法在实际系统中的重要应用,并展望这一领域的若干热点研究方向.

见证中国软件科学从弱到强——《软件学报》举办创刊十五周年学术报告会1849-1849

摘要:本报北京9月16日讯 伴随着中国计算机科学和软件科学发展过程中的风风雨雨,中国科学院软件研究所和中国计算机学会联合主办的权威刊物《软件学报》迎来了创刊15周年的喜庆日子,并以举办高水平学术报告会的方式庆贺生日中国科学院、科技部、教育部、国家自然科学基金委员会、中国科协的有关领导出席了学术报告会,很多专家都对《软件学报》给予高度评价。

基于竞争终端个数区间的IEEE 802.11性能优化1850-1859

摘要:IEEE 802.11的MAC协议采用基于CSMA/CA的DCF机制,研究发现,上述协议的性能随无线局域网中竞争终端个数的增加而迅速恶化.当竞争终端个数在一定范围内变化时,使用相同的优化协议参数,系统的性能都能接近最优.因此,设计了一个基于状态检测与竞争终端个数区间的自适应性能优化机制,DOOR(dynamicootimization on range).根据相关性能模型的分析,先将竞争终端的个数分为若干区间,并分别计算出各区间的优化协议参数.当系统检测到竞争终端个数发生变化时,根据其所处的区间,对相关的参数进行动态调整,从而有效地改善了协议的整体性能.同时还给出了相关理论模型和计算的详细说明,并尝试给出了划分区间的基本原则与方法.最后,实验仿真结果验证了新的方法能够根据竞争终端个数的变化对系统性能进行整体优化,在吞吐量和延迟等方面明显优于标准的IEEE 802.11协议.

一种基于DTD的XPath逻辑优化方法1860-1868

摘要:Xpath成为XML数据查询的基本机制.Xpath中表达节点之间的祖孙关系的‘//'和任意匹配字符的‘*'等非确定操作符,增强了Xpath表达方式的灵活性,但同时引入了Xpath处理的复杂性.如何利用DTD减少Xpath中的不确定操作符,从而提高Xpath的执行效率成为一个基本的研究问题.传统方法主要侧重于特定受限Xpath的确定化重写.利用树自动机在一个框架中表达Xpath和DTD,提出了一种新的Xpath树自动机和DTD树自动机的乘积运算,并证明了乘积的结果就是基于DTD的Xpath优化形式,在多项式时间内基于代价获取了Xpath的优化结果.实验数据表明,基于提出的Xpath的逻辑优化方法,能够有效地提高Xpath执行器的执行效率.

2005年软件过程技术国际研讨会征文通知(2005年5月24-26日 中国·北京)1868-1868

一种多速率移动自组网中的拓扑控制算法1869-1876

摘要:提出了一种移动自组网中的拓扑控制算法MATC(multi-rate aware topology control),该算法充分考虑了无线环境中固有的多速率特性,在保证原有网络连接性的前提下删除部分低速链路,为上层的路由协议构造一个良好的拓扑,确保按需路由协议能够在一跳范围内发现最优路由.大量仿真结果表明,MATC对网络性能有较大的提高.

基于Tabu搜索的QoS多播路由快速优化算法1877-1884

摘要:QoS多播路由算法的核心问题是建立满足QoS约束的多播树,这就是计算机网络中著名的受约束最小Steiner树问题,是一个NP完全问题.目前已有的启发式算法的时间复杂度大,不能获得最优解.提出了一个基于Tabu搜索的QoS多播路由选择快速优化算法,它选择延迟与带宽约束为QoS参数,利用Tabu搜索的集中性与广泛性并存的优点,在提高搜索速度的同时可以更加接近最优解.仿真结果表明:该算法具有快速、易实施等特点,更加适合在组规模比较大的情况下应用.

无线Ad Hoc网络支持QoS的研究进展与展望1885-1893

摘要:无线ad hoc网络的应用环境以及与Internet的互连要求它必须提供一定的服务质量(QoS)保证,然而,无线信道固有的特点及节点移动造成网络拓扑的频繁变化,使得在无线ad hoc网络中支持QoS面临许多新的挑战.从无线ad hoc网络的QoS体系结构、QoS路由、QoS信令、支持业务区分和资源预留的介质访问控制协议这4个方面出发,对近年来国内外在该方向取得的研究成果作了全面的概括总结和比较分析,系统阐述了在无线ad hoc网络中支持QoS的问题,指出了亟待解决的问题和今后的研究方向.

《软件学报(Ruanjian Xuebao)》2004年第15卷总目次-Z013