遗传算法模式理论研究

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

数学问题解决的认知过程

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

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

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

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

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

富勒醇聚醚聚氨酯的热性能

通过水溶性多羟基化合物C60(OH)n和聚醚聚氨酯(PEO—PU)预聚体反应合成了一系列新型的C60星形聚醚聚氨酯，并用傅里叶红外分析(FTIR)、差式扫描量热分析(DSC)、热重分析(TGA)等手段对其性能进行了表征．结果表明，C60星形聚醚聚氨酯比线性的聚醚聚免酯具有更高的柔顺性和热稳定性；随着聚氧化乙烯数均分子量Mn的增加，C60星形聚醚聚氨酯的玻璃化转变温度(Tg)降低，热分解温度(td)提高．     

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

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

一种新型相控触发电路

本文介绍一种适用于双反星形带平衡电抗器整流电路的触发器，并对其工作原理进行了较为详细的分析。     

关于星—正则环的序

本文的目的是证明：一个星正则环Ｒ在星正交偏序下作成一个伪上半格．     

业务管理中的XML建模技术

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