自主可控关键软硬件在我国宇航领域的应用与发展建议

针对复杂国际形势与国内薄弱的工业基础,"十一五"以来我国通过"核高基"等国家科技重大专项持续投入,已在核心电子器件、基础软件产品、配套成套工艺等方面取得了重大突破.上海航天技术研究院作为航天装备主要研制单位,积极参与国家科技重大专项的实施,主动推动国产核心器件与操作系统软件的应用验证与型号应用,为国产关键软硬件研制平台...     

基于射频数字化的多通道信号处理方法

针对传统的卫星测控射频信号处理中存在的过程复杂、通道数量不多等缺点,提出了采用射频数字化技术,直接在上下行射频与基带之间进行信号转换,大大简化了射频前端设计;针对多路频分宽带信号,设计了二级滤波模式,较好地适应了多种卫星测控体制的需求;采用了超奈奎斯特架构,有效提升了前端的集成度及可靠性。     

运载火箭试验大数据存储架构设计与应用

运载火箭试验产生的数据量呈现出爆炸式增长,主要特点表现为数据种类多、数据密度大、数据持续时间长。传统单机部署和基于关系型数据库与文件的系统架构的不足逐渐显现,不同种类的数据不做区分存储,存储和查询效率低,数据无备份,存在单点故障导致数据丢失的问题,无法满足海量数据场景下的存储计算业务需求。利用大数据技术思想,针对运载火箭存储计算业务的需求,设计出一套运载火箭试验大数据存储架构,并给出了各存储组件的存储模型设计方法。通过实际工程应用表明：该架构具备良好的可靠性、可扩展性和可维护性,是一种切实可行的大数据存储架构设计,能够满足运载火箭试验数据的存储计算等业务需求。     

适用于机载飞控系统的操作系统选型研究

新型机载飞控软件综合了更多的应用功能,需配备合适的操作系统作为基础.根据新型机载飞控软件开发需求,对操作系统和配套开发工具的要求进行讨论,形成相应的评估表.同时对国内外在飞控上有应用的4个操作系统进行分析评估,选出最适合目标机载飞控软件的操作系统.     

面向软件源程序的模型检验技术

模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查.     

大数据量采集系统设计的几个细节

本文主要介绍大数据量数据采集系统的设计细节。硬件选择方案,软件设计细节及大量数据的处理方法。     

基于SPIHT算法的遥感图像高速实现方案

基于小波变换的SPIHT图像压缩方案是目前公认性能较好的一种实用高性能图像压缩编码算法，但原始SPIHT算法链表式编码限制了其在高速处理中的应用。本文提出了一种改进的SPIHT压缩编码算法，在确保恢复图像质量与原始算法基本上相当的基础上，改进算法可以采用并行流水结构实现，有利于高速处理中的应用，为该算法在遥感图像中的应用提供了理论依据和工程基础。     

J7L最短时间三元上升转弯轨迹的实时生成

首先应用奇异摄动方法，编制了Ｊ７Ｌ非实时的最短时间三元转弯的优化软件，然后利用速率调度的方法，实现了软件的实时，在Ｊ７Ｌ飞行模拟器上进行的飞行试验结果表明，该优化软化是成功的，生成的最优轨迹的变化趋势是正确的。     

MOTIS协议的研究和实现

本文描述了MOTIS相似文献   

软件标准符合性测试

叙述了软件标准符合性测试方法，提供了断言类型判定，测试级别，测试套集，测试工具等关键技术的解决方案，对软件标准测试，软件质量保证均有一定的指导作用。