简介:利用变分原理研究超线性常微分p-Laplace系统周期解的存在性.在带有脉冲和阻尼作用项时,根据易一型山路定理,得到了系统多重周期解的存在性.
简介:针对传统基于g信息的粗对准的捷联惯导系统中,受传感器噪声的影响,存在效视运动无法提取和双向量共线的缺点,提出了一种基于改良Kalman滤波的参数辨识粗对准方法。该方法通过构建视在重力在初始载体系中的映射模型,利用改良Kalman滤波进行模型参数辨识,然后通过识别参数重新构建视在重力在初始载体系中的映射,解决了由于传感器噪声导致有效视运动无法正常提取的缺点。利用识别参数具有随估计次数增多得到优化的特点,构造初始时刻和最终时刻向量,避免双向量共线问题。利用改良Kalman滤波算法的自适应特点,优化参数识别精度与速度。转台实验表明,采用改良Kalman滤波方法航向对准精度为-0.0414°,标准差为0.041°,而传统RLS方法得到的航向精度为-0.0738°,标准差为0.128°。由此可知,本文提出的方法性能更优。
简介:本文得到了C*-代数值度量空间中的一些不动点定理,其结果改进并推广了马振华等人发表在2014年《不动点理论及其应用》一文中的工作.而且,运用所得到的结果,获得了一类常见积分方程解的存在性和唯一性定理.
简介:文章通过对EFM(effectivefieldmodeling)模型进行简化,消除了原模型的非守恒性项和非双曲性特性项,发展了一种基于密度的气液两相流模拟方法:ρ-VOF方法.利用体积分数信息对控制单元内的自由界面进行重构,得到了控制单元内流体的空间分布,并采用AUSM^+-up格式获得考虑气液流体接触间断信息的对流通量.新方法可统一处理激波间断和接触间断的相互作用,保持自由界面的尖锐性,并且其计算量与自由界面的空间复杂度无关.最后,数值模拟了液体激波管气液激波管和气体激波跨二维液滴传播等问题,并与文献结果进行对比,验证了本方法在气液两相流模拟中的准确性.
简介:使用高阶间断Galerkin(discontinuousGalerkin,DG)方法求解双曲守恒律方程组时,非物理效应常常导致计算过程的中断,这在很大程度上制约着该方法在计算流体力学中的应用.文章结合局部单元上原始流动变量的Taylor展开,设计了一种新型的限制器,通过对各阶空间导数的重构,有效地消除了非物理振荡的不利影响.对二维Euler方程的计算结果表明,该限制器不仅能够捕捉高质量的激波,而且能够保证残值的有效收敛.