论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
随着网络技术的发展，越来越多数据正以数据流的形式存在于各种各样的网络系统中，同时以数据流处理为中心的应用也越来越多。因此，针对数据流的查询处理技术在近年来得到了学术界
【机 构】
：
浙江大学
【出 处】
：
浙江大学
【发表日期】
：
2004年期
其他文献
目前互联网络的发展方向是基于资源全面共享的下一代网络即网格。网格是一个集成的计算资源共享环境,而实现网格资源共享的一个首要解决的问题是对网格服务资源的定义、注册
随着数据库技术和网络技术的发展,人们对数据资源共享的要求越来越高。多数据库系统为有效地集成多个分布、异构和自治的数据库提供了很好的解决办法,从而满足人们对数据资源
论文以并行计算模型为核心展开研究.并行计算模型为并行算法和并行计算机系统结构的分析与设计提供了具有指导意义的理论界面和模型框架,它是并行计算研究的重要领域.目前在
电子巡更系统是智能小区、楼宇安全防范产品中的一种,主要功能是监督巡更人员按计划认真地完成巡更任务,从而加强辖区的安全防范能力.实时电子巡更系统是电子巡更系统的一种
随着信息化建设在企业内部不断的发展与深入，越来越多的信息系统投入运行。但是这些在企业中成功实施的信息系统通常注重于解决某一个具体问题，在独自领域内运行，形成了众多的信
作为生物信息数据库的重要组成部分,生物信息分析系统的构建是当前生物信息学中的一个重要研究课题.随着生物信息学的发展,生物信息工具软件越来越多,很多可以免费获取,有的
随着Internet的飞速发展和移动计算日益广泛的应用,推动了对移动计算机无线接入的研究。像台式机用户一样,移动计算用户希望接入同样的网络,共享资源和服务,而不局限于某一固
随着Internet和电子商务的迅猛发展，越来越多的企业希望能够将自己的应用快速，有效地部署到Internet上去，从而达到提高工作效率，降低生产成本和为企业客户提供个性化优质服务的目
形式化验证已经成为对系统设计和协议设计进行确认的重要手段,其方法分为两类,一类是以逻辑推理为基础,另一类则以穷尽搜索为基础,穷尽搜索方法统称为模型检验.逻辑推理的不