校园网格环境构建的关键技术研究

网格计算是新型分布式计算技术。网格是一个集成的计算与资源环境,它能够充分吸纳各种计算资源并将它们转化成一种方便可靠的计算能力。文中论述了网格计算的特点和体系结构及其与传统分布式计算的区别,进而分析了校园网格环境构建的关键技术。校园网格环境的构建是网格普及化必经的关键一步。在校园网格系统构建中除了文中提到的关键技术之外还有诸多问题如安全机制、资源管理、任务管理、通信技术等都有待于进一步研究和具体化。     

XML DOM在自动排课系统中的应用

XML作为一种数据交换的标准,已经贯穿于Internet应用的各个领域之中。基于XML的文档对象模型(DOM)是一种与平台无关、语言无关的标准接口,是XML文档操作的基础。文中讨论了通过XML DOM为主要数据处理技术来进行自动排课系统设计中的一些关键技术及解决方法。     

基于多重分类标准的关系模式异构性的研究

数据集成是解决信息孤岛问题的一个重要技术,它所面临的主要挑战是如何有效地处理多个数据源之间的分布性、自治性和异构性.分析研究了在不同数据源之间由多重分类标准而产生的异构性并对其进行形式化描述,然后在形式化描述的基础上给出了一个通用的查询转换算法以解决该种形式的异构性.     

基于XML Schema抽象模型的XML模式验证方法

XML模式验证作为处理XML数据的前提和保证有着重要的地位,XML Schema作为XML的定义语言,其本身并不能保证XML数据的有效性.利用XML Schema抽象模型,定义了XML Schema中每个复杂类型的模式信息,并用非终节点序对集描述XML文档,最后给出了XML模式验证算法,可以有效地验证XML文档的组织结构和内容类型.     

基于XML Schema技术的编译符号表生成方法

传统的编译中间代码通常不能在移动、嵌入式和分布式等环境之间转换，而符号表的构造与管理贯穿整个中间代码的生成过程。本文提出一种基于XML Schema及其相关技术生成编译中间代码的符号表的方法。首先给出整体方案，然后阐述了如何运用XML Schema等技术表示编译器的前端，以及后端的目标机体系结构。生成的编译器符号表能通过XML工具统一管理和验证，从而使生成的编译中间代码有较高的可移植性，能被不同环境中的编译器采用。     

XML模式中隐式冗余不存在的充要条件

XML数据库模式规范化设计是产生一组相关联的、能表示数据间依赖关系、而且消除了冗余的XML模式或DTD,以更好地进行信息检索.XML数据库模式中某些数据依赖的存在是冗余存在的原因,因此在XML数据库模式中数据依赖与冗余的关联是其规范化设计研究的关键问题,但对这一问题目前还没有专门的研究.XML数据库模式的数据依赖包括属性间数据依赖和元素间的数据依赖,给出综合了属性间和元素间数据依赖的XML数据库模式数据依赖的定义,分析与之关联的隐式冗余,并论证XML模式中隐式冗余不存在当且仅当该XML模式是规范的,为XML数据库模式规范化设计更深一层的研究奠定理论基础.     

一种XML概念模型-XUML

由于XML已成为Web上表示结构化和半结构化数据的标准。设计XML模式的方法变得更加重要。为了设计或集成XML模式，常常需要基于合适的概念模型。本文分析了对XML概念模型的需求；提出了一种新的XML概念模型：XUML，并说明了XUML的主要特征和优点：能更明确地表示“包含”语义，支持“业务组件”概念，能在多级上下文中说明数据依赖，基于UML2标准；最后结合实例介绍了一种实现XUML的方法。     

发掘数据库模式间的复杂匹配

本文提出一种新的发掘数据库模式间复杂匹配的系统构架CSM。CSM首先通过预处理从数据类型上过滤掉部分不合理的候选匹配,并利用多个具有特殊目的的检索程序分别对选空间的特殊部分进行检索,发掘1：1和复杂匹配,针对被匹配模式中存在不透明列的问题,还可进一步应用补充匹配器找到不透明列间的匹配关系。实验表明,与其它模式匹配
方法相比,CSM不仅能全面地发掘模式间匹配,还具有较高的效率、查全率和查准率。     

遗传算法“早熟”现象的改进策略

改善遗传算法中的“早熟”现象可以通过提供某种机制以恢复群体多样性。基于这种思想，该文参照其他遗传算法改进策略，从弥补丢失模式、提高模式浓度出发，提出了通过保持模式的多样性来保证群体多样性的方法。为了衡量改进策略的有效性，引入了模式再生期望值的概念，并利用模式再生期望值的分析方法分析了一种实用的改进策略。实验数据证明了该策略的有效性。     

加强信息安全风险评估工作的研究

针对目前异构数据库间通信的问题,提出了种基于XML的数据交换技术.在具本实现过程中,进一步研究了XML模式与关系模式相互转换的方法,并给出了转换算法和转换规则。同时对XML模式中的语义约束同关系模式中的完整性约束之间的相互转换方法进行了分析。