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

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

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

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

圆外区域求解Helmholtz方程

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

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

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

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

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

光束偏转法自动测试激光等离子体冲击波系统的研制

根据光束偏转原理，研制了激光等离子体冲击波自动测试系统的硬件和软件。该系统使用计算机与可编程序控制器作为上下位机，采取上下位机通讯的方式控制步进电机及二维移动架的移动，以改变探测光的相对位置，并利用单模光纤和光电倍增管将探测到的光偏转信号传入数字示波器进行存储，最后计算机将示波器中采集到的光偏转信号进行分析处理。使用该系统对激光等离子冲击波的衰减过程进行了实际测试，得到了较为理想的实验结果。     

0.86μm激光扫描二维成像的实验研究

本文给出作者设计的0.86μm激光二维成像系统的原理框图、成像雷达距离方程和部分物体对0.86μm激光的反射对比度的测试数据,并展示了各类物体激光成像的照片.     

微扫描技术对光电图像混淆噪声的影响

在分析采样理论和微扫描理论的基础上,引入了一个评价光电成像系统混淆噪声的品质因数,定量地分析了不同模式的微扫描对系统混淆噪声的改善程度。     

半拓扑子集的一些性质

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

书籍扫描图像畸变参数自动计算方法的研究

为实现书籍扫描图像的畸变自动校正,提出用多项式来描述各像素的理论灰度g(zi)与页面上对应点到扫描仪工作平面距离zi二者之间的关系。为确立该多项式,在畸变参数已知条件下扫描一幅图像,根据已知畸变参数求出zi,即可按最小二乘法原理由各像素灰度的实际值求出多项式的各个系数。实验证明,采用4阶多项式已能满足一般要求,并求出了各系数。对任意扫描图像,自动计算畸变参数的方法为:首先利用扫描图像上页边空白处各像素的灰度,对畸变参数进行估计,并求出zi的估计值;然后代入所确立的多项式,可求得g(zi);通过调整各畸变参数的估计值,直到g(zi)与gi最为接近,即得最佳畸变参数。用于图像校正实验,获得了较好的校正效果,最大误差由不校正时的41%下降到了6.9%。这使得无需用户测量并输入有关畸变参数即可进行自动校正。