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为中介技术对实现异构数据库的互访提出了自己的见解.     

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

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

网格数据查询优化中的缓存管理研究

鉴于缓存管理在分布式系统中可以减少网络流量,提高系统响应速度,尤其在网格计算环境中可以克服网络连接的带宽瓶颈,提出了一个用于优化网格信息查询的缓存管理模型.网格搜索引擎进行信息检索时,依据用户的查询需求,从网格异地异构数据库中查询并自动抽取信息,进行查询集成并存储在高速缓存中;根据缓存调度算法合理地组织中间结果;按照打分函数的控制,在生成的评分表下进行Top-K排序,合并生成最终结果;在保证网格查询准确性的同时,提高网格异构数据源查询速度.实验表明此方法是有效的.     

一种不完备决策表的数据补齐方法

针对不完备信息系统，提出缺失比概念．用缺失比表示待填充样本中缺失数据和剩余数据对决策结果的影响能力的大小，进而根据缺失比选择使用的约简，然后通过填充矩阵寻找缺失数据的最大可能值．采用对Rough集进行扩充和数据填补相结合的决策表数据补齐方法．试验结果表明该方法有较好效果．     

利用DataGrid实现XML数据的可视化操纵

XML(可扩展标记语言)可以创建出可供任何人从任何地方访问和使用的功能强大的应用程序正在被广泛使用。如何在.NET环境下,通过现有构件实现对XML数据的可视化操纵是实现多数据源进行操纵的关键,本文利用ASP.NET的Data-Grid控件,就实现XML数据的可视化操作提出了一个可行的方法和实现思路。     

1：10000数字线画图生产流程的探讨

以张家界市桑植县1:1万数字线画图(DLC)的生产为例,探讨了在中小型项目中应用Geoway数据加工平台进行DLC生产的加工流程、质量控制等问题,取得了一定的经验,为测绘部门和相关工作者提供参考。     

定时截尾恒加寿命试验下无失效数据的Bayes处理方法

文章给出了Weibull分布场合下，定时截尾恒加寿命试验中含有无失效试验数据的一个Bayes统计方法，并用随机模拟的方法比较了Bayes方法和MLE方法的估计结果和误差。