Uzawa型算法的收敛性分析及Stokes问题求解

对求解鞍点问题的不精确Uzawa 算法及非线性不精确Uzawa 算法进行研究,给出这些算法收敛的一些新的充要条件或充分条件及收敛速度估计. 并将算法应用到Mini 元离散求解Stokes 问题中,通过数值计算验证所得结论的正确性.     

Dashnic-Zusmanovich+矩阵线性互补问题解的误差界估计

利用Dashnic-Zusmanovich₊矩阵的定义,通过不等式放缩技巧和Dashnic-Zusmanovich矩阵逆的无穷范数估计式得到Dashnic-Zusmanovich₊矩阵线性互补问题解的误差界.     

烟气林格曼黑度监测问题探讨

林格曼黑度是一种方法简单、成本低、能快速半定量化地评价烟气中颗粒态污染物浓度高低的监测手段。本文通过对现场监测过程中发现的问题进行深入分析,明确了现场监测的注意事项,提出了解决问题的方法和思路,对烟气林格曼黑度监测具有一定借鉴意义。     

一类离散左定Sturm-Liouville问题的谱

考虑了边界条件依赖特征参数的一类离散左定Sturm-Liouville问题的谱,得到了特征值的交错性以及特征函数的振荡性。     

可折叠集装箱接驳运输问题的建模与优化

对一类带时间窗的可折叠箱接驳运输问题进行了研究,其中使用可折叠箱在堆场与客户之间集散货物,一辆集卡可装载一个满箱或多个空箱,目标为集卡总工作时间的最小化.借鉴确定的活动在顶点上的图的思想,将该问题分解为满箱子问题和空箱子问题,其中满箱子问题类似于带时间窗的多旅行商问题,空箱子问题因客户的货物量可为负值而显著区别于车辆路径问题,且两个子问题之间存在访问时间耦合等关联.进而建立了问题的数学描述,设计了问题的主动禁忌搜索(reactive tabu search,RTS)求解算法,并基于随机生成的大量算例验证了算法的有效性.结果表明,相比于使用CPLEX等优化软件,RTS算法可以在更短的时间内求得问题的更优解;相比于使用标准箱的情形,使用可折叠箱可节省约13%的接驳成本.     

二阶椭圆混合问题的三棱柱单元逼近

针对二阶椭圆混合问题,构造了一个新的三棱柱单元,分析了该单元的适定性,利用Falk-Osborn方法,证明了单元满足离散inf-sup条件,进而给出了误差估计结果.     

左交换代数的“自由定理”

设X是一个有限集,LC(X)表示由$X$生成的自由左交换代数;$f\in LC(X)$, Id(f)表示LC(X)的由f所生成的理想. 对于任意的$h$, 是否存在一个算法可以判断出$h\in Id(f)$或$h\notin Id(f)$?为了研究这个问题, 文中应用Gr\{o}bner-Shirshov 基理论的思想方法在自由左交换代数的线性基底上定义了一个良序,证明了这个良序保持运算,重写了由一个多项式所生成的自由左交换代数的理想的元素的表达式. 证明了一个定义关系的左交换代数具有可解的字问题并得到了左交换代数的自由定理.     

一类Minimax分式规划问题的迭代算法

对一类Minimax分式规划问题(MFP)提出一个迭代算法.首先通过引进变量和指数变换,将问题(MFP)等价转化为问题(Q),然后利用代数-几何平均不等式以及合适的转化过程,将等价问题(Q)压缩为凸规划问题(Q).从而根据选择不同的点所对应的压缩问题(Q),将原问题的求解过程转化为求解一系列的凸规划问题.数值实验表明算法是可行有效的.