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

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

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

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

基于多层次Petri网的软件保障流程建模

软件保障流程分析是研究软件保障规律的重要手段。应用多层赋时变迁、随机Petri网技术,逐步细化建立了软件保障流程仿真模型,给出了各层次模型中库所和变迁的含义。结合模型的仿真分析,提出了用"软件使用保障时间比"作为评价软件保障性的参数,给出了软件使用保障时间比的计算方法,并就该计算方法所表达的意义同装备系统进行了比较,指出了软件使用与保障时间分配的特殊性。     

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

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

装备保障模拟推演想定子系统设计与实现

围绕空军主战装备作战飞机的保障任务机上推演问题,对空军装备保障模拟推演想定子系统设计与实现的方法与过程进行讨论,对系统设计与实现所涉及到的军事地理系统、推演想定实体、保障任务、保障过程、推演想定模型、需求测算、软件实现等进行了阐述.同时给出了xml格式的保障过程、保障任务的模拟推演想定文件描述方法.     

基于Anylogic的飞机维修保障资源运用过程仿真

针对新一轮军队规模结构调整对航空兵部队飞机维修保障资源运用过程的影响,分析了飞行计划、资源配置、保障流程,在此基础上运用Anylogic软件进行仿真,探究了飞行计划强度、资源配置数量对"资源利用率"、"资源满足率"、"平均保障时间"等指标的影响。通过比较分析不同强度飞行计划在不同资源配置条件下3项指标的数值,发现内在规律,得到相关启示,为飞机维修保障资源运用过程的仿真提供了新的思路。     

美军用软件保障综合研究

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

机务保障要求到保障方案转换

首先以装备可靠性为依据,以任务要求中任务时间、出动飞机数量、任务可靠度等参数为约束,建立了保障资源的配置模型;在确定保障资源配置基础上再以保障任务时间为优化目标,建立保障任务调度模型和调度算法,按照保障专业调度优化,为保障方案制定奠定了重要基础,对实行精确化保障有重要现实意义,对基层级的保障工作有很强的指导作用。     

新型装备软件质量军民一体化保障分析

作为军民一体化联合保障的重要内容，新型装备中的软件质量保障与维护对承包商提出了更为严格的要求。分析型号装备研制过程中对软件进行的过程改进与管理，装备交付时进行软件质量检测与评估，以及装备部队后的软件维护与保障的必要性，分别从软件质量约束、监管、验收及软件后期维护等方面进行阐述，提出了型号装备软件全寿命周期中实施军民一体化联合保障的要求及措施，并对其软件保障与维护过程进行归纳。     

维修保障资源优化技术研究

论述了维修保障资源优化技术的意义;对备选维修工序和维修资源方案进行费用分析、时间分析和效能分析,确定了一套在工程上实用的资源优化技术.