雷达与ESM相关算法综述

在比较雷达和ＥＳＭ（ＥｌｅｃｔｒｏｎｉｃＳｕｐｐｏｒｔＭｅａｓｕｒｅｍｅｎｔｓ）这两种传感器特点的基础上，分析了雷达与ＥＳＭ相关的特点，介绍了统计方法、模糊方法和优化方法等五种雷达与ＥＳＨ相关算法，并对这些算法进行了评述。     

GPCM控制气动伺服系统的理论分析与实验研究

广义脉冲编码调制（ＧＰＣＭ）控制是针对脉冲编码调制（ＰＣＭ）控制气动系统中控制精度与控制范围、稳定性与快速性之间的矛盾而提出的。本文建立了ＧＰＣＭ控制气动伺服系统的数学模型，并进行了详细的仿真和实验研究，结果证明了该方法的有效性。     

在中面载荷作用下正交各向异性矩形板后屈曲行为分析

本文利用摄动法和广义傅氏级数法分析了在中面载荷作用下正交各向异性矩形板后屈曲行为,对几种典型的纤维增强环氧复合材料矩形板后屈曲行为给出了结果,可供工程设计应用参考。     

气氦制冷系统透平膨胀机的研制

文章介绍了载人航天空间环境模拟器气氦制冷系统中氦气透平膨胀机的设计、制造、调试等过程,并说明了它具备的特点。     

一种新的空时码构造方法

空时编码调制是一种充分利用分集特性克服信道衰落的一种编码调制方式。文中提出一种构建空时码的新方法 ,可以通过计算机搜索获得最优空时码 ,并给出一种基于最优距离卷积码的构造方法。采用文中所提出的空时码 ,可以获得空间、时间分集增益并取得最大码增益。仿真结果表明 ,其性能比以往文献中提到的空时码有明显提高。     

用弹性环加强的孔口应力分析的链杆法

关于用弹性环加强的孔口应力分析问题,本文给出了一个新的分析方法——链杆法。即假定环和板之间在孔口用链杆来联系,然后用力法求出链杆的约束力,进而可确定板的应力和环的内力。将本文结果和萨文的结果作了比较,两者基本一致,说明了链杆法的有效性。它的优点是直观、方便,计算较简单,适用面较广。     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

准滑模控制在大气层外拦截器姿态控制中的应用

滑模变结构控制本身的抖振问题影响了其在实际中的广泛应用,而准滑模变结构控制不仅能够削弱系统抖振,而且对干扰具有较强的鲁棒性。本文以大气层外拦截器(EKV)为研究对象,采用准滑模控制律,并经过简单的推导给出了邻域Δ的一种选择方法。数学仿真表明,EKV的姿态控制采用准滑模控制,在各种干扰情况下姿态角偏差都能稳定,还削弱了抖振。因此,准滑模控制应用于EKV的姿态控制是可行的。     

编队卫星的状态测量方法综述及可行的高精度星间基线测量方案研究

基线高精度测量是编队卫星应用需要解决的关键技术之一。针对这个问题,文章从3个方面进行了阐述。首先,综述目前国内外常用的编队卫星状态测量手段,然后在前面分析的基础上,结合编队卫星基线的表示方法和卫星编队飞行的特点,提出了2种可行的基线激光测量方案,并对它们各自的测量精度进行了简单地分析。从分析的结果来看,这2种方法均能实现高精度的基线测量。