基于高斯过程的中心差分卡尔曼滤波在BDS/INS组合导航中的应用

针对扩展卡尔曼滤波器在BDS/INS组合导航系统模型不确定时精度下降的问题,提出了一种基于高斯过程的中心差分卡尔曼滤波算法(GP-CDKF)。在训练数据有限的情况下,用中心差分卡尔曼滤波(CDKF)来估计组合导航系统的状态向量;同时高斯过程可以考虑CDKF中的噪声和不确定性。因此,将高斯过程引入到CDKF中,可以进一步提升导航性能。试验结果表明,GP-CDKF与CDKF算法相比,东向、北向位置误差分别降低16.4%、57.1%,东向、北向速度误差分别降低15.9%、23.3%,说明GP-CDKF算法在动态系统状态估计方面优于CDKF算法。将GP-CDKF应用于BDS/INS组合导航系统中,可以有效提高导航性能。     

变截面微管道中高zeta势下幂律流体的旋转电渗滑移流动

本文研究高zeta势下具有Navier滑移边界条件的幂律流体,在变截面微管道中的垂向磁场作用下的旋转电渗流动.在不使用Debye–Hückel线性近似条件时,利用有限差分法数值计算外加磁场的旋转电渗流的电势分布和速度分布.当行为指数n=1时得到的流体为牛顿流体,将本文的分析结果与Debye–Hückel线性近似所得解析近似解作比较,证明本文数值方法的可行性.除此之外,还详细讨论行为指数n、哈特曼数Ha、旋转角速度?、电动宽度K及滑移参数β对速度分布的影响,得到当哈特曼数Ha>1时,速度随着哈特曼数Ha的增加而减小;但当哈特曼数Ha <1时, x方向速度u的大小随着Ha的增加而增加.     

撰稿指南

1.凡投稿,请一律将作者的姓名、简介、所在单位、通讯地址、邮政编码、联系电话、传真、E-mail等个人信息全部放在与正文内容相独立的首页,个人信息应尽量完整、准确,以便编辑部及时与作者联系.2.因投稿量大,无论本刊采用与否,概不退稿,请作者自留底稿,投稿者勿一稿多投,若作者在投稿后一个半月仍未接到采用通知,可自行处理稿件.投稿一个半月后可与责任编辑联系查询稿件的受理情况,查询电话见版权页,也可到www.hbzxsx.com网站查询.     

一类新的(2n-1)点二重动态逼近细分

利用正弦函数构造了一类新的带有形状参数ω的(2n-1)点二重动态逼近细分格式.从理论上分析了随n值变化时这类细分格式的C~k连续性和支集长度;算法的一个特色是随着细分格式中参数ω的取值不同,相应生成的极限曲线的表现张力也有所不同,而且这一类算法所对应的静态算法涵盖了Chaikin,Hormann,Dyn,Daniel和Hassan的算法.文末附出大量数值实例,在给定相同的初始控制顶点,且极限曲线达到同一连续性的前提下和现有几种算法做了比较,数值实例表明这类算法生成的极限曲线更加饱满,表现力更强.     

求解一维定常对流扩散反应方程的混合型紧致差分格式

借助显式紧致格式和隐式紧致格式的思想,基于截断误差余项修正,并结合原方程本身,构造出了一种求解一维定常对流扩散反应方程的高精度混合型紧致差分格式.格式仅用到三个点上的未知函数值及一阶导数值,而一阶导数值利用四阶Pade格式进行计算,格式整体具有四阶精度.数值实验结果验证了格式的精确性和可靠性.     

三维热传导方程的高精度有限差分方法

提出了数值求解三维热传导方程的一个四阶精度的有限差分格式,首先对三个空间方向上的二阶导数项,采用四次样条函数来近似,从而得到半离散的常微分方程.然后利用常微分方程的解析解表达式,时间矩阵利用Padé近似,得到时间和空间均为四阶精度的差分格式.最后利用方法计算了两个数值算例,并与文献中结果进行了对比,从而验证了高精度格式的性能.     

EFK方程一个新的低阶非协调混合有限元方法的高精度分析

对Extended Fisher-Kolmogorov(EFK)方程,利用EQ_1~(rot)元和零阶RaviartThomas(R-T)元建立了一个新的非协调混合元逼近格式.首先,证明了半离散格式逼近解的一个先验估计并证明了逼近解的存在唯一性.在半离散格式下,利用上述两种元的高精度分析结果以及这个先验估计,在不需要有限元解u_h属于L~∞的条件下,得到了原始变量u和中间变量v=-?u的H~1-模以及流量p=u的(L~2)~2-模意义下O(h~2)阶的超逼近性质.同时,借助插值后处理技术,证明了上述变量的具有O(h~2)阶的整体超收敛结果.其次,建立了一个新的线性化向后Euler全离散格式并证明了其逼近解的存在唯一性.另一方面,通过对相容误差和非线性项采取与传统误差分析不同的新的分裂技巧,分别导出了以往文献中尚未涉及的关于u和v在H~1-模以及p在(L~2)~2-模意义下具有O(h~2+τ)阶的超逼近性质,进一步地,借助插值后处理技术,得到了上述变量的整体超收敛结果.这里h和τ分别表示空间剖分参数和时间步长.最后,给出了一个数值算例,计算结果验证了理论分析的正确性.     

改进种群多样性的双变异差分进化算法

差分进化算法(DE)是一种基于种群的启发式随机搜索技术,对于解决连续性优化问题具有较强的鲁棒性.然而传统差分进化算法存在种群多样性和收敛速度之间的矛盾,一种改进种群多样性的双变异差分进化算法(DADE),通过引入BFS-best机制(基于排序的可行解选取递减策略)改进变异算子"DE/current-to-best",将其与DE/rand/1构成双变异策略来改善DE算法中种群多样性减少的问题.同时,每个个体的控制参数基于排序自适应更新.最后,利用多个CEC2013标准测试函数对改进算法进行测试,实验结果表明,改进后的算法能有效改善种群多样性,较好地提高了算法的全局收敛能力和收敛速度.     

复微分-差分方程组的超越整函数解

利用亚纯函数的Nevanlinna值分布理论, 我们主要研究了一类复微分-差分方程和一类复微分-差分方程组的有限级超越整函数解的存在形式, 得到两个有趣的结论. 将复微分(差分)方程的一些结论推广到复微分-差分方程(组)中.     

关于半clean群环

环$R$称为是半clean的, 是指环中的每个元素都是一个单位与一个周期元的和. clean环是半clean的. 刻画半clean群环的一般情形是不容易的. 我们的目的是考虑如下问题：若$G$ 是局部有限群或者是阶是3的循环群, 群环$RG$何时是semiclean的. clean群环上的一些已有结果被推广.