一种基于Spark的国产化海量数据预处理和计算技术

以提升航天大数据软件的数据处理性能为目的,以原有的MapReduce框架为基础,提出一种新的面向国产平台的基于Spark内存计算和数据预处理技术相结合的技术。将原软件框架的数据解析算法前移,采用Kafka消息队列对不规格数据进行分布式预处理。针对MapReduce框架消耗内存过大的问题,利用RDD调用机制与Spark内存计算的优势,采用一种基于Spark的快速处理框架,并在国产平台上进行了移植适配。经工程验证,新的基于Spark框架的数据处理性能较之前的MapReduce的数据处理性能有了显著提升,稳定实现了在面向全国产平台的大数据批处理技术的性能优化。     

多模异构冗余软件系统同步技术研究

航天控制领域普遍采用冗余方案进行系统设计,相应软件系统也存在冗余。本文对三冗余软件之间、三冗余软件与不冗余软件之间以及三冗余软件与热备份软件之间实时同步控制策略进行研究,通过分析数据、信号的同步性和一致性,找出造成多模异构冗余软件系统不同步的时机、方式等影响因素,在此基础上给出了消除这些因素的软件设计方法,提出了确保冗余软件系统数据同步和一致的延时等待、交互表决、串行操作以及记忆重发同步控制策略。     

新型测发控流程查询系统平台的研究

研究基于J2EE技术和MVC设计模式来架构测发控流程查询系统平台的解决方案.构建了一个支持远程访问的通用测试流程查询平台,主要包括Web服务器构建、数据库设计和业务逻辑结构设计3方面内容,最终形成一个可伸缩、灵活性强、易维护的应用系统.     

基于系统状态分析的软件可靠性测试方法

航天工程类软件由于其应用环境的特殊性,对软件的可靠性和安全性非常重视.但是在航天型号中应用常规软件可靠性测试方法对工程软件进行可靠性评估却存在许多实际困难,本文介绍了一种基于系统状态分析的软件可靠性测试方法,为在航天型号工程类软件中开展可靠性测试提供了一条可实现途径.     

测试流程可视化关键技术研究与实现

本文属于火箭测发控系统软件领域,对流程可视化技术的关键技术进行研究.提出一种基于面向对象的分析和设计,将编译技术、MVC设计模式和UML理论结合起来应用的图形可视化技术,旨在降低测试流程定制和管理的复杂度、提高用户工作效率、降低测试成本.图形化界面设计支持对图元的移动、复制粘贴、图元属性值的设定和对控制结构的表达.利用该技术实现测试流程可视化系统,为用户提供直观的交互途径,解决了其他图形化技术无法解决的问题,满足了航天领域的高可靠性要求.     

TMS320VC33虚拟内核流水线仿真优化设计方法研究

搭建全数字仿真测试环境的关键是虚拟内核的研制.流水线仿真优化设计对虚拟内核运行效率的提高至关重要.本文研究了TMS320VC33虚拟内核流水线仿真优化设计方法,基于TMS320VC33流水线工作原理运用译码缓存策略和预译码策略对流水线仿真过程进行优化,并提出了一种流水线仿真优化设计整体方案.     

一种基于模型的飞行控制软件可靠性分析方法

将软件可靠性参数估计的方法引入到航天自动控制领域,在探讨了模型可靠性指标选取原则和评价方法的基础上,提出了一种基于飞行控制软件可靠性模型综合分析的方法。     

面向对象软件在工具辅助下确认测试的方法与实践

以某一型号综合测试管理软件的确认测试为例 ,阐述了在TESTBED软件测试工具辅助下 ,对面向对象的软件进行确认测试的实践活动     

运载火箭飞行控制软件的多任务设计方法

为适应新一代运载火箭电气设备数字化、智能化的发展，提出了基于嵌入式实时操作系统的飞行控制软件多任务设计方法。设计了飞行控制、数据管理、精确关机等任务，根据实时性要求设置了相应任务的优先级；设计了飞行控制任务在三冗余处理器中一致性运算的机制；提出了控制周期内多任务共用临界资源的约束性要求作为冗余同步运行的余量指标。本文设计的多任务已在新一代中型运载火箭飞行试验中得到验证。