发展型方程的快速Legendre谱τ逼近

摘要：以发展型模型方程为背景，建立了半离散和全离散的Legendre谱τ格式，并用反向递推法和奇偶分解法建立了Legendre谱τ方法的快速算法，在每一时间层上，其运算量仅为O(N)．运用离散能量法严格证明了全离散格式在时空方向的收敛阶分别为τ^2和N^1-m．数值结果显示了算法的有效性．     

关于M(x)=o(x)的一个初等证明

本文的主要结果为:设μ(n)是M?bius函数,x>0为实数,若M(x)=■,则M(x)=o(x),x→∞.完成了该定理的初等证明.     

网的收敛与分离公理

用Ｍｏｏｒｅ－Ｓｍｉｔｈ收敛给出了一个拓扑空间分别是Ｔ０，Ｔ１，正则，正规空间的充要条件．     

M矩阵的判定与证明

M矩阵是计算数学中应用极其广泛的矩阵类。本文对n阶方阵A是否为M矩阵给出了几个新的判定定理,并得到结果:(2|aii|-iα)(2|ajj|-jβ)jαiβ,这一结果比过去的结果有明显的进步。     

基于F-B函数的牛顿法解一般约束优化规划问题

文章给出了一个解决一般约束最优化问题的含调节参数型的牛顿算法.算法有两个重要特征,首先,算法借助Lagrange函数和NcP中的F-B函数,通过构造等价于点条件的线性方程组采处理一般约束优化问题,其次,利用F-B函数的光滑性质,定义了调节参数,从而弱化了K-T点条件.文章在适当的条件下,证明了该算法具有全局收敛性.数值实验表明算法有效.     

基于代数变换求解P0阵线性互补问题的不可行内点算法

基于代数变换和KMM算法的框架,通过在牛顿方程中嵌入一种自调节功能,提出了一种新的求解P0阵线性互补问题的不可行内点算法,并证明了该算法的全局收敛性.     

卡尔曼滤波过程的稳定性研究

卡尔曼滤波器的稳定性并不能保证实际的滤波器算法具有收敛性,而传统的关于滤波发散的判定方法是基于量测不能出现野值这一严格的假设条件,具有一定局限性;并且通常关于滤波发散只是一种定性的描述,具有一定模糊性。为此,考虑到量测可能出现野值的情况,从滤波发散的具体数学形式出发,提出了卡尔曼滤波过程的稳定性概念,在此基础上给出了滤波发散的判定定理,既消除了通常关于滤波发散描述的模糊性,又降低了通常判定方法的要求。     

流动注射化学发光增强法测定酪氨酸

在Na2CO3-NaHCO3介质中,酪氨酸对Luminol-K3Fe(CN)6化学发光体系有很强的增敏作用.据此建立了流动注射化学发光增强法测定酪氨酸的方法.发光信号的增强值(ΔI)与酪氨酸的浓度在5.0×10-5～4.0×10-7mol/L的范围内呈良好的线性关系,检出限为1×10-7mol/L(S/N=3),对于1.0×10-6mol/L的酪氨酸测定相对标准偏差为2.4%(N=11).该法用于测定医用氨基酸注射液中的酪氨酸,结果令人满意.     

标准两步法的收敛性与鲁棒性分析

本文针对线性二次型稳态优化控制问题,详细地讨论了标准两步的收敛性、收敛速度、次优程度和鲁棒性。本文还讨论了带有随机量测噪声的情形,提出了一种改善鲁棒性的简单方法。