非线性椭圆问题的非精确牛顿代数多重网格法

采用基于矩阵图集的粗化算法形成粗点集,构造改进的插值算子,结合V型多重网格法和瀑布型多重网格法的算法结构,提出了一种改进的代数多重网格（IAMG）法,并估计了该算法的计算量。将IAMG法运用于求解牛顿算法中线性校正方程,提出了求解非线性椭圆型问题的非精确牛顿代数多重网格（IN-AMG）法。数值实验表明与对比算法相比,IN-AMG法在求解线性校正方程方面的整体计算量更少、计算时间更短。     

基于覆盖的粗糙集代数

一个粗糙集代数是由集合代数加上一对对偶近似算子构成的。首先研究了两种类型的基于覆盖的粗糙集代数的相关性质,可以得到在经典覆盖的情形下,粗糙集代数没有很好的性质。为此,引入了单调的覆盖的概念,进而讨论了在单调覆盖的情形下粗糙集代数的相关性质,得到了许多很好的结果。
     

基于新非线性多重网格法的图像去噪

通过对差分曲率设置有效的限制算子和插值算子,构造了一种新的非线性多重网格法,并将此方法应用于基于差分曲率的TV^P模型.新方法与不动点迭代法的对比实验结果表明,新方法处理的图像峰值信噪比明显高于不动点迭代法,且收敛速度是不动点迭代法的2~3倍.     

二阶锥权互补问题的非单调非精确光滑牛顿法

【目的】将权互补问题引入到二阶锥上,研究二阶锥权互补问题。【方法】基于一个新的带参数的光滑函数,将二阶锥权互补问题转化为一组带参数的非线性方程组,并采用非单调非精确光滑牛顿法进行求解。【结果】在每次迭代中,该算法只需近似地求解一个非线性方程组且只需进行一次非单调线搜索。在适当假设下,证明该算法具有全局和局部二阶收敛性质。【结论】数值结果表明算法的有效性。
     

线性等式约束非线性最优化问题的一个新算法

有文献给出了一般等式约束非线性最优化问题的一种求解途径。在此基础上将线性等式约束非线性最优化问题转化为非线性最小二乘问题求解,提出了求解最优化问题的一种新思路。然后利用Gauss-Newton法求解非线性最小二乘问题,在求解过程中引入非精确的一维搜索,提高了计算的效率,加快了算法收敛的速度,从而找到了具有线性等式约束非线性最优化问题的一个新算法,算法具有很好的收敛性,收敛速度是二阶的。最后经过数值实验证明新算法与Matlab优化工具箱计算的结果一致,是可行的、有效的。
     

一类可解李代数的自同构群和Centroid代数

【目的】研究一类特殊的可解李代数的结构,此李代数以 Filiform 李代数为幂零根基。【方法】确定了以m维Filiform李代数为幂零根基的 m+1维可解李代数的自同构群同构于一有限阶矩阵乘法群。【结果】给出了此李代数的Centroid代数的矩阵表示。【结论】此可解李代数的 Centroid代数是一个 m+3维可解李代数。
     

求解二阶变系数椭圆边值问题的代数两网格法

通过设计一种简洁的粗化算法和一种有效的插值算子,构造一种代数两网格法.数值实验表明,对于变系数椭圆边值问题、间断系数椭圆边值问题、各向异性的椭圆边值问题,与通常的代数两网络法相比,新算法计算量更少,计算时间更短,稳健性更强.     

矩阵代数的一类导子的保交换性

设Mn(F)是特征为0 的域 F 上的 n×n 阶矩阵构成的代数,讨论 Mn(F)上的非退化导子的保交换性质,刻画了n>4 时这类导子的表达式中线性函数 f 与非退化矩阵 S 之间的关系： * ,该结论推广了Watkins 的研究成果。(注：*处代表公式)
     

一类非线性波动方程的柯西问题

文章主要考察一类非线性波动方程*的柯西问题解的存在性和唯一性。当*时，通过构造稳定集（位势井）W=*和不稳定集*，得到了W和V在上述方程的流下是不变的，并证明了如果初始能量.*，那么当初值*时，问题存在惟一整体解*；当初值*时，问题的解在有限时刻*发生爆破.（注：*表示公式，见正文）
     

向量优化中集合的一些拓扑与代数性质

在假设B下,证明了int(S+F)=int S+F,建立了两个集合拓扑闭包相等与拓扑内部相等之间的等价条件。结合Flores-Bazán 等人的思想, 基于集合的代数闭包和代数内部提出了假设B1。 在假设1B下,证明了cor(S+F)=cor S+F,得到了集合的代数闭包一定是代数闭集,代数内部一定是代数开集等结果。这些结果是对假设 B 下集合性质的进一步补充和拓展。
     

两阶椭圆边值问题的cascadic多重网格方法

证明了两阶椭圆边值问题的ｃａｓｃａｄｉｃ多重网格方法,对于ＰＩ非协调元、Ｃａｒｅｙ非协调元、Ｗｉｌｓｏｎ非协调元均可以达到最优。     

离散非线性系统的混沌同步问题

本文研究了离散非线性系统的混沌同步问题,即驱动系统为x(k+1)=f(x(k)),响应系统为x^(k+1)=f(x^(k))+u(k)构成的混沌系统的同步问题。基于Lyapunov稳定性理论给出了控制律的设计,选取控制律u(k)=-e(k+1)下,得到系统的Lyapunov函数一阶差分ΔV0,从而离散非线性系统及其时滞系统是混沌同步的,数值算例结果表明系统的误差曲线趋于同步,从而说明了该方法的有效性。     

解非线性不等式约束优化问题的非精确光滑牛顿法

针对非线性不等式约束优化问题，提出了一个基于Kanzow磨光函数的非精确光滑牛顿法．利用约束问题解的KKT条件及变分不等式将约束问题转化为求解方程组的问题，在适当的条件下，证明了算法的全局线性及局部二次收敛性．     

求解非线性规划问题的光滑牛顿法

提出了求解等式与不等式约束非线性规划问题的一种新的光滑牛顿法.该方法基于光滑化min函数.通过KKT条件,将原约束优化问题转化为等价的光滑方程组来求解,同时在较弱的条件下证明了该算法的全局收敛性.数值试验表明这一方法是有效的.     

线性二阶锥权互补问题的非精确非单调光滑化牛顿法

针对线性二阶锥权互补问题,提出一种新的非精确非单调光滑化牛顿法.首先,基于新的含参数光滑函数,将线性二阶锥权互补问题转化为一个光滑方程组;然后,给出求解该方程组的新非精确非单调光滑化牛顿法;最后,在半正定矩阵假设下,证明该算法全局收敛和局部超线性收敛.数值结果表明,该算法稳定、有效.     

椭圆型方程边值问题的拟多重网格预处理迭代法

利用多重网格法的思想,构造出一种求解椭圆型方程边值问题的预处理迭代格式,并给出了收敛性证明.特别地,对常系数方程得到了收敛速度与网格步长无关的最优结果.数值实验表明,所构造方法收敛速度较SOR法有显著提高,其迭代次数几乎与网格步长无关,迭代解逼近精确解的精度高而且稳定.