遗传算法模式理论研究

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

数学问题解决的认知过程

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

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

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

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

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

价值提取能力与企业的智力资本管理

企业拥有的智力资本存量并不一定会增加企业的价值,在存量即定的情况下,智力资本会对企业价值产生什么样的影响主要取决于智力资本的投资效率。智力资本管理不能只片面注重存量管理,还必须采取有效措施,提升智力资本的价值提取能力。     

运动图像目标提取方法

简述自底向上的运动图像目标提取方法，分析其中基于有向图的区域合并算法及在实际问题中的应用。     

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

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

业务管理中的XML建模技术

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

一种基于星型模型的增量更新算法

在进行数据仓库的OLAP联机分析处理时,通常采用预先聚集(Aggregate)操作生成概括数据的方法提高查询效率;但是,基于星型模型的数据仓库中的维表的纠错改变和自然改变将会引发概括数据的不正确问题.本文通过研究星型模型维表及其变化的特点,提出了一种增量更新算法,在几乎不增加空间的情况下,降低时间复杂度的增量更新;并通过性能验证,分析算法的可行性.     

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

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