一种星载计算机秒中断间隔可控的校时方法

传统的星载计算机时间维护主要由软件实现，为了避免校时过程中秒中断间隔过小或过大，软件需要通过复杂的逻辑和算法对外部计时器Intel 82C54芯片进行多次操作才能实现一次校时，较容易出错，且占用CPU机时较多。随着未来航天器智能处理的任务越来越多，CPU机时越来越紧张，为了将CPU从繁琐的校时操作中解放，提出了一种基于FPGA的秒中断间隔可控的校时方法。通过FPGA逻辑电路设计星时计时器，利用秒中断间隔约束条件设计校时触发条件，当满足校时触发条件时，FPGA逻辑电路自动实现校时操作，很好地解决了校时过程中秒中断间隔过大或过小的问题，节约了CPU机时。该校时方法已在多台星载计算机上应用，取得了较好的效果。     

空军精确制导弹药保障模式与发展方向

空军转型发展对精确制导弹药保障提出新需求,必须转变精确制导弹药保障模式,以适应"空天一体,攻防兼备"战略要求。本文主要分析研究精确制导弹药保障能力建设面临的问题,提出解决问题的对策、改革方向,为空军精确制导弹药保障能力建设创新发展提供借鉴和支持。     

基于通道校准和HMM的机载雷达健康状态评估

性能退化与间歇故障是机载雷达健康状态的重要反映。针对传统机载雷达健康评估方法缺乏整机级的监测指标、未能综合考虑性能退化和间歇故障，传统BIT电路难以监测间歇故障等工程难题，提出了基于通道校准链路，综合运用通道校准仿真技术、正态云、HMM建立起健康状态评估流程。首先，对通道误差与间歇故障进行分析，得到4类校正系数，建立误差与间歇故障注入仿真流程；然后，基于正态云，利用校正系数的样本方差来表征雷达系统的健康状态，提出统一健康模型，并给出HMM拓扑结构与参数设计方法；最后，建立起基于数据驱动的评估流程并开展应用研究。仿真实验验证了误差和间歇故障仿真流程的可行性、健康状态评估方法的有效性，可获得大于95%的评估准确率；应用案例表明所提方法可行，能解决工程上机载雷达健康状态评估的问题。     

量子计算及其在空气动力学中的应用前景综述

量子计算是最重要的后摩尔计算技术之一，拥有经典计算机无可比拟的超强计算能力，未来能够对各行业应用产生颠覆性的影响。针对量子计算给空气动力学带来的机遇和挑战，详细综述了量子计算机、量子算法、量子底层软件栈等方面的研究进展。结合空气动力学领域常用的基础方法，在综述量子计算线性方程组求解、插值操作、数值积分、优化搜索等最新进展的基础上，结合典型量子算法深入分析了量子计算在空气动力学领域的应用前景，并指出了需要重点关注的研究方向。     

智能数字式低频信号发生器

采用一片ＡＴ８９Ｃ５１单片机和两片ＤＡＣ０８３２数模转换器组成数字式低频信号发生器,它具有价格低,性能高和在低频范围内稳定性好,操作方便,体积不,耗电少等特点。     

一种星载计算机操作系统容错引导算法研究

将软件冗余备份与SPARC V8构架芯片EDAC相结合,提出了一种新型星载计算机操作系统容错引导算法。该算法首先在EEPROM中备份三份操作系统文件,星载机上电或复位后,利用硬件EDAC功能对引导的操作系统文件进行错误检测及纠错,当检测主操作系统文件错误并且无法纠错时,则屏蔽错误操作系统文件自动引导备份操作系统文件,星载机仍可正常启动。与目前采用的硬件编码容错技术及软件冗余容错算法相比,该算法在有效降低硬件成本和软件消耗的同时,实现了对操作系统文件的检错纠错及错误屏蔽功能,提高了操作系统数据的可靠性。该算法可以为星载机容错设计提供参考。     

空间双机容错计算机系统研究

为在资源有限的条件下，最大限度地实现长寿命空间飞行器计算机系统的容错，同时又能达到所要求的性能，提出了一个模块化的双机容错设计方案。采用热冗余比较方式，软硬件组合实现系统的容错管理，可保证在某个资源或包含该资源的模块发生故障时，不会导致整个系统的失效，并具备模块级重构能力，从而实现系统的资源共享。不同冗余系统可靠性分析和有关测试结果表明，所设计的双机容错系统性能满足有关要求。     

自由曲面叶轮的四坐标数控加工研究

 针对自由曲面叶轮的四坐标加工,提出了一种刀轴矢量的确定方法。给定工作台倾斜角度和刀具后跟角,四坐标加工的刀轴矢量必然位于这两个角度确定的两个圆锥面上。通过对两个圆锥面求交并结合叶轮加工的实际特点,给出了自由曲面叶轮四坐标加工刀轴矢量的计算方法。根据得到的刀轴矢量,计算相应的侧偏角,从而可将五坐标加工的理论和方法直接应用于四坐标加工中。算例表明,该方法合理可行,能够有效提高四坐标加工效率、降低叶轮加工成本,并可推广至一般曲面的四坐标加工以及五轴四联动加工。     

基于控制线方法的机载SAR和可见光图像匹配应用研究

根据无人机(UAV)景象匹配导航的现实需求,对具有典型人造场景的机载合成孔径雷达(SAR)图像与可见光图像,提出一种基于直线特征的SAR图像与可见光图像配准方法.首先,利用改进的直线段检测(LSD)方法提取图像直线特征;其次,构造控制线并设计了一种基于控制线的图像配准方法;最后,依据仿射变换模型实现了待配准图像的精确自动配准.实验表明,在SAR和可见光图像存在较大灰度差异、旋转和平移的情况下,该算法仍能精确配准图像,且运算时间大幅减少,能够满足一些实时性较强的应用.     

太阳能模型飞机的设计方法研究

从太阳能模型飞机的发展状况,分析了太阳能电池应用在航模飞机上的技术难点,针对机载平台、太阳能电池应用、推进系统三方面提出了合理的解决优化方案。实践表明了在光照充足的情况下,能达到只依靠太阳能电池作为动力,实现滑跑起飞的要求。