基于子集包含减少ARAIM子集数量的方法

先进接收机自主完好性监测（ARAIM）技术可用于多星座组合定位时的完好性监测，ARAIM技术子组推荐的多假设分离解（MHSS）标准算法，存在子集数量过多带来大量计算负载的问题。针对此问题，在双星座组合定位情景下，通过分析子集之间的包含关系及空间位置精度因子（PDOP）的变化，提出了使用一个子集代替多个子集减少子集数量的方法。所提方法可以明显地减少子集数量，不同参数下的仿真结果表明，优化后的算法效率至少提高2倍以上，并且优化前后的ARAIM可用性变化最大不超过3%。      

关于微分方程的有理式解的存在性问题

许多非线性微分方程一般都是不可积的。例如Ｒｉｃｃａｔｉ方程。本文主要利用在文「４」中得到的一个定理，通过构造微分方程的线性算子的方法，得到了一个关于微分方程的算子矩阵，从这个算矩阵向量的线性相关性得到了微分方程存在有理式解的充分必要条件，并举例给出了求有理式解的具体方法。     

喉衬热结构数值分析

本文采用变分原理有限元法计算喉衬内部的温度、热应变和热应力分布及其随时间变化,并给出计算程序框图。与解析解相比,温度及应力计算具有相当的精度,工程计算亦取得良好效果。     

Bessel大地解算的特殊问题及程序设计

基于在进行Bessel大地解算程序设计中的特殊情况，阐述了处理这些特殊条件下大地解算的方法。给出了能简便地实现起算点位于南半球时的大地解算方法的严格证明及其方法。最后，设计了一套简洁、高效、合理的Bessel解算程序的流程图和类的构造方法。     

航天飞机最优再入轨迹的近似解析解及分析

本文将航天飞机最优再入轨迹假设为三个飞行段,即常值热流飞行段、平衡滑翔飞行段,等阻力过载飞行段,由此导出了最优再入轨迹的近似解析解。通过对解析解的结构分析,以及与精确数值解的比较,说明了该三段假设的合理性,以及近似解的次优性。     

加权残值法在导弹翼面计算中的应用

加权残值法(MWR)是一种求解微分方程近似解的数值方法,与有限元法(FEM)的不同之处在于,它不完全抛弃理论解,而且不依赖于能量泛函,因此它可以弥补FEM的某些不足之处。另外,用MWR解题对计算机的要求很低,故特别适合于在微机上推广应用。目前国内外MWR方面的文章很多,但是将MWR用于实际的工程。结构方面的文章并不多见,本文就是试图在这方面做一点工作。作者用最小二乘配点法,以双重幂函数为试函数,对某战术导弹的翼面进行了计算,得出了比较合理的结果,并给出了全部推导过程。     

非光滑Fuzzy多目标规划的Fuzzy有效解的Mond-weir型对偶定理

本文研究具有Fuzzy约束的非光滑Fuzzy多目标规划（FVP），利用分明多目标规划建立了（FVP）的Mond-Weir型对偶模型，得到了Fuzzy有效解的弱对偶、直接对偶和逆对偶定理。     

次正定矩阵和次亚正定矩阵行列式的不等式

论文提出了k-局部次完全对称矩阵的概念，研究了次正定矩阵和次亚正定矩阵行列式的不等式，对现有的一些结果作进一步的推广。