【摘 要】
:
当今,计算已成为继理论和实验之后的第三种不可或缺的科学研究方法。并且在许多情况下,由于科学计算不受外部因素和实验器材影响的灵活性,它能够最大程度以最小的代价获得与理论和实验相当的结果。这个使得计算在当今科学领域占有非同一般的统治地位。反应扩散方程是一类重要的偏微分方程,在物理、生物、材料以及社会科学中都有广泛的应用。并且,反应扩散方程有着比其他偏微分方程更加好的特性,例如极值原理、比较原理、不变集
论文部分内容阅读
当今,计算已成为继理论和实验之后的第三种不可或缺的科学研究方法。并且在许多情况下,由于科学计算不受外部因素和实验器材影响的灵活性,它能够最大程度以最小的代价获得与理论和实验相当的结果。这个使得计算在当今科学领域占有非同一般的统治地位。反应扩散方程是一类重要的偏微分方程,在物理、生物、材料以及社会科学中都有广泛的应用。并且,反应扩散方程有着比其他偏微分方程更加好的特性,例如极值原理、比较原理、不变集存在以及能量衰减等物理特性,这些性质在数学分析和数值模拟中也是最基本的,往往是不能忽视的。因此我们需要研究和构造数值格式来满足这些物理特性。本文的主要研究内容包括:一、半线性抛物方程的保上界积分因子法。众所周知,强稳定性积分因子龙格库塔方法与传统的强稳定性龙格库塔方法相比,在时间演化过程中,避免了线性算子的时间步长限制。然而在遇到比强稳定性更弱的保上界性时,却由于非线性算子带来的时间步长限制,显得不那么有效。因此我们想设计一种无时间步长限制的保界格式。通过引入稳定化系数,我们得到一种显式稳定化积分因子龙格库塔方法。顾名思义显式稳定化积分因子龙格库塔方法是在龙格库塔方法的基础上,加入严格单调递增的序列的充分条件,保证数值解的有界性。通过优化方法,我们得到了三阶格式,并且针对每一个提出的方法,验证了它们解的保界性。数值实验中表明严格单调递增序列是一个充分条件,验证了每一个方法的收敛性,并且几个针对性实验说明了所提出的方法确实满足保上界性。二、曲面反应扩散方程的保极值虚拟元方法。虚拟元方法的主要特征是它能看成是经典有限元方法的推广,它最大的优势在于可以处理多边形单元。虚拟元方法已经成功应用到一大类方程当中,然而将虚拟元方法推广到曲面上仍然是一个开放性问题,其中作者Frittelli提出了一种曲面虚拟元方法,但硬性要求是离散化曲面是一个平的逼近,即单元上的网格节点都要处于同一个平面。这个方法很容易构造虚拟元空间以及相应的收敛性分析,平的离散化曲面对于一般的曲面来讲却难以实现。为了克服这个困难,我们设计出一种基于Voronoi网格的局部切向提升虚拟元方法,这种方法结合了曲面虚拟元方法和局部切向提升法。这样不平的网格很容易投影到局部切向空间构造虚拟元空间。基于H1投影和L2投影,我们得到了相应离散双线性形式的有界性,数值模拟验证了所提方法的有效性,并且可以结合质量集中方法保证反应扩散方程的极值原理。三、曲面Stokes方程的能量耗散径向基函数方法。求解Stokes方程遇到的最大困难是由离散的inf-sup条件引起的速度和压力耦合。为此许多学者提出了很多方法,主要可以分为两大类。一种方法是投影方法,这种方法的主要思想是利用压力将中间速度域投影到不可压速度域,然而这种方法要求特定的网格,中间速度和压力的边界条件难以符合实际的边界条件。另一种方法是压力Poisson方程,主要是利用Helmholtz分解。通过分解,可以得到一个等价方程,其中速度可以看成一个演化变量,压力变成一个隐函数。这种方法使得速度和压力解耦,能够避免离散inf-sup条件的限制。本文在此基础上,利用曲面Helmholtz分解,将曲面Stokes方程转化为等价方程,并对等价方程中的无散度速度采用无散度径向核函数插值,得到了稳定性和收敛性分析,理论分析和数值实验表明了方法的有效性,并且验证了曲面Stokes方程的动能是单调递减的。
其他文献
分数阶偏微分方程是指未知变量中含有分数幂的方程,它比传统的整数阶方程更适合于描述具有各种材料的记忆性和遗传性的现实问题,例如,电解化学、凝聚态物理、半导体物理、湍流和粘弹性系统、生物数学和统计力学、光学和热系统、材料和信号处理等领域.分数阶对流扩散问题作为在科学和工程计算模拟中应用最广泛的问题,许多实际的流体流动过程,如传热、流体力学、地下水污染输运扩散过程和油藏、质量和能量传输以及全球天气模拟等
复杂背景条件下的红外弱小目标的检测具有非常重大的理论意义和实际应用价值,尤其是在军事领域,常用于红外侦察、制导及预警等方面。由于红外弱小目标所特有的面积小、亮度低、与周围背景之间的对比度弱等特点,在原始红外图像中,复杂背景下的高亮背景、背景边缘和噪声等很容易淹没真实红外弱小目标,导致目前针对复杂背景条件下的红外弱小目标检测算法存在检测率低、虚警率高等问题。当前,基于人类视觉系统Human Visu
辐射扩散方程的数值模拟对于受控约束核聚变、等离子体物理、天体物理等各类实际的工程和物理问题的研究具有重要意义.由于工程上对于这类可压的辐射流体力学问题界面的分辨精度要求很高,通常采用拉格朗日法进行模拟.数值模拟的网格可能随着流体的运动而扭曲变形,能量扩散的模拟就需要在扭曲的网格上进行.本文以扭曲网格上的辐射扩散方程的保正和保极值有限体积格式为研究对象,主要做了以下的工作:首先,我们构造三维扩散方程
复杂网络是指具有自组织、自相似、吸引子、小世界、无标度中部分或全部性质的网络,因其能够帮助人们更好的理解和研究事物的本质,近年来吸引了国内外众多学者的关注.神经网络作为复杂网络的代表,已经被成功地应用于模式识别、智能控制和组合优化等领域.对由多个神经网络所构成的耦合神经网络进行同步分析和控制,是当前复杂网络动力学研究的热点问题之一.本文结合复杂网络理论、现代控制理论和Lyapunov稳定性理论,研
随着多处理器计算机系统的大规模网络在许多领域的普及,许多理论问题引起人们广泛的关注,其中之一就是网络容错的问题。网络的容错性是指网络在发生故障时保持连通或保持某些性质的能力。网络拓扑结构经常以(有向)图,甚至以超图为模型,因此可以使用(有向)图或超图的某些容错参数来评估网络的性能。由于对称网络具有许多理想的性质,对称图的容错性也是一个重要的研究方向。本文主要研究关于边连通性的(有向)图或超图的一些
代数图论是通过运用线性代数、群论、组合设计等知识来分析图的代数性质,从而刻画图的组合结构的一门学科,它是图论研究的一个重要分支.作为代数图论的一个重要研究方向,图谱理论主要研究与图相关的矩阵的特征多项式、特征值、特征子空间等相关的代数参数性质,以及它们与图结构属性之间的关系.高度对称图是指具有较强对称性的图,从代数上看就是具有较大自同构群的图,它们往往具有良好的代数组合性质,是连接图论、组合设计和
连通性和Hamilton性是图论中的两个经典的研究课题.连通性与互联网络的容错性存在着非常紧密的联系.Hamilton性是网络设计时最基本的要求之一.生成连通性是图的连通性和Hamilton性的融合与推广.本文主要研究图的结构连通性,结构容错Hamilton性以及生成连通性.第一章,阐述本文的研究背景,现状与进展,相关概念以及网络模型.第二章,主要研究几类著名网络的结构连通性和子结构连通性.第一节
代数图论是图论学科的重要研究领域之一,主要运用代数方法来解决图论问题.代数图论有三个主要分支,分别为图与线性代数,图与群论,图不变量.其中图与线性代数的研究核心是图的谱理论.图谱理论是通过研究与图相关的矩阵(邻接矩阵,拉普拉斯矩阵,无符号拉普拉斯矩阵,正规拉普拉斯矩阵和距离矩阵等)的谱的性质来研究图的组合性质.图谱理论研究兴起于20世纪50-60年代,近20-30年来得到迅猛的发展,它是图论,组合
Grobner 基理论是由 Buchberger,Shirshov 和 Bergman 独立引进的.Buchberger 创建的交换代数的Grobner基理论为解决交换代数中的约化问题提供了非常有效的方法.Bergman把Buchberger的理论推广到结合代数上.在李代数上的类似理论由Shirshov创建.后来,Bokut证明了 Buchberger和Bergman的Grobner基理论其实是S
本文考虑了与一个半有限von Neumann代数对应的非交换Lorentz型空间,包含四部分内容.第一部分介绍了文章的研究背景,非交换积分理论的基础知识以及本文的主要结果.第二部分研究了非交换弱Lp空间,给出了非交换弱Lp空间对偶空间的具体形式.在这一部分中还讨论了非交换弱Lp空间上的紧左(右)乘算子.第三部分研究了非交换加权Lorentz空间的对偶空间,得到了类似于经典的加权Lorentz空间对