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

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

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

回顾了摩擦接触问题的现有解法，包括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模的精确色散方程。     

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

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

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

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

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

关于湍流统计模式局限性的讨论

湍流是极为普遍的流动现象,湍流统计模式是目前预测复杂湍流的唯一工具.本文讨论了Navier Stokes方程与湍流的关系,分析了湍流统计模式的局限性,认为一个好的湍流统计模式应当包含尽可能多的湍流脉动结构信息.     

Hill方程稳定性区域判定的一个结论

Hill方程的判别式已有多种形式 ,其中一种形式较为简洁 ,利用这种形式获得Hill方程稳定性区域判定的一个结果对大参数λ ,该结论比现有一些结论为优 .