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

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

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

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

一种嵌入式软件安全漏洞的代码加固方法

软件定义的概念和技术的发展和应用,装备嵌入式系统的功能主要由软件定义完成,导致装备嵌入式软件规模性和复杂性都在急剧增加,软件安全问题已经成为嵌入式系统乃至装备产品研制和运行维护的核心关注点.借助主流软件代码安全性检测技术,对装备嵌入式软件的漏洞行为和结构分析,建立装备嵌入式软件漏洞特征和系统不安全行为属性规约,通过对软件属性规约的逻辑演算,形成软件安全性加固需求,提出基于安全规约属性模板的漏洞加固代码生成技术,对软件代码中潜在的安全漏洞进行修复和加固,实现装备嵌入式软件强制安全保障.     

天对地精确攻击武器末段制导律设计

天对地攻击武器的末端寻的导引控制规律是实现精确打击的关键技术.给出了一种基于变结构控制理论,同时考虑制导律和速度控制律的设计方法.采用在垂直方向增加攻角的方法,调整速度方向的转率,实现落点速度大小控制和螺旋机动弹道.理论分析和仿真研究表明,该制导规律控制精度高,达到了精确打击和机动突防的目的,具有一定的工程参考价值.     

一种嵌入式平台下的高可靠文件系统设计

针对嵌入式平台的使用特点,设计实现了一套本地文件系统,采用动态管理块映射、文件系统关键数据备份等措施,解决了嵌入式平台下文件系统可靠性不高的问题.测试结果表明,在不损失性能的前提下,这种文件系统具备高可靠、高灵活、接口标准等优点.     

空间动能武器系统仿真研究

在介绍空间动能武器系统的基础上 ,对整个系统建立了数学模型 ,进行了仿真 ,并且得到了符合实际、满足要求的仿真结果 ,最后提及了更高层次的仿真方法。达到了对整个系统的运行和性能进行仿真模拟的目的 ,为这一方向的仿真试验工作提供了一个实用可行的方法     

基于阵元激励幅度分档的赋形波束方向图综合

提出了一种新型的基于幅度分档的赋形波束方向图综合算法。该算法共分为3步。首先,使用传统方向图综合方法如交替投影得到波束的无幅值限制的阵元激励;然后,使用概率密度理论对得到的阵元激励幅度进行处理得到量化的阵元激励幅度,最后,通过量化阵元激励幅度,使用半正定松弛（SDR）方法得到阵元激励的相位分布。上述步骤中,如何使用概率密度理论得到量化的阵元激励幅度是3步中较为重要的一步。将阵元激励幅度用概率密度变量进行替代,通过事先设定的阵元激励幅度档位个数,以及每个阵元激励幅度落在相应档位时取值的概率,可以得到含有概率密度变量的综合方向图表达式。最小化含有概率密度变量的综合方向图与理想方向图的功率之差即可得到量化的阵元激励幅度。使用概率密度理论得到量化阵元激励幅度的优势在于,可以根据任意形状的阵面和阵元栅格排布来划分幅度的档位区间,从而有着更广泛的适用性。在例证部分,通过多组算例的仿真,以及与一些对算法性能的分析,所提算法验证了其在综合效果上的优越性。     

基于故障注入的实时嵌入式软件仿真测试技术研究

由于强实时性、参与闭环控制、软硬件耦合及可靠性要求高等特点,飞行控制系统嵌入式软件在软件研制、测试及验收阶段往往缺少动态测试环境。本文在仿真测试技术基础上,针对飞行控制系统嵌入式软件的特点与测试需求,进行了基于故障注入技术的仿真测试技术研究,设计了一种实时嵌入式软件仿真测试平台方案。     

RTEMS操作系统应用开发环境的设计与实现

在嵌入式应用开发中,实时操作系统越来越重要,其开发环境的优劣也成为评价的标准.RTEMS是一个开放源代码的实时嵌入式操作系统.通过建立交叉编译环境、实现远程下载、远程调试以及工程化管理和裁剪,完成了一个具有友好可视化用户界面、易于使用的RTEMS操作系统应用开发环境的设计,为开发人员提供了一个良好的工作平台,为编写大型的嵌入式软件提供了方便,为推广RTEMS的使用打下了基础.该系统已经用于教学和科研领域.      

可拓学理论在导弹武器系统能力分析中的应用

利用可拓学中物元的可拓性、分合链与蕴含系方法。通过建立导弹武器系统能力的物元模型,对系统的能力进行了分析,实现了分析过程的符号化与形式化,使系统能力的分析层次更清晰。将可拓学的理论和方法与导弹武器系统能力的数学计算模型相结合,为武器系统的论证、研制、使用提供了一种有效的途径。