带干扰的Erlang(2)风险模型的不破产概率

本文讨论了带干扰的Erlang(2)风险模型,通过构造一个延迟更新过程,我们得到了不破产概率满足的积分-微分方程,进而得到了不破产概率的明确表达式．     

一类在自由边界上给出动力学条件的一相stefan问题

考虑一类在自由边界上给出动力学条件的一相stefan问题:其中α,α,β>0. 本文证明了在一定条件下,其经典解存在、唯一。     

用Fourier方法解半线性抛物型方程双移动边界问题

文[1]就金属板烧蚀中提出的问题,给出了热导方程单个移动边界问题的Fourier型级数求解法。文[2]研究了热导方程双移动边界问题。还有些人研究了抛物型方程移动边界问题情况。但是迄今这一类问题的研究工作集中于线性的情况,对非线性的情况讨论甚少,其它移动边界问题也是如此(参见[3]、[4])。本文是在[1]、[2]的基础上,讨论如下的一类半线性抛物型方程双移动边界的定解问题:     

圆外区域求解Helmholtz方程

1引言许多科学和工程计算问题都可以归结为无界区域上的偏微分方程边值问题．而求解椭圆方程边值问题的常用技术是有限元方法,可是对于无界区域,在用有限元方法求解时,往往遇到困难．最简单的办法显然是直接略去区域的无界部分求解,但这样做或者导致过低的计算精度,或者要付出很高的计算代价．边界归化,即将求解偏微分方程边值问题转化为边界积分方程,是求解某些无界区域问题的强有力的手段．自70年代以来,有限元和     

求解大规模带边界约束二次规划问题的单调投影梯度法

受投影BB(PBB)方法的启发, 提出并分析了求解大规模带边界约束的二次规划问题的单调投影梯度方法. 通过数值实例和数值分析证明,对于此类方法,直接采用负梯度方向计算步长往往会导致糟糕的数值计算效果, 为此提出了利用投影梯度来计算单调步长的思想.大量的数值实验表明所给出的新方法通常要好于PBB方法.     

一类非线性方程解的存在和唯一性及在图像中的应用

本文我们给出一个修正的非线性扩散方程模型，与Cotte Lions和Morel的模型相比该模型有许多实质上的优点。主要的想法是把原来去噪声部分：卷积Gauss过程替代为解一个有界区域上的线性抛物方程问题，因此避开了对初始数值如何全平面延拓的问题。我们从数学上的证明该问题解的存在性和适定性，同时给出对矩形域情况的解的级数形式。最后我们给基于本模型的数值计算差分模型，并且给出几个具体图像在该模型下处理结果。     

半拓扑子集的一些性质

本文引入半边界,并且进一步研究了半拓扑子集的一些性质,例如十集定理(定理2.6).另外也讨论了子空间,乘积空间和商空间中的半开集.     

边界元法求解金属凝固过程逆热传导问题

本文针对一个金属凝固过程的逆热传导问题,即由金属表面温度求其表面热流的问题,提出了一种基于边界元法的求解算法;并且利用离散化后的数值计算验证了该算法的有效性。     

无界区域抛物方程自然边界元方法

本文应用自然边界元方法求解无界区域抛物型初边值问题。首先将控制方程对时间进行离散化,得到关于时间步长离散化的椭圆型问题。通过Fourier展开,导出相应问题的自然积分方程和Poisson积分公式。研究了自然积分算子的性质,并讨论了自然积分方程的数值解法,最后给出数值例子。从而解决了抛物型问题的自然边界归化和自然边界元方法。     

进一步改进边界元方法以克服振动声辐射计算中解的非唯一性

章利用基于三次B样条插值的边界元方法，对振动体外部声辐射问题进行了研究，对CHIEF法及其改进方法作了进一步的改进，提出在加权余量意义下，通过把内部Helmholtz积分方程与其对内点坐标取导后的方程式作线性叠加，在域外构作的一个小体积块上进行积分以形成补充方程，经与表面Helmholtz积分方程相结合，来求解任意频率下的声辐射问题，并以脉动球和摆动球作为算例，说明本提出的方法能够有效地克服在特殊频率处解的非唯一性问题。