机器、猜想与反应机理--论MECHEM的化学发现

MECHEM是一个机器发现系统,它提出了乙烷氢解反应的一个新的化学反应机理。本文介绍了MECHEM内部的算法和启发式,分析了它的人机交互工作过程。在此基础上,肯定了它在增长化学知识中的作用,为其合法性作了方法论辩护,并讨论了机器参与科学发现的条件,提出确认发现本身已经成为发现过程的一部分,人机交互的方式是未来科学研究的一种方式。     

猜想的认知心理学分析及其应用

运用现代认知心理学的有关理论对数学猜想作出分析,认为完善的认知结构是猜想的必要条件,图式的激活与组织具有重要的作用,强调指出猜想的顺利进行有必要从元认知角度实施调控.然后举例说明猜想在数学问题解决中的应用,如解题方法的发现,新命题的猜想推广等.     

课堂教学与学生的创新能力培养

创新教育是素质教育的核心,如何使创新教育具备实施的条件和可能,其前提条件是要立足课堂教学.在教学中以教科书为主,以猜想为辅助条件,并且要保证在教学中的学生主体地位,这样才可以进一步提高学生的学习兴趣,激活学生的思维,开阔学生的思路.     

Krzyz猜想的证明及其在调和单叶函数中的应用

在族B0中引进了Loewner微分方程，证明了Krzyz猜想，并且在调和单叶函敷中给出系数不等式的应用。     

数列{N(u,v)=2uv+u+v}的若干性质

本文得出了数列{N（u,v)=2uv u v}的一些性质，并提出了关于素数的一个猜想。     

Hopenwasser猜想的一个注记

在[1]中K.R.Davidson提出了Nest代数和CSL代数中十个未解决的问题之一是A.Hopenicasser在[2]中的猜想。即对任意的交换子空间格&.是否有本文主要得到如下结果:rad(alg&)和以及都含相同的紧算子。     

欧拉示性数在确定不动点方面的一些应用

本文根据空间的欧拉示性数是否为零．来确定该空间的自映射是否有不动点的几个方面的应用。