一种适合于斜视TOPS SAR的改进PFA成像方法

针对斜视循序扫描地形观测(TOPS)合成孔径雷达(SAR)成像模式,对广义极坐标格式算法(PFA)进行改进,提出了一种先线性走动校正(LRWC)后PFA插值的成像方法。利用LRWC显著降低了距离向与方位向的耦合,简化了距离单元徙动校正过程。走动校正后方位向采样依然是均匀的,因此方位向插值可采用Chirp-Z变换快速实现。对于波束扫描及走动校正引起的多普勒调频率的方位空变问题,采用方位非线性变标(ANCS)的方法进行统一校正,大幅提高了方位向的聚焦深度,扩大了可良好聚焦的场景范围。仿真和实测数据处理结果验证了所提方法的有效性。     

基于双基地ISAR的极坐标格式算法及其改进算法

通过对双基地逆合成孔径雷达(Bistatic\|ISAR)回波信号模型进行分析,得出双基地ISAR回波信号在空间波数域的分布特性及其支撑区范围;在此基础上,提出了适于双基地ISAR的极坐标格式算法(PFA),该算法采用距离向线性插值和方位向非线性插值的方法实现极坐标到直角坐标的变换;此外,针对插值运算复杂度高的问题,在距离向插值中,引入Chirp\|Z变换代替距离向线性插值,并结合方位向非线性插值提出了基于Chirp\|Z变换的双基地ISAR的PFA算法;最后通过对点目标模型的仿真验证了所提算法的有效性。
     

一类新型自适应反扩散近似Riemann求解器及其应用

对于包含激波、剪切层等复杂结构的流动问题，为了精确模拟剪切层等精细结构，且保证激波计算的稳定性，必须采用低耗散且强鲁棒的数值通量方法。传统的HLL近似Riemann求解器的耗散性较大，Roe、HLLEM和HLLC等近似Riemann求解器在计算某些含有强激波的物理问题时会出现非物理解，容易导致不稳定。针对这一问题，本文在Riemann求解器中通过合理设计反扩散矩阵，发展了一类具有自适应反扩散的新型Riemann求解器，并将其应用到高阶加权紧致格式，实现了高阶精度求解。通过典型数值算例验证了新型方法的计算精度和稳定性，结果表明本文提出的新型自适应反扩散Riemann求解器克服了传统Riemann求解器的缺陷，既能准确识别剪切层等精细结构，又能保证激波解的稳定性。     

WENO格式的一种新型光滑因子及其应用

光滑因子是构造WENO格式的关键，决定了WENO格式能否达到最优收敛精度以及在间断附近能否保持本质无振荡特性。针对广泛应用的五阶WENO格式，采用算子函数近似导数关系的方法，设计了一种新型光滑因子。在间断区域，与传统的光滑因子相比，新型光滑因子对间断的识别更准确。在光滑区域，新型光滑因子使得新型WENO格式的非线性权更接近线性权。理论分析和数值验证表明新型WENO格式即使在一阶临界点也能保持一致五阶精度。一维典型激波问题的数值结果表明，与现有WENO格式相比，新型WENO格式提高了短波的分辨率，降低了格式的耗散，同时能够准确识别间断。对于典型包含激波和剪切层的流动问题，新型WENO格式不仅能够准确地捕捉强激波，而且能够精细模拟剪切层和声波等流场结构。     

悬停共轴刚性旋翼直升机涡尾迹高精度数值模拟

针对共轴刚性旋翼直升机流场涡尾迹的高精度数值模拟需求，结合结构化运动嵌套网格技术、高精度数值格式和非定常RANS方法，建立了共轴刚性旋翼直升机的非定常涡流场高精度数值模拟方法及高效并行化自主软件平台。运用所发展的方法和软件平台，进行了类“X-2”构型共轴刚性旋翼直升机悬停状态涡尾迹结构的高精度数值模拟。结果表明，所发展的数值模拟方法具有较高的计算效率和计算精度，能够捕捉到精细的涡尾迹结构及其非定常生成、发展和演化过程。     

一种分裂形式CPR格式在欠解析流动中的稳定性研究

基于重构的修正过程（correction procedure via reconstruction, CPR）方法是一种适用于非结构网格、紧致高效的高阶方法，但在离散非线性对流项时容易因为混淆误差的累积而出现数值不稳定。本文研究了基于LG (Legendre-Gauss)点分裂形式的CPR方法在欠解析流动中的稳定性，并将其与子单元限制技术结合，求解含激波的欠解析流动问题。结果表明：经过边界通量修正的LG点分裂形式CPR格式能够满足离散守恒律，且与子单元限制相结合后守恒律依然成立；在无激波的欠解析流动问题中，相比于散度形式CPR格式，分裂形式明显提高了计算的稳定性，而且比使用LGL(Legendre-Gauss-Lobatto)点的分裂形式CPR格式具有更小的数值误差；在含激波的欠解析流动求解中，相比基于LGL点的间断伽辽金谱元法子单元限制策略，基于LG点的分裂形式CPR格式子单元限制策略具有更高的分辨率和更小的振荡。     

标准化参数定义方法及其工具设计

不同卫星任务的数据特点需要设计不同的遥测数据格式，造成不同卫星任务之间遥测数据格式难以复用，需要重复进行遥测数据格式设计、协调、测试、验证以及地面相应设备的开发和解析处理工作。为解决以上问题，基于包应用标准（PUS）、可扩展标记语言（XML）遥测遥控信息交换（XTCE）的描述方法和XML格式化数据单元（XFDU）的封装方法，提出了参数定义方法，实现了工程参数从类型、参数到数据格式的标准化定义，并设计相应的参数定义工具进行验证。工具可用于航天器设计阶段，设计标准化遥测数据格式及其描述和封装，便于异构系统之间的数据转换。同时也可以用于仿真、验证和任务执行阶段的工作。该方法有助于实现星上端按需、灵活定义数据格式，提升星载应对紧急、未知、非预期等情况时的自主能力。     

抛物积分微分方程的Crank-Nicolson全离散格式下的超收敛分析

文章基于低阶协调的双线性元在矩形网格下的高精度积分恒等式，在时间方向使用具有二阶精度的Crank-Nicolson离散格式，再利用插值与投影相结合的技巧，给出了抛物积分微分方程的全离散格式下的超逼近和超收敛的误差估计。最后，通过数值试验验证了理论分析的正确性。     

Kirchhoff型抛物方程的Galerkin有限元法的超收敛误差分析

文章研究了后向Euler全离散Galerkin格式下的Kirchhoff型抛物方程的超收敛误差分析。首先，讨论了数值解的先验误差估计，并证明了数值解的存在唯一性。其次，使用双线性元的高精度误差估计以及Ritz投影算子与插值算子相结合的技术，通过技巧性地处理非线性项得到了超逼近的误差估计结果。再次，通过插值后处理方法获得了整体的超收敛结果。最后，通过数值试验验证了理论分析的正确性。     

仅测角定轨问题迭代格式的推导与应用

针对由仅测角信息确定卫星轨道的问题，建模为求解相应适应度函数零点的一类方法，分析了求解该问题的高斯-牛顿迭代法中涉及的观测时间步长、动力学方程求解步长和迭代格式步长三者之间的区别与联系。针对一般精定轨方法由于适应度函数高度非线性而难以构造有效迭代格式的问题，提出了初定轨与精定轨方法结合的定轨方法，并在理论上分析了该方法的可行性。通过数值实验验证了所提求解方法的准确性、有效性和高效性。