时空数据库查询研究

随着移动定位技术的飞速发展，追踪移动对象以提供定位服务（10cation-based services，LBS）已变得切实可行。一般地，定位服务器被构建为一个移动对象数据库。主要讨论在移动对象数据库中查询时空数据的相关核心技术，包括数据模型、索引结构。并给出了一种可用于LBS环境下的相关实现。     

基于协作过滤的Web日志数据预处理研究

协作过滤是当今应用较为成功的个性化服务技术，Web日志可以为个性化服务技术提供重要的数据源，只要对日志数据进行高效预处理，就能提高协作过滤算法有效性和个性化服务质量。结合实际日志数据的处理，给出了基于协作过滤的Web日志数据预处理过程结构图和一种可行的数据预处理方法，该方法不仅可以提供更加干净、规则的数据源，而且在用户兴趣度量方面，弥补了以往诸多兴趣度量方法的不足，为协作过滤算法提供了更加准确的数据支持。     

Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.     

A New Primary Lazy Update Propagation Protocol for Replicated Databases

This paper proposes a new primary lazy update protocol, PTCS （Primary Transaction Commit Schedule）. In the PTCS protocol, a serializable primary transaction schedule is generated firstly and then the secondary transactions are committed according to the serializable primary transaction schedule. PTCS protocol can guarantee serializability if the data copy graph contains no directed circles. It can also be ex tended to eliminate all requirements on the data copy graph. Compared to earlier works, PTCS protocol not only imposes a much weaker requirement on the data placement, but also avoids the deadlock caused by transaction waits and extra message overhead. The performance experiments show that the degradation of the performance caused by the replica man- agement of the PTCS protocol is tolerable.     

物流公共实时基础数据平台设计

物流公共实时基础数据平台已成为物流业发展的迫切需要。在分析平台建设可行性的基础上，对物流公 共实时基础数据平台的方案进行了设计，包括平台的目标、作用、基本功能、数据种类、系统结构和关键子系统，以 满足现有物流活动参与各方对信息共享的需求。     

图书馆异构数据的XML整合研究

XML作为一种可扩展标记语言,其自描述性使得XML本身非常适用于异构数据间的数据交换.图书馆信息化建设过程中遇到各种异构数据源问题,对其进行了整合分析,从图书馆异构数据的表现形式和整合要求出发,应用XML为中介技术对实现异构数据库的互访提出了自己的见解.     

走近一条忧郁的河流——储安平自由主义新闻观念的历史来源和思想基础考察

着重考察剖析储安平的自由主义新闻观念的历史来源和思想基础,有助于真实把握旧中国自由主义知识分子们的新闻理念和心路历程.从一个新角度客观地思考中国新闻业的发展历史,落实"以史为鉴"的修史目标.     

天目山自然保护区生物多样性的熵值测度研究

说明了生态系统是典型的热力学开放系统,并具有耗散结构的特征,阐述了生物多样性的热力学熵机理.在此基础上提出了生物多样性的两个熵值测度指标,并分析了各指标的含义、两指标间的相互关系及其与传统测度指标机理上的对应性.用天目山自然保护区典型样地调查数据进行了验证,验证结果与生物多样性的熵值分析机理相一致.通过对比分析,笔者认为传统生物多样性测度指标没有考虑群落中各种群在个体数量上的绝对差异对生物多样性的影响,从而提出了生物多样性的熵值改进方法,并分析了与熵值测度指标密切相关的几个关键性问题及影响天目山群落生物多样性的主要原因.     

西宁市基础地理信息系统框架的实现

作者通过工作中的实践,研究国内地理信息系统的现状,总结出了西宁市地理信息系统框架建设中基础地理数据的组织、数据库建设以及数据的存储模式、编码方案、基于ORACLE大型空间数据库的数据管理模式等关键技术。     

基于校园网格的多学科计算及协同可视化

针对浙江大学各高性能计算资源过于分散、无法充分利用的问题,提出一种校园网格的架构.通过使用Globus Toolkit和Sun Grid Engine两种网格中间件,部署层次化结构的校园网格,并在此基础上提供科学计算、生物信息、流体力学等服务.通过在不同节点数的网格中的应用程序运行情况的测试,表明校园网格能够提供高效、稳定的计算能力.提供了在校园网格环境下本地绘制和服务器绘制两种可视化服务,用户可以针对不同的数据和计算环境,选择不同的可视化方法;用户可对可视化结果进行协同操作,便于联合研究和分析.