紧黎曼流形上的椭圆边界值问题

讨论一类非齐次非线性椭圆边界值问题.利用极大值原理证明了该问题解的梯度估计.作为它的应用得到了解的效率比估计.     

对流扩散方程的缩减基有限元法的后验误差

将缩减基(RB)方法和有限元方法相结合,在保证偏微分方程的有限元离散格式具有足够高精确度前提下,能够大幅度地降低有限元离散格式的维数,从而大大降低计算中内存容量和计算时间的消耗.针对对流扩散方程建立基于RB方法的Crank-Nicolson有限元离散格式,并给出后验误差估计结果.     

水下多级微结构液气界面的稳定性和可恢复性研究

微结构表面浸没水下所形成的液气界面对减阻等应用具有重要意义.液气界面的稳定存在是结构功能表面发挥作用的前提.因此,如何增强液气界面的稳定性以抵抗浸润转变过程,以及在液气界面失稳之后,如何实现去浸润过程以提高液气界面的可恢复性能,均具有重要的科学研究意义和实际应用价值,也是国内外研究关注的热点问题.本文针对具有多级微结构的固体表面,研究其在浸没水下后形成的液气界面的稳定性和可恢复性.通过激光扫描共聚焦显微镜对不同压强下液气界面的失稳过程和降压后的恢复过程进行原位观察,实验结果和基于最小自由能原理的理论分析相吻合.本文揭示了多级微结构抵抗浸润转变以及提高液气界面可恢复性能的机理:侧壁上的次级结构(纳米颗粒、多层翅片)通过增加液气界面在壁面的表观前进接触角增强了液气界面的稳定性;底面的次级结构(纳米颗粒和封闭式次级结构)可以维持纳米尺寸气核的存在,有利于水中溶解气体向微结构内扩散,最终使液气界面恢复.本文的研究为通过设计多级微结构表面来获得具有较强稳定性和可恢复性的液气界面提供了思路.     

ESTIMATING EXTREME-VALUE INDEX FROM RECORDS

1.IntroductionLet{X.,n21}beasequenceoflidry'swithanondegeneratedistributionfunctionF(x).Supposethereexistsomeconstantsan>0,b.6RandsomeacERsuchthatwhereG.standsforoneoftheextremevaluedistributions:Heretheindex7ERisarealparameter(interpret(1 box)--'/ryase--"for7~0).Theestimationoftheextreme-valueindex7isveryimportantbothintheextremevaluetheoryandinpractice.Manystatistics,suchasHillestimator(forcaseac>0),PickandsestimatorandDekkers-EinmahLdeHaan'smomentestimatorwhicharebasedonafinitesample,…     

高维量子可积系统的精确解

量子多体问题或量子场论中有一类模型是可以精确求解的,这类模型称作量子可积模型.量子可积模型的主要特征是:系统的守恒量数目与系统自由度的数目相同(对于具有无限自由度的系统,守恒量的数目亦为无限),从而使系统的本征态、本征能谱及热力学量都可精确求得.自从1931年Bethe～[1]首次求得一维Heisenberg链的精确解后,许多一维量子多体物理模型或(1+1)维(一维空间加一维时间)量子场论模型都获得了精确解.这些精确解曾对于人们理解许多物理现象(如稀磁合金中的Kondo效应)起到了极为重要的作用.如何将这方面的理论推广到高维空间,即寻找并精…     

三维热传导型半导体器件瞬态模拟问题的Crank—Nicolson差分—流线扩散有限元法及其数值分析

本文研究三维热传导型半导体器件瞬态模拟问题的数值方法。针对数学模型中各方程不同的特点，分别提出不同的有限元格式。特别针对浓度方程组是对流为主扩散问题的特点，使用Crank-Nicolson差分-流线扩散计算格式，提高了数值解的稳定性。得到的L^2误差估计关于空间剖分步长是拟最优的，关于时间步长具有二阶精度。     

Jordan函数r次方Jrk(n)的误差项的进一步性质

设k，r分别是自然数和非零整数，Jk(n)是Jordan函数。以E(x；k，r)表示和式sum from (n≤x) Jkr(n)的渐近公式中的误差项，本文研究了E(x；k，r)的某种加权平方积分均值。     

边剖分、点扩张与图的最大亏格的可约性

设γM（G）是连通图G=（V，E）的最大亏格，记EM^-（G）={e∈E(G)|G\e连通，且γM（G\e）=γM（G）}。若EM^-(G)≠0，则称G是γ（G）-可约的；否则称G是γM（G）-不可约的。本文证明了边的剖分不改变图的最大亏格可约性，点的扩张不改变上可嵌入图的最大亏格可约性；并给出了两类满足EM^-（G）=E（G）的非4-边连通图。     

一种全局运动的图像处理算法研究

在摄像机进行航拍的图像处理系统中,由摄像机运动所引起的视频运动,背景变化是主要特点。在进行图像采集时,每个像素都在变化,采用传统的图像编码方式进行图像压缩,压缩效果比较差。提出了基于块分割的精确运动估计算法,它是一种很好的图像压缩方法。