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

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

美国军用遥感卫星地面系统的最新进展及应用效果

一、典型的军用遥感卫星地面系统遥感卫星地面应用系统完成数据的接收、处理、管理和分发,是连接数据获取和应用的重要桥梁。地面应用系统提供全天时、全天候、高分辨率的空天地一体化信息保障能力,体现武器平台的高度一体化。     

F-22被“曝”最新性能数据

美国国内对于F-22的开发前景目前存在很大争议，国防部希望削减采购量以节省国防预算，国会希望增加采购量保持航空工业的就业大军，美国空军设定最小采购量的目标为240架，但是还没有争取到足够的支持者。为了支持美国空军，洛克希德·马丁公司最近透露了F-22在使用中的一些实际性能数据，表示它在几项性能指标上要好于原设计要求。     

大后掠机翼翼尖导弹动力响应空测与数据分析

 <正> 大后掠机翼翼尖挂导弹对外界干扰的动力响应很灵敏,这种干扰主要来自随机不稳定气流或各种突加载荷。为保证安全和防止导弹失控,摸清其响应值非常必要;除理论计算外,对可能遇到的不平稳气流和突加载荷在翼尖导弹上的动力响应进行了空测,并用频谱分析和功率谱密度分析处理了空测数据,制订了翼尖导弹振动与冲击试验谱,进行了地面试验与空中打靶试验,获得了满意结果。     

资源三号卫星廊坊地区遥感数据的融合处理

本文以资源三号卫星河北省廊坊地区2A级全色遥感影像和多光谱影像数据为基础,采用遥感数字图像处理软件ERDASIMAGINE进行了研究区域的提取,并对提取的感兴趣区进行了几何校正,即图像配准处理,然后进行了融合处理,分别采用了空间增强的分辨率融合算法、改进IHS分辨率融合算法以及小波分辨率融合算法,通过和融合前的影像进行对比,融合后的影像既保留了多光谱影像的丰富的波谱信息,同时具有了全色影像的高空间分辨率的特征,最后对比三种融合算法,得出改进的IHS分辨率融合算法效果最佳。     

中国航天科技集团公司2013年质量工作要点

质量工作总体要求:认真学习贯彻集团公司第五次工作会和型号工作会会议精神,以确保型号研制生产试验任务圆满完成和提升质量管理能力为目标,以深入推进精细化质量管理为主线,强化型号研制全过程质量控制,加强可靠性设计、分析和试验验证工作,有效开展航天型号技术风险分析与量化控制,深化质量管理体系     

基于一致关联数最大化的航迹关联算法

航迹关联(TTTA)是多传感器数据融合系统的核心模块之一,是系统误差估计和航迹融合的前提和基础。传感器存在的固有系统误差使得目标位置状态估计与真值发生偏离,容易诱发TTTA错误。传统的基于全局最小距离准则的TTTA算法,需要获得较高精度的系统误差估计,来对航迹数据进行误差补偿。针对传感器具有系统误差环境下的TTTA问题,在对TTTA进行间接评估的基础上,定义了一致关联数的概念,提出了一致关联数最大化的TTTA准则,并在稳健交替迭代的框架下完成算法设计。与距离函数不同,一致关联数是一个离散量,放松了对系统误差估计精度的要求。最后,仿真实验验证了所提算法的有效性。     

多波段拉曼-荧光激光雷达系统可用于雾霾探测

正近日,兰州大学教授黄建平带领科研团队研制出我国首个多波段拉曼-荧光激光雷达系统。该系统不仅可用于大气雾霾探测的研究及预警,还可用于卫星数据校正、气象观测等领域。"多波段拉曼-荧光激光雷达系统用高功率激光器向天空同时发射三束激光,也就是三个波段。紫外激光与大气颗粒物作用之后,就会释放出荧光,利用大口径的望远镜接收被大气反射回来的信号,共有38个波段。黄建平