两类n+3阶n色的色唯一图

用Tn(a,b,c)表示完全图Kn及其外一边uw作一些边后得到图,使|N(u)∩V(Kn)|=a,|N(w)∩V(Kn)|=b,|N(u)∩N(w)∩V(Kn)|=c.Tn(a,b,c)的边uw剖分一个顶点v得到的图为Fn(a,b,c).研究Fn(a,b,c)的色性问题,并给出Fn(a,b,c)是色唯一图的两个充分条件.     

求解对流扩散方程的Pade’逼近格式

对空间变量应用中心差分格式离散,时间变量采用指数函数的Pade’[2/1]逼近,构造了对流扩散方程的精度为O(τ3+h2)的绝对稳定的隐式差分格式,并对其稳定性进行了讨论,将数值实验结果与Crank-Nicholson格式进行比较,验证了文中方法的有效性.     

基于状态变换卡尔曼滤波的DVL/SINS组合导航算法

针对捷联惯性导航系统(strapdown inertial navigation system, SINS)误差定义存在的坐标系不一致的问题，将速度误差统一投影在真实导航坐标系中，基于状态变换Kalman滤波推导了更严密的SINS姿态、速度和位置误差方程。进一步地，在新定义的速度误差和SINS误差方程的基础上，构建了改进的多普勒计程仪(Doppler velocity logger, DVL)/SINS组合导航卡尔曼滤波状态模型和量测模型。仿真和船载实验表明，与常规DVL/SINS卡尔曼滤波模型相比，所提算法可以处理传统DVL/SINS误差模型中坐标系不一致问题的影响，可在一定程度上提高组合导航系统的性能。     

带导数项的非经典反应扩散方程时间依赖全局吸引子

考虑了带导数项且非线性项满足临界指数增长时非经典反应扩散方程解的动力学行为.首先采用先验估计得到了过程的时间依赖有界吸收集的存在性；其次用收缩函数的方法获得了过程族的渐近紧性，从而证明了时间依赖全局吸引子的存在性.     

具有空间扩散的随机种群系统的最优控制

讨论了一类具有空间扩散的随机种群系统的最优控制问题,利用随机极大值原理,伴随方程以及伊藤公式,证明了当外界扰动为线性时,最优控制存在的充分必要条件.结果可为随机种群扩散系统最优控制问题的实际研究提供理论基础.     

热传导方程的一类区域分解差分算法

把求解区域分成若干个子域,在不同子域中采用不同的计算步长,对方程的紧差分格式在特殊情形下采用区域分解法,并给出相应的先验误差估计式。     

一类多维的线性Fredholm积分方程的数值解

本文将讨论一类多维Fredholm方程的一种近似解，过利用多元函数的Taylor展开式，积分方程被转化为一个关于未知函数的Taylor系数的方程组，最后给出方程的数值解法。     

关于两个Diophantine方程解的讨论

Diophantine方程一直是数论中引人关注的课题,本文研究了方程54k＋1=q3和与阶乘相关的方程n∑k=1 k!=q^m±3解的情况,给出这两个方程所有解。     

几类Riccati方程的求解

根据黎卡提(Riccati)方程与二阶变系数微分方程的关系,给出了几个可用初等方法求解的黎卡提方程的类型,并通过实例说明所给类型的黎卡提方程的求解.     

具多偏差变元的p-Laplacian方程周期边值问题的可解性

本文研究了一类具多偏差变元的p-Laplacian方程周期边值问题的可解性,利用度理论得到了存在周期解的新条件.