薄板大挠度分析的样条有限条解

本文用样条有限条方法分析薄板的几何非线性问题,导出了矩形板和斜板的计算公式。并对固支方板,铰支方板和斜板进行了计算。数值结果表明,用样条有限条方法分析几何非线性时具有计算量小、精度高、易于处理边界条件等优点。     

薄板弯曲分析中的有限样条元法

利用样条函数在同一区域上的变异，建立半解析样条元位移场函数。利用元外结线有效减少了总的未知变量，并且使样条元之间的连接保持充分的光滑性。同时利用特写的样条坐标矩阵避免了样条函数在支承处的线性组合。     

板壳大位移弹塑性分析的样条有限条法

本文建立了用于板壳结构几何、材料双重非线性分析的有限条法离散模型,将分层的概念引入有限条法,采用多项式样条函数,基于更改的增量形式Ｌａｇｒａｎｇｅ描述法（Ｕ．Ｌ法）,开发了相应的计算机程序。所结算例表明,该方法具有计算量小、适应性强、精确度高,可广泛应用于板壳结构的非线性分析。     

柱壳结构的大变形弹塑性样条有限条分析

本文将Ｂ３样条函数应用于柱壳结构的大变形弹塑性有限条分析过程．开发了样条有限条法的Ｃ语言程序包．可在普通３８６微机上运行．与有限元法相比可节约大量的计算机内存和机时，与一般的有限条法相比可处理集中力、小块载荷、多跨及在条的边部有不连续的边界的约束等问题．与解析法和有限元法相比．结果令人满意．     

悬挂结构地震反应的样条有限条分析

在符拉索夫开口薄壁杆件理论平面假定的基础上，对核筒采用三次Ｂ样条有限条方法构造连续化模型，并分别计算其动、势能、针对悬挂部分，分别应用连续梁的三弯矩方程和悬吊体系理论，计算其动、热能、然后，由拉格朗日公式，得到悬挂结构体系的动力方程，并用Ｗｉｌｓｏｎ－θ法求解。最后，结合算例得到了具有实际意义的结论。     

轴对称荷载作用下环形薄板大挠度样条函数解法

环形薄板的大挠度计算因为边界条件复杂，仅有少数特殊情形的数值解答．这些解均是利用摄动法以某点挠度为摄动参数得到的结果。当这点挠度较大或为零，将出现难以解决的困难，作者以三次B样条函数为试函数，用配点法计算环形薄板的大挠度．荷载可为均布荷载、边缘均布线荷载、边缘均布力矩及它们的组合，在所有的算例中均取得了收敛的数值结果。在均布荷载、边缘均布线荷载、边缘均布力矩作用下的计算结果同摄动法的计算结果作了比较，结果表明，样条函数的方法收敛范围大、精度高和计算时间少。     

薄板动力分析的双向有限条法

本文采用双向有限条将板划分成两组方向互相垂直的板条，采用满足边界条件的 梁函数组成相应节线的坐标函数，使节线的交点满足变位协调条件．在两组节线分割 成的各矩形域，由康斯曲面插值确定一点的变位，然后用瑞里－李兹法求解了板的动 力问题，并在ＩＢＭ上编制了相应的程序，若干算例表明这种算法比较准确、简便．     

具有广义参数的高阶有限样条元

将５次Ｂ样条函数和２阶Ｈｅｒｍｉｔｅ函数联合使用，建立了广义参数５次有限条元的位移场函数，算例表明，这种半解析高阶有限样条元不仅保持了普通高阶条元的优点，并且可以将５次条元推广应用于变截面，变刚度等曲率不连续结构中。     

任意四边形薄板弯曲问题的动力计算

本文研究了任意四边形薄板的动力计算问题,为工程实际中薄板的动力计算提供了一种简单、可靠、通用性强的有效方法。     

Hardy定理的一种证明

在两个自旋1 2粒子形成纠缠态的条件下不用不等式论证了量子力学具有Ein stein,Podolsky,和Rosen的局域实在论所无法说明的非局域关联性。从而证明了EPR局域实在论不能重现量子力学的独特的非经典结论。     

四色定理证明的探讨

目前四色定理的证明还没有简短的数学推理方法,必须借助于计算机才能够完成.在没有借助计算机的情况下,基于极大平面图的性质,通过结点合并的方式,研究了四色定理的证明方法,为该定理的进一步证明提供了重要参考.     

Cauchy准则与最大值定理的又一个证明

给出由区间套定理分别推出Cauchy准则、最大值定理的新证法。     

关于晶体制约定理的一个严格证明

关于晶体制约定理,有必要研究和提出更加严格和完美的证明。不存在C5轴等价于不能够用相互之间无任何空隙的五边形填充满所有的空间。以这一观点为基础,本文利用纯粹的数学方法严格地证明了不存在晶体的C 5和C n (n≥7)对称轴,而允许存在1,2,3,4以及6重转动对称轴,从而证明了晶体的转动对称轴只能够存在C1, C2, C3, C4和C6。     

基于构造化方法的扩展粗糙集模型研究

从构造化方法的角度对粗糙集模型的扩展研究进行了综述.首先阐释粗糙集理论基本体系结构,然后从基于元素、基于粒、基于子系统、概率等多个角度探讨粗糙集理论中上下近似算子的扩展,并介绍了国内外关于粗糙集模型的扩展研究状况,讨论了当前粗糙集理论的热点研究领域,给出了将来需要重点研究的主要问题.     

基于构造化方法的扩展粗糙集模型研究

从构造化方法的角度对粗糙集模型的扩展研究进行了综述。首先阐释粗糙集理论基本体系结构,然后从基于元素、基于粒、基于子系统、概率等多个角度探讨粗糙集理论中上下近似算子的扩展,并介绍了国内外关于粗糙集模型的扩展研究状况,讨论了当前粗糙集理论的热点研究领域,给出了将来需要重点研究的主要问题。     

微积分第一基本定理和积分中值定理的新证法

首先用Newton-Leibniz公式证明了微积分第一基本定理,然后又将变上限积分函数Ф（x）=∫a^xf（t）dt,在[a,b]上应用Lagrange中值定理,证明了积分中值定理,变证明了积分中值定理的中间点与徽分中值定趣的中间点是相一致的,从而可使微积分教学更加灵活。     

Taub定理的完整证明

采用Hawking和Ellis证明Birkhoff定理的方法,完整地证明了Taub定理,即Einstein方程的平面对称真空解必然为Taub时空.     

关于"费尔马最后定理的证明”一文的评注

对“费尔马最后定理的证明”一文作出了两点评注。     

向量函数隐函数定理之新证明

隐函数定理是大学数学分析课程的一个重要定理,该定理在现代数学的许多分支都有重要应用.应用在大学常微分方程课程里学过的有关微分方程解的存在唯一性和解对初值与参数的连续性等定理给出隐函数定理的一个新证明.