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

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

时空数据库查询研究

随着移动定位技术的飞速发展，追踪移动对象以提供定位服务（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.     

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

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

完成端口在视频会议服务器性能测试中的应用

视频会议服务器的性能测试需要模拟大量的客户端和真实的流量，本文提出了一种基于Wind ows完成端口模拟客户端来产生真实流量，从而进行视频会议服务器性能测试的方法，并描述了设计与实现过程，最后通过理论分析和实验验证，表明该方法在视频会议服务器性能测试中的准确性和低开销性。     

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

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

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

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

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

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

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

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