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

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

高炉有水炮泥的研制

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

溜煤眼贯通测量的解算

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

广义Hamilton系统的有效稳定性

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

证明论及其发展

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

关于数学中的公理化方法

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

椭圆算子的微分包含问题

讨论了一类椭圆算子的微分包含:Lu∈F(x,u),当集值函数F(x,u)满足一定条件下,运用Schauder不动点定理,证明了在右端项F(x,u)是非凸值情况下解的存在性定理.     

终身学习的“四个学会”

学习既意味着获取知识,也蕴含了行为的某种改变。终身学习要求我们扩展学习的外延,向生活学习,向身边的好人、好事学习,即“学会求知、学会做人、学会做事、学会共处”。     

A sensitive method of determining optic axis azimuth based on laser feedback

A sensitive method to determine the optic axis azimuth of the birefringence element is presented, which is based on laser feedback. The phase difference between the two intensities in birefringence feedback changes with the angle between the optic axis of the birefringence element and laser original polarization. The phase difference is highly sensitive to the relative position of the optic axis and the laser original polarization. This method is used to highly precisely determine the optic axis azimuth, and is able to distinguish between the fast axis and the slow axis of the birefringence element. Theoretical analysis and experimental results are both demonstrated.