非欧几何诞生前后

伟大的古希腊数学家欧几里得(Euclid)约在公元前三百年完成了他的不朽杰作《几何原本》(以下简称《原本》).在《原本》中,欧几里得采用了一些公理和公设,严密地给出了一系列定理的逻辑推理和证明.两千多年来,这部伟大的杰作一直流传于世.直到公元1800年左右为止,所有的数学家都认为欧几里得几何是物质空间的正确理想化和物质空间中图形性质的正确理想化的典范.欧几里得采用亚里士多德(Aristoteles)的公理、公设的概念,即公理是适用于一切科学的真理,而公     

康托的超穷数理论

康托（G. Cantor,1845—198）所创立的超穷集合论,在近代数学史上是令人极为惊异的巨大成就。但究其历史根源,正是由于研究分析学的基础而激起了康托对点集的兴趣,并由此而发现了超穷数.集合论,至少部分地起源于黎曼等人对三角级数的丰富研究以及对不连续函数的分析;康托对那些使函数不连续或收敛问题变得非常困难的点的集合进行了深刻的研究,并在这一过程中系统地建立和发展了一般点集的理论,从而开拓了一个全新的数学领域。本文将就其如何发现超穷数理论与创立超穷集合论的数学历史背景及其发展过程予以较系统地介述与评析。     

浅析我国驼峰溜放车辆调速系统

铁路编组站对溜放车辆的速度控制是驼峰作业能力和编组站效率的重要标志,也是调车作业的关键。我国编组站的调速技术经过三十多年的发展,调速设备和系统不断改善,为实现编组站的现代化发挥了重要的作用。     

在解析几何教学中融入数学建模思想的探索与实践

指出目前解析几何教学中存在的一些问题,讨论在解析几何的教学中融入数学建模思想的必要性,探索如何在解析几何教材、教学方法等方面融入数学建模思想的方法．     

一类重量为四的最优光正交码

利用递推构造和完备填充,证明当u≡36(mod 72)为正整数时,存在最优(u,4,1)光正交码((u,4,1)-OOC).改进了最优(u,4,1)-OOC存在性的已知结果.     

面向空调管路布置的空间向量搜索算法

针对构型要求复杂且经验类规则难以量化的空调压缩机管路布置问题,文章提出一种基于逃逸法的向量搜索管路布置算法。该算法分为预处理和搜索2个过程。在预处理过程中,使用三维网格记录管路布置空间信息,根据管路直径确定网格大小。对于有无构型要求的2种管路,采用不同形状的单元格来划分网格,保证单元格精度满足要求,减少算法运算量。在搜索过程中,有构型要求管路采用竖直向量圆周搜索,无构型要求管路采用竖直水平向量交替搜索,确保走管路径符合空调管路布置规范要求。通过算例分析验证了该算法的有效性,可为突破复杂约束条件下空调器管路自动布管技术提供算法支撑。     

费马大定理证明的历史评述

法国数学家费马于１６３７年提出了著名的费马猜想──费马大定理，已历时三百多年，有众多优秀的数学家为研究费马大定理倾注了大量的甚至是毕生的精力，但均未能最终证明费马大定理。文中就费马大定理证明的艰难历程作一历史性的评述。     

纳米复合有机相变蓄冷介质分散稳定性的研究

针对有机相变蓄冷介质导热系数低的问题,采用纳米复合技术对空调用相变蓄冷材料HS-1进行了改性研究.通过实验深入研究了表面活性剂、超声时间、最佳超声时间下分散剂质量浓度对分散性的影响以及纳米与非纳米添加剂对分散性的影响.最终确定了纳米TiO2复合有机相变蓄冷介质(TiO2/HS-1)的制备的最佳分散条件.