非线性半定规划的逐次线性化柔性惩罚法

针对非线性不等式约束半定规划问题提出一种新的逐次线性化方法, 新算法既不要求罚函数单调下降, 也不使用过滤技巧, 尝试步的接受准则仅仅依赖于目标函数和约束违反度, 罚函数中对应于成功迭代点的罚因子不需要单调增加. 新算法或者要求违反约束度量有足够改善, 或者在约束违反度的一个合理范围内要求目标函数值充分下降, 在通常假设条件下, 分析了新算法的适定性及全局收敛性. 最后, 给出了非线性半定规划问题的数值试验结果, 结果表明了新算法的有效性.     

考虑CTL免疫饱和作用及自我增殖的HIV模型的性态分析

建立了具有CTL免疫饱和作用及自我增殖的病毒动力学模型,通过构造Lyapunov函数,得到了模型的全局稳定性.特别地,当CTL自我增殖率比较大时,如果基本再生数小于阈值,无感染但免疫激活平衡点始终存在且全局渐近稳定,这意味着在HIV感染中虽然病毒被清除,但免疫效应始终存在.而当CTL自我增殖率不足时,免疫饱和效应可能导致免疫功能受到抑制.进一步通过数值模拟发现,忽略免疫饱和作用会过高估计免疫效应.     

一种新的自适应非单调牛顿算法（英文）

本文针对无约束优化问题,提出一种新的自适应非单调线搜索技术.基于新的非单调线搜索技术,提出一种自适应非单调牛顿算法.在适当的假设下,证明了新的算法的全局收敛性.数值结果表明了该算法的可行性和有效性.     

The Cubic B-Spline Method for a Class of Caputo-Fabrizio Fractional Differential Equations北大核心CSCD

基于分数阶微积分基本定理和三次B样条理论,构造了求解线性Caputo-Fabrizio型分数阶微分方程数值解的三次B样条方法,利用分数阶微积分基本定理将初值问题转化为关于解函数的表达式,再使用三次B样条函数逼近表达式中积分项的被积函数,进而计算了一类Caputo-Fabrizio型分数阶微分方程的数值解.给出了所构造的三次B样条方法的误差估计、收敛性和稳定性的理论证明.数值实验表明,该文数值方法在求解一类Caputo-Fabrizio型分数阶微分方程数值解时具有一定的可行性和有效性,且计算精度和计算效率优于现有的两种数值方法.     

利用对称正交逼近求解对称张量的MSOA算法

本文在Pan等工作的基础上,提出了一种修正的对称正交分解方法(MSOA)来逼近实对称张量.为讨论实对称张量的对称正交逼近,首先将其转化为具有等式约束的极小化问题来进行理论分析,在算法中使用自适应带位移的乘幂法来求解特征向量,同时给出了该算法的收敛性分析.最后通过数值实验验证了对该算法所做的理论分析.数值结果表明,我们提出的算法是稳健和有效的.     

带非线性源项的Riesz回火分数阶扩散方程的预估校正方法

本文针对带非线性源项的Riesz回火分数阶扩散方程,利用预估校正方法离散时间偏导数,并用修正的二阶Lubich回火差分算子逼近Riesz空间回火的分数阶偏导数,构造出一类新的数值格式.给出了数值格式在一定条件下的稳定性与收敛性分析,且该格式的时间与空间收敛阶均为二阶.数值试验表明数值方法是有效的.     

半线性抛物最优控制问题全离散插值系数有限元方法的收敛性分析

本文考虑全离散插值系数有限元方法求解半线性抛物最优控制问题,其中控制变量用分片常数函数逼近,状态变量和对偶状态变量用分片线性函数逼近.对于方程中的半线性项,先用插值系数技巧处理,再用牛顿迭代法求解.通过引入一些辅助变量和投影算子,并利用有限元空间的逼近性质,得到半线性抛物最优控制问题插值系数有限元方法的收敛性结果;数值算例结果验证了理论结果的正确性.     

一种解非线性方程组的不精确牛顿——兰索斯方法

本文提出一种不完全线搜索技术的不精确牛顿—克雷洛夫(Newton-Krylov)子空间方法解对称非线性方程组,其中克雷洛夫子空间方法采用的是兰索斯(Lanczos)类分解技术.迭代方向是通过使用兰索斯方法近似求解非线性方程组的牛顿方程获得的.在合理的假设条件下,分析了算法的全局收敛性和局部超线性收敛速率.最后,数值结果显示了该算法的有效性.     

一类含平方、立方非线性项1:2内共振两自由度系统的全局分岔

研究了一类含平方、立方非线性项的两自由度系统的全局分岔。首先应用多尺度法求解其平均方程 ,然后通过一系列变换得到一个近似可积的两自由度系统。应用能量 相位准则 ,确定了在哈密顿共振时Silnikov轨道存在的条件。通过数值计算验证了此条件。     

计算具有区间参数结构的固有频率的优化方法

基于区间函数的单向包含性质，把具有区间非确定参数结构的固有频率所在区间范围问题 转化成两个全局优化问题，并采用一种实数编码遗传算法求取问题的全局解. 用一种能够求 得剪切型结构和弹簧质量系统特征值范围精确解的单调分析方法进行检验. 在一 些文献中，直接采用区间数运算法则和有限元法得到结构区间刚度阵和区间质量阵，并把关 于该区间刚度阵和区间质量阵的广义区间特征值问题的特征值区间作为待求的非确定性结构 的特征值所在的区间范围，该方法易于扩大问题的解域. 算例表明，可望得到结构 固有频率区间范围的准确解.