军用指挥控制软件可信性分析与验证技术

随着武器装备信息化程度越来越高,军用指挥控制软件的可信性直接关系到装备整体效能的发挥。在对传统软件质量保证技术研究的基础上,结合军用指挥控制软件的特点,提出了基于形式化方法的软件分析与验证技术。分别从安全性质形式化规约技术、基于模型检验的指挥软件验证技术和基于静态分析的控制软件分析技术三方面保证军用指挥控制软件的可信性,最后,提出了适用于指挥控制软件全生命周期开发的形式化分析与验证集成环境。     

航天应急发射体系建设

快速发射航天器进入空间,完成信息获取、导航与通信等任务已经成为突发事件背景下确立空间优势的首要条件,同时,也是发生灾害时进行灾情勘测、指挥通信、救援导航的有效手段。本文针对未来航天应急发射体系建设需要,重点从体系结构、体系运行模式、组织机构设置和测试发射模式等方面进行分析,并对航天应急发射体系建设提出建议,可为我国未来航天应急发射系统建设提供技术支持。     

航天指挥控制体系构建的基本问题

航天指挥控制体系是航天力量运用体系的神经中枢,是指挥员和指挥机关对所属部队航天力量运用活动实施指挥、控制的基础。提出了航天指挥控制体系构建的基本要求;分析了航天指挥控制体系构建的基本要素;从体制、机构设置、指控关系等角度对航天指挥控制体系进行了初步构建,可为航天指挥控制体系的建立提供参考和技术支撑。     

世界军工动态

美国军事卫星的指挥控制目前,美国国防部在轨的卫星大约90颗,它们每天的任务由航天司令部第50航天联队下属的7个卫星操作中队管理。1.第一航天操作中队它处理国防支援计划(DSP)卫星和 GPS 卫星的所有发射和早期轨道任务及这两类卫星的异常情况。当它确定最新发射的卫星稳定而各分系统工作很好后,把     

航天测控技术知识系列介绍之一——“神舟”——邀游太空的生命之舟

1999年11月20日6时30分,江泽民同志亲笔题名的我国第一艘载入航天试验飞船“神舟”号,在酒泉卫星发射中心发射升空。21日凌晨3时41分,飞船经过21小时11分钟的太空试验飞行之后,在内蒙古中部地区成功着陆。在这次飞行试验中,我国在原有航天测控网基础上新建的符合国际标准体制的陆海基航天测控网首次投入使用,北京航天指挥控制中心组织了发射试验的跟踪、测量和控制,     

基于信息系统的航天指挥控制机制构建

航天指挥控制体系是航天作战的核心和神经中枢,而基于信息系统的航天指挥控制机制是关系到航天作战乃至联合作战能力形成、结构演化和效能涌现的重要环节。分析了航天指挥控制的集中性、时效性、灵活性、精确性等特点,提出了建立连通的指挥机构、确定敏捷的指挥方式、实施高效的航天指挥控制体系构建要求,并从指挥控制体系构建、指挥控制关系确定和指挥控制规则要求3个方面对航天指挥控制机制进行构建。     

动态航天指挥关系图系统的设计与实现

为了在航天指挥过程中以形象、直观的方式表现指挥关系的动态变化和指挥信息的动态传递,设计并实现了动态航天指挥关系图系统;给出了指挥节点、指挥关系、指挥信息流所构成的动态航天指挥关系图定义,在此基础上设计了动态航天指挥关系图系统的结构;研究实现了所涉及的关键技术,包括指挥节点、指挥关系的二维和三维绘制方法,指挥信息流的动态可视化方法等。实际应用表明:该系统可在航天指挥演练中辅助掌控、评估指挥进程,或接入航天指挥信息系统以支持把握作战态势。     

航天试验指挥自动化系统体系结构

随着各种航天试验和航天器进入现代高技术局部战争,逐步形成了一体化的战争格局,提高航天试验指挥效能成为现代天战的迫切需求。体系结构是从顶层设计的角度,对指挥自动化系统进行的一种"统一的和概念的"描述。分析了航天试验指挥自动化系统的概念、结构组成及系统连接关系,研究航天试验指挥自动化系统的体系结构,对航天试验指挥自动化系统进一步发展和完善提供指导。     

“神舟”——遨游太空的生命之舟——漫话航天测控技术

1999年11月20日6时30分,江泽民同志亲笔题名的我国第一艘载人航天试验飞船“神舟”号,在酒泉卫星发射中心发射升空。21日凌晨3时41分,飞船经过21小时11分钟的太空试验飞行之后,在内蒙古中部地区成功着陆。在这次飞行试验中,我国在原有航天测控网基础上新建的符合国际标准体制的陆海基航天测控网首次投入使用,北京航天指挥控制中心组织了发射试验的跟踪、测量和控制,地面测控系统和分布在太平洋、大西洋和印度洋上的4艘“远望”号测量船     

浅议舰艇指挥算法中的数学建模问题

本文首先介绍作战指挥的概念、研究状况、功能和作用。然后以大量篇幅介绍舰艇作战指挥算法的数学建模问题,包括建模的特点、方法、建模顺序及软件支持,并给出两个例子说明建模方法的具体应用。最后给出结论和建议。     

UML在水下输送艇指挥控制系统分析中的应用

在对水下输送艇指挥控制系统进行需求描述的基础上,遵循统一建模语言UML系统分析的一般过程,分别建立了系统的用例模型、静态模型、行为模型、交互模型和实现模型,并对所建模型逐一进行了测试,测试结果表明了该模型建立的正确性,为下一步系统软件的设计和实现奠定了基础。     

基于UML的装备保障指挥控制工作流模型

为优化和描述装备保障指挥控制,提出将UML与工作流技术应用于装备保障指挥控制建模的方法,并从过程视图、组织视图、资源视图和信息视图4个方面给出了装备保障指挥控制工作流模型实例。     

DoDAF视图下的反导作战军事概念建模与仿真系统设计

反导作战概念模型是保证不同地空导弹武器系统之间指控系统可集成、可互操作性、高效一体化的关键。首先,针对传统建模语言在模型可执行验证方面的不足,在DoDAF视图框架下,提出一种基于统一建模语言（UML）的反导作战军事概念建模方法;其次,结合军事概念模型给出反导作战仿真系统设计的方法。规范建模框架并选择可执行性强的UML语言建立军事概念模型,对反导作战研究及指控系统开发具有一定参考价值。     

基于UML的C4ISR体系结构描述方法

C4ISR系统是集指挥、控制、通信、计算机和情报、监视、侦察为一体的复杂大系统,无论开发和仿真都需要建立科学合理的需求分析模型.根据UML的特点和C4ISR体系结构及其产品特点,提出了用UML来描述C4ISR体系结构的方法,并通过对某防空旅的作战描述说明了该方法的可行性.     

舰载指控系统软件可靠性模型分析

在对软件可靠性模型领域的众多模型进行全面分析研究的基础上,通过对从事海军指控系统软件研制单位的部分专家的实地调查,运用Ｂａｙｅｓ检验方法对专家信息进行处理,进而提出了适合舰载指挥控制系统的软件可靠性推荐模型．借鉴Ｓｃｈｎｅｉｄｅｗｉｎｄ模型在美国航天飞机飞行控制系统模型评估中的成功应用,把Ｓｃｈｎｅｉ－ｄｅｗｉｎｄ模型参数估计的思想方法运用到我们所选择的舰载指控系统软件可靠性模型中,并给出了用数据分析、判断模型的具体事例．     

指控软件可用性工程生命周期模型

针对当前装甲指控软件的应用现状和存在的问题,运用可用性工程理论和方法,提出了指控软件的可用性工程生命周期模型,该模型包括可用性需求分析、模型构建、可用性设计、可用性测试与评估、安装部署与使用体验、用户反馈等过程。通过与一般软件测试的比较,强调可用性测试实验环境的作用。该模型突出用户的作用,重视用户反馈,可为指控软件的设计和开发提供理论指导。     

ANP在依托C4 ISR的指挥控制效能评估中的应用研究

指挥信息系统（ C4 ISR）作为联系指挥者、指挥对象和武器平台的重要手段,其作用的发挥对指挥体系的整体指挥控制效能具有重要影响。将指挥员、指挥机关、指挥信息系统和所属部队等多种因素作为影响指挥控制效能的主要因素,在分析各因素之间的相互影响及其内部各子因素的相互关系后,采用网络层次分析法（ Analytic Network Process, ANP）建立了指挥控制效能评估的网络模型,并运用Super Decision（SD）软件对模型予以实现。     

基于信息系统装备指挥运行机制构建研究

着眼装备指挥变革和提高指挥效能的需要,提出了基于信息系统装备指挥运行机制的概念,构建了基于信息系统的要素式装备指挥机构模型,明确了各指挥要素职能及其相互关系,分析了装备指挥信息、决策计划、协调控制的流程,建立了装备指挥效能计算模型,以期为建设新型科学的装备指挥运行机制提供依据．     

基于潜艇指控系统的软件模块化研究

针对目前潜艇装备软件的现状,结合工程实践,运用软件模块化思想,提出了基于构件的潜艇指控系统软件开发模型和层次化的潜艇指控系统软件体系结构,并在此基础之上,对潜艇指控系统软件进行了模块化研究,给出了潜艇指控系统软件模块框架。实践表明,该设计方法实现了软件与其他系统的集成,提高了软件的质量与可靠性。