航天嵌入式软件浮点运算误差分析与控制

针对当前航天型号控制软件浮点运算中存在精度损失和误差传播的问题,从浮点数据结构、浮点精度损失、误差来源和度量几个方面进行了详细阐述,并结合具体案例,通过分析航天型号软件中常见浮点运算误差,为有效解决型号软件误差控制问题提供参考.     

一种新型空间对接抓捕机构的设计与分析

文章设计一种新型抓捕机构,不仅具有结构简单、末端速度可控等优点,而且可减小两卫星抓捕过程中产生的碰撞力。基于抓捕机构的工作原理,使用CATIA软件建立了三维模型,并运用ADAMS仿真软件进行仿真分析,得到其运动规律和动力学曲线;使用ABAQUS有限元软件对抓捕机构中的软轴进行受力分析。仿真与有限元分析结果表明:与美国ASDS-Ⅱ相比,该机构的角度容差更大,更容易实现对卫星的捕获。     

软件可靠性探讨

航空机载设备无论是在产品研制过程中还是在产品维修的设计制造过程中,软件的可靠性都变得越来越重要。本文系统阐述了软件开发过程（研制和维修）中的一般可靠性活动,并提出了一些提高软件可靠性的途径。     

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

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

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

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

基于DSP平台的航天器软件在轨维护实现方法研究*

摘要： DSP（数字信号处理器）在空间领域的应用越来越广泛,面对复杂的空间环境和长时间可靠运行的要求,基于DSP处理器平台的航天器软件,其在轨维护能力成为了一个迫切需要解决的问题.设计一种DSP软件的航天器在轨动态维护方案,并提出两种在轨注入指令码的生成方法.该在轨维部方案通过在航天器软件中预埋钩子功能,经遥控指令注入在轨维护指令码,实现在轨运行软件模块的动态替换功能.通过系统测试,证明该方案的可行性,具有良好的工程应用价值.     

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

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

本钢物资量检斤状况的图形分析系统

本文介绍针对本钢集团公司全部计量器具，采用Visual FoxPro6.0，实现对物资量检斤状况的图形分析。     

面向软件工程的知识图谱构建技术研究

介绍了面向软件工程的知识图谱构建技术及其应用。阐述了知识图谱构建引擎的架构,以及基于该 架构进行知识图谱建模的流程。对知识图谱构建引擎中的数据获取导入、知识建模和知识融合的功能及组成进 行了详细介绍。最后采用构建技术对航空电子软件管理环境数据进行了实践。     

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

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