软件思维在武器装备系统建设中的体现和应用

软件在其自身的发展过程中,相对于硬件,有其相对独立的设计思路和开发方法,形成了独特的思考问题角度和新的思维体系。从确立装备软件在武器装备系统的逻辑中心地位出发,形成新的思维角度和新的思维方法,借助其理解和分析信息化条件下的武器装备系统,并将这些思想方法应用于武器装备系统的建设中。     

武器装备体系能力空间描述研究

武器装备体系能力是武器装备体系研究的重要组成部分.从形式上对武器装备体系能力进行了描述,给出了其相关性质.从不同角度分析和定义了武器装备体系能力间的关系,给出了武器装备体系能力空间的结构特点,构建了武器装备体系能力子系统.从能力的个体、能力的关系、能力的系统三个层面对武器装备体系能力空间进行了描述,为武器装备体系及其能力的研究奠定了一定的基础.     

软件后勤——崭新的领域

随着以信息技术为核心的高新技术在武器装备中的广泛应用,武器装备已步入信息化发展阶段,软件已广泛应用于各种武器系统。通信、指挥、控制、导航、火力支援、防空,以及其它作战系统,都将用软件来提升其装备的作战性能。随着信息化武器装备逐渐装备部队,未来战场上将使用成千上万种军用软件,武器装备的软件新纪元渐渐走近,软件后勤是军队后勤保障体系中的一个崭新领域。     

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

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

现代潜艇作战软件的需求与技术难点

随着现代潜艇探测设备在探测目标数量上的增加、探测范围的提高及武器装备性能的改进,潜艇的作战效能越来越多地依赖于潜艇指控系统的信息处理能力,由此就为潜艇作战软件的功能和性能提出了新的要求。以此为目的、以潜艇信息化装备建设为目标,从分析潜艇作战的客观环境和技术特点着手,阐述了潜艇作战软件的功能需求、辅助指挥决策模式和研制开发的技术难点。     

浅谈武器装备软件质量监控方法

随着科学技术的不断发展,计算机软件在大型复杂武器系统中的应用越来越广泛,软件的质量直接影响到系统的作战效能,而软件的随意性、抽象性等特点给质量监控带来很大困难,到目前为止还没有形成切实可行的办法对它进行监控.提出了对武器装备软件质量监控过程中应注意的几个问题,并作了进一步的探讨分析,供有关人员参考.     

武器装备发展综合集成研讨厅体系研究

结合系统科学近几年发展成果--从定性到定量的综合集成方法, 在提出武器装备发展综合集成研讨厅概念的基础上,对其可行性进行了分析,提出了集计算机技术、决策技术和系统工程技术于一体 ,强调把人的思维和思维成果、人的知识和智慧以及各种资料信息集成起来的武器装备发展综合集成研讨厅体系结构.     

软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的.软件的测试性分析与设计是分析软件测试的复杂性、提高软件测试性的基本方法.提出了软件测试性的基本概念、分析与计算方法,以及软件测试性设计的基本思路.这对于高可靠性软件--特别是武器装备软件的设计具有指导意义.     

聚焦体系化建设,助力武器装备现代化

武器装备作为战争的载体和物质基础,其发展与作战样式的演变相辅相成、相互促进.近些年战争实践已经充分表明,武器装备体系化是武器装备发展的必由之路.而我国武器装备长期以行业化发展模式为核心,且侧重硬件升级换代,对软件重视不足,与一体化联合作战所需的武器装备存在一定差距.基于此,研究提出强化武器装备体系化发展顶层设计,明确装...     

新型武器装备软件保障性研究

软件是现代战争的灵魂,软件保障问题已经成为装备保障发展过程中的重点与难点。而软件保障性是软件的重要质量特性,也是武器装备系统的重要质量特性。本文介绍了美军软件保障的原则和保障模式,分析了软件保障的特点和软件保障过程,针对国内军用传统软件维护模型的局限性,提出了基于过程的软件保障模型,为提高软件维护保障提出了有效途径。     

武器系统软件靶场测试方法

从软件测试在软件开发过程中的作用出发,阐述了软件测试在武器系统研制试验与鉴定过程中的重要地位,指出武器系统在靶场进行试验过程中,对武器系统软件进行系统测试的重要性。根据靶场的实际条件和武器系统在靶场进行试验时武器系统软件具有的特点,基于现代软件测试理论和软件测试方法,研究探讨了在靶场这一特殊的环境下对武器系统软件进行系统测试的试验方法和进行测试的系统步骤,对武器系统软件的靶场测试具有重要的指导意义。     

数字化装甲营作战仿真实验室的支撑软件设计

介绍了数字化装甲营作战仿真实验室的支撑软件组成、结构和功能.军事指挥人员(建模人员)利用支撑软件按照自己的意图,快速制定作战想定,兵力、兵器部署的系统模型,通过系统模型的运行,实现战斗进程的逼真模拟,实施人在环、部分实装在环的装甲兵分队作战指挥对抗演习和实验,完成装甲兵分队的战术和技术训练任务,为装甲兵部队作战理论研究,人员训练,装备作战效能评估,技术保障研究和院校各专业技术人才培养提供高技术的软件平台,并且快速确定系统模型的可信度指标,为上级机关决策的合理化提供有力的支持.     

某雷达装备虚拟训练系统实现技术

从实际装备的特点出发,确定了虚拟训练系统的分布式实现模式.以该实现模式为基础,对系统软件结构框架、基于HLA/RTI的分布交互以及虚拟装备的人机交互等关键技术的实现进行了讨论,解决了雷达装备虚拟训练系统的系统集成环境构成、各仿真节点间的分布交互以及人机交互等问题,最后在虚拟训练系统上实现了雷达装备的开关机、跟踪以及故障维修等不同训练功能.     

装备需求论证工具化研究

以体系工程思想和DoDAF2．0为指导,在系统分析国内外装备需求论证工具软件研制现状和存在的问题基础上,提出了装备需求论证工具化概念及其软件功能需求,优化设计了工具软件体系结构框架,并着重探讨了软件集成和数据模型等关键支撑技术,为装备需求论证工具化实践奠定了理论基础。     

武器装备软件的可靠性分析综述

首先论述了武器装备软件可靠性的重要性,指出了软件可靠性与硬件可靠性的主要区别,并依据装备软件研制总要求及武器装备软件的特点分析了装备软件可靠性的内涵、特点,介绍了装备软件可靠性指标的确定、软件可靠性模型以及装备软件可靠性的评估,最后分析讨论了几种提高武器装备软件可靠性的方法与途径。     

可信软件研究

可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。     

一种基于UML/OCL的软件测试方法

根据UML/OCL和建模环境提供的软件模型信息,以一个武器装备管理信息系统的装备入库顺序图为例,在分析UML/OCL顺序图的语法和对象间的交互信息的基础上产生测试场景,提供了一种基于UML/OCL的面向对象的软件测试方法,并提出测试自动化的设想,对软件测试有一定的借鉴作用。     

实施大区域防空应重视末端防御

结合大区域防空作战的理论研究,分析未来防空中末端防御在大区域防空体系中的地位和作用。提出末端防御是大区域防空的重要组成部分,是防空体系中实施大区域防空的最后一道防线,是实现歼灭敌空袭兵器与掩护重要目标安全的重要手段。通过分析现代空袭特点,提出实施末端防御对我防空武器装备发展的要求。     

防空兵武器装备发展论证专家系统的开发

首先阐明了防空兵武器装备发展论证专家系统开发的目标任务和建造原则,然后建立了专家系统的一般结构,并论述了系统开发过程中的问题定义与系统分析、知识获取、知识表示、软件实现、系统测试与评价等各个环节所应完成的任务,指出了在专家系统开发过程中潜在的主要问题。对于建立一个完备的、权威的防空兵武器装备发展论证专家系统有一定的指导意义。     

舰空导弹武器系统作战软件试验测试平台

由舰空导弹武器系统在试验中出现的作战软件故障,提出了加强软件可靠性评估的观点和建立舰空导弹武器系统作战软件试验测试平台的构想。给出了基于海上试验环境的作战软件试验测试平台的方案、试验方案设计、试验实施策略以及可靠性评估方法。