关于半群局部化的一个注记

证明了对于任何的半群Ｓ和其任何的子半群Ｔ，Ｓ在Ｔ的局部化总是存在的。     

利用正则化方法求解浅海声波散射问题

讨论了浅海中波导的声波散射问题，我们将该问题归结为一个第一类边界积分方程，利用正同化方法求解，并证明了该方法的收敛性，数值例子表明了该方法的简单与有效性。     

弹性力学的Lagrange形式：用Routh方法建立弹性有限变形问题的基本方程

将弹性有限变形问题纳入Lagrange力学的理论体系中，并用经典力学中业已存在的Routh方法构建了有限变形平面应变问题和有限变形平面应力问题的基本微分方程，讨论了有限变形大挠度问题vonkarman方程中存在的矛盾进而提出了两种改进方案．     

Ni-Si多层膜中固态非晶化反应的热力学与动力学过程

研究了Ni/非晶Si(a-Si)多层组分调制膜(ML)中界面上的固相反应。根据计算的亚稳自由能图,对界面上固相反应形成非晶态进行了热力学与动力学的分析。提出了Ni/a-Si多层膜中的固相反应的动力学模型。 关键词：     

一类非线性单调型方程的区域分裂法

本文考虑了一类非线性单调问题的加性Schwgrz交替法和异步平行算法,并得到了在能量模意义下的收敛性结果,最后还讨论了格式的有限元离散。     

一类常微分方程组的紧支撑样条小波方法探讨

应用三次紧支撑样条小波插值函数得到了求一类常微分方程组数值解的隐式公式,并求得到其局部截断误差为O(-h5).在此基础上给出1个显式校正求解公式,并讨论得到其局部截断误差为O(-h4).     

基于CCD采集的Mach-Zehnder干涉条纹图的处理算法

Mach-Zehnder干涉仪适用于研究气体密度迅速变化的状态。由于气体折射率的变化与其密度的变化成正比,而折射率的变化将使通过气体的光线有不同的光程,因此可通过干涉臂变化对干涉条纹图像效果的影响得到气体密度。实测中,采用图像采集卡和CCD来接收Mach-Zehnder干涉仪产生的条纹图像,再通过计算机对条纹图像的条纹间距进行处理,从而得到气体密度的变化状态。从光干涉理论出发,对Mach-Zehnder干涉条纹图像特征进行了分析,建立了Mach-Zehnder干涉条纹的数学模型,并根据此模型设计了处理Mach-Zehnder干涉条纹图像的算法。算法包括图像的预处理(即图像的噪声提取)、图像的二值化及图像的细化。     

平方协变差和连续半鞅的推广Ito^公式

令X是连续半鞅，f是R上的局部可积函数。本文我们将证明，只要∫0tf(Xs)ds存在，那么平方协变差存在且等于-∫Rf(a)daLta,Lat是X的局部时。因此对具有导数f的绝对连续函数F，有推广的Ito^公式F（Xt)=F(X0) ∫0tf(Xs)dXs 1/2[f(X),X]t。     

基于阿贝尔黑格斯变量的杨-米尔斯理论的红外阿贝尔化

通过SU(2)规范场的法捷耶夫-Niemi分解给出了有效阿贝尔-黑格斯型作用量的 一个计算方法. 具体指出了该分解中所用的自然规范固定以及阿贝尔投射与杨-米尔斯理论的红外动力学之间的内在关系. 推导出了色电场的一个伦敦型方程.