慢波导环形换能器指向性的计算机计算程序

本文利用有限而元式Helmholtz积分方程法完成了慢波导环形换能器指向性的数学计算程序。文中给出了程序中所用的各种数学表达式,计算程序方框图以及计算题例。计算题例中计算机计算结果与实际测量结果基本上是一致的。     

TDI线扫相机光学通道建模与仿真

卫星相机建模与仿真研究不论在民用还是军事领域都具有重要的理论研究和实际应用价值。根据TDI线扫相机的工作原理建立了一个TDI线扫相机光学通道的数学模型,该模型包括从景物到TDI CCD离散图像的几何投影关系和能量传递关系两部分,对于确定的成像系统,给定景物参数和光学系统参数,就可以确定对应图像传感器上的离散图像。为了验证模型,对一幅卫星图像进行了计算机仿真。建立的模型可以用来研究当成像条件改变时对图像的影响,进一步还可以用来发展虚拟卫星相机系统。     

Banach空间无界域上二阶脉冲积分微分方程的解

在比较宽松的条件下，研究了Banach空间中二阶脉冲积分微分方程在正半实轴上具有无穷个脉冲点的初值问题的解的存在性。利用递归法、Tonelii序列和局部凸拓扑，建立了新的存在性定理，对郭大钧的结果做了本质改进。     

第三种线性积分方程组的广义解

§1 引言近年来Bart等人讨论了单个第三种积分方程广义解的存在性,具有较明显的物理意义,受到广泛重视本文讨论下列第三种积分方程组广义解的存在性:     

一类具有偏差变元的积分—微分方程解的渐近性质

~~     

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

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

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

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

圆外区域求解Helmholtz方程

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

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

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

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

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