美军用软件保障综合研究

本文主要叙述了美军用软件的维护与评估、软件保障组织和软件的保障方案及软件的保障研究与实践。     

软件重用综述

本文综述了软件重用的发展历程、基本概念、形式、技术和方法,然后就软件重用的技术领域和管理范畴分析了目前存在的主要问题后,提出了相关的解决方法,展望了软件重用的未来。     

舰空导弹武器系统作战软件的质量保证

舰空导弹武器系统作战软件属要害软件,因而它是该系统的一个关键件。如何确保这类软件的质量,尤其是确保其可靠性和安全性,始终是一项复杂而又艰巨的研究课题。文章在简要描述了舰空导弹武器系统的主要特点和作战软件的基础上,重点介绍了软件质量管理、软件生产工具和软件开发方法。为了改进传统的瀑布型的软件生存周期模型,针对要害软件的特点,提出了要害软件开发周期的车轮模型。     

基于软件装备保障过程的探讨

软件装备在现代武器装备体系中发挥着越来越大的作用,软件保障问题已经成为装备保障发展的重点与难点。软件保障性是软件装备的重要特性,根据软件的特点对软件保障过程划分了三个阶段,分析了各阶段主要保障活动和需要关注的关键环节,为软件装备保障研究提供了思路。     

概述数学教师教学必备软件及软件平台

本文阐述一个数学教师教学所用到的软件及软件平台,主要有:1)平台类:数学软件平台、课件开发平台、素材创作平台、编程语言平台、Internet操作平台;2)软件类:试卷排版软件、试卷批改软件、组卷评测软件、成绩统计软件及排课软件。     

军用可信软件现状及发展研究

随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可信软件和军用软件可信性的定义。分析了国内外军事相关领域可信软件的发展现状,指出了当前我军军用软件研发模式中的不足并阐述了开展军用可信软件研究的意义及其发展方向。     

美军推动软件现代化的主要措施及启示

分析美军推动软件现代化的主要动因和措施,如发布战略性文件、建立顶层指导机构、加快云环境建设、统筹布局软件技术研发与创新以及推动软件开发安全风险管理等。近年来,美军出台多项战略政策指令,强化组织领导职能,持续推动云环境建设、软件工厂生态系统构建,加快软件相关技术创新研发,大幅缩短软件交付时间,旨在提升网络信息体系下的联合作战能力。美军软件现代化的核心是快速、安全地交付弹性软件,通过软件赋能快速集成5G、人工智能、大数据等技术,在装备上嵌入新兴作战能力,有效满足快速变化的战场环境对作战任务的弹性要求。     

软件总线：体系结构分析与设计

软件总线为复杂软件系统的构件组织和管理提供了平台.为规范软件总线体系结构开发,建立了软件总线结构模型,并对其通讯、构件管理、任务调度、接口控制等功能实现进行了研究,提出了软件总线框架结构及其基于软件总线的软件系统开发流程和方法.     

软件密集型装备的软件保障与测试

软件密集型装备是属于信息化武器装备范畴的,而软件是软件密集型装备的核心。通过建立软件保障的静态模型,从三维体系结构上分析了与软件保障相关的要素,进一步明确了软件保障过程的各项工作,并对贯穿软件密集型装备保障全过程的软件测试工作提出测试计划和要求。     

军用无线电的发展方向——软件无线电

在讨论无线电系统的发展以及军用无线电现状的基础上,提出了利用软件无线电解决现存主要问题的方法.详细分析了软件无线电的基本概念、原理和典型软件电台的基本结构,并介绍了由美国空军负责研制的Speakeasy计划.     

关于军用软件可靠性问题的探讨

归纳了军用软件在可靠性方面存在的主要问题,在此基础上详细分析了影响军用软件可靠性的因素,并提出了提高军用软件可靠性的途径,并从六个方面重点进行了阐述。     

软件化电子探测装备的发展趋势

雷达、声纳等军事电子探测装备正在发展其硬件平台的标准化与通用化技术.硬件平台的计算机化为装备软件化奠定了基础,但同时也造成了装备软件危机.分析软件无线电概念与技术发展动态,由此启迪电子探测装备的软件化内涵,指出克服软件危机的软件架构标准化发展道路.     

软件无线电中模拟调制方式的软件实现方法探讨

本文讨论了AM、SSB和FM等模拟调制解调方式的软件实现问题。首先从软件无线电的概念、组成及特征和现有军用电台的主要调制方式出发,阐明了软件无线电应具有AM、SSB和FM等功能的思想,说明了用软件实现AM、SSB和FM必要性。其次简述了这三种模拟调制方式的原理,重点论述了它们的软件实现方法,进行了必要的理论分析,提出了在实际实现时应注意的几点建议。最后以AM为例给出了计算机模拟结果,证明了本文采用的方法可行。     

软件测试质量管理设计分析与思考

本文介绍了软件生存周期的概念和特点,论述了软件测试质量管理设计的目标和主要内容,提出了软件测试质量管理设计的总体方案,并简要地阐述了测试质量管理的7个关键库的主要内容。     

软件密集型装备项目质量管理研究

软件密集型装备质量是决定战场胜负的关键要素之一,文章分析了软件密集型装备项目质量管理的基本概念和依据标准、探讨了加强软件密集型装备项目质量管理的主要措施,包括采用过程方法建立质量管理体系、建立全面的质量管理文件和记录、实施重点质量控制方法三方面。     

软件无线电的关键技术及其发展趋势

软件无线电技术近年来得到了较快发展,其主要是利用软件来实现无线通信系统中的各种功能。介绍了软件无线电的关键技术、评价标准和发展过程,并展望了软件无线电的发展前景。     

反潜火控软件复用及构件化开发

随着反潜火控设备的快速发展,火控软件中成熟的解算技术需要有效继承,同时需要开发适合新型武器的操控及解算技术,为后续其它型号软件提供高效的功能继承。因此开展软件复用及构件化开发研究在反潜火控软件研制过程中具有重要意义。本文研究了在反潜火控软件开发过程中进行软件复用及构件化开发的技术,并详细介绍了适合反潜火控软件开发的方法和过程。该项技术的使用有效提高了反潜火控软件的可靠性和开发效率,目前已被成功应用在反潜火控软件中。     

舰载指控系统的软件故障树分析

在现代舰载指控系统的设计中软件所占比例日益增加,软件故障对系统可靠性的影响也更突出,需要对软件故障进行分析。根据现代舰载指控系统的特点,采用软件故障树分析方法,以舰载指控系统的软件系统故障为根节点,从上至下找出导致软件系统故障的所有可能因素,分析其因果逻辑关系,最后建立了现代舰载指控系统的软件故障树。软件故障树以图形演绎的方法直观地反映了现代舰载指控系统的软件故障特性,有助于采取有效措施提高系统的可靠性。     

面向EUP的军用软件保障机制研究

软件保障是软件密集型装备和系统持续可靠地发挥作战效能的有力保证。从软件保障原则、保障组织和保障过程等方面,研究了面向EUP过程(Enterprise Unified Process,EUP)的军用软件保障机制,初步探讨了在EUP全生命周期中规划、组织和实施军用软件保障的方法。     

软件保障费用估算模型研究

分析了软件保障费用的基本构成和一般表达式，构建了软件错误更改费用估算模型、新功能保障费用估算模型和有时间限制的保障费用估算模型，并结合实例进行了分析。软件保障模型估算的研究对提高软件保障费用估算的精度和效率有重要意义。