复合薄膜表面技术研究进展

概述了复合薄膜表面技术研究进展以及在航空，航天等方面的应用，并提出了有待深入研究的问题。     

舱外服活门组件密封粘接研究

针对舱外服活门组件的密封粘接及工作环境要求，对HXJ-14、HYJ-51和FHJ-75三种增韧改性环氧胶黏剂开展了特种胶黏剂选型及典型环境性能研究、典型粘接样件粘接面结构设计和粘接工艺优化研究。结果表明：优选出的HYJ-51胶黏剂具有良好的粘接性能、耐交变温度循环性能、耐湿热环境性能、耐介质浸泡性能，满足舱外服活门组件密封粘接要求。在典型活门粘接组件中，控制聚四氟乙烯滑套和不锈钢阀体的配合间隙为0.1~0.15 mm，并且在不锈钢阀体粘接面上增加环形槽结构，可以有效减少粘接面的缺胶面积，避免形成贯穿性通道，提高活门组件粘接的密封可靠性。经过产品生产验证，实现了活门组件的可靠密封粘接，成功用于航天员舱外服生命保障系统。     

基于多DSP的机载SAR距离徙动校正实现方法

针对机载合成孔径雷达(SAR)数据量大、运算复杂、实时性能要求高等问题，提出了一种基于多片多核DSP并行的方式实现机载SAR距离徙动校正的方法。重点介绍实现过程中的片间及片内并行和同步处理、数据交互、数据分配，距离徙动校正的距离向脉冲压缩和惯导补偿，以及多普勒中心估计实现的具体步骤，利用点仿真和实测数据验证了该方法的有效性，并提出优化模块，进一步提高运算的实时性。     

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

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

影响惯性仪表精度长期稳定的材料学问题与对策

陀螺仪和加速度计等惯性仪表的精度对零组件的尺寸变化有着极其敏感的反应。随着对惯性仪表精度及其稳定性研究的深入,发现材料的尺寸不稳定是导致精度稳定性差的主要原因之一。以多种惯性仪表构件的常用材料为例,从材料学角度系统综述了微观缺陷、第二相、晶粒和织构、内应力以及环境因素对材料尺寸稳定性的影响规律,并提出了如何从材料内禀特性出发改善惯性仪表精度长期稳定性,展望了惯性仪表材料与工艺的未来发展方向。