军用嵌入式可信软件研究

随着军用计算机技术的不断发展,软件在军用设备中的地位越来越重要。软件规模日益增大,安全性、可靠性等问题日益凸显。充分研究可信软件的特性,对提高我国军用装备技术水平意义重大。在总结学术界对可信软件定义的基础上,结合实际的军事嵌入式应用阐述了软件可信性特点。分析了国内外军用领域软件可信性的发展现状,总结了软件可信性的评估方法。     

S形蒙皮零件成形工艺

通过运用S3F软件对S形蒙皮拉形过程进行模拟仿真分析,评估S蒙皮拉形工艺性;预测拉形过程中将产生的缺陷;制定合理工艺方案;优化零件设计和模具结构;实现了该蒙皮零件在数控蒙皮拉伸机上的拉形。     

航天器软件风险集成管理方法

为确保航天器软件产品功能、性能符合任务需求,安全、可靠地完成飞行任务,需要对其进行风险管理。文章首先介绍了软件风险管理理论研究现状;然后结合航天器软件强实时性、高可靠性和安全性、维护困难等问题,提出了基于系统集成思想的软件风险控制方法;最后以某航天器为例介绍了该套方法的应用成果。研究结果可为识别航天器软件风险,提高软件产品质量提供参考。     

多通道智能场强计的研制

介绍87C51单片机在研制多通道场强计中的应用情况以及软件和硬件的研究设计。     

基于高性能通用计算机的软件基带技术

随着通用计算机和软件处理技术的发展,测控基带软件化已经成为航天测控设备一种新的实现形式。在回顾和总结软件接收机发展历程的基础上,从处理平台、总线交互接口、操作系统、并行处理技术等方面分析软件基带的技术途径,从实时性、时间同步性、可靠性、成本等方面分析软件基带面临的挑战,并展望软件基带的发展前景。     

飞机飞行航迹测试数据转换软件

:通过对飞机飞行航迹测试仪功能的分析 ,确定了测试数据转换成航迹相对于跑道中心实际坐标的基本原理 ,在此基础上编制了相应的软件。     

AOCC应用软件的快速仿真平台的研究与技术实现

介绍AOCC应用软件的快速仿真平台的框架设计及其3种具体的实现方法:基于软件移植技术法、基于混合编程技术法和基于指令解释器技术法。基于上述方法构建的快速仿真平台,能够满足软件开发人员对AOCC应用软件不同层面的闭环调试和测试要求,对于提高软件的开发效率和保证软件的质量有积极的作用。     

混合语言编程及其在软件开发和移植中的应用

本文介绍了混合语言编程的基本思路和关键技术，混合语言编程在某课题的软件开发中的实际应用。     

基于插件的航天器测试总控软件系统设计

目前,我国测试总控软件系统存在总控核心软件版本较老、维护和升级困难、系统开放性不足、缺少统一的标准和规范等问题,文章提出了一种基于Java OSGi标准的插件化总控软件系统(PMCS),对PMCS软件的体系架构设计和技术路线进行了详细介绍。PMCS基于地面监视与控制模型(MCM),采用动态可配置的插件化体系结构,并将功能模块划分为核心模块和扩展模块,核心模块可在不同任务间通用,扩展模块可以根据需要进行灵活的部署和修改。经验证,文章提出的技术路线切实可行,可为我国地面总控软件系统的研发提供参考。