软件故障树分析实例研究

软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析.本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议.     

海军战术导弹作战软件仿真测试平台设计

根据新一代武器系统和计算机技术的发展，结合靶场试验地特点，提出了建立海上靶场独立的软件测试评估系统，测试和评估我海军新一代武器系统的作战软件的构想，它的实现将为武器系统的鉴定提供重要依据。     

一种在应用程序中对Excel调用的技术

论述了利用ActiveX Automation技术调用Excel的原理，实现了靶场试验数据的Excel自动化，给出了用VC 6．0语言编写的详细代码。     

民用飞机机载软件计划阶段评审方法研究

民用飞机机载软件的合格审定是民用飞机适航取证工作的重要内容,机载软件计划阶段评审是机载软件合格审定过程的重要里程碑,直接影响民用飞机主制造商的软件研制进度和适航取证进度。本文结合我国民用飞机机载软件研制过程中计划阶段工程评审与适航审查的经验,总结了适合我国国情的机载软件计划阶段评审的方法和流程,并对此过程中有关的重要问题进行了论述。     

基于软件定义的航天器分布式电源系统设计

针对电源系统架构灵活性的需求,提出了一种基于软件定义智能功率单元的可重构航天器分布式电源系统设计。给出了系统的分布式架构,采用了一种可软件定义的标准功率单元实现所有发电单元、储能单元的分布式接入。智能功率单元可以通过星载计算机软件定义工作模式,满足不同单元的接入需求。通过搭建分布式电源系统仿真模型,对不同故障情况进行了验证,结果表明:分布式电源系统的可重构控制策略,实现了电源系统高可靠运行。最后,对提出电源系统设计的优势进行了总结。     

载人航天器密封舱内强制通风下的火灾温度场及流场特性仿真分析

文章建立微重力环境下载人航天器密封舱简化物理模型,利用FDS软件仿真分析火源在密封舱中心位置时不同送风角度（θ=0°、θ=45°、θ=60°）下舱内温度和烟气浓度的分布规律。分析结果显示：需要在大功率设备上方两侧布置火灾探测器;不同送风角度下的速度场不同,造成舱内温度分布规律也不同;当送风角度θ=45°、θ=60°时,密封舱内的烟气与θ=0°时相比更易排出。分析结果可为载人航天器密封舱内送风口及火灾探测器的设置提供参考。     

基于动态库的星载软件可重构设计与实现

针对卫星在轨运行、长期处于无人值守状态,主要依靠星载软件的安全性和可靠性来保证整星任务的稳定工作.复杂多变的空间环境可能会引起星载器件的异常变化,从而导致星载软件异常,甚至发生软件"衰老".本文在分析现有可重构方案基础上,提出了一种利用动态库的静态链接方式实现在轨可重构的方案,针对存在软件缺陷,或者需要功能升级和拓展的...     

EDA平台的规划与实现

EDA技术将电子系统的软件设计与硬件设计有机地融为一体，为电子产品开发、电子系统设计、电子系统工程提供了全新的手段，也为工科院校电类各专业的教学提出了新课题和新内容。为广进一步推动我院的EDA教学和实验的发展，在学院和分院的支持下，我们筹建厂 EDA实验室并完成了个教学循环。本文介绍了基于通信网络实验环境下，EDA实验室的硬件和软件平台的规划和实现及开展的教学活动。     

软件无线电概念及直接中频采样软件接收机方案

软件无线电是最近几年提出的一种实现无线电通信的新的体系结构，文章介绍了软件无线电的概念、特点、历史和现状，并且提出和分析了直接中频采样软件接收机实现方案。