非线性边界条件的Burgers－KdV方程的静态解

对几类非线性边值条件，讨论了Ｂｕｒｇｅｒｓ－ＫｄＶ方程的边值问题的静态解的存在性和解的个数．借助不动点定理，证明了该边值问题至少有一个，至多有有限个静态解．     

基于传感器几何特性和图像特征的影像配准方法

“天绘一号”卫星是我国第一代传输型立体测绘卫星,搭载有三线阵CCD相机、多光谱相机和2m分辨率全色相机。多光谱相机波段间影像的配准是保证多光谱影像质量和有效应用的前提,在现有配准方法的基础上,文章提出了基于传感器几何特性和图像特征的配准方法来改善影像配准效果。这种方法首先基于相机几何特性对待配准图像进行调整,然后对图像进行局部多点取图,采用尺度不变特征变换（Scale Invariant Feature Transform,SIFT）法提取图像特征并进行初步匹配,利用匹配点领域灰度相关性来进行精匹配和误匹配点的剔除,最后获得图像位移差,进而完成图像配准。实验结果表明,这种方法能够提高多光谱波段间影像的配准成功率,准确率达到95％以上,大幅改善了匹配精度。     

一类抛物型方程组的初边值问题

本文利用上、下解方法，讨论一类抛物型方程组的比较定理，同时讨论正则解的存在唯一性。     

费尔马猜想的古往今来

介绍费尔马猜想，梗概地论述了３００多年来数学家和数学爱好者为证明费尔马所产生的可歌可泣的事迹，评介了怀尔斯对费尔马猜想的证明。     

达布定理的推广与柯西中值定理的一个新证明

本文推广了达布定理,並用它给出了柯西中值定理的一个新证明。     

一般层合板矩形单元的几何刚度矩阵

本文简述了求解结构稳定性问题的有限元理论基础。用张量的形式指导了一般层合板矩形单元的节点力和节点位移关系方程，详细推导了一般层合板四节点矩形单元的几何刚度矩阵的公式及其显式。     

实现交互式三维参数化造型的研究

参数化设计方法是当今计算机辅助设计领域的一个热点课题,交互式三维参数化造型可以在原有模型的基础上,快速而方便地生成新的设计方案,大大提高了设计效率。本文所讨论的是通过引入特征的约束关系,利用现有的实体几何造型系统来实现交互式的三维参数化造型的方法。     

交互外形设计中的有理插值方法

在CAGD中,构造光滑曲线通过给定的二维或三维点集是非常重要的问题。广泛釆用的方法是Hermite技术,但是依照这种方法,插值曲线的形状过多地依赖于切矢的模长,且形状的修改不能依几何的方式交互完成。本文提出了一种结合交互技术和插值技术于一体的曲线插值方法,插值基函数为有理函数,在此基础上讨论了形状参数在几何修形中的作用,     

空间大挠度梁的有限元动力学响应分析

从弹性梁的非线性应变位移关系出发,结合Hamilton变分原理推导出了作大挠度振动的空间梁的动力学有限元方程。方程中考虑了与变形相耦合的非线性惯性项。计算表明,作大挠度振动的悬臂梁的响应是由不同的谐波成分组成;在相同结构阻尼影响下,大挠度梁的稳态振幅比线性情况下的稳态振幅要低;非线性惯性项与弯扭耦合项对系统的动力学特性有比较明显的影响。     

整级环境下涡轮叶片型面加工几何偏差影响的不确定性分析

加工等过程中产生的几何偏差会导致涡轮叶片气动性能及工作状态发生显著变化,对该影响的准确评估与合理分析具有重要意义.本文提出了一种考虑三维型面几何偏差对气动性能影响的不确定性计算分析方法,包括随机叶型几何建模、不确定性量化计算和敏感性分析等,并结合某一单级高压涡轮进行分析.基于随机过程理论和主成分分析法,参考现有叶片加工...