基于带波动算子非线性Schrdinger方程数值分析的守恒差分算法(英文)

对一类带波动算子的非线性Schro。dinger方程进行了数值分析,提出了一个含参数的二阶守恒差分格式,根据参数选取的差异,该格式既可隐式计算也可显式计算。对初值条件进行了中心差分离散,使其具有二阶精度,从而与守恒格式的精度一致。利用矩阵理论证明了差分解的存在惟一性,并利用一个重要的不等式在先验估计的基础上,运用能量估计的方法证明了该格式按无穷范数以二阶精度收敛到真实解。数值实验表明该格式具有较高的计算效率。     

基于带波动算子非线性Schroedinger方程数值分析的守恒差分算法

对一类带波动算子的非线性Schrodinger方程进行了数值分析，提出了一个含参数的二阶守恒差分格式，根据参数选取的差异，该格式既可隐式计算也可显式计算。对初值条件进行了中心差分离散，使其具有二阶精度，从而与守恒格式的精度一致。利用矩阵理论证明了差分解的存在惟一性，并利用一个重要的不等式在先验估计的基础上，运用能量估计的方法证明了该格式按无穷范数以二阶精度收敛到真实解。数值实验表明该格式具有较高的计算效率。     

二维双曲型守恒律的一类MmB差分格式

基于通量分裂、单元平均分片线性重构及逆风特性进行空间离散,构造了二维标量非线性双曲型守恒律的一类新的二阶精度的半离散差分格式。进一步地利用二阶TVDRunge-Kutta离散方法对时间进行离散,得到了一类新的时空二阶精度的全离散差分格式,并证明了格式的MmB特性。之后,将格式按分量形式推广到二维非线性双曲型守恒方程组。该方法的一个主要优点是使用分量形式格式计算二维非线性双曲型守恒方程组,无须解黎曼问题且不用进行局部特征分解,因而形式简单、计算量小。通过计算二维可压缩流欧拉方程组的几个算例,数值结果表明,该格式具有高精度、高分辨率及计算简单的特点。     

非线性双曲型守恒律的一类应用通量限制器的二步二阶格式

本文提出了计算非线性双曲型守恒律弱解的一类新的二步二阶精度有限差分格式,这类高精度非线性差分格式的构造应用了三点单调差分格式的数值通量和通量限制器。文章证明,在拟CFL条件限制下,格式为总变差衰减差分格式(TVD格式),因此不发生常用的诸如二步二阶Lax-Wendroff格式、Maccomark格式和其他古典二阶格式计算不连续解时在其周围出现的剧烈振荡现象。 为了减少Roe推广技术引起的计算复杂性,文中我们基于Davis,S.F.的思想,使用了Rusanov数值通量,把标量差分格式推广到方程组,构造了求解双曲型守恒律方程组的新的预测-修正格式,较之其他一般的预测-修正格式而言,仅增加了很少的计算复杂性,初步的数值试验表明,本文提出的格式无振荡和具有极好的激波分辨率。     

求解Hamilton-Jacobi方程的一类无波动的耗散差分格式

利用Hamilton-Jacobi方程与双曲型守恒律的紧密联系,借助于求解双曲型守恒律的一类无波动无自由参数的耗散差分(NND)格式构造了一类求解Hamilton-Jacobi方程的差分格式.数值实验结果表明:该格式具有计算量小且高分辨率等优点.     

一类基于非均匀剖分的二维高精度差分格式

利用dimension-by-dimension方法,将求解一维非线性双曲型守恒律的一类基于非等距单元平均值重构的高效差分格式推广到二维标量双曲型守恒律方程,得到求解二维双曲型守恒律的一类二维高精度差分格式.证明了该类格式的无振荡特性.然后,将格式推广到二维双曲型守恒方程组情形.最后,给出了几个标准数值算例,验证了格式具有高阶精度、高效捕获激波等间断的能力.     

二维复值Ginzburg-Landau方程的一个高阶紧致ADI差分格式

对二维复值金兹堡朗道(Ginzburg-Landau,GL)方程提出一个基于时间分裂的高阶紧致交替方向隐式有限差分格式。本文通过时间分裂法将GL方程分裂成一个非线性子问题及两个线性子问题,对非线性子问题以及其中一个线性子问题均通过精确积分进行计算,并对另一线性子问题构造紧致交替方向隐式差分格式进行数值计算。实际计算中,在每一时间步,利用追赶法求解一族常系数三对角线性代数方程组,从而使得算法既具有较高精度又拥有较快的计算速度。数值实验表明该算法在时间和空间方向分别具有二阶和四阶精度,并模拟了方程的一些动力学行为。     

求解二维Hamilton-Jacobi方程的一类无波动的耗散差分格式

将二维Hamilton-Jacobi方程转换成双曲型守恒律方程组,然后利用求解一维H-J方程的一类无波动无自由参数的耗散差分格式的思想,构造了一类求解二维H-J方程的差分格式.数值实验结果表明:该格式易于计算且分辨率较高.     

双曲型守恒律的无振荡中心差分格式

讨论了双曲型守恒律的一类无振荡中心差分格式。Ｈ．Ｎｅｓｙａｈｕ和Ｅ．Ｔａｄｍｏｒ研究了以交错型ＬａｘＦｒｉｅｄｒｉｃｈ格式（ＬｘＦ）为模块的无振荡中心格式的构造与熵不等式。此类格式利用高阶的ＭＵＳＣＬ型插值替代一阶分片常数逼近，减少了ＬａｘＦｒｉｅｄｒｉｃｈ格式的过多数值粘性，建立了一维标量非线性双曲型守恒律的一类高分辨格式。讨论以非交错ＬａｘＦｒｉｅｄｒｉｃｈ格式为模块建立起的差分格式。证明了此格式具有二阶精度、ＴＶＤ性质并在一定条件下满足熵条件。     

一类新的二阶精度非交错形式差分格式的构造

本文对二维标量非线性双曲型守恒律，以非交错形式Ｌａｘ－Ｆｒｉｅｄｒｉｃｈｓ格式为基本模块，构造了一类新的不须解Ｒｉｅｍａｎｎ问题的差分格式，并证明其具有时空二阶精度。数值实验表明，格式具有较高的分辨激波、稀疏波及接触不连续的能力     

高精度混合型格式的构造及数值模拟

在守恒变量形式的无波动无自由参数耗散(NND)格式的基础上,引入样条插值的思想,并采用具有一致二阶精度格式的限制器函数,构造了一个在光滑区具有四阶精度,在激波附近降为二阶精度的混合型格式。在计算中采用具有总变差减少(TVD)性质的四阶R unge-K u tta方法进行时间离散,通过对多个典型算例的计算,并与NND格式作了比较,分析结果表明:混合四阶格式引起的耗散和波动较小,并且能够高精度地分辨间断。     

高精度ENO格式的有效实现

基本无振荡（ＥＮＯ）有限差分格式是近几年出现的一类高精度差分格式，重构多项式的形成是ＥＮＯ格式构造的核心部分，一般均以网格平均值作为插值点。文中由通量值作为插值点，构造了一个简单的高精度格式，在求解高维欧拉方程时，较节省计算时间。引入三 阶ＴＶＤＲｎｇｅＫｕｔｔａ时间离散，就二维欧拉方程的激波反射与双马赫反射问题进行了数值试验，试验结果表明格式所具有的高精度和基本无振荡性质，能够满足实际计算的需要     

双曲型守恒律方程的一个大时间步长二阶TVD差分格式

本文根据Harten,A.的大时间步长差分分格式构造思想,为双曲型守恒律方程弱解计算构造了一个2K 3点大时间步长二阶显式差分格式——LTS-LF格式,得到了其在CFL限制K下为总变差不增差分格式(TVD格式)。文章按照Roe的方法推广格式到方程组情形,并就Burger’s方程和Euler方程组黎曼问题进行数值试验,结果令人满意。     

基于智能卡的远程用户认证体制(英文)

针对Shen,Lin,Hwang提出的远程用户认证协议不安全的问题,改进了Shen-Lin-Hwang的方案,并基于双线性对技术提出了一个新的远程用户认证协议。同时对新协议进行了有效性分析,并证明了该协议能够抵抗已知的各种攻击。在本方案中,单向哈希函数的应用有效,证明该方案效率较高、收敛速度较快,而且基于该方案的各种应用比较容易实现和操作。     

Apram模型上双曲型方程初边值问题数值方法的并行性研究

针对Ａｐｒａｍ模型［１］，研究了双曲型方程初边值问题差分格式的并行实现方法。文中不仅讨论了差分格式在Ａｐｒａｍ模型上的各种并行处理技术，而且对并行算法的可扩放性进行了讨论，最后设计了适合于Ａｐｒａｍ模型结构特征的并行计算程序，对二维Ｅｕｌｅｒ方程正规激波反射问题的计算实践，结果令人满意