应用UML建模航天测试数据库需求的过程

为有效地将面向对象方法及相应建模技术在航天软件应用中工程化,本文通过航天测试数据库开发实例,阐述了运用UML对面向对象软件进行需求定义和需求分析的过程。以该需求展开的设计及实现在型号试验中得到较好的验证,同时此过程方法对其他面向对象软件的需求开发也起到一定借鉴作用。     

航天测控软件测试过程新模型的应用研究

对几种传统的软件测试过程模型进行分析和比较,结合航天测控软件的特点,提出蝴蝶模型的软件测试新模型,对基于蝴蝶模型的航天测控软件测试过程进行探索和研究,旨在提高软件开发的质量和软件测试的效率.     

软件可靠性度量在航天控制软件中的应用

在软件开发中如何使用软件可靠性度量是航天软件开发过程中亟待解决的问题,为了解决这个问题,本文对11个软件可靠性度量在航天某型号控制软件中进行了应用,度量的结果验证了推荐出的软件可靠性度量具有可操作性和实用性。     

浅谈软件研制质量与标准化工作

概述计算机技术在航天型号研制中的应用及其硬件、软件的发展情况,分析了目前航天系统工程研制中软件开发过程存在的问题,强调指出提高软件研制质量必须实施各项软件标准和规范,认真做好标准化工作。     

启动软件重用库工程 推进航天型号软件标准化

概述了国际上软件重用技术的发展和应用状况,阐明了软件重用技术是提高软件质量特性的有效措施,也是推进航天型号软件开发、应用工程化和标准化的重要技术基础工作,并系统地论述了建设航天软件重用库的必要性、迫切性和可行性,初步提出了航天软件重用库工程的实施建议。     

航天工程多态全息模型及应用

以我国航天工程研制特点和数字化需求为出发点,构建涵盖航天工程全周期、全系统的数据体系,提出航天工程多态全息模型的概念及具体组成,实现了包含全要素信息的完整产品数字化定义;构建航天工程全生命周期模型体系,体系化地表达了多态全息模型在任务层、系统层和功能层随时间的动态演化过程,以及相互耦合关系;开发了多态全息模型集成系统,并在典型的航天型号中开展了实践,初步形成了架构驱动的协同研制模式和数据驱动的产品状态管理模式,提升了研制效率效益,为其他领域复杂系统工程的应用提供了参考。     

基于代码自动生成的计算机辅助系统设计与实现

主要探讨航天型号中的时序控制软件的辅助生成,结合航天型号时序控制软件的研制现状,针对现行软件研制过程中存在的问题,设计实现基于自动生成的计算机辅助系统,代替人工生成模式,切实提高航天工程中软件的研发效率和可靠性。     

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

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

软件产品化在航天领域的应用与管理

软件产品化是提高软件研制效率和产品成熟度的重要途径。通过推动航天型号软件产品化研制,形成软件产品资源库,实现建立"一次研制,重复应用"的航天型号软件研制模式。重点阐述了航天型号软件产品化的研制思路及其在型号应用过程中的管理要求,并介绍了北京控制工程研究所在型号软件产品化研制方面的探索和实践。     

基于协同学的航天型号项目组合配置战略贴近度研究

文章将协同学和系统理论引进航天型号项目组合配置战略贴近度研究,运用熵的思想度量了航天企业战略和项目组合配置方案之适配序参量的配置合理性,在定义适配序参量、适配熵、适配度和贴近度等概念的基础上,构建了航天型号项目组合配置战略贴近度的优化度量模型,并通过航天企业实践验证了该度量模型的科学有效性,为航天企业进行多项目管理提出了可供参考的分析方法和决策依据。     

基于Simulink／RTW的冲压发动机控制系统半实物仿真

基于Matlab／Simulink软件开发平台,建立了冲压发动机控制系统的数学模型,通过TLC将仿真模型自动转化成C代码,提高仿真速度。并利用Real—Time Windows Target实现了仿真软件的实时运行。利用该仿真软件,实现了冲压发动机控制系统半实物仿真试验,对冲压发动机的供油控制规律进行仿真研究,验证了所采用的控制规律、控制算法的可行性。     

基于二态模型递归树的遥测全帧数据仿真算法

由于不同型号飞行器的遥测数据帧格式复杂多变、形式各异,使得工作人员不得不频繁更动遥测数据仿真软件,尤其在面对新型号飞行器时,软件甚至需要重新开发。为此,提出了一种基于二态模型递归树的通用化遥测全帧数据仿真算法。首先,通过对遥测全帧数据的特点进行分析,提出了基于参数数据和结构数据的遥测全帧数据通用化二态表达模型,构建了描述遥测全帧数据的递归树,实现了遥测全帧数据通用化描述。其次,针对遥测全帧数据仿真问题,提出了基于多元函数递归运算的结构数据生成算法,并设计了参数反演算法,实现了遥测全帧数据的通用化仿真。最后,通过算例分析,验证了算法在遥测全帧数据仿真中的实用性和有效性。     

航天测控软件共用原型系统设计与实现

软件共用是航天测控软件的发展趋势。分析航天测控软件共用的可行性,选取火箭遥测软件作为原型验证系统,提出设计方案,并采用ICE中间件和构件技术加以实现。该原型验证系统的设计与实现对航天测控软件共用研究具有重要的借鉴和指导意义。     

基于Pro/E的三维总剂量分析软件实现及其在微小卫星中的应用

微小卫星基于成本和重量的考虑使用了大量COTS(commercial off-the-shelf,商用货架产品)器件。总剂量效应是制约COTS器件航天应用的主要因素之一。为了更加准确地计算COTS器件的辐射剂量,避免过设计,采用Pro/E二次开发技术自主开发了三维总剂量分析软件。与商业软件Space Radiation在简单模型上进行了对比验证,结果表明自研软件计算结果可信。采用自研软件对在研的型号开展三维总剂量分析,降低了对总剂量敏感器件的抗总剂量要求,减小了屏蔽厚度。     

飞行软件通用仿真测试平台中1553B接口测试方法的研究

航天飞行软件是航天飞行器控制系统中最重要的部分之一,1553B总线在航天飞行器中的应用越来越广泛,因此模拟一个1553B总线环境成为仿真测试中不可或缺的一部分,然而由于不同型号飞行软件的独立性,各个型号都需要设计专用的仿真测试平台,造成软硬件的浪费.本文在提出一种通用的仿真测试平台的基础上,对平台中1553B总线测试功能模块进行研究,分别在驱动层、逻辑层和用户层上对总线的需求和结构进行了详细设计,使其能够通用于任何一种支持1553B总线的飞行软件,大大节约了软件测试成本,有效缩短了测试周期.     

基于IVI驱动的真空热试验数据采集系统软件开发

目前国内大型空间环境模拟器配备了多种型号的数据采集系统,主要负责完成对多种数据信号的综合测试。文章以Keithley 3706数据采集系统为设计对象,在VB6.0的开发环境中设计了基于IVI驱动的数据采集软件,给出了IVI驱动的设计过程及软件代码。实践表明,IVI驱动的引入提高了数据采集系统的开发效率,降低了研制成本,实现了数据采集系统的硬件无关性。     

航天型号可靠性信息系统软件的设计与实现

针对航天型号可靠性信息管理和评估工作的现状，从可靠性信息的分类、系统架构方面介绍了适用于航天型号的可靠性信息系统软件的设计思路和实现情况。     

一种基于MATLAB快速开发跨平台算法软件的方法

利用MATLAB进行算法的研究、仿真和实现，已经成为科研工作者的重要手段之一。在MATLAB上开发算法便捷、高效，但无法直接应用在其他平台，此时需要软件人员编码转换进行二次开发。如果某个算法同时应用在Windows和Linux这两个系统中，软件人员需要开发两个不同的软件，它们功能相同只是代码不同。这不仅增加了软件开发的工作量，同时也不利于后期维护。针对上述问题，提出了一种基于MATLAB快速开发跨平台算法软件的方法。首先，利用MATLAB开发算法的便捷性进行算法的调试与验证，简化接口函数；其次，使用MATLAB Coder生成独立于MATLAB的C/C++代码；然后，将生成的代码在不同平台下进行封装，生成该目标平台的动态链接库；最后，不同平台通过调用该平台下的动态链接库，实现了同一算法的跨平台软件开发。所提出的算法软件跨平台开发方法，已成功应用于多个实际项目。通过本方法，不仅缩短了软件的开发周期，提高了软件编程效率，减少了软件开发中的人为错误，同时方便了软件的后期维护。     

基于模型驱动的图像处理算法实现及优化

作为嵌入式软件领域的一个重要发展方向,基于模型驱动的软件开发方法越来越受到开发人员重视。SCADE作为一种较为成熟的模型驱动开发工具,已得到了一定的应用,但其是否对各种建模场景均适用还有待研究。本文对利用SCADE建立图像处理算法模型进行了尝试,针对Sobel算法,设计了正确的算法模型,并对模型进行分析,总结了相应的优化方案。经过实验验证,优化方案可有效地提升程序执行效率。     

航天器结构模型修正方法的工程应用研究

航天器结构设计通常利用试验数据进行模型修正,以使修正后模型接近真实结构和提高结构有限元分析预示精度。本文导出了迭代IRS缩聚方法,提出了相对灵敏度概念,建立了模型修正的优化理论模型。在利用自编有限元软件DASS的基础上,开发了航天领域模型修正软件初版MUSS1.0。最后,通过仿真和工程实例对理论和软件进行了初步验证。