基于仿真的装甲装备采办协同环境

为实现建模与仿真工具及资源在武器装备采办中跨功能领域、跨采办阶段、跨采办项目的重用,提出了SBA协同环境由下至上四层体系结构,包括基础资源层、网络通信层、仿真支持层、仿真应用层;设计了各功能层的组成及功用,并且指出数据集成、工具集成、过程集成是进一步完善四层体系结构必须考虑的关键问题.在装甲装备SBA协同环境中的应用表明,四层体系结构可以实现仿真资源重用、缩短项目开发周期、降低开发成本、减少采办风险、提高武器系统性能.     

基于BP神经网络的并行算法

对强激光与等离子体相互作用三维数值模拟程序LARED_P数据输出进行分析,针对大规模数据模拟数据的特点,提出了基于BP神经网络的并行算法,即在各个搜索子空间内对训练集合中的学习样本进行并行训练。实例表明:不仅可避免陷入局部极小点,提高网络训练速度,而且仿真效果较好。     

浅议数字化参考咨询服务的再认识

文章主要结合数字图书馆的发展对参考咨询馆员的要求进行了一些探讨。     

时空数据库查询研究

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

徐汇科技沙龙馆正式启用

上海徐汇科技创新服务中心自揭牌至今,取得了一定工作成效,日均服务企业20余家,提供政策咨询、项目申报类、技术转移类、知识产权类、人才类等的服务与咨询;依托各方资源,举办投资沙龙、政策培训、项目发布等各类活动20余场,     

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两种网格中间件,部署层次化结构的校园网格,并在此基础上提供科学计算、生物信息、流体力学等服务.通过在不同节点数的网格中的应用程序运行情况的测试,表明校园网格能够提供高效、稳定的计算能力.提供了在校园网格环境下本地绘制和服务器绘制两种可视化服务,用户可以针对不同的数据和计算环境,选择不同的可视化方法;用户可对可视化结果进行协同操作,便于联合研究和分析.