航天器软件质量模型及度量指标

分析了航天器软件的研制技术流程和关注的质量特性,提出了航天器软件质量模型,明确了质量特性和子特性,结合航天器软件研制过程中产生的可度量数据,提出了各质量特性的度量指标。     

卫星测控应用中心远程容灾系统方案设计

随着航天技术的发展,各种卫星如综合侦察卫星、气象与海洋监视卫星、数据与中继卫星等,其数据的信息速率存储、处理的数据量越来越大,对卫星测控应用中心大容量、高速率数据的安全性、可靠性要求也越来越高。在自然灾害,如地震、洪水;人为破坏,如恐怖活动、战争等条件下,确保卫星测控应用中心的安全与快速恢复能力,将非常重要。本文从原理上设计了一套远程数据容灾系统方案,以保证卫星测控应用中心在自然灾害或人为破坏后能够快速恢复其基本功能。分析表明,该方案具有很好的可靠性、安全性。     

基于SCADE的飞控软件的适航验证与确认

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的开发流程进行了分析对比,对基于SCADE的飞控软件的适航验证与确认工作提出了建议。     

综合模块化航电软件仿真测试环境研究

 伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的对验证过程结果的验证的要求。本文在分析IMA软件特点的基础上,根据DO-178B的要求,综合国外的发展情况和国内的研究进展情况,研究综合模块化航电软件仿真测试环境需求,提出了基于软件故障注入的综合模块化航电软件灰盒仿真测试环境方案,并给出优势分析。该仿真测试环境方案以IMA软件为测试对象,应用软件故障注入技术和代码插装技术满足测试规范文件的要求。其具有通用灵活、适配性强、强实时性等特点,为中国新一代航电软件的系统验证和测试奠定了基础。     

软件总线体系结构的研究与应用

设计一种轻量级软件总线体系结构,将软件总线思想引入到单机软件系统的定制与集成.软件总线技术源于分布式异构环境搭建提出的,应用于分布式系统.对传统软件总线结构进行改进,采用双总线结构,摒除不必要的分布式功能,使轻量级软件总线成为一种适用于单机环境的软件体系结构.通过创建一个基于轻量级软件总线体系结构的模拟银行服务排队系统,验证轻量级软件总线作为单机软件系统的搭建架构具有可行性.     

航天工程地面测控软件的软件生存周期模型

软件生存周期模型(Software Life Cycle Model)是用于描述软件从开始研制到退出应用全过程中,各种活动如何执行的范化模型。对于航天工程地面测控软件,瀑布模型、演化模型、螺旋模型、原型模型等传统模型往往不能非常有效地适应其特性,存在一定的困难和问题。本文结合这些经典软件生存周期模型,在分析航天工程地面测控软件高可靠、需求易变等特点的基础上,提出了更具针对性的生存周期模型——构造增量模型。     

NBA赛程利弊指标的数值分析

在NBA常规赛中,各队比赛总场次一定时,为使赛程安排公平,应考虑主客场、背靠背、比赛密集度等因素.先将这些因素数量化,再对各因素赋以相应权重,可以较为均衡地反映出各队利弊的数量指标.依据在一定条件下选取球队的方法,列出比赛矩阵,通过lingo程序求解,得到结果.     

DP165高速铣削中心在叶片精铸模具加工中的应用及UG软件编程方法的探讨

首先简要介绍了DP165高速铣削中心的结构特点,然后以加工精铸叶片模具榫头部分零件来介绍UG软件如何编程和机床的实际应用情况。     

星载软件可测试性设计方法

随着星载软件复杂度的增加,提高软件测试效率对保证软件质量越来越重要,软件的可测试性设计成为提高软件测试效率的关键手段。文中针对星载软件的可测试性设计提出了四种方法:设计可测试的分层体系结构可将软件故障限制在层次范围内;合约式任务模板可规范任务的输入输出,降低任务间的耦合性;状态序列编码可用于动态指示软件的切换与流向;多任务调度记录与堆栈使用记录可用于静态复现一段时间内软件的详细工作过程。可测试性设计方法应用在某项目的软件研制中,软件测试效率有明显提高,证明方法可行有效。     

整体式盒式应变天平有限元设计

为了满足大飞机的测力试验要求,应用CATIA软件建立整体式盒式应变天平的虚拟样机,以该软件的有限元功能分析了该天平的静力学、贴片梁的微应变及模态,得出了天平在给定载荷下的应力和模态振型。静态标定结果表明有限元方法比传统计算方法的结果更可靠,同时说明了CATIA作为参数化设计及分析的一体化软件应用于天平的设计可在设计阶段降低天平的线性与非线性干扰,分析与设计效率得到了较大的提高。