求解Euler方程的高精度熵相容格式

熵相容格式相比于一般的熵稳定格式进一步控制了激波处的熵增量,一维情况下能有效消除膨胀激波及间断处的伪振荡等现象.对于Euler方程,可以通过对特征变量进行WENO重构以获得高阶熵相容格式的数值粘性项,然后与高阶熵守恒格式结合得到高精度熵相容格式,在WENO重构过程中的权重关于特征变量是非线性的,这导致了大量的向量内积运算.通过用压强和熵代替特征变量来计算权重,可以显著减少重构的计算量,并且数值算例表明这种权重的计算方式能很好地保持数值格式的高阶精度和基本无振荡的效果.     

求解浅水波方程的熵相容格式

提出了一种求解浅水波方程组的熵相容格式．在熵稳定通量中添加特征速度差分绝对值的项来抵消解在跨过激波时所产生的熵增,从而实现熵相容．新的数值差分格式具有形式简单、计算效率高、无需添加任何的人工数值粘性的特点．数值算例充分说明了其显著的优点．利用新格式成功地模拟了不同类型溃坝问题的激波、稀疏波传播及溃坝两侧旋涡的形成,是求解浅水波方程组较为理想的方法.     

一种抑制激波计算中数值振荡现象的双重小波收缩方法

在激波数值计算中,容易出现数值振荡的问题,振荡激烈时会掩盖真实解,为此提出了许多高精度复杂计算格式或采用人工粘性抑制数值振荡.从信号处理的角度,提出双重小波收缩方法,它能自适应提取激波数值振荡解中的真实物理解.先用局部微分求积法求解浅水波方程和理想流体Euler运动方程中的激波问题,发现其数值振荡现象严重,然后采用双重小波收缩方法对其处理,获得了无数值振荡解,它能准确捕捉激波的位置并且保持激波结构.相比于复杂的Riemann(黎曼)求解格式,借助小波收缩方法,可以采用相对简单的计算格式如微分求积法求解激波问题.     

双曲松弛粘性Cahn-Hilliard方程的有限元算法

本文研究双曲松弛粘性Cahn-Hilliard方程的混合有限元数值算法.求解具有双曲松弛项和双阱势能的粘性Cahn-Hilliard方程时,在时间上采用一阶半隐格式进行离散,在空间上采用混合有限元方法进行离散.通过严格的理论分析证明了数值格式的无条件能量稳定性和误差估计,并利用数值实验验证了该方法的有效性.     

双曲型守恒律方程的熵稳定格式的一些讨论

本文讨论双曲型守恒律方程的熵稳定格式.对于给定的熵对,格式所满足的熵条件中的数值熵通量是不唯一的.Tadmor的充分条件可以唯一地确定标量方程的熵守恒通量,但不能唯一确定方程组的熵守恒通量,却可以给出方程组的空间一阶精度的熵守恒格式.也讨论了在熵守恒通量上添加数值粘性得到的显式熵稳定格式需要满足的条件及常见的时间离散对熵守恒和熵稳定的影响.     

粘性流动有限差分计算的新策略 *

对粘性流动计算 ,提出有限离散单元流动的流体分析 (理论 )和耦合离散流体理论(CDFT)的差分格式 .利用CDFT差分格式计算Burgers方程和计算激波边界层干扰流动的数值实验表明 :对计算精度和计算效率的提高 ,CDFT格式比提高常用差分格式 (即离散流体力学方程得到的格式 )精度和改进常用格式形式等更有效 ,且运算量小 .     

带源项浅水波方程的高分辨率熵稳定格式

提出了一种求解带源项浅水波方程的熵稳定格式.新格式利用通量限制函数将一阶熵稳定格式和高阶熵守恒格式结合,具有熵守恒格式和熵稳定格式的优点:在解的光滑区域具有高精度,在解的间断区域避免了非物理现象的产生,同时可以准确地捕捉激波,从而达到高分辨率的效果.利用新格式计算了一维和二维的经典算例,数值结果表明,新格式是模拟带源项浅水波方程的理想方法.     

Robin型边界阻尼波动方程的半离散一致指数稳定逼近

对一维Robin型边界阻尼波动方程构造了一个新的等距网格上的半离散有限差分格式,该格式没有数值粘性项,且可以保持系统的一致指数稳定性.通过引进一个新的辅助函数,利用Lyapunov函数方法证明了半离散格式的一致指数稳定性.数值实验验证了理论结果.     

计算空气动力学中一个新的激波捕捉法——耗散比拟法

在空气动力学方程的求解时,改进在激波附近数值解的分辨率是一重要研究课题.通常,人们通过差分方程的微分近似来研究差分格式的特性.本文通过启示性的分析方法讨论了在激波附近数值解的行为,分析了在一些格式的数值解中产生振荡的原因.参照差分方程的第一微分近似,定义了耗散比拟系数,构造了耗散比拟方程,给出了克服数值振荡的新方法.耗散比拟法不单启示了在激波附近数值解中产生振荡的原因,还预示了克服的办法.文中给出了四种改造耗散类比系数的方法.与流行的高分辨率格式相比,新发展的方法简单、直观、计算量小和有较强的激波捕捉能力.     

求解带刚性源项标量双曲型守恒律方程的保有界WCNS格式

带刚性源项的双曲守恒律方程是很多物理问题,特别是化学反应流的数学模型.本文考虑带刚性源项的标量双曲型守恒律方程,通过时空分离的方式,发展了一类保有界的WCNS格式.对于空间离散,我们将参数化的通量限制器推广到WCNS框架,使得方程对流项离散后满足极值原理.对于时间离散,我们将半离散的WCNS改写成指数形式,采用三阶修正指数型Runge-Kutta格式来控制方程的刚性,保持数值解的界.可以证明,本文格式对带刚性源项的一维标量守恒律方程具有保有界性和弱渐近保持性.数值试验验证了方法的有效性.     

More on cancellative semigroups on manifolds

Communicated by D.R.Brown     

Remarks on continuum cardinals on Boolean algebras

We give some results concerning various generalized continuum cardinals. The results answer some natural questions which have arisen in preparing a new edition of 5 . To make the paper self‐contained we define all of the cardinal functions that enter into the theorems here. There are many problems concerning these new functions, and we formulate some of the more important ones.     

基于学习—遗忘效应的生产率降低损失索赔研究

建设工程项目很多具有重复性施工的特点,本文利用这种特点将学习-遗忘效应应用到平衡作业线(LOB)方法中,分析因为工程中断造成生产率的降低的现象,认为因生产率降低而导致工程工期的延长实际上超过工程实际中断的时间,最后以一个工程案例来说明分析过程.     

Remark on the weierstrass points on curves

We give a treatment of the Weiertrass points of curves which is a little different from the treatment by Laksov. We introduce the notion of theith weight which makes the treatment easier and gives an algorithm for computing the gap sequence of an effective divisor and the weight at a point. Supported in part by NNSF of China.     

Remarks on normal operators on Banach spaces

Rendiconti del Circolo Matematico di Palermo Series 2 - A closed densely defined operatorT on a Banach spaceX is called normal, iff $$T \in [C^0 (\hat \not C)]$$ , i.e. there is a homomorphism...     

A note on pseudo-metrics on the plane

Every c-finite measure Μ on the set G of the lines on the plane such that $$(0){\text{ }}\mu {\text{(\{ g}} \in G:{\text{ }}P \in {\text{g\} ) = 0}}$$ for every point P?R ² generates a pseudo-metric F on the plane when one puts F P ₁, P ₂= \(\tfrac{1}{2}\) μ({g∈G:g separates the points P ₁ and P ₂}) The pseudo-metrics which are generated in this way possess the property of linear additivity, that is F(P ₁,P ₃)=F(P ₁,P ₂)+F(P ₂,P ₃) for P ₁,P ₂,P ₃ on a line, P ₂ between P ₁ and P ₃, and are continuous with respect to the Euclidean topology in R ² × R ². In this paper we prove the converse: every linear additive and continuous pseudo-metric F is generated as above by some c-finite measure Μ on G for which (0) holds. The method of proof shows that values of linearly additive and continuous pseudo-metric F inside every bounded convex polygon C are determined completely by the values of F on (δC)². The representation of pseudo-metrics by measures is useful in derivation of inequalities for the former.