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

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

一种阵列天线逐通道相关在线标校法

由于发送端和接收端时钟的不一致性,导致低信噪比下阵列天线卫星移动通信的逐通道相关标校有很大的难度。在考虑易实现性和简易性基础上,提出了一种可以解决低信噪比下通道校正的多周期长时累积方法。该校准信号为由地面标校站产生的BPSK调制扩频信号,可以减少卫星设计的复杂度,且在不中断用户数据传输的基础上实现在线标校。该方法通过对接收信号打标、速率匹配等措施来解决收发时钟不一致导致的码偏和频偏问题。研究结果可以为阵列天线卫星通信技术提供支持。     

基于响应类型的直升机悬停状态显模型跟踪控制律设计

现代战场使用环境对直升机的飞行品质要求越来越高,使用电传飞控系统可大幅改善直升机的飞行品质,本文以电传飞控系统为研究对象,进行面向特定任务的具体指标要求的控制律设计。首先,根据ADS-33E飞行品质规范要求构造出满足悬停状态下俯仰轴ACAH响应等级1要求的指令模型;其次,以该指令模型构建显模型,通过反馈补偿算法进行跟踪偏差修正的模型跟踪控制律设计,最终得到整个闭环系统俯仰姿态满足飞行品质等级1要求的控制律构型和参数。通过MATLAB仿真验证了该设计方法的合理性和有效性。