航天软件中多重中断程序的动态检测方法研究

随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间.     

Vision-based bio-inspired guidance law for small aerial vehicle

During predation, a flying insect can form a stealth flight path. This behavior is called motion camouflage. Based on the study results of this behavior, the perception and neurology of flying insects, a novel bio-inspired guidance law is proposed for the terminal guidance for small aerial vehicle with charge-coupled device imaging seekers. The kinematics relationship between a small aerial vehicle and target is analyzed, and a two-dimensional guidance law model is established by using artificial neural networks. To compare with the proportional guidance law, the numerical simulations are carried out in the vertical plane and in the horizontal plane respectively. The simulation results show that the ballistic of the small aerial vehicle is straighter and the normal acceleration is smaller by using the bio-inspired guidance law than by using the proportional guidance law. That is to say, the bio-inspired guidance law just uses the information of the target from the imaging seeker,but the performance of it can be better than that of the proportional guidance law.     

基于四元数法的舰载无人机回收系统测高技术研究

文章针对舰载无人机在着舰回收过程中,由于海浪颠簸对引导系统高度测量严重干扰的问题,利用四元数导航算法提出了一种新型的舰载无人机回收系统测高方法。首先采用捷联惯导测高系统设计方案,同时利用微机械的惯性测量组件,提高系统的可靠性和集成度;然后,利用四元数导航算法求取各个姿态方位参数,再用旋转矢量法补偿不可交换性误差,推导出舰船甲板的升沉高度实际值,为克服传统纯惯导测量算法的不稳定性,提出一种具有三阶阻尼特性的互补滤波器算法,并在测量系统输入端加入巴特沃斯滤波器去除杂波干扰,得到需要测量的高度变化值。最后,通过对比传统纯惯性方法下测高系统输出值、加入真实气压表互补滤波后测高系统输出值和加入零均值阻尼信号互补滤波测高系统输出值,三种不同情况下的仿真结果,验证了所提方案的有效性。     

基于无人机平台的机动式标校系统设计与应用

随着我国航天事业的不断发展,地面卫星测控网也日益完善,呈现出数量多、分布广、频段宽、工作体制多等特点。为提高航天测控装备标校的精度和效率,克服传统标校方式所具有的造价高、操作繁杂等缺点,研制了一套车载机动式、基于无人机(UAVs)平台的航天测控装备标校系统。该系统采用实时载波相位差分定位(RTK)技术,配备多类高度集成小型化目标载荷,可对地面统一测控、雷达和光电装备进行精度鉴定以及日常进行大动态范围标校和训练等工作。首先,介绍了系统的工作原理、系统组成及精度鉴定数据处理流程;其次,基于外场实验,给出了该系统的鉴定效果;最后,相较于目前测试性能单一的标校系统,该系统具有集成度高、机动性强、覆盖频段广、可完成性能实验多等优点,有更好的使用和推广价值。     

基于hp伪谱同伦凸优化的火箭垂直回收在线轨迹规划方法

针对可重复使用运载火箭垂直回收轨迹优化问题,提出了一种带有最优终端时间估计策略的hp伪谱同伦凸优化在线轨迹规划算法。首先,考虑状态约束和过程约束的非凸性,采用无损凸化处理推力幅值约束;然后,结合同伦方法与不动点迭代思想将气动力与非凸质量约束转化为线性时变剖面,完成问题凸化;进一步基于hp flipped Radau伪谱法对问题进行离散化处理,将最优控制问题转化为参数优化问题,进而采用原-对偶内点法求解;最后,为进一步减少燃料消耗,提升经济效益,考虑最优终端时间难以在线确定的问题,结合解析推导与二次插值法,设计了最优终端时间快速估计策略。仿真结果表明所设计的轨迹优化算法最优终端时间估计速度快,收敛性能良好,具有较高的精度和计算效率,具备在线应用的潜力。     

高超声速飞行器气动热耗散、输运及转换技术研究进展

针对高超声速飞行器面临的严重气动热集中、累积和时变问题,从气动热耗散、输运和转换三个方面,分别论述了被动热耗散材料、结构和主动热耗散技术,基于高导热材料、热管和工质对流的热输运技术,以及再生转换和热电转换技术的研究现状及其在高超声速飞行器上的应用案例,提出了上述技术在面临高超声速气动热时存在的问题。最后,针对高超声速飞行器气动热耗散、输运和转换技术的发展趋势进行了展望。     

基于多场耦合的飞行器热环境数值分析方法研究

新一代高超声速飞行器的发展给防热设计问题带来严峻挑战。根据飞行器热环境多场耦合特性,提出了一种基于多场耦合的热环境数值分析策略,并在此基础上发展了基于Navier-Stokes方程的流场CFD分析程序,通过有效的界面数据传递算法,实现了与结构有限元热分析软件的耦合,形成了基于流场与结构耦合传热的飞行器热环境多场耦合数值分析方法。以典型圆管前缘为计算模型进行了程序验证,并对稳态和非稳态飞行环境下的流场与结构耦合传热特征和规律进行了数值分析研究。结果分析表明,该方法能够有效地刻画流场与结构之间的耦合传热特征和规律,预测和分析飞行器热环境的空间和时间分布特性,从而可为防热设计的选材和优化提供可靠的参考依据和分析手段。     

基于干扰观测器的高超声速飞行器预测控制器设计简

 针对具有强耦合特性与模型不确定性特点的高超声飞行器控制问题,提出一种新型的姿态预测控制器设计方法。引入参考模型,建立了飞行器姿态预测控制模型。基于此,利用预测理论设计了飞行器的预测控制器,同时设计了干扰观测器实时观测外界未知干扰来进行补偿控制,从而实现滚动优化的目的;基于干扰观测值与真值的误差,利用Lyapunov稳定性理论,确定了控制精度与预测步长大小的关系;最后,在参数标称与拉偏的情形下进行了高超声速飞行器姿态控制系统仿真,仿真结果表明,干扰观测器能快速跟踪干扰,并且所设计的预测步长可以满足飞行器高精度的控制要求。     

空中加油系统的建模与控制技术综述

空中加油已经成熟应用超过半个世纪,但其建模与控制技术仍是航空界的研究热点与难点之一。综合大量文献,回顾了空中加油的发展历程和战略价值所在,比较研究了2种加油方式各自的优劣,总结了近年开展的系统建模和控制相关的研究成果。基于硬式加油与软式加油的功能互补之效,提出了借助研制大型运输机的契机发展硬式加油技术的观点。通过研究国内已经开展的相关工作及其不足之处,论证了开展系统建模与控制专项研究的必要性与积极意义。结合硬式加油系统的特点,提出了建模时应该综合考虑系统多刚体、多构型、强扰动与不确定性、受弹性形变与弹性振荡影响等特点,并提出了与之对应的伸缩管姿态控制、对接状态应力自动补偿、对接过程协同控制、抑制弹性振荡影响、半物理实验平台开发等关键问题。     

Optimization of beamforming and path planning for UAV-assisted wireless relay networks

Recently, unmanned aerial vehicles （UAVs） acting as relay platforms have attracted considerable attention due to the advantages of extending coverage and improving connectivity for long-range communications. Specifically, in the scenario where the access point （AP） is mobile, a UAV needs to find an efficient path to guarantee the connectivity of the relay link. Motivated by this fact, this paper proposes an optimal design for beamforming （BF） and UAV path planning. First of all, we study a dual-hop amplify-and-forward （AF） wireless relay network, in which a UAV is used as relay between a mobile AP and a fixed base station （BS）. In the network, both of the AP and the BS are equipped with multiple antennas, whereas the UAV has a single antenna. Then, we obtain the output signal~to-noise ratio （SNR） of the dual-hop relay network. Based on the criterion of maximizing the output SNR, we develop an optimal design to obtain the solution of the optimal BF weight vector and the UAV heading angle. Next, we derive the closed-form outage probability （OP） expression to investigate the performance of the dual-hop relay network conveniently. Finally, computer simulations show that the proposed approach can obtain nearly optimal flying path and OP performance, indicating the effectiveness of the proposed algorithm. Furthermore, we find that increasing the antenna number at the BS or the maximal heading angle can significantly improve the performance of the considered relay network.