SBAS电文时序动态编排算法

星基增强系统（SBAS）通过GEO卫星转发SBAS电文实现对GNSS服务性能的提升,以满足民航用户不同飞行阶段的导航需求,因此,合理有效的电文内容及播发时序设计是系统实现高质量服务的重要保证。为提高电文编排的灵活性,避免固定时序填补空余电文引起的播发资源浪费,提出了一种SBAS电文时序动态编排算法,在满足国际标准要求的前提下,综合利用SBAS电文龄期和最大播发间隔实现待播发电文的自动选择。利用NTMF实测数据对当前各主要SBAS的电文进行了特性分析,对所提方法的单双频SBAS电文编排效果进行了评估。结果表明:所提算法可保证电文时序符合国际标准要求,实现了重要电文的优先播发,将空余时隙进行动态分配实现了各类型电文播发间隔的近等比例缩短。与固定时序相比,单频SBAS完好性电文播发间隔缩短约15.0%,首次定位时间缩短约8%,双频SBAS电文首次定位时间缩短约6.5%;与固定时序的BDSBAS B1C电文相比,完好性服务能力提升约14.7%,首次定位时间缩短约16.7%。所提算法有效提升了SBAS电文播发的播发效率,实现了SBAS播发资源的100%有效利用。      

全柔性空间机器人基于虚拟力的输出反馈有限维重复学习控制及振动抑制

探讨了基座、关节、臂均存在柔性情况下,空间机器人关节轨迹运动及多重柔性振动的主动控制和主动抑制问题.结合线性弹簧、扭转弹簧、简支梁及假设模态法,利用拉格朗日方程建立了基座、关节、臂全柔性影响下的空间机器人系统动力学模型,利用奇异摄动法,将模型分解为关节运动慢变子系统与关节柔性振动快变子系统.为控制慢变子系统中载体姿态、关节刚性运动并且抑制臂的柔性振动,依据虚拟控制力的概念,设计了基于有限维傅里叶级数解析周期信号的输出反馈重复学习算法.李雅普诺夫直接法证实了上述控制器的稳定性.为了抑制快变子系统中基座和关节的柔性振动,分别采用线性二次最优控制方法以及引入关节柔性补偿器间接增大关节等效刚度的方式,使控制算法不局限于求解弱非线性问题.系统数值仿真结果表明,所提出的控制器能够有效抑制机器人多重柔性构件的振动,实现对期望信号的高品质追踪.      

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...     

高精度石英半球裸振子微应力制造

半球谐振子是半球谐振陀螺的核心元件,其质量直接决定了陀螺的性能精度,以高纯石英材料制成的半球谐振子已得到业界的广泛认可,但加工难度较高。半球裸振子是半球谐振子的未完全加工态,其加工表面残余应力的大小决定了谐振Q值、频差Δf等参数,进而影响谐振性能。文章就石英半球裸振子的微应力制造技术方法和技术特点进行了分析和讨论,以及采用飞秒激光加工设备实现石英半球裸振子微应力制造,飞秒激光加工具有速度快、热变形小、非接触、微应力等优势,用于半球谐振子加工能够明显改善加工效率、成本和表面应力状态,采用飞秒激光加工为高精度石英半球裸振子的加工提供新实现途径。     

基于GAN网络的红外图像生成技术

当将人工智能技术应用于军事领域中的目标识别任务时,针对由红外图片采集的局限性而造成的训练数据不足的问题,提出了基于生成对抗网络以生成红外图像的方法,实现了数据集的扩充。对基本的生成对抗网络进行了改进,将网络的输入由随机噪声变为真实图片,使之实现了图片到图片的风格转换,即彩色图片转变为红外图片。经过网络模型的搭建和训练,实验结果表明,该方法能够有效生成清晰和高质量的红外图片,解决了由红外数据不足而造成的网络训练不充分的问题。     

空间通信与BATS码：天成之合

创新通信技术在国家重大空间技术开发计划中有着巨大的需求。本文综述了基于网络编码的空间通信技术,旨在探索未来基于网络编码的空间通信技术的可行性和潜力。首先讨论了空间通信的特点,并给出了不同编码方法的概述;详细介绍了基于网络编码的批量稀疏编码（BATS码）创新技术。BATS码作为一种潜在的应用技术可以很好地解决多跳中继网络中严重丢包问题;给出一个BATS码原型设计和实现,实验结果证明BATS码比现有技术具有明显优势;最后,讨论了BATS码在空间通信中的应用前景。     

“嫦娥4号”中继星任务轨道确定问题初探

"嫦娥4号"任务将采用着陆器、巡视器和绕飞地月拉格朗日L2点中继星进行月球背面的探测,中继星已先期发射,进入环绕地月L2点的晕(Halo)轨道。在中继星使命轨道动力学模型的基础上,通过相关仿真工作,开展了中继星在Halo轨道上的摄动源量级及影响定轨预报的主要因素分析,结果表明:太阳光压摄动是其主要影响因素。为降低其相关影响,提高定轨精度,在太阳光压球模型的基础上,结合中继星在轨运行特点及其星体结构特点,提出了一种求解光压等效面积的方法。经仿真分析,使用修正后的太阳光压球模型进行定轨求解,速度精度可提升约一个量级。     

具有初始热变形的转子系统振动响应分析

航空发动机热起动时的温度分布不均会使转子产生初始热变形,进而引起发动机振动过大,甚至导致起动失败。针对此问题,以航空发动机中的典型转子为对象,根据初始热变形对转子振动的影响建立相应的动力学方程,并通过模态坐标变换分析初始热变形对转子系统振动响应的影响。结果表明,初始热变形相当于对转子作用了附加激励,包括转轴初始弯曲激励、附加不平衡激励和附加陀螺力矩激励,上述激励均与转速同步。其中,附加不平衡激励和附加陀螺力矩激励大小与转速有关,对转子通过各阶临界转速的振动响应均有较大影响;转轴初始弯曲激励大小与转速无关,主要影响低阶临界转速的振动响应。