形式Peano算术的G(o)del不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

高维Neuberg-Pedoe不等式的再推广

用初等简洁的方法证明了一个比已有结果更加广泛的分析不等式：设k，n∈N，μ>0，xi>0，i=1，…，n，且∑^i=1^nxi=λ，则当k≤n-μ+1时有，Ek(λ/x1-μ，…，λ/xn-μ)≥(k^n)(n-μ)^k，等号成立当且仅当x1=…=xn=λ/n．     

多井口多风机矿井反风的非稳定流动模拟

针对多井口多风机复杂通风系统反风决策的要求，利用计算机模拟，对多井口多风机矿井各种反风方式下风流流动的动态变化规律进行了分析研究，根据矿井风流非稳定流动计算数学模型的特点，并结合反风的具体要求编制了FORTRAN程序，用编写的程序对某矿各种组合形式的反风进行了模拟计算，结果与实测值吻合性较好。     

具有Neumann边界及临界Sobolev指数的半线性抛物方程

主要运用能量方法及稳定集和不稳定集的观点,研究一类半线性抛物方程的整体解和局部解的存在性及爆破问题.这里Ω是RN(N≥3)上的光滑有界区域,2 是临界Sobolev指数.     

弹塑性有限元法在土坡稳定分析中的应用

通过抗剪强度折减弹塑性有限元法研究土坡的总体安全系数及相应的变形状态，通过与传统极限平衡法的对比分析，对强度折减有限元法分析土坡稳定问题的优缺点进行了评价。     

地球内核的三维不对称运动

行星自转与公转的相关性建立在自转速度与公转速度的有向迭加决定质点公转惯性力的基础上，其表现有行星质心公径的修正、自转加速、转轴的晃动和进动等，因此地球内核三维不对称运动和外核的差速旋转是它的直接推论．     

高密度物质是负能谱系统存在的必然形式浇

负能谱的存在,尤其是稳定的负能谱系统的存在是建立负能谱热力学理论的基础性依据.根据Landau关于负能谱和负能谱系统存在的论述,对负能谱存在问题进行了深入探讨.     

单调线性互补问题的非精确不可行内点算法

对单调线性互补问题提出了一种非精确不可行内点算法．该算法的迭代方向仅需要达到一个相对的精度．在初始点位于中心线的某邻域内的假设下，证明了算法的全局收敛性．     

英汉民族的思维差异对语言的影响

语言与思维是密不可分的一对统一体，英汉民族各有不同的历史渊源、化背景和思维方式，而思维方式的不同必然体现在语言上。     

纵横图趣谈

纵横图的研究由来已久,首先介绍n阶纵横图问题和n阶不全四角问题及其它们的解法,然后从一道竞赛题得出启示,推广n阶不全四角问题.