带初始奇异性的多项时间分数阶扩散方程一类全离散数值方法的误差分析

本文研究了带有初始奇异性的多项时间分数阶扩散方程的一种全离散数值方法.首先,基于L1公式在渐变网格下离散多项Caputo时间分数阶导数,构造了多项时间分数阶扩散方程的时间半离散格式,证明了时间格式通过选取合适的网格参数r,时间方向的误差可以达到最优的收敛阶2-α_1,其中α_1(0 α_11)为多项时间分数阶导数阶数的最大值.然后,空间采用谱方法进行离散,得到了全离散格式,证明了全离散格式的无条件稳定性和收敛性.为了降低计算量和储存量,对多项时间分数阶扩散方程又构造了时间方向的快速算法,同时证明了该格式的收敛性.数值算例验证了算法的有效性,显示了快速算法的高效性.     

非正交网格上满足极值原理的扩散格式

构造了非正交网格上扩散方程新的非线性单元中心型有限体积格式,证明了该格式满足离散极值原理,且在适当条件下具有强制性、以及在离散H1范数下解的有界性和一阶收敛性.     

一类强耦合的奇异摄动对流扩散方程组的移动网格方法（英文）

本文研究一类强耦合的奇异摄动对流扩散方程组的移动网格方法.首先,利用迎风有限差分格式对方程组进行离散.然后,推出数值解的后验误差估计,并以此设计出相应的自适应网格生成算法.同时,证明数值解具有一阶一致收敛性.最后,数值实验验证了本文移动网格方法的一致收敛性.     

反射的椭圆随机偏微分方程的网格逼近

研究了由可乘噪声驱动的反射的椭圆随机偏微分方程网格近似解的收敛性,其中考虑区域D:=(0,1)~d,d=1,2,3.此外,还研究确定的椭圆障碍问题离散格式的解存在唯一性,并得到解关于障碍函数的连续依赖性和收敛性.     

求解Oseen流的交替线松弛多重网格方法

利用Riemann解的通量差分分裂法——Godunov方法对Oseen流控制方程进行离散,得到了基于一阶上迎风格式的离散方程,并给出了使用多重网格方法求解该离散方程的V-循环算法和W-循环算法的收敛性分析.通过局部Fourier分析方法,对获得的离散方程的聚对称交替线GaussSeidel松弛的光滑性质进行了研究.结果表明:使用多重网格的两层网格及三层网格算法求解具有不同Reynolds数的Oseen流,即便是在高Reynolds数情况下,聚对称交替线Gauss-Seidel松弛具有很好的光滑性质,多重网格W-循环算法收敛性比V-循环算法好.     

抛物方程初边值问题连续有限元的超收敛性

研究了一类一维抛物方程初边值问题的连续有限元方法.在空间上进行任意m次有限元半离散,在时间方向上进行二次连续有限元后,获得了一个稳定的全离散计算格式.利用单元分析法校正技术的新思想进行理论分析,连续有限元解在剖分网格节点上具有超收敛性.     

非定常不可压Navier-Stokes方程两重网格方法的稳定性和L2误差估计

讨论了二维非定常不可压Navier-Stokes方程的两重网格方法．此方法包括在粗网格上求解一个非线性问题,在细网格上求解一个Stokes问题．采用一种新的全离散(时间离散用Crank-Nicolson格式,空间离散用混合有限元方法)格式数值求解N-S方程．证明了该全离散格式的稳定性．给出了L2误差估计．对比标准有限元方法,在保持同样精度的前提下,TGM能节省大量的计算量．     

自适应隐式有限差分方法求解美式期权定价问题

本文针对美式期权的定价问题设计了基于有限差分方法的预估-校正数值算法.该算法采用显式离散格式先对自由边界条件进行预估,再对经过变量替换后的关于期权价格的偏微分方程采用隐式格式离散,并用Fourier方法分析了此离散格式的稳定性.接下来,引入基于Richardson外推法的后验误差指示子.这个后验误差指示子能够在给定的误差阈值范围内,针对期权价格和自由边界找到合适的网格划分.最后,通过设计多组数值实验并与Fazio^[1]采用显式离散格式算得的数值结果相比较,验证了所提算法的有效性,稳定性和收敛性.     

二维半线性反应扩散方程的交替方向隐格式

本文研究一类二维半线性反应扩散方程的差分方法.构造了一个二层线性化交替方向隐格式.利用离散能量估计方法证明了差分格式解的存在唯一性、差分格式在离散H~1模下的二阶收敛性和稳定性.最后给出两个数值例子验证了理论分析结果.     

一类四阶抛物型积分-微分方程的混合间断时空有限元法

构造四阶抛物型积分-微分方程的混合间断时空有限元格式,利用混合有限元方法将高阶方程降阶,利用空间连续而时间允许间断的时空有限元方法离散方程,证明离散解的稳定性,存在唯一性和收敛性.     

模糊推理的变权综合算法及其构造的模糊系统响应能力分析

将变权综合原理应用于模糊推理,提出一种新的模糊推理算法-变权综合推理算法,并给出利用模糊蕴涵算子确定规则变权的方法。证明了由一些正常蕴涵算子如Lukasiewicz蕴涵、Goguen蕴涵、Godel蕴涵、Dubois-Prade蕴涵等确定的变权综合算法是相容的。进一步分析了该变权综合算法构造的模糊系统的响应能力,结果表明:基于这些正常蕴涵算子的变权综合算法构造的模糊系统具有泛逼近性。     

二元相关法应用问题

阐述了二元相关法的基本原理；列举了几个应用实例；特地提出了应用二元相关法必须注意的一些问题。     

应用对称求非线性方程精确解的一种新方法

提出了一种寻找变系数非线性方程精确解的新方法—相容方程法,利用该方法求出了变系数非线性KP方程的精确解,从而证明了这种方法是十分有效的.     

推广的F -展开法及变系数KdV和mKdV的精确解

该文首先推广了新近提出的F -展开法,利用该方法导出了变系数KdV和mKdV方程 的类椭圆函数解;并在极限的情况下,得到变系数KdV和 mKdV方程变波速和变波长的类孤子解以及其他形式解.     

Multidomain Legendre-Galerkin Least-Squares Method for Linear Differential Equations with Variable Coefficients

The multidomain Legendre-Galerkin least-squares method is developed for solving linear differential problems with variable coefficients. By introducing a flux, the original differential equation is rewritten into an equivalent first-order system, and the Legendre Galerkin is applied to the discrete form of the corresponding least squares function. The proposed scheme is based on the Legendre-Galerkin method, and the Legendre/Chebyshev-Gauss-Lobatto collocation method is used to deal with the variable coefficients and the right hand side terms. The coercivity and continuity of the method are proved and the optimal error estimate in $H^1$-norm is obtained. Numerical examples are given to validate the efficiency and spectral accuracy of our scheme. Our scheme is also applied to the numerical solutions of the parabolic problems with discontinuous coefficients and the two-dimensional elliptic problems with piecewise constant coefficients, respectively.     

基于可变模糊集理论的城市用地适用性评估

依据可变模糊集理论,构造了城市用地适用性评估的相对差异函数模型和相对隶属函数模型,建立了求解综合相对隶属度的可变模糊评估模型,并应用该模型对2组待开发利用用地适用性进行了评估.研究表明:可变模糊评估是依据对立相对隶属函数来描述模糊概念,通过参数的可变性,自我验证可变模糊评估方法的可靠性,并通过级别特征值表达了评估对象属于某级别的程度,使评估结果更为精细,从而为城市用地适用性评估提供了一种有效的新方法.     

Auxiliary equation method for the mKdV equation with variable coefficients

By using solutions of an ordinary differential equation, an auxiliary equation method is described to seek exact solutions of nonlinear evolution equations with variable coefficients. Being concise and straightforward, this method is applied to the mKdV equation with variable coefficients. As a result, new explicit solutions including solitary wave solutions and trigonometric function solutions are obtained with the aid of symbolic computation.     

Finite dimensional approximation to solutions of minimization problems in functional spaces

In this paper we consider minimization problems whose objectives are defined on functional spaces. The integral global optimization technique is applied to characterize a global minimum as the limit of a sequence of approximating solutions on finite dimensional subspaces. Necessary and sufficient optimality conditions are presented. A variable measure algorithm is proposed to find such approximating solutions. Examples are presented to illustrate the variable measure method     

因变量缺失下变系数部分线性测量误差模型的变量选择

主要研究因变量存在缺失且协变量部分包含测量误差情形下,如何对变系数部分线性模型同时进行参数估计和变量选择.我们利用插补方法来处理缺失数据,并结合修正的profile最小二乘估计和SCAD惩罚对参数进行估计和变量选择.并且证明所得的估计具有渐近正态性和Oracle性质.通过数值模拟进一步研究所得估计的有限样本性质.     

（3＋1）维破碎孤子方程的变量分离解和局域激发模式

多线性分离变量法已成功地应用于诸多（2＋1）维非线性可积系统.将该方法拓展运用于（3＋1）维破碎孤子方程中,获得了含任意函数的变量分离解.通过适当地设定任意函数的形式,得到了（3＋1）维破碎孤子方程丰富的局域激发模式.