可靠性维修性保障性CAD软件集成环境工程应用验证研究

工程应用验证可以说是一种新的软件测试手段和方法，是对常规软件测试的一种补充。工程应用验证主要适用于那些大型、复杂、开发周期长、与工程实际结合比较密切的，尤其像MS－CAD集成环境那样具有预先研究性质的软件，目的是软件能更好地满足潜在用户的需求。本文结合有关的课题工作进行，对工程应用验证的内涵、方法及实施途径进行了探讨。并针对RMS－CAD集成环境，对验证实施办法进行了详细分析。通过对集成环境应用验证工作的实施，对工程应用验证理论进行了检验，得出了相应的结论。从某些角度讲，工程应用验证应成为具有预研性质的大型工程软件开发的重要辅助手段。     

软件配置管理工具的数据库设计与实现

软件配置管理是CMM的一个关键过程域，是软件开发过程的重要过程之一，是一套按规则管理软件生命周期全过程中各种中间软件产品和最终软件产品的方法和技术。随着我国航天事业的飞速发展，对航天测控软件的质量要求也越来越高，为此，我们开发了针对航天测控软件系统的软件配置管理工具(SCMT)。本文介绍了软件配置管理的基本概念和SCMT中的数据库系统的设计和实现思想。     

试论我国财务软件服务体系的建立

我国财务软件发展至今,总体上看还很不健全,针对实践中遇到的问题,对财务软件服务体系的建立做一些实证性上的探讨。     

实时数据处理技术在稳定裕度试飞中的应用

介绍了稳定裕度试飞流程和稳定裕度实时数据处理软件的设计思路,讨论了稳定裕度实时数据处理系统的数据流程和如何建立飞行试验数据库,最后给出了系统经过试飞验证后的几点结论。     

基于航天测控的实时仿真系统设计

航天器发射试验具有高风险性,而承担航天器测控的测控系统规模庞大、关系复杂,其测控设备、软件的正确性关系到试验成败。仿真技术的广泛应用,使设备、软件的正确性在发射任务前就可以得到充分验证,从而提高发射试验的安全性。以航天器试验任务为背景设计的实时仿真系统,在航天测量船上得到了成功应用,取得了良好的效果。     

银河仿真Ⅱ型计算机的图形系统

本文概要地介绍作者设计开发的银河仿真Ⅱ型计算机的图形系统，讨论了图形系统的构成、功能与设计思想。     

银河仿真Ⅱ型机一体化软件支撑系统的图形生成与分析处理

对一体化软件支撑系统的图形生成与分析子系统的功能、设计原则及设计思想进行了介绍，并详细介绍了该子系统的实现方法。该子系统为用户建立了方便、灵活、有效的仿真结果分析处理环境。把仿真中产生的结果数据变为直观的图形曲线，并提供了常用的分析处理手段。     

星载BX1750A芯片抗单粒子翻转性能评估

用软件包和FOM方法分别计算了BX1750A芯片在三种太阳同步轨道以及不同宇宙环境下的单粒子翻转率。根据器件及单片机系统在轨单粒子翻转率与“零翻转”可靠度的关系，量化地评估了该芯片及所属系统应用于不同飞行任务时的抗单粒子翻转(SEU)性能。分析结果表明，BX1750A芯片抗单粒子效应的性能较高，可作为低太阳同步轨道3年或5年寿命卫星关键计算机系统的选用芯片。同时为确保系统SEU零失效，有必要采取软件和其他加固措施。     

小卫星星载容错计算机控制系统软硬件设计

创新一号低轨存储转发通信小卫星是中国第一颗重量在100公斤以下的小卫星，介绍了其星载计算机系统的设计方案。由于卫星采用了计算机集中管理方式，为保证星载计算机的可靠性，设计中对硬件使用了双计算机热备份冗余设计，星载计算机的可靠性同时通过软件和硬件协同容错设计来实现。卫星的星务管理、遥测、遥控、姿态控制、电源管理、通信控制、轨道控制等都需要通过计算机软件完成，介绍了这些软件的主要功能和容错设计。创新一号星载计算机采用了多项新技术，并经过了一年多的飞行测试验证，达到了预定的运行目标，星载计算机圆满完成了各项设计功能，证明了卫星计算机系统的安全可靠。     

基于DSP BUILDER的数字下变频器设计

介绍利用DSP BU ILDER设计基于FPGA的数字下变频器的方法,研究使用专用乘法器的NCO设计、半波带滤波器多相抽取处理结构和FIR滤波器的分布式算法,同时给出实际应用的设计方案和仿真分析结果。