一种双星故障条件下RAIM可用性评估的改进方法

在总结已有的RAIM可用性评估的矩阵最大特征值方法(MMEM)基础上,改进已有的双星故障条件下RAIM可用性方法中的数学模型,提出RAIM可用性评估的极大值方法(MM)。基于给定的完好性风险参数和国际GNSS监测评估系统(IGMAS)提供的2020-09-06中国境内8个跟踪站的BDS实测数据,利用2种方法计算双星故障条件下水平保护级别(HPL),比较并分析2种方法在双星故障条件下BDS的RAIM可用性性能。结果表明,在中国境内,MMEM除在非精密进近(NPA)计算的RAIM可用性不及MM外,整体可用性高于MM,但MM耗时较少;MM计算的可用性能够完全满足航路和远洋2个阶段,MMEM计算的可用性可以完全满足终端、航路和远洋3个阶段;基于MM的RAIM可用性评估方法理论严密、数学模型简单、易于进行程序设计,是除MMEM外的另一种RAIM可用性评估方法。

带有奇异项Kirchhoff型方程正解的存在性

考虑带有奇异项的Kirchhoff型方程,以获得该方程正解的存在性。首先,利用嵌入定理与范数的弱下半连续性,证明能量泛函可以达到全局极小值。其次,利用单调收敛定理,证明全局极小值为正。最后,利用极小极大值方法,得到该方程正解的存在性结果。

构建三维参数空间区分完全基因组中的编码和非编码序列

发现编码序列和非编码序列中有明显的尺度联系的存在性会给弄清DNA序列带来新的前景,这就促使我们去寻找新的方法来描述和区分编码和非编码序列。在这篇文章中,首先采用数值序列来表示DNA序列,然后以多重仿射性分析和Hlder指数形式来得到三个指数,并以此构建参数空间。每个编码或非编码序列就被表示为这个三维参数空间之中的一个点。在这个参数空间中,完全基因组中的编码序列和非编码序列被粗略地分开到两个不同的区域。

带有奇异性的Kirchhoff-Schrdinger-Poisson系统解的唯一性

考虑带有奇异性的Kirchhoff-Schrdinger-Poisson系统,以获得该系统解的唯一性结果.首先证明能量泛函可以达到全局极小值,其次证明该系统解的存在性,而由于方程中存在奇异项,不能直接利用临界点理论,文章利用极小极大值方法以及单调收敛定理来进行证明,最后得到解的唯一性结果.