基于全变分正则化的高能闪光照相消模糊图像重建算法

 针对高能闪光照相投影图像消模糊难度大的问题,提出了一种基于全变分正则化的消模糊图像重建算法,该算法根据闪光照相的成像特点,将客体的纵向截面作为一个整体来进行建模,并在重建方程中考虑了模糊因素,然后采用全变分范数作为正则项,构建了用于消模糊图像重建的展平泛函,将消模糊图像重建问题转化为能量泛函极小化问题,通过固定点迭代算法求解图像重建问题的最小化解。数值模拟结果表明：该算法由于考虑了闪光照相成像时的图像模糊因素,在重建时能够较好地消除模糊对重建结果的影响,在抑制噪声的同时能较好地保持图像的边缘信息,有利于提高重建图像的质量。     

计算机控制光学表面成形中大规模驻留时间求解

采用基于稀疏矩阵的大规模非负最小二乘法,对大口径、微浮雕结构光学元件加工中的驻留时间进行了分析与求解,并对该算法开展了正则化研究。仿真结果表明:与传统非负最小二乘法相比,基于稀疏矩阵的大规模非负最小二乘法精度高、效率快。采用该算法仿真加工平均振幅为1.177 6倍波长的大口径、微浮雕结构光学元件,误差面形均方根收敛至0.067倍波长。     

两个四阶奇异微分算子积的自伴性

本文在区间[a,∞)上研究由具有任意亏指数的对称常微分算式ly:=y(4)-(py′)′+qy生成的两个四阶奇型微分算子Li(i=1,2)的积L2L1的自伴性.在0∈Π(L0(l))及l2在L2[0,∞)中是部分分离的假设条件下,借助实参数解对自共轭域的描述定理,获得两个四阶微分算子乘积自伴的充要条件,同时证明若L1和L2自伴,则L=L2L1自伴的充要条件是L1=L2,其中-∞a∞,2≤d≤4,Π(L0(l))是l在L2[a,∞)中产生的最小算子L0(l)的正则型域.     

第一类弱奇异核Fredholm积分方程的数值求解

第一类弱奇异核Fredholm积分方程由于奇异及本质的不适定性,给求解带来很大难度．本文首先利用克雷斯变换将方程转化,并对转化后的方程进行高斯一勒让德离散,得到一离散不适定的线性方程组,结合正则化方法对该类问题进行数值求解．最后给出了数值模拟,验证了本文方法的可行性及有效性．     

非线性椭圆型方程在多连通无界区域上非正则斜微商问题的近似解法（英文）

主要讨论求解一类二阶非线性一致椭圆型方程在多连通无界区域上非正则斜微商问题的近似方法.如果此方程和边界条件满足一定的条件,可以得到此边值问题的可解性结果.但是先要使用反证法,求得变态边值问题解的估计式,进而使用解的估计和连续性方法,得到变态边值问题的近似解,最后近似解的误差估计也可给出.     

拟完全正则半群的同余格上的一类关系(英文)

本文讨论拟完全正则半群的具有同一超迹的两个同余构成的同余格上的关系T,证明该关系是同余格上的完备关系,其等价类为区间.并确定对于完全正则半群同余进行关于T的底运算得到的同余.     

关于锥理论的一些注记

指出了再生锥和极小锥之间的关系,证明了一些具体锥的全正则性,探讨了半序空间中上确界的一些不同点,推广和发展了已有文献中的相关结论.     

一类球型区域上变系数反向热传导问题

考虑了一类球型区域上变系数反向热传导问题.这个问题是不适定的,即问题的解（若存在）并不连续依赖于测量数据.构造了投影迭代正则化方法,得到了该反问题的正则近似解,同时给出了在先验和后验参数选取规则下精确解与正则近似解之间的收敛性误差估计.最后,通过数值结果验证了该方法的有效性.     

LF拓扑空间的θ-近似良紧性(Ⅱ)

证明θ-近似良紧性是丰正则性质,是有限可积性质和L-好的推广.     

剩余格与正则剩余格的特征定理

本文进一步研究了具有广泛应用的一类模糊逻辑代数系统——剩余格，并引入了正则剩余格的概念，对剩余格与正则剩余格的定义进行了讨论，给出了剩余格与正则剩余格的特征定理，其中包含剩余格与正则剩余格的等式特征，从而这两个格类都构成簇．本文还讨论了剩余格与正则剩余格公理系统的独立性，以及它们与相近代数结构的关系．