一种采用行列聚类并行的星像坐标提取方法

为了提高星敏感器的数据更新率,必须减少星像坐标的提取时间。在提取星像坐标的过程中,现有基于FPGA的方法虽然避免了星图保存和读取过程,然而需要高性能的FPGA才能实现。为此提出了一种采用行列聚类并行的星像坐标提取方法,将逐个像素聚类的方式优化成像素队列聚类的方式,实现了对恒星星像坐标的实时提取,可以解决现有的实时提取星像坐标方法中像素输出时钟与处理时钟不匹配的问题,达到1个时钟周期处理完1个像素的目的,从而减少了星像坐标的提取时间,提高了星敏感器的实时性。最后把该方法嵌入到某星敏感器系统中,实验结果表明,与现有基于FPGA的实时提取星像坐标方法相比,在相同工作频率且不降低星像坐标提取精度的前提下,提取时间仅为现有方法的21.1%,数据更新率提高了近5倍。因此,该方法不但具有实时性,而且具有较好的鲁棒性。     

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

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

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

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

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

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

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

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

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

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