2004, 15(12):1751-1763.
摘要:报告了关于少儿图灵测试(CTT)的一项研究工作.研究区别于其他人的主要之处是该测试程序是基于知识的,它依靠一个海量常识知识库的支持.给出了作者研究少儿图灵测试的动机、设计、技术、实验结果和平台(包括一个知识引擎和一个会话引擎).最后给出了关于少儿图灵测试的几点研究结论和思考.
Bernd Krieg-Brückner , Hui Shi , Robert J Ross
2004, 15(12):1764-1775.
摘要:在共享控制系统中,比如智能服务机器人,操作员和自动化专门系统相互配合,共同控制.有效的共享控制需要复杂的系统体系结构,该结构可以提供安全鲁棒的运行,提供对用户友好的界面.满足这两项需求是一个不寻常的任务.介绍了解决这些问题的方法.首先给出一个以会话为中心采用面向代理编程和形式化方法的认知控制体系结构.采用混成设计的SharC认知控制体系结构,可以区分协同代理群体中每一个遥控设备的控制.安全性对共享控制系统来说是极为重要的,因此这种体系结构必须能够保证较高的安全性.最后,描述了作为控制系统核心的形式化建模会话管理器,通过示范平台中自动轮椅的例子说明这些不同的软件范例的应用.
Grant Wallace , Han Chen , Kai Li
2004, 15(12):1776-1786.
摘要:通过拼贴一组投影仪来构建高分辨率显示系统已成为现在一个较实际的办法.但是,这样的高分辨率显示系统用途有限,因为它们需要在定制的并行机或个人计算机集群上运行一些专门开发的并行形象化程序才能实现.针对个人计算机桌面环境下的任意拼贴显示给出了一种自动对准机制,使得桌面用户可以在其上运行普通的桌面应用软件.该系统包括3个步骤:检测投影仪对齐失准,计算出纠正所需之变换,对桌面环境进行实时的变形.这样就允许用户在运行任何2D,3D或视频程序时无须作任何修改,也无须使用专门的硬件支持.实验结果表明,系统能够获得亚像素级的精度,并且能在系统性能衰减最小的情况下达到实时变形.
2004, 15(12):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能够提供更好的服务质量,并且开销是可接受的.
2004, 15(12):1800-1814.
摘要:讨论当数据流系统的数据流流速或连续查询发生变化时,滑动窗口规模的动态调整问题.根据可用内存空间大小和连续查询需求,提出了3类动态调整滑动窗口规模的算法,实现了对连续查询3种服务质量级别的支持,提高了连续查询处理的效率和效果.理论分析与实验结果表明,提出的算法可以有效地应用于数据流系统.
2004, 15(12):1815-1821.
摘要:互联网将成为21世纪信息社会最重要的基础设计之一.在回顾互联网发展历史的基础上,总结了它成功的经验和失败的教训.从应用需求的角度出发,预测和归纳了新一代互联网应该具备的基本特性,即可控性、可信性和可扩展性,并进行了详细的分析与阐述.最后,介绍了几点有关新一代互联网研究方法的思考.
2004, 15(12):1837-1849.
摘要:总结隐蔽通道分析的30年研究进展,根据理论研究与工程实践,说明隐蔽通道及其分析的本质与内涵,指出隐蔽通道分析方法在实际系统中的重要应用,并展望这一领域的若干热点研究方向.
2004, 15(12):1850-1859.
摘要:IEEE 802.11的MAC协议采用基于CSMA/CA的DCF机制,研究发现,上述协议的性能随无线局域网中竞争终端个数的增加而迅速恶化.当竞争终端个数在一定范围内变化时,使用相同的优化协议参数,系统的性能都能接近最优.因此,设计了一个基于状态检测与竞争终端个数区间的自适应性能优化机制,DOOR(dynamicootimization on range).根据相关性能模型的分析,先将竞争终端的个数分为若干区间,并分别计算出各区间的优化协议参数.当系统检测到竞争终端个数发生变化时,根据其所处的区间,对相关的参数进行动态调整,从而有效地改善了协议的整体性能.同时还给出了相关理论模型和计算的详细说明,并尝试给出了划分区间的基本原则与方法.最后,实验仿真结果验证了新的方法能够根据竞争终端个数的变化对系统性能进行整体优化,在吞吐量和延迟等方面明显优于标准的IEEE 802.11协议.
2004, 15(12):1860-1868.
摘要:Xpath成为XML数据查询的基本机制.Xpath中表达节点之间的祖孙关系的‘//'和任意匹配字符的‘*'等非确定操作符,增强了Xpath表达方式的灵活性,但同时引入了Xpath处理的复杂性.如何利用DTD减少Xpath中的不确定操作符,从而提高Xpath的执行效率成为一个基本的研究问题.传统方法主要侧重于特定受限Xpath的确定化重写.利用树自动机在一个框架中表达Xpath和DTD,提出了一种新的Xpath树自动机和DTD树自动机的乘积运算,并证明了乘积的结果就是基于DTD的Xpath优化形式,在多项式时间内基于代价获取了Xpath的优化结果.实验数据表明,基于提出的Xpath的逻辑优化方法,能够有效地提高Xpath执行器的执行效率.
2004, 15(12):1869-1876.
摘要:提出了一种移动自组网中的拓扑控制算法MATC(multi-rate aware topology control),该算法充分考虑了无线环境中固有的多速率特性,在保证原有网络连接性的前提下删除部分低速链路,为上层的路由协议构造一个良好的拓扑,确保按需路由协议能够在一跳范围内发现最优路由.大量仿真结果表明,MATC对网络性能有较大的提高.
2004, 15(12):1877-1884.
摘要:QoS多播路由算法的核心问题是建立满足QoS约束的多播树,这就是计算机网络中著名的受约束最小Steiner树问题,是一个NP完全问题.目前已有的启发式算法的时间复杂度大,不能获得最优解.提出了一个基于Tabu搜索的QoS多播路由选择快速优化算法,它选择延迟与带宽约束为QoS参数,利用Tabu搜索的集中性与广泛性并存的优点,在提高搜索速度的同时可以更加接近最优解.仿真结果表明:该算法具有快速、易实施等特点,更加适合在组规模比较大的情况下应用.
2004, 15(12):1885-1893.
摘要:无线ad hoc网络的应用环境以及与Internet的互连要求它必须提供一定的服务质量(QoS)保证,然而,无线信道固有的特点及节点移动造成网络拓扑的频繁变化,使得在无线ad hoc网络中支持QoS面临许多新的挑战.从无线ad hoc网络的QoS体系结构、QoS路由、QoS信令、支持业务区分和资源预留的介质访问控制协议这4个方面出发,对近年来国内外在该方向取得的研究成果作了全面的概括总结和比较分析,系统阐述了在无线ad hoc网络中支持QoS的问题,指出了亟待解决的问题和今后的研究方向.