TiAl系金属间化合物球型预合金粉末制备及粉末冶金工艺研究

成功制备了Ti-46Al-2Cr-2Nb-0．2B-0．1W（原子分数）球型预合金粉末，并对粉末的特性进行了研究。在随后的粉末冶金技术研究中，运用热等静压技术得到了组织细小、均匀的粉末TiAl系金属间化合物，但材料的伸长率很低。经热处理后，材料的伸长率达到了2．5％。     

50Nms磁悬浮反作用飞轮转子优化设计方法的研究

介绍了一种额定工作转速为-5000rpm-5000rpm，额定角动量为50Nms的五自由度磁悬浮反作用飞轮。利用多学科设计优化软件iSIGHT及有限元分析软件ANSYS，通过序列二次规划法对飞轮转子进行了多学科设计优化研究：以转子质量为优化目标，以转子、静力学、共振频率、转子动力学、角动量、几何尺寸等多学科要求同时作为约束条件进行了优化设计。结果表明，通过多学科设计优化，在满足设计要求的同时，使转子重量达到了最小化（4．09kg），提高了设计效率和设计质量，在航天器姿态控制系统的设计中具有现实意义。     

充气条件下陀螺马达的温升特性研究

空间惯性部件常采用充气转子结构,充气压力的大小将直接影响转子结构的气动阻力矩和传热特性,进而影响整个部件的功耗和散热条件。以典型的充气转子系统—一种液浮陀螺仪的陀螺马达为对象,测定了其在从真空到一个大气压条件范围内不同充气压力下工作时特定位置的温升。针对同样对象和条件,采用商用ANSYS-CFX软件进行了流-热耦合分析数值仿真。实测和仿真结果一致地显示出:温升随充气压力增大而减小,且与真空条件相比,充入1个大气压空气将使温升下降约6℃。     

一种高稳定度帆板驱动系统的T-S模糊复合控制器

为减少帆板驱动机构（SADA）对太阳帆板挠性模态的激励作用,以扰动力矩较小的永磁同步电机(PMSM)作为驱动源,提出一种T-S模糊控制与校正网络相结合的控制方法。利用校正网络增加系统的相位裕度和增益,并通过T-S模糊控制器降低系统的超调和非线性摩擦的影响,从而有效抑制太阳帆板的振动。通过圆判据对带有此控制器的驱动系统进行了稳定性证明,很好地解决了模糊控制系统在摩擦扰动下难以进行频域理论分析的缺陷。仿真结果表明,在非线性摩擦等扰动的影响下,该控制方法能够很好地抑制太阳帆板引起的挠性振动,提高系统的速度精度和稳定度,具有较好的动态性能。     

坐标测量机检定（检验）标准现状及展望

综述了坐标测量机检定（检验）标准现状和ＩＳＯ１０３６０－２标准简介及今后研究方向。     

定时定量自动润滑在设备上的应用

文章介绍了定时定量自动润滑装置,比较了机械式和电气式定时润滑的优缺点及两种装置在设备上应用的发展趋势.     

DO-254标准中的确认与验证过程分析

针对机载电子硬件设计生命周期中的确认与验证过程,介绍DO-254标准中关于确认和验证活动的目标,研究确认和验证过程的策划和实施活动,分析确认和验证的方法,提出了确认和验证活动在实际实施过程中的建议。     

一种民用飞机外翼与中央翼下壁板对接形式的研究

飞机外翼中央翼的对接结构非常重要,承担着传递外翼载荷到中机身和中央翼的重任。基于民用客机的一种金属外翼与金属中央翼的下壁板对接结构,分析了对接形式的传力特性。比较了对接肋下缘条开槽深度、长桁端头斜削成不同角度的情况下,对接结构的应力的分布,得出一种较优的外翼、中央翼下壁板对接形式。     

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

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