论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
科学数据库经过二十多年的发展，积累了大量的数据资源。随着网络技术的发展和科学研究的进步，科学数据库将成为科研工作的基础设施之一，并将成为未来科学研究必不可缺的资源。作
【机 构】
：
中国科学院计算机网络信息中心
【出 处】
：
中国科学院计算机网络信息中心
【发表日期】
：
2007年期
其他文献
XML的广泛流行很大程度得益于可以使用模式限制XML文档的结构.静态类型化XML处理语言利用模式增加基于XML信息系统的鲁棒性和运行效率.
在编译时刻类型检查时，静态类型化
学位
软件包管理系统是操作系统中的重要组成部分，随着开源软件运动的开展，开源软件包的数量正在以指数级的速度增长，如何正确而有效地对软件包进行管理已经成为当前操作系统研究方面
学位
蛋白质相互作用(Protein-Protein Interaction,PPI)网络是生命有机体内的所有蛋白质间相互作用组成的网络,利用计算方法在PPI网络中检测功能模块是生物信息学中一项重要的研
矩阵计算在科学计算和其它很多的领域中有着广泛的应用。LAPACK是一款线性代数函数库，它实现了线性代数计算中的大部分操作，包括矩阵分解、线性方程求解、最小二乘问题和矩阵特
学位
目前部分国内企业已经建立起一系列计算机应用系统，在运营过程中这些系统暴露出一些问题，如这些系统彼此孤立、互操作性差，数据难以得到综合分析和利用，缺乏动态捕捉市场机会、及
学位
目前基于UWB(超宽带技术)的短距无线通信中,其国际标准协议IEEE 802.15.3a仅涉及到微微网(piconet)内的通信,范围局限于单个微微网和有限的设备之间.这样的网络结构显然无法
JNDI服务是Web应用服务器的核心支撑服务，在中间件系统平台中处于非常重要的地位。本文从分析Web应用服务器对于名字服务的需求和现有JNDI服务的不足入手，在J2EE1.4规范的基础
学位
A管理模式是我国较先进的企业管理思想，在很多企业得到了实施并取得良好效果。但管理过程中的数据搜集分析和过程流转等业务功能，必须依靠软件系统的支撑才能够取得实质效果。
学位
近年来，形式化方法——即在计算机系统和软件的规范、设计和构造中使用基于数学模型和离散数学的技术的工具的方法，被广泛应用于高等级安全操作系统的开发过程中。TCSEC的B2级
学位