航天嵌入式软件数据访问冲突基准测试集研究

针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲突检测的6类要素,设计开发了嵌入式软件中断数据访问冲突基准测试集程序RaceBench,对SpaceDRC工具进行了指标评估。结果表明,RaceBench能够有效评估工具的适用性。     

航天嵌入式软件动力学仿真环境的通用软件架构

针对航天嵌入式软件测试环境通用化需求,提出动力学软件的通用化设计方法.基于航天动力学仿真的特点,设计灵活、通用和易于扩展的软件框架、接口数据结构和接口函数,适用于在研型号的所有接口处理方式.该方法在实际型号工作中完成应用,显著提高了动力学软件的研制速度,动力学软件运行稳定,精度满足测试要求.     

黑盒测试技术方法在大气数据计算机软件测试中的应用

软件测试是保证软件产品质量的一个重要手段,其中测试用例的设计是软件测试的关键。以大气数据计算机软件测试为例,详细介绍了软件黑盒测试的几种方法,用黑盒测试技术来设计切实可行的测试用例。实践证明,应用黑盒测试技术在大气数据计算机软件测试中设计测试用例,提高了测试效率,发现了软件问题,取得了较好的效果。     

空间计算机冗余架构可靠性分析比较

采用冗余架构,是改善和提升空间计算机可靠性的一个重要途径。目前在工程中对不同架构可靠性的对比,尤其是相对复杂的架构,多仅限于形式上的粗略分析,缺乏定量比较。对6种典型空间计算机冗余架构(双机冷备、双机热备、TMR、动态重构TMR、2+1三机、四机)分别建立马尔可夫链数学模型,推导出上述各冗余架构可靠度的计算公式,并以一个虚拟的5年期任务为背景,对这些架构的可靠度进行了仿真计算、分析和比较。仿真结果表明:具有冷备资源的冗余方案可获得相对高的系统可靠性;让故障节点具有从故障中恢复正常功能的能力和短的修复时间,能大幅提升系统可靠性。     

固体火箭发动机喷管集成设计分析技术研究

固体火箭发动机喷管不仅结构形式多样,而且工作条件恶劣,长期以来难以找到一种通用的设计计算和分析的一体化方法。文中在大量研究喷管的结构形式、流动模型及传热模型基础上,利用先进的计算机辅助设计技术、有限元技术和两相流分析技术,研制出了喷管一体化设计、分析和计算软件。它可为喷管的热结构分析和发动机工作过程数值模拟提供参考。     

开发与应用汉字dBASEⅢ软件：建立教师,学生人事档案数据库

本篇文章主要介绍了在开发与应用 dBASEⅢ软件过程中,建立教师、学生人事档案数据库所采取的方案、实现以及数据库管理具有的功能,并介绍在此过程中所遇到的计算机病毒带来的影响以及解决的措施。     

单片机的发展推动着测量仪器智能化

本文论述智能仪器的特点和作用。提出了智能仪器中微机的首选机型应是单片机。并指出传感器是智能化测量仪器的关键部件。     

M导弹制导规则分析

通过分析实测的M导弹制导指令信号数据，给出了该导弹的比例导航系数及其他一些修正系数的变化规律，并根据弹上单片计算机在不同的输入口状态下和其输出口输出数据随时间变化的情况，分析了计算机程序的运行流程及其功能。     

绕旋转体复杂三维流动的实验研究

本文叙述了一个椭球体模型在风洞实验研究中所得到的一些主要结果,包括各种流态显示,截面速度分布、力的测量以及边界层性质的测量等。除油流结果外,其它结果都表明椭球体模型背风面上的流动是不对称的。     

民机试飞过程系统故障的排故要求和方法

试飞故障是指试飞飞机在飞行试验期间(包括飞行和地面机上工作)发生的故障,故障能否及时排除和关闭归零将直接影响试飞的进度和飞行安全,有些故障还可能直接影响相应科目的试飞结果,导致试飞结果的失效。