用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%。这使得无需用户测量并输入有关畸变参数即可进行自动校正。     

扫描隧道显微镜研究石墨表面的莫尔图

利用扫描隧道显微镜研究石墨表面的大尺度周期性图样．研究结果表明,莫尔图起源于石墨深层的缺陷,实验结果与理论完全吻合,并且第一次在实验上证明了纳米波可以穿透多层石墨而没有明显衰减．     

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

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

二维磁结构的扫描隧道显微术研究

文章介绍了近年来利用扫描隧道显微术（STM）对表面和薄膜磁结构的研究进展。二维或表面磁结构可以通过在非磁性单晶上外延磁性单原子层薄膜形成，也可以在清洁的磁性单晶表面形成。利用磁性的STM针尖可以观测到原子分辨的表面磁结构。这将增进人们从纳米尺度对磁性的理解，并推动磁电子学的发展。