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

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

伊朗展示捕获的RQ-170

12月1日．美国空军声称．一架RQ-170隐身无人机在执行侦察任务中脱离航线．由于机载设备或电源发生故障，自动进入了飞行中断程序．     

一种连续波雷达调制参数测试仪

连续波雷达调制参数测试仪是对雷达发射机的复合调制参数进行测试的综合性仪器。本文着重介绍了该测试仪的设计思想、工作原理，并对研制中的一些技术问题作了说明。     

连续波半主动导引头外部杂音的研究

对连续波半主动导引头过量的外部杂音进行了分析和理论计算,并用实验数据加以对照.引起导引头过量外部杂音的原因有:发射机调频杂音;地物背景反射;导弹飞行时,导弹与地物及弹目之间的相对速度不同.对计算和靶试遥测数据的分析表明,在导弹发射后2s时,中低空连续波导引头的外部杂音的强度要比目标信号高出50—70dB.连续波导引头要获得良好的低空性能,必须在信号的识别、搜索和跟踪各环节中采取各项有效措施,与强杂波相抗衡.     

航天器初始飞行段雷测系统误差估计方法与算法

在航天器初始飞行段的跟踪数据中,假设光测数据含有常值系统误差,连续波雷达系统的距离和／差数据含有二次项系统误差和折射残差,距离和／差变化率数据含有线性系统误差和折射残差。利用样条函数表示轨道,建立了系统误差和航天器轨道的非线性模型,给出了系统误差和轨道的高精度估计方法和算法。     

连续激光加热推力器性能的简化解析计算模型

针对具有开放式吸收室的连续激光加热推力器,通过合理简化和分析,建立了一维流推力     

一种X频段50 kW高功放的设计

针对未来深空测控及其他航天器测控通信业务不断拓展的需求,设计了一种基于速调管方案的X频段连续波高功放。该方案采用了高效率低电源纹波的模块化高压开关电源、集中式液体冷却设备、串联与并联相结合的高功率谐波和收阻滤波器,以及高速可靠的控保措施,实现了在深空X频段连续波高功率输出的技术能力。测试结果表明：在规定的带宽内,输出连续波功率达到了50 kW,最高可达60 kW以上,第2、3、4次谐波及接收频段内信号的抑制能力等主要指标都达到了预期目标,整机散热效果理想;经长时间连续加电考机表明：设备考核指标和工作状态都稳定可靠。这将为我国深空探测技术的进一步发展、探测能力的进一步提高奠定坚实基础。     

机载连续波行波管维修调试技术研究

通过对多型航空电子对抗装备中发射机的维修研究,对机载连续波大功率行波管的主要工作原理、故障模式、维修策略以及维修中的注意事项进行了简要介绍,并提出了行波管在装备后的使用维护和调试方面的一些经验和建议。     

基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

面向多级中断系统的任务最差响应时间分析

针对航天嵌入式系统中存在多级中断情况下的时间分析问题,提出了中断与任务混合的响应时间计算模型。该模型中断与任务使用统一的优先级定义,将多级中断嵌套的响应时间分析与任务嵌套的响应时间分析相结合,推导出了混合模型下响应时间计算公式。并进一步比较了中断与任务的异同,阐述了公式中关键参数的含义与计算方法。最后利用开源的LEON3平台和Modelsim软件对所述方法进行了仿真验证,结果表明,任务最差响应时间过估小于5%,可以得到准确的分析结果,有较高的工程应用价值。