雷达组网中联合数据关联与偏差估计方法研究

针对雷达组网目标跟踪系统中,单雷达系统偏差严重影响多雷达航迹数据关联及融合跟踪质量的问题,提出了一种联合数据关联与系统偏差估计的方法。该方法利用对雷达系统偏差不敏感的新特征量———目标参照拓扑对多雷达航迹进行自适应的预关联,然后根据关联质量选择可靠的关联航迹对作为雷达系统偏差估计的先验信息,最后应用递归最小二乘算法进行偏差估计,估计结果可为预关联过程提供依据。在无需外界提供关联先验信息的情形下,该方法实现了对静态系统偏差的在线估计,从而可以进行及时的校准,保证了后续数据处理的有效性,具有很高的工程应用价值。仿真结果表明了该方法的有效性。     

利用WMAP和Boomerang宇宙微波背景辐射数据寻找CPT破缺迹象

现代宇宙学研究认为，宇宙中存在着一种神秘的暗能量。如果这种暗能量随宇宙的膨胀而演化，并与电磁场发生Chern-Simons（陈省身-西蒙斯）相互作用，就有可能破坏电荷-宇称-时间反演（CPT）对称性成立的条件，这会使光子的偏振方向在传播中发生改变。中科院国家天文台冯波等与中科院高能所及德国理论物理研究所合作，设计出了一种用宇宙微波背景辐射偏振检验CPT对称性的新方法。并利用这种方法分析了美国WMAP卫星和Boomerang南极气球实验发表的最新数据，发现了存在CPT对称性破缺的迹象。如果这一发现得到进一步证实，将大大加深人类对自然界对称性的认识，并有助于人们了解宇宙暗能量的本质和正反物质不对称性的起源。     

芝麻、花生间作效益好

1．选择适宜品种。花生选用早熟高产品种远杂9102；芝麻选用驻J18，该品种中早熟，高产、抗旱、抗病、耐瘠薄、生育期短。     

时空数据库查询研究

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

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排序,合并生成最终结果;在保证网格查询准确性的同时,提高网格异构数据源查询速度.实验表明此方法是有效的.