混合系统的形式化验证

结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.      

"中国首次载人航天飞行成功一周年摄影图片展"纪实

继广西桂林之后，为期一周的“中国首次载人航天飞行成功一周年摄影图片展”于2004年12月12日上午在河南省济源市隆重开幕。中国工程院院士、中国载人航天工程神舟飞船总设计师戚发轫，中国载人航天工程长征二号F运载火箭总指挥黄春平，中国航天科技集团公司921工程办公室主任周晓飞，济源市领导周春燕、沈普选、薛玉森、     

采用大量新技术完美迈开第二步神舟-6飞船使中国载人航天又上新台阶

2005年10月12日09：00,举世瞩目的中国第2艘载人飞船--神舟-6把费俊龙、聂海胜2名航天员送入太空,并于10月17日04：33安全返回地面,成功完成了“2人5天”的太空飞行任务.     

俄罗斯新型载人飞船新鲜出炉

自美国哥伦比亚号航天飞机失事后，俄罗斯的联盟号飞船独挑天地之间载人往返运输的大梁，虽然联盟号以其高可靠性、高稳定性著称，但也日益显现出不能满足飞行需求的迹象。所以在2000年俄罗斯的科学家就开始在联盟号飞船的基础上，研制一种新型的可载6人的航天器——“快帆”(Kiper)，用来替换目前使用的联盟号飞船。目前，快帆号计划已经取得了一些实质性的进展。     

航天运载器磁悬浮助推发射关键技术

以航天运输为背景,研究了磁悬浮助推发射的磁悬浮、直线电机、空气动力影响和运载器分离发射等关键技术问题.通过磁悬浮系统比较,确定高温超导体EDS(Electrodynamic Suspension)系统是适合的磁悬浮技术方案,在单元静、动态实验测试基础上,研究其基本静态悬浮导向性能和刚度、阻尼特性,并建立缩比研究试验平台以评估磁悬浮系统的综合性能.通过分析2种直线电机类型及优缺点,确定双边感应直线电机是适合磁悬浮发射系统的一种直线电机加速方式,并确定脉冲磁流体发电的能量供给方案.通过磁悬浮发射空气动力影响分析,优化设计磁悬浮发射装置气动外形和气动布局,得出其基本气动特性,并提出利于实现系统俯仰力矩平衡的气动翼控制方案.研究了运载器同时滑离导轨式定向器分离发射方案,并通过动静法计算分析得出运载器从定向器滑轨上成功分离所需具备的基本动力学参数.      

星载InSAR空间基线指向优化与设计

分布式卫星SAR系统是近年来受到广泛重视的一种新的雷达成像手段,其中分布式InSAR充分利用编队星座卫星间构成的空间基线进行干涉测高,从而实现立体成像.在InSAR系统设计中,解决好编队星座的设计问题是实现高性能成像的前提和保证,合理的星座构形设计有助于提高测高精度,从而获得高品质的雷达成像效果.从InSAR测高精度分析结果入手,由飞行力学角度阐述星间相对运动对测高精度产生的影响,并基于分析结果给出了一种有别于现有星座的特色编队构形,并对其性能进行了初步分析.      

FTC-2000新型高级教练机

FTC-2000（国内代号JL9）飞机是中国贵州航空工业（集团）公司正在研制的通用型高级教练机。该机设计思想先进，技术装备优良，与国外现役和在研的高级教练机相比，在可靠性和价格方面具有竞争优势为了适应空军新型战斗机飞行训练的需要，提高训练效益和飞行员的技术素质，贵州航空工业集团从20世纪90年代起就开展了FTC2000飞机研制的前期准备工作。     

基于试验气动力的纵向机动飞行载荷分析

提出了一种基于非线性风洞试验数据(简称试验气动力)同步进行纵向机动飞行过程和飞行载荷的计算分析方法.通过曲面样条插值将试验气动力的升力系数和俯仰力矩系数引入纵向机动飞行过程的计算,同时基于试验气动力的压力分布进行全机飞行载荷的静气动弹性修正.弹性载荷的计算采用线性气动力影响系数矩阵处理.采用偶极子格网法提供气动力(简称理论气动力).将基于这两种气动力的计算结果进行了对比.结果表明:基于试验气动力的机动飞行过程更为合理;基于理论气动力的载荷随机动飞行过程的变化趋势有可能与基于试验气动力的载荷变化趋势不一致.      

基于航天器解体事件的空间碎片寿命算法

研究了针对航天器解体事件所生成的空间碎片的寿命计算方法.给出了基于NASA标准航天器解体模型的航天器解体算法.该算法生成的一系列碎片参数,将作为寿命计算的初始条件.总结了现有求解碎片寿命的算法,并提出了一种半分析算法.该算法运用平均根数法的思路,计算了在J2摄动项的影响下,碎片的半长轴和偏心率的变化率;并采用微分积分法预报半长轴和偏心率随时间的变化.为了适应时变大气模型,该算法限制了计算步长.通过与数值法的比较分析了算法的计算速度和精度.选用了3种大气模型:SA76、GOST和MSIS-00,分析了不同大气模型在计算碎片寿命之间的差异.通过与P-78卫星解体事件的实测数据对比验证了整个算法的正确性.