一种新的金属压缩试验方法的有限元分析

对一种新的金属压缩试验方法进行了有限元数值分析，论证了这种方法的可行性和有性，并且对不同尺寸的试件进行了有限元计算．     

Ar＋TlF体系的转动非弹性散射

本文用一种新的方法求解A+BC体系的转动非弹性散射问题,即在径向耦合方程的势能耦合项中只取对角项,并用Morse势拟合Lennard-Jones势,从而可得去耦合径向方程的两个解集。渐近分析表明,此两个解集分别相应于入射波和出射波。将总波函数按总角动量的本征函数展开,展开系数为常数乘以上述得到的径向函数。再将总波函数代入Schrdinger方程,则可得到散射矩阵。计算结果表明,本法比IOS法更接近CC法,但计算量比后者少得多,且方法严谨。     

漫谈中国运筹学的早期发展

正如Philip M. Morse和George E. Kimball的《Methods of Operations Research》(1951)所论述的,运筹学一开始就着眼于“运用”,是搞“作战研究”(Operational Research)的。在非军事方面,早期的工作主要在于“生产的组织管理”[见Л.В康托洛维奇著,中国科学院力学研究所运筹室译,“生产组织与计划中的数学方法”科学出版社(1959)],康氏的研究曾获得诺贝尔经济学奖。     

高炉有水炮泥的研制

在实验室进行了有水炮泥改性的研究，结果表明，加入适量的硅灰能显著改善炮泥性能，配比合适的炮泥完全能满足某高炉的生产需要。     

溜煤眼贯通测量的解算

溜煤眼贯通测量的解算涉及空间解析几何知识，多数测量人员不易接受。本文推导了一种较易理解的解算公式，并通过算例阐述了解算过程。     

如何培养学生自主、合作、探究的学习方式

学生学习的过程是获得知识技能的过程,同时也是学会学习的过程.文章对如何培养学生自主、合作、探究的学习方式进行了阐述.     

广义Hamilton系统的有效稳定性

利用Lochak的同步逼近法证明了广义Hamilton系统的有效稳定性. 在考虑的系统中, 作用变量和角变量的维数可以不同.     

证明论及其发展

(一) 众所周知,Russell悖论的出现曾经引起数学史上关于数学奠基问题的第三次大论战。 Hilbert为了保卫古典数学陆续于本世纪20年代前后发表了证明论(即元数学)的主张。他认为:包括Cantor集论在内的古典数学是“我们最有价值的宝藏”,而传统逻辑中的排中律是“普遍有效的”,应该保存这些古典数学的“有成效的概念结构和推理方法”。然而“绝对无穷概念的命题确实是超越人们直观性证据之外”的东西,它“是通过人们的心智过程被插入或外推出来的概念”。但是实无穷在数学思维中是不可缺少的,应     

关于数学中的公理化方法

公理化方法(以下简称公理法)的广泛使用,是现代数学的一大特点。 一、公理化方法的沿革 数学中的公理法起源于欧几里得的《几何原本》(或简称《原本》)。欧几里得基于当时所积累的丰富的几何事实,把一些基本概念(点、线、平面)加以定义,而后选择一些几何的基本命题叫做公理(欧氏