大气环境监测卫星在生态环境行业应用分析

大气环境监测卫星是首颗生态环境领域大气环境监测专用卫星。卫星搭载了5台有效载荷，可实现CO2主动激光探测和大气细颗粒物的主被动结合探测，以及对气态污染物、云和气溶胶、水环境、自然生态等要素大范围、全天时综合监测，为生态环境遥感监管提供重要的数据支撑。本文从卫星载荷特点及数据获取能力出发，分析了其在生态环境行业的应用能力，并从大气环境、水环境和生态环境监测3个方面，结合在轨测试情况对卫星的应用能力进行详细阐述，可为开展大气环境监测卫星遥感应用提供参考。     

Landsat 8地表温度产品验证与分析

Landsat系列卫星热波段具有60~120m的空间分辨率，对各种环境监测起到了重要的作用。随着Landsat系列卫星在全球范围内地表温度（land surface temperature，LST）产品的发布，其验证工作也随之展开，然而对于长时间序列的精度验证工作仍然缺乏。以黑河流域中游为研究区，利用研究区内湿地站（SD）、戈壁站（GB）和大满超级站（CJZ）三个气象站的地面测量数据对2013-2016年清晰无云的31景Landsat 8地表温度产品进行了验证与分析，并将Landsat 8地表温度产品与广泛使用的普适性单通道算法（JMS）反演结果进行了对比。结果表明，Landsat 8地表温度产品与普适性单通道算法反演结果精度均较高，在各个站点处R2均优于0.949。基于所有站点分析，Landsat 8地表温度产品精度稍高于普适性单通道算法反演结果。     

飞行器制导控制一体化编队控制器设计

针对主从式结构飞行器协同编队控制问题，以侧滑转弯飞行器为研究对象，采用制导控制一体化(Integrated guidance and control, IGC)方法设计编队控制器。首先在惯性坐标系中定义相对运动坐标系，建立相对运动模型，结合飞行器动力学模型，得到全状态制导控制一体化模型；然后采用反演方法，结合滑模变结构与神经网络自适应理论设计了编队控制器，并证明了控制系统稳定性；最后在高速情况下进行了六自由度数值仿真，对比了IGC设计方法与分离设计方法的控制性能。仿真结果表明所设计的IGC控制器能够快速精确地对期望编队队形进行构建与保持，并且较分离设计方法具有优越性。     

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

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

扰动线运动对惯性系粗对准影响分析及优化方法

针对扰动线运动对惯性系粗对准精度影响较大的问题，通过分析惯性体坐标系下重力加速度积分矢量的物理含义，给出了受扰动线运动影响的惯性系粗对准的误差分析。并在此基础上提出了基于位移积分矢量构造定姿矢量矩阵的抗扰动粗对准算法，利用对速度积分矢量进一步积分得到的3个时间点的位移积分矢量构建姿态解算矩阵，抑制扰动线运动对粗对准精度的影响。仿真结果表明，该算法可有效减小扰动线运动影响下的对准结果振动幅值，能够快速收敛到满足精对准使用的精度范围，从而提高武器装备环境适应性。     

旋转部件转动诱导振动信号检测与分析

阐述了一个典型旋转部件振动时产生诱导振动信号的检测方法。介绍了测试系统，旋转部件振动测点布置和振动信号采集。根据两个样机的实测结果，认为旋转部件的诱导振动信号与旋转部件生产质量、安装精度密切相关，对旋转部件轴承固有特征的理论计算值和实测频谱进行了比较，进而判断轴承是否存在故障，并分析了上、下轴承间振动信号的相关性。