复合Halpern迭代逼近一族m-增生映像公共零点

在严格凸的Banach空间E中,介绍了一种新的复合迭代方法强收敛到一族m-增生映像公共零点。K是E中非空闭凸子集,假定E的每个非空闭凸子集上的非扩张映像都存在不动点,Ai：K→E（i=1,2,…,r）是一族m-增生映像,{xn}是由复合Halpem格式定义的迭代序列,证明了当n→∞时,{xn}强收敛于方程Aix=0（i=1,2,…,r）的公共解,改进和推广了Zegeye和Shahzad等人的相应结果。     

面向深空探测任务的飞控仿真与支持系统研究

为确保深空探测航天器飞行控制准确无误,故障措施应对及时,在进行需求分析的基础上,提出一种飞控仿真与支持系统的总体框架,给出系统工作流程,并总结出高精度轨道和姿态仿真、故障模拟与注入等5个方面的技术特点,最后通过对比仿真结果和在轨飞行结果验证了该系统的有效性并提出了展望．     

卫星导航系统传感器故障识别

传感器是卫星导航系统中的重要部件,其故障的检测和识别对提高系统可靠性具有重要意义。给出了一种基于模糊逻辑的卫星导航系统传感器故障识别方法。首先采用T-S模糊模型描述卫星导航系统,然后应用全解耦奇偶方程的方法进行故障检测,并利用卡尔曼滤波器进行故障参数识别。仿真结果表明,针对导航系统中多个传感器同时发生故障的情况,此方法能有效检测故障,并能准确识别故障参数。     

基于Event-B的SpaceOS2操作系统任务管理需求形式化建模与验证

随着中国航天技术的发展,航天器系统的软件规模越来越大、复杂度越来越高,对航天软件的正确性、可靠性、安全性等提出了更为严格的要求.形式化方法是提高软件可信性的一个重要途径.利用形式化方法 Event-B对嵌入式操作系统SpaceOS2的任务管理模块的进行需求建模,依靠不变式来保证模型的正确性,并且在Rodin平台上对模型进行了形式化验证,结果表明模型是正确的.     

液体火箭推进系统频率特性的灵敏度分析

针对液体火箭飞行过程中POGO振动对火箭系统的不利影响,建立了液体火箭推进系统动力学模型,以区间数学为理论基础,对推进系统频率特性进行灵敏度分析,得到了推进系统的流体惯性、阻力和刚度参数对推进系统频率特性的影响规律。研究结果表明：液体火箭推进系统振动频率对流体惯性参数的敏感程度比流体阻力参数和流体刚度参数明显大,泵前短管流体惯性的变化对推进系统振动频率的影响最大,补偿管路流体刚度的变化对推进系统振动频率的影响最小。为合理设计推进系统的动力学参数,降低推进系统的振动频率,抑制 POGO 振动的发生提供理论依据。     

基于支持向量机的无参考遥感图像质量评价方法

针对遥感图像主观评价方法的低效率以及常用客观评价方法无法充分考虑人眼对图像的感知特性的问题,文章提出了一种基于支持向量机的无参考遥感图像质量（quality）评价方法。首先建立遥感图像主观评价库,然后在不需要图像失真信息的基础上,利用支持向量机（SVM）将图像的失真类型分为三类,并对每类进行单项评价,再通过加权得到遥感图像的总评分,最后将本文方法、信噪比与信息熵的评价结果回归到主观评价空间并进行对比。实验证明,文章所提方法能客观地评价遥感图像的质量,且优于信噪比和信息熵两种质量评价方法,其结果与人眼视觉感受相符。     

全球导航卫星系统互干扰评估分析及启示

介绍全球导航卫星系统(GNSS)信号互干扰问题的现状,总结卫星导航系统互干扰评估测试的两种方法,即多径误差评估方法和载噪比评估方法的基本理论和研究现状,结合卫星导航系统的发展需求,对比提出了方法之间的局限性。针对我国卫星导航系统的发展情况,提出基于频谱隔离系数的等效载噪比方法作为卫星导航系统信号互干扰评估方法,以及相关的发展建议。     

一种深空探测器电源共用的方法

针对深空探测器重量约束苛刻的特点,提出了一种适合探测器A和B组合体的电源共用方法,充分利用探测器A和B电源控制器原有的功率模块,设计电源共用电路和一套逻辑控制指令,通过两器间的电接口实现电源共用,并对该方法的技术先进性进行了详细分析,可为深空探测器电源系统设计提供参考。     

热防护材料表面催化特性研究进展

随着高超声速飞行器的发展,高焓离解环境下热防护材料所承受的气动热载荷在很大程度上受到材料表面催化特性的影响。根据高焓服役环境特征和热防护材料表面催化特性的发展现状,重点综述了材料表面催化反应机理和不同尺度的催化模型,分析、比较了催化特性地面测试与评价方法以及典型热防护材料表面催化特性的影响因素,简要总结了国内现阶段相关催化特性研究的初步成果,并在此基础之上提出了催化特性测试与表征方法的不足和后续研究的重点方向,为有效改进热防护材料表面催化特性试验测试技术、准确预测高超声速飞行器气动热环境,从而实现热防护系统的精细化设计提供指导。     

隔离信号调理模块自动校准系统设计

针对隔离信号调理模块型号多、参量多、使用量大,采用手动计量校准耗时耗力、容易出错、工作效率低等问题,在VEE Pro软件开发平台上,设计开发出一套隔离信号调理模块自动校准系统。该系统包括仪器信息记录、校准及打印输出三个主模块,测试过程采用实时测试显示,自动进行数据处理并存档。使用结果表明：该系统操作简便,提高了工作效率及准确度,降低了人为出错几率,确保了测试数据准确可靠。