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

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

中立型泛函微分方程的Hunt—Yorke型振动定理

对于中立型泛函微分方程d/(dt)[x(t)-P(t)x(t-τ)]+Q(t)x(t-σ)=0,t≥t_0在系数条件更弱的情形下,证明了Hunt-Yorke型振动定理。     

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

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

一个素数猜想的反例

对于正整数n,设pn是第n个素数。本文证明了:不等式穴n 1雪pn-npn 1<12穴n 1雪950对于某些正整数n不成立。     

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

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

关于丢番图方程x(x+1)(x+2)=2py~2

设p是奇素数,给出了方程x(x+1)(x+2)=2py2当p17时的所有正整数解,并且讨论了当x为偶数时方程解的情况.     

关于素数的一个猜想

对于正整数n，设pn是第n个素数。本文证明了：不等式（√pn-logpn＋1）/（√pn＋1＋logpn）≥（√3-log5）/（√5-log3）对于任何正整数n都成立。     

神秘“红木船”引发惊人猜想——中国人最早发现澳洲？

近日，在澳大利亚维多利亚州西南部瓦南布尔，一队考古学家沿海寻找著名的沉船“红木船”时，挖出了一些红木碎片。由于木片已被证实并非来自澳大利亚本土，这一挖掘成果引起了澳大利亚和中国有关方面的极大兴趣。目前，木片已被送往中国进行放射性碳素检测。     

从费马大定理到卡塔兰猜想

数学问题之多、范围之广、解决之难经常会超出人们的想象。但正是这些难题促进了数学的发展。从费马大定理到卡塔兰猜想，都促成了不定方程的发展，同时完善了多种研究数学的方法。接下来，我们将面对的难题是什么呢?