遗传算法模式理论研究

给出了多种交叉方式遗传算法的模式定理及相关的证明.该定理避免了遗传算法模式理论的不足,使模式理论更加准确、严格.     

数学问题解决的认知过程

数学问题解决的认知过程由图式获得和规则自动化两个基本成份构成;其策略涉及基于图式的顺着做策略和倒着做的手段-目的策略,另外还受主体知识经验和例题呈现形式的影响.     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

基于自动机技术的XML复杂数据类型验证

复杂数据类型验证是XML文档验证的主要内容,是检查XML文档结构是否符合模式规则的关键.根据Schema规范中复杂数据类型的描述和自动机理论,提出了一种称为模式自动机的数据结构,讨论了将XML复杂数据类型结构转换成模式自动机的方法,并设计了用来验证文档结构的算法.使用模式自动机验证算法可以全面地发现XML文档中的结构错误并准确地给出相应的错误信息,在实际应用中具有很高的效率.     

面向对象多数据库系统的模式集成

讨论了使用面向对象技术解决多数据库系统模式集成的问题，针对全局模式多数据库系统提出了一个五级模式集成结构：局部模式、成员映射模式、成员对象模式、全局对象模式和全局外模式，详细描述了每级模式的定义和构成．     

业务管理中的XML建模技术

为了改进设计信息模型的效率，文中提出综合使用UML和XML Schema建立信息模型的方法。以对业务管理系统中的共有业务信息建模为例，首先采用UML类图表示业务信息模型，然后利用XMI将UML图转化成XML Schema模型。实验表明，该方法兼有UML直观的图形模式和XML Schema的纯文本特性两种优势，既提高了设计信息模型的效率，又改善了异构系统之间信息的交互性。     

数据ETL过程中的模式集成技术研究

阐述了在数据ETL(Data Extractlon，Transformation and Loading)中造成模式冲突的主要原因是不同的数据源可能采用不同的数据模型来表达；分析了常用模式集成方法，并比较了它们的优缺点；结合常用集成方法中的优点，设计了交互式的模式集成框架。该框架解决了较难的语义冲突问题，获得了良好的集成效果。     

一个基于关键字有向图的BCNF分解新算法

FD集中根据左部等价形成划分，划分的各子集根据左部的依赖关系形成一个有向图，有向图中每一个节点的FD可能是一个符合BCNF的子模式的FD，其关键字就是各子集的等价左部。     

GLAV集成方法中的模式匹配研究

GLAV是一种新的集成方法,它能为信息集成系统的映射关系提供更具表现力的方式.映射表示源模式与全局模式之间的对应关系,主要研究了GLAV集成方法中产生映射规则的模式匹配方法.首先将SUDAI模型转换为模式树,然后基于树进行匹配.匹配包含语言学和结构匹配两个基本阶段,语言学匹配结合了术语关系和约束进行计算,结构匹配结合了类属性和上下文节点两个方面,并成功解决了模式规模差异带来的负面影响.计算的结果可以判断两个信息类是否是一个映射候选,经过验证后可确定它是否是一个合理的映射.最后定义了一个基本DTD来描述匹配的最终结果.     

图式理论及其教学意义

图式理论是认知心理学研究的一个重要方面。不同时期的心理学家从不同角度和侧面对图式理论进行了深入探索，本文对此进行了评析，同时剖析了现代图式理论的内涵、功能、习得以及图式理论的教学意义。