论文部分内容阅读
基于局部压力梯度稳定化方法，作者提出了Navier—Stokes方程的一种新的有限元方法，其中速度V属于H^1连续的空间，压力P属于L2非连续的空间．利用Brouwer不动点定理，作者证明了离散解的存在性和唯一性并给出了误差估计．
Navier-Stokes方程的局部压力梯度稳定化有限元方法分析
【摘 要】
：
基于局部压力梯度稳定化方法，作者提出了Navier—Stokes方程的一种新的有限元方法，其中速度V属于H^1连续的空间，压力P属于L2非连续的空间．利用Brouwer不动点定理，作者证明了离散解
【机 构】
：
四川大学数学学院,四川师范大学数学与软件科学学院
【出 处】
：
四川大学学报：自然科学版
【发表日期】
：
2010年1期
其他文献
对一类广义对称正则长波（GSRLW）方程的初边值问题进行了数值研究，提出了一个三层拟紧致平均隐式差分格式，格式模拟了初边值问题的守恒性质，得到了差分解的存在唯一性，并利用离散泛
提出了一种基于遗传BP人工神经网络的COSM图像复原算法,利用BP神经网络的学习记忆和泛化能力,通过用一组COSM样本图像对网络进行训练,建立含有离焦模糊的模糊三维图像与清晰三维图像之间的非线性映射关系,然后利用训练好的BP神经网络对待复原的COSM图像进行复原处理,从而实现COSM图像复原.复原的三维图像无论在主观视觉还是定量分析上都取得了很好的效果.与传统的图像复原算法不同,该算法免去了解卷积
基于电子与核振动近似方法，应用密度泛函B3P86方法和相对论有效核势SDD计算，结合统计热力学方法，研究了100K～1000K温度范围内Pd与H2、O2反应的标准生成热力学函数以及反应平衡压
作者研究了线性FS格上的线性投射空间的性质，证明了：线性FS格的子类完全分配格具有连续的线性投射空间当且仅当它的线性投射空间同构于幂集格．
电磁逆散射通过测量目标体产生的散射场或其远场模式重建目标体.该问题作为一类典型逆问题具有重要的理论研究价值,同时它在工程技术领域也具有重要的应用价值.线性抽样法,作为解决电磁逆散射问题的方法之一,通过线性积分方程降低了电磁逆散射问题的病态性与非线性对问题求解的影响.但是,线性抽样法传统的实现过程需要全空间或全平面的入射/散射场信息和成像区域,三维目标体的重建过程需要较长时间.为了降低线性抽样法的计
针对高能激光系统中狭缝光阑的应用需要，提出了一种基于灰阶编码思想的狭缝软边光阑的设计方法．在标量衍射理论的基础上通过模拟计算，研究了狭缝软边光阑的衍射传输特性，并将结果
基于TI DM642硬件平台,设计了运动目标快速检测与跟踪算法.首先改进了RunningAverage背景实时更新建模的方法,消除了原有算法背景更新时产生的运动目标重影.采用背景差分方法检测运动目标,速度较快.使用Otsu算法自适应求取最佳二值分割阈值分割目标,提高检测精度.在此基础上,提出了一种快速的运动目标形状中心线性预测算法,估计运动目标中心,再结合MCD(Maximum Close Dis
设S=x1,x2,...,xn是由n个不同的正整数组成的集合,并设整数a≥1.如果n阶矩阵的第i行j列元素是S中元素xi和xj的最大公因数的a次幂（xi,xj）a,则称该矩阵是定义在S上的a次幂GCD矩阵
设G是一个有限非Abel群，并设x是G的一个非线性不可约（复）特征标．令V（x）={x}X∈G，x（x）≠0），Nx={x}x∈G，x（x）=0）．称V（X）为非零点子群，而称Nz为零点子群．在本文中，作者建立了关于不可约特征标的零点及
作者介绍了Hurwitz数的定义及一些性质，利用virtual局部化方法推出了Hodge积分与Hurwitz数之间的一个联系并用这个联系证明了一个Hodge积分的恒等式．