二体绳系卫星系统冲击效应动力学与试验研究

为了研究冲击效应对二体绳系卫星系统动力学特性的影响，开展了基于绝对节点坐标法的柔性绳索模型及绳系卫星系统运动特性分析研究。首先介绍了绝对节点坐标法柔索模型的建立过程，并进行了动力学仿真实验，在仿真时充分考虑了柔索的轴向刚度矩阵、弯曲刚度矩阵以及质量矩阵，可在不增加计算量的同时保留系绳真实特性。最后，搭建了三自由度的二体绳系卫星地面模拟试验系统，在规格为20 m×30 m的大型气浮平台上开展了试验验证，对末尾释放阶段和初始回收阶段系绳的张力以及子星的运动状态进行了分析。验证结果表明：地面模拟试验与仿真实验相比，系绳张力误差均在5%以内，验证了该建模方法的有效性和所搭建的试验系统的可靠性，同时为绳系卫星的未来发展和地面试验的进一步展开奠定了基础。     

自动飞行模式转换逻辑的形式化建模与验证

自动飞行控制系统（Automatic flight control system,AFCS）是现代飞机中重要的安全关键系统之一，飞行引导控制系统（Flight guidance control system,FGCS）是其重要的组成部分。FGCS中的飞行模式有数十种，模式转换逻辑十分复杂，在各个模式间转换时易出现模式混淆等问题，难以对其安全性和正确性进行验证。而利用计算机科学中的形式化方法，通过对安全关键系统进行形式化建模和验证，可以提高系统的正确性和安全性。本文以典型FGCS中的自动飞行模式转换逻辑作为研究对象，采用自主研制的软件工具ART(Avionics requirement tool)对其进行形式化建模与验证，并与Matlab/Simulink中的Design Verifier工具进行了验证能力和效率的对比分析。实例研究结果表明，采用形式化方法对FGCS的自动飞行模式转换逻辑进行建模、验证可行，所研制的软件平台具有更完善的验证能力和更好的验证效率。     

模型驱动的安全关键系统标准符合性验证方法

大部分安全关键系统都需要进行安全认证,以确保其不会对人、财产或环境造成重大伤害。提供符合性认证所必须的证据是一项具有挑战性的任务。目前学术界提出一种模型驱动的安全关键系统标准符合性验证方法,该方法便于证据链的收集和标准符合性验证。分析了当前模型驱动的安全关键系统的研究现状,介绍了其标准符合性验证方法的概念、模型和框架,并将其与传统的方法进行比较分析,为我国安全关键系统的标准符合性验证提供借鉴。     

基于改进AHP方法的军械器材关键工序质量监控技术

针对军械器材生产过程中关键工序质量监控特点,分析影响关键工序质量水平的因素,建立了军械器材工序质量控制点层次结构模型,为克服传统层次分析法(Analytic Hierarchy Prccess,AHP)存在的标度缺陷问题,采用改进的AHP方法对军械器材关键工序质量监控点进行监控,提高了军械器材生产过程质量监控的科学性和合理性。     

C波段卫星通信抗5G干扰滤波器小型化解决方案

卫星通信的接收链路常会受到5G移动通信发射端的干扰，消除干扰的一个解决方案是在现有天馈系统中加入一个高抑制滤波器，引入传输零点来增大对指定频段的抑制。为了整个系统的紧凑性，滤波器小型化是必需的，而高性能与小型化之间往往存在矛盾。针对这一问题，一个C波段具有高带外抑制的同轴腔体滤波器被提出。由BJ-40标准波导直接输入耦合到多个谐振器减小尺寸实现小型化。通过非谐振节点和具有冗余谐振模式的三角结构不引入负耦合来产生低端传输零点，实现对无关信号的抑制，消除了滤波器低端零点的传统实现方式（负耦合）所带来的加工影响。设计的同轴腔体滤波器实现回波损耗＜18dB，带外抑制在3.5~3.6GHz＞37dB，3.45~3.5GHz＞53dB，3.2~3.4GHz＞60dB，4.4~4.8GHz≥70dB，整体结构紧凑。该C波段滤波器结构简单无负耦合引入，易于加工，源耦合到多个谐振器紧凑结构，适用于卫星通信系统抗干扰应用。     

大型抛物柱面天线展开动力学分析与展开过程控制

为揭示大型抛物柱面天线在轨展开过程中各部件的动力学特性，保障可展天线在轨展开过程稳定性，提出了一种基于模块组装的大型抛物柱面可展天线支撑机构动力学快速建模方法与非线性展开过程反馈控制策略。首先，基于绝对节点坐标法建立了天线可展支撑机构基本模块的动力学方程集与约束方程集。然后，通过子模块组装的方式实现对超大型支撑机构的动力学快速建模，并进一步提出逐块缩聚与递归的动力学微分方程高效求解算法。最后，基于非线性展开过程反馈控制策略实现了抛物柱面可展支撑机构该类强非线性系统的展开稳定控制。结果表明，该控制方法能显著降低可展支撑机构展开过程中的速度峰值，有效提高了大型抛物柱面天线展开过程中的展开同步性。     

航空发动机螺纹连接件密封结构标准符合性分析

基于产品漏油故障，通过对螺纹连接件密封结构关键要素进行分析，同时对比不同标准关键要素的要求，结合试验验证结果，分析航空发动机螺纹连接密封结构设计标准符合性结果是否具备一致性，为航空发动机类似故障维护保障问题提供一种可遵循的共性解决方案。     

面向量化分块压缩感知的区域层次化预测编码

在量化分块压缩感知的预测编码中，低参考价值的候选者将导致较差的率失真性能。为了高效地降低编码失真，提出了一种基于螺旋逐块扫描的区域层次化预测编码方法。在以同一采样率进行观测后，各块按由内向外的扫描次序进行预测与量化。当前观测矢量从上下文感知候选集中选取与之具有最小误差的反量化矢量，作为其预测矢量；根据层次相关性，所有块被划分到3种区域之一，通过块编码模型为不同区域设定自适应的质量因子，关键区域被赋予较大的质量因子。与现有的预测编码方法相比，所提方法综合利用了矢量之间的空域相关性和层次相关性，实验结果获得了至少0.12 dB的率失真增益。