带1-范数约束的分裂可行问题的投影算法

本文主要研究带1-范数约束的分裂可行问题的求解算法.用一种交替投影算法,求得了问题的解,提出松弛交替投影算法,改进了直接往闭凸集上投影这一不足,并证明了该算法的收敛性.     

一类非线性椭圆方程的刘维尔型定理

设（Mⁿ,g）是一个n维非紧的完备黎曼流行.本文考虑有正解的非线性椭圆方程△_fu+au log u=0的刘维尔型定理,其中a是一个非零常数.利用Bochner公式和极大值原理,获得了以上方程在Bakry-Emery里奇曲率有下界时正解的Li-Yau型梯度估计和某些有关的刘维尔理论,推广了文献[7]的结果.     

具有非线性热源项的耦合杆系统

主要以经典的算子半群理论为依据,研究了一类具有非线性热效应的耦合杆系统的长时间行为.首先在齐次边界条件和初始条件下,证明了系统解的存在唯一性;其次通过渐近先验估计,证明了系统有界吸收集的存在性;最后利用算子半群的分解技巧,得到了系统全局吸引子的存在性.     

广义算子半群的PERRON问题

借助于广义算子半群和广义积分算子半群的关系,讨论广义算子半群的Perron型指数稳定性,研究了广义积分算子半群的渐近行为.     

拟一致无迹卡尔曼滤波算法北大核心CSCD

针对一般的非线性系统,研究了无迹卡尔曼滤波(UKF)算法的一致性问题.通过对传统UKF算法的修正,提出了拟一致UKF(QCUKF)算法,同时给出了修正参数的选取准则,并且在理论上证明了所提算法的拟一致性.当算法具有拟一致性时,估计精度可被实时评估.最后,通过仿真实例说明了所提算法的可行性以及拟一致性.     

抽象空间中非线性算子方程变号解的存在性研究

利用Banach空间中的锥理论和不动点定理讨论了非线性算子方程变号解的存在性,给出了E_u_0空间下非线性算子方程变号解至少有一个变号解、一个正解和一个负解的条件,并讨论了仅通过一个上解条件得出非线性算子方程变号解的存在性定理.     

基于函数系数自回归模型的风速时间序列预测

准确预测风电场风速是解决风能对电力系统所造成的安全、稳定运行和电能质量等问题的有效途径之一.风速的难以预测是由于它的高度随机和非线性.基于一种非参数的非线性自回归随机模型来预测风速,模型的自回归系数随模型依赖变量的变化而变化,因而它有灵活的非线性结构.数值实验和比较结果表明了这种函数系数自回归模型在风电场风速预测中的有效性.     

深入研究模糊逻辑的必要性与紧迫性

因为"取大取小"不是数学计算,所以基于"取大取小"的模糊逻辑不能为数值转换提供算法支撑,使得模糊理论面临无合适模型可用的被动境地.指出,模糊逻辑是逻辑的一个新的近似推理研究方向,它的量化方法是数值计算;目的是支撑隶属度转换,使得由指标隶属度确定的目标隶属度是"真值"在当前条件下的最优近似.模糊逻辑是在隶属度转换条件下对人类近似推理本领规范的一种方法.而进行规范的依据是区分权滤波的冗余理论,实质性计算是由冗余理论导出的、实现隶属度转换的非线性去冗算法;相应的隶属度转换模型是非线性数学模型.     

三维空间中带非线性阻尼项的等熵欧拉方程组轴对称解的爆破

研究了三维空间中带非线性阻尼项的可压缩等熵欧拉方程组Dirichlet初边值问题.采用泛函方法,定义几种不同的泛函,当初始速度足够大时分别得到了经典解在某一时间内必定爆破的结论.由于出现了非线性阻尼项,较之线性阻尼的情形,经典解爆破的难度随之增加.     

B-矩阵线性互补问题的误差界估计

利用严格对角占优M-矩阵的逆矩阵的无穷大范数的范围,给出了B-矩阵线性互补问题误差界新的估计式.相应数值算例表明了结果的有效性.