一类抛物型方程组的近似惯性流形

研究了具有耗散性非线性抛物型方程组的长时间行为，利用线性Galerkin方法和压缩映象原型，构造了两类近似惯性流形，并证明了该方程组的任意解轨道在长时间后，进入近似惯性流形的一个小邻域。     

一阶积分微分方程周期边值问题解的存在性

研究了一类一阶纯量形式积分微分方程的周期边值问题，利用单调迭代方法证明了问题极解的存在性。     

三维摩擦接触问题算法精度和收敛性研究

回顾了摩擦接触问题的现有解法，包括Lagrange乘子法、惩罚函数法、增广Lagrangian乘子法，线性互补模型及互补类非线性方程组方法等，尤其是近期关于非线性方程组方法的系列研究结果：(1)三维弹性摩擦接触问题互补类非线性方程组的光滑化解法；(2)将其推广为非光滑解法；(3)三维弹塑性摩擦接触问题增量方程和算法，非线性方程组方法解法基于严格的数学理论基础，严格地满足接触条件，并用随机数产生的接触柔度矩阵证实了算法的收敛性，由于每个接触点对的未知数只有3个，不合任何人工变量，同时，算法有局部二次收敛率且计算效率很高。为了考察以增广拉格朗日法为代表的工程中流行算法的精度和收敛性，设计了一个典型的弹性摩擦接触问题算例，证实了通用程序ANSYS的增广拉格朗日法是近似的并且不能保证收敛。     

弱条件线性方程组的一种迭代方法

设A为m×n矩阵、线性方程组AX=b相容,其解集为C。给出了求X∈C的迭代方法。对序列{X(k)},其中λit(k)X(k)满足: X0,X(k+1)=X(k)+ mi=[bi-(Ai,X(k))]/‖Ai‖2,k=0,1,2,…。证明了{X(k)}收敛,设i,Ai,t(k)i=1X(k)=X ,则X ∈C。若取X0=0,则X ∈R(AT),其中R(AT)={ATX｜X∈Rm}。limk→∞     

An iterative algorithm in potential-field inversion

1　Principle and MethodAll the problems of potential- field inversioncan be concluded that of solving nonlinear functionas follows:b =f( x) ( 1 )where x =( x1,x2 ,… .xn) T,xj( j =1 ,2 ,… ,n)indicate geometricparameters and physical parame-ters of the object;b=( b1,b2 ,… ,bm) T,bi( i=1 ,2 ,… ,m) indicate potential- field measurements.Main algorithms for expression( 1 ) are leastsquare method ( include damping least squaremethod ) ,gradient method ( conjugate gradientmethod and variable met…     

拟线性双曲方程组带有一般形式的边值问题的整体经典解

证明了拟线性双曲方程组带有一般形式的边值问题的整体经典解的存在惟一性。     

拟线性双曲方程组带有一般形式的自由边值问题的整体经典解

证明了拟线性双曲方程组带有一般形式的自由边值问题的整体经典解的存在惟一性。     

分析转移矩阵方法确定多层平板光波导TM模的色散方程

分析转移矩阵方法(ATMM)能精确地确定平板光波导的模式特性。本文利用ATMM，导出了非对称多层平板光波导和对称多层平板光波导的TM模的精确色散方程。     

采场模糊渗流定解问题的可表示性

采空区气体模糊渗流问题由模糊偏微分方程所描述，模糊微分方程是未知函数及其导数与已知模糊函数或者模糊常数的条件等式。方程解的模糊性是由已知模糊函数或模糊常数所引起的。当已知函数或常数为区间值函数或区间数时，相应的方程为区间微分方程，由于模糊函数或模糊数的截集为区间值函数或区间数，通常，模糊微分方程的解是利用模糊函数或模糊数截集所对应的区间微分方程解通过表现定理给出。由于模糊微分方程的解必须是模糊函数，如果通过表现定理给出的模糊微分方程方程的解是模糊函数，则称方程的解是可表示的，本文在给出模糊微分方程解的可表示定义同时给出了解的可表示判定条件，并且证明了有采空区气体模糊渗流定解问题的可表示性。     

非线性浅水波方程组的精确解

用试探法给出浅水波方程组的精确解 ,并拓展该方法