一种新的平衡对称布尔函数的构造和计数方法

平衡对称布尔函数的构造与计数等价于二元域上某个含有n个变量背包方程的求解与解的计数.对平衡对称布尔函数的构造方法进行研究,通过寻找特定的组合恒等式来化简特定元背包方程,进而求出特定元背包方程的部分非平凡解,并对部分平衡对称布尔函数的计数下界作了较好的改进.     

十二个新的数学问题(1)

本文提出了十二个新的数学问题,其内容包括函数方程问题、吴伟朝共轭型函数方程、不定方程问题、组合数学问题、平面欧氏几何问题、数论问题、ABC猜想的推广命题等等。     

强迫振动下Duffing方程的摄动解分析

讨论了强迫振动下的非线性 Duffing 方程的摄动问题。 运用多重尺度法构造出渐近近似解,最后通过Gronwall 不等式对余项进行估计,证明了近似解的一致有效性。     

热带地区几个珍贵树种干形曲线研究

准确描述热带珍贵树种的林木干形变化,可为预估各材种数量、蓄积量及合理造材提供支撑。以热带格木、红锥和柚木3个珍贵树种,共120株解析木为研究对象,利用简单削度方程、分段削度方程和可变指数削度方程分别构建格木、红锥和柚木3个热带树种的干形曲线方程,通过相关指数、剩余残差平方和、平均残差、残差方差和均方误差统计量比较分析,找出最佳削度模型作为3个树种最终的干形曲线方程,并对各曲线变化趋势进行了初步的定量分析。结果表明,所选的3类典型基础模型对每个树种的预估效果都很好,其中基于双因素自动优选法拟合且以分段削度方程构建的干形曲线预估效果最好。3个树种的干形曲线变化趋势表明:相对高在(0~0.8)时,柚木干形变化最大,红锥干形变化最小,格木干形介于二者之间;当相对高0.8时,红锥干形变化最大,格木和柚木干形变化几乎相同。因此,基于双因素自动优选法拟合的分段削度方程可作为3种热带树种的干形曲线方程,用于3种珍贵树种活立木蓄积量和材种数量的估计,以及指导合理造材。     

数值级数法求解时滞抛物型方程

利用数值级数法求解时滞抛物型方程,特点是对方程离散后(半离散)将数值解用级数的形式表示.通过对离散后方程(半差分格式)收敛性、稳定性的分析可以看出该格式收敛且稳定.数值算例表明该方法还有很高的精度.     

求解对流扩散方程的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误差模型中坐标系不一致问题的影响，可在一定程度上提高组合导航系统的性能。     

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

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

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

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

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

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