低成本卫星测控系统性能改进方法研究

首先针对TLE更新不及时、轨道递推准确性低的问题,提出低成本卫星测控系统(LCTTC)采用卫星GPS实测数据修正站心坐标系下目标轨道方法,提高跟踪精度;其次利用接收机的RSSI功能,给出了远程获取无人值守LCTTC灵敏度、评估其性能的方法,以及获取信噪比、发射功率等状态信息的方法,对卫星实时任务过程进行监测和异常诊断,减少了故障排查时间。     

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

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

基于NuSMV的AADL模型形式化验证技术

结构分析描述语言(AADL)是一种描述任务关键嵌入式系统架构和行为的建模语言，在航空航天领域广泛被应用。为验证AADL模型的任务关键属性和系统行为的正确性，提出基于NuSMV(新符号模型检查器)的AADL模型形式化验证方法。首先，覆盖AADL模型的所有软件构件和行为特征，提出了AADL模型到NuSMV模型的映射规则和转换算法；其次，采用图同构方法分析了转换算法的正确性；然后，在NuSMV模型中采用时态逻辑公式对AADL模型中待验证属性进行描述，以验证AADL模型中安全性、活性和嵌套模态配置的正确性；最后，以飞行控制系统为例，详细阐释了基于NuSMV的AADL模型形式化验证方法，并给出验证属性的统计信息。     

基于三坐标测量机的线结构光快速高精度点云采集方法

利用集成在三坐标测量机上的线结构光测头，提出一种针对单个工件的点云采集方法，建立了线结构光和三坐标测量机的几何坐标系转化模型，将激光测头的二维测量数据统一到三坐标测量机机器的三轴坐标上，转换为三维数据，实现点云采集。通过解决运动状态下的三轴坐标位置锁存与数据传输间的迟滞关系，实现高效采集激光-光栅数据对，得以在连续触发模式下进行快速点云采集。     

火箭飞行异常遥测天线实时跟踪角度预测研究

针对火箭飞行异常下的遥测天线继续实时跟踪难的问题,提出一种飞行异常后的实时跟踪角度的预测方法.首先介绍几种常用坐标系以及坐标系之间的转换关系,并将火箭飞行异常后的运动简化为考虑惯性速度的自由落体运动,给出自由落体速度模型和实时跟踪角度的计算方法步骤.设计仿真实验,验证方法的有效性,可以作为火箭飞行异常后遥测天线实时跟踪...     

内并联型进气道模态转换过程中流道间干扰特性研究

针对组合动力进气道模态转换过程中存在的流道间干扰现象,采用数值模拟方法对一典型内并联型进气道模态转换过程中高/低速流道间的干扰特性展开了深入研究。结果表明：在模态转换过程中,当低速流道结尾激波位于低速流道内部时,高速流道节流至一定程度都将对低速流道形成干扰。该干扰现象出现后,高/低速流道的流动耦合,两流道的流量分配也随之发生变化,甚至导致了进气道流场的失稳。仅当β/α=0.25时,高/低速流道间的干扰造成了进气道流场的失稳且失稳后的振荡流场会先后出现两个不同的发展时期：前一时期的振荡流场的振幅较大但频率较低,约为335Hz；后一时期的振荡流场的振幅较小但频率较高,约为880Hz。