机器、猜想与反应机理--论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&)和以及都含相同的紧算子。     

一个猜想的证实

把点看作是半径为零的圆，测定和圆可以统一起来，都看作圆。点就是半径为零的圆，称为“零圆”。本文根据这个思想，提出“是否可以把勾股定理、托勒密定理加以推广”的猜想，并证实此猜想是正确的，同时给出应用举例。     

庞加莱猜想得到完整证明

法国著名数学家庞加莱（Poincaré）1905年修改了他1904年提出的一个猜想，提出：在一个三维空间中，假如每一条封闭的曲线都能收缩成一点，那么这个空间一定是一个三维圆球，这就是庞加莱猜想。后来，这个猜想被进一步推广为高维庞加莱猜想。20世纪60年代初，两位美国数学家Smale和Stallings证明了五维及五维以上的庞加莱猜想；1983年，美国数学家Freedman证明了四维庞加莱猜想。     

关于Erdoes猜想的证明

文章对Erdoes猜想中正整数n的值进行分类．除了n为4m-3（m=6R＋1）形的奇数外，逐类直接给出了具体表示。对于n为4m-3形的奇数，文章采用命题转化法及反证法．并用自变量与函数值的一一对应关系证明了Erdoes猜想成立。