区域反导组网作战战术信息分发系统军事概念建模研究

区域反导作战存在的最大问题就是探测系统、指控系统以及武器平台之间的信息互通。战术信息分发系统的研究是解决该问题的一种重要方式与手段,实现该系统的前提是建立一系列军事概念模型以实现对系统的准确描述。本文提出了基于IDEF的军事系统概念建模集成方法,具体分析了基于IDEF0、IDEF1X、IDEF3的系统功能模型、信息模型、过程流模型和对象状态转换模型。     

基于Petri网的信息作战指挥协同流程建模与分析

信息作战指挥协同流程是影响其作战效能的重要因素。研究了信息作战指挥协同的基本内容,设计了信息作战指挥协同流程的框架,建立了基于Petri网的信息作战指挥协同流程模型,并利用仿真软件分析了模型的可用性、状态可达性、信息利用率等性能指标。结果表明,使用Petri网方法对信息作战指挥协同流程建模具有可行性。     

IDEF与UML相结合的作战任务建模方法

为了解决作战任务建模问题,在分析IDEF、UML两种建模语言优缺点的基础上,结合两者提出了一种新的建模方法.首先根据作战任务建模的功能需求,论述了使用IDEF0和IDEF3进行建模的可行性和使用时机,详细介绍了如何使用IDEF0和IDEF3描述作战任务本身信息和任务之间的逻辑和时序关系.然后给出IDEF0、IDEF3和UML之间的图元映射规则,将IDEF0、IDEF3模型转化为UML模型.最后,通过对一个潜舰对抗案例的作战任务进行建模,验证了该方法的有效性.     

基于SA Simulator的流程建模与仿真

静态体系结构模型中的各种要素以及它们之间的信息流是以静态的方式描述的,无法显露体系结构设计的薄弱环节和瓶颈。对此,基于SA Simulator流程仿真工具,开展了流程模型的建模与仿真。通过对SA Simulator流程仿真工具的原理及仿真流程的分析,以美国导弹防御系统为背景,在明确其主要作战要素(作战任务、作战节点及作战过程)之后,使用SA Simulator该流程仿真工具,基于IDEF3方法建立了导弹防御指控流程模型;从IDEF3规则、进程流的属性设置及关系配置与分配两个方面对模型进行验证。最后,进行流程仿真,研究了战略指控系统节点使用率、活动平均执行时间对指控流程的性能影响,并提出了相应的改进措施,以改进、优化导弹防御指控体系结构。     

基于Petri网的空间信息支援反导作战指挥控制系统概念建模与分析

在构建空间信息支援反导作战指挥控制系统活动模型的基础上,从规划级、控制级和操作级3个层次规划了空间信息支援反导作战指挥控制系统的作战流程。为了有效地描述空间信息支援反导作战指挥控制系统作战流程中的信息传递和动态交互关系,运用Petri网方法对空间信息支援反导作战指挥控制系统的作战过程进行了概念建模,并利用可达标志图方法对所建Petri网模型的动态特性进行了分析。     

基于IDEF3的指挥控制任务描述方法

指挥控制任务的描述是实现任务和资源优化匹配的基础.给出了指挥控制任务的形式化定义,提出了一种基于IDEF3的指挥控制任务描述方法.在IDEF3的过程流网中可能存在死锁和同步丢失这两类结构性冲突.为了确保所建立的指挥控制任务描述模型的正确性.提出了基于图化简方法的IDEF3过程流网检验方法,其主要思路是利用三条规则对过程流网进行化简,如最终能将模型规约为空则表示不存在这两类冲突.最后给出了一个简单的示例.     

作战信息需求模型

研究了作战信息需求的概念、需求分析流程及描述方法,提出了作战信息需求的概念模型、逻辑模型和过程模型。概念模型界定了作战信息需求的相关概念及层次关系;逻辑模型描述了作战信息需求的内容;过程模型分析了作战信息需求的演化过程。     

防空导弹网络化作战体系结构与功能模型

地面防空作战需要三类信息:预警信息、战术指挥信息、制导控制信息,因此应建立联合规划网络、联合数据网络和联合跟踪网络三层信息网络结构来满足防空作战对信息的需求.在借鉴美军战区防空指控系统体系结构的基础上,提出了一种防空导弹网络化作战的体系结构,用IDEF0建立了传感器系统、指挥控制系统及拦截打击系统的功能模型,对研究防空导弹网络化作战有一定的启发作用.     

基于天基信息支援的要地防空指挥问题研究

以天基信息支援下的要地防空作战指挥为研究对象,首先分析了防空部队对天基信息的需求,然后通过对信息化战争的描述,建立了指挥信息空间和指挥实体空间,并利用两者间的对应关系,设计了基于天基信息支援的要地防空指挥体系,并阐述了整个防空作战的指挥流程,为进一步研究天基信息支援下的防空作战提供了一定的参考。     

IDEF0方法在C~3I系统中的应用

IDEF0方法的优点使其在多个领域尤其在制造业中得到了广泛应用。C3I系统是以活动为支撑以信息为基础的复杂大系统 ,用IDEF0模型对C3I系统进行描述可以加深指挥人员和技术人员对系统的共同理解 ,从而提高系统开发的效率并提高系统的实用性。因此本文就IDEF0方法在C3I系统分析、系统升级与集成及仿真等方面的应用进行了初步探讨     

基于“任务/过程”的作战飞机寿命周期过程模型的建立

在介绍传统过程建模方法的基础上,提出了＂任务/过程＂的概念,详细分析了作战飞机寿命周期过程中任务、过程的具体含义。探讨了作战飞机＂任务/过程＂的图形化描述方法,并将其与IDEF0建模工具结合起来建立作战飞机寿命周期过程模型,详细分析了过程模型中信息的含义,有利于对作战飞机寿命周期费用进行更加有效的控制。     

信息作战指挥决策风险控制模型的构建

文章通过对信息作战指挥决策风险控制中的风险分析、风险计划和风险监控等3个关键过程的模型化进行了风险控制模型构建的尝试性研究,在构建模型过程中力图采用简单有效的模型来说明问题,避免过多且不必要的细节,由此将复杂问题简单化;同时,全面考虑模型的合理性,争取所采用的模型能够便于描述信息作战指挥决策风险控制这种高层次的复杂问题...     

基于任务成功性的常规潜艇任务剖面构建

在分析了现有任务剖面存在不足的基础上,提出了基于任务成功性的常规潜艇任务剖面构建技术,即对具有不同特点的任务阶段采用不同的构建技术.静态的任务阶段采用任务树图、时间基准图和任务剖面信息表进行描述;作战阶段具有随机性和不确定性,则采用流程建模工具IDEF3建立作战阶段的任务剖面模型,用来描述作战阶段的元任务及其逻辑关系、时序关系.基于任务成功性的任务剖面将为保障性工程的开展奠定基础.     

体系结构流程仿真方法在反导预警分析中的应用

系统研究了基于IDEF3的体系结构流程仿真方法,建立了反导预警中两种不同的作战规则模型,通过假定模型参数并在SA Simulator运行仿真,对流程中活动的使用率、角色资源的使用率和执行任务平均时间、拦截概率等指标的仿真结果进行对比分析,得出相关结论,验证了该方法的适用性。     

基于DoDAF与Petri网的预警卫星系统建模分析

预警卫星系统在弹道导弹防御系统中处在最前沿,在战争中起着其他装备无法替代的作用。依据DoDAF和预警卫星系统的作战流程,构建了预警卫星系统作战状态转换(OV-6b)模型,以描述预警卫星系统作战过程的时序关系、各作战节点的状态转换以及信息流关系。基于Petri网将各节点OV-6b模型转换成可执行模型进行驱动,并构建和分析了各Petri网模型的可达图,结果表明,建立的OV-6b模型和Petri网模型是合理的、正确的。     

战时装备保障过程建模仿真研究

目前战时装备保障方案制定,多是依靠基本原则和经验,过程描述随意性大,同时保障活动的组织缺乏有效的手段,导致方案缺乏科学性、可操作性差。为此借鉴过程管理的思想,应用IDEF3方法建立装备保障准备阶段过程模型,形成规范的、易于交流的保障流程,依据过程模型采用离散事件仿真的方法对不同活动组合的过程效率进行了分析,改变以往根据排队理论经过大量计算分析效率的方式,实现战时快速准确优化过程的目的,为装备保障方案的形成提供方法支持。     

作战任务的形式化描述及其过程表示方法

为了使各信息系统一致地理解作战任务的内涵及执行过程,本文对作战任务的形式化描述方法进行了深入研究。在分析作战任务概念和组成的基础上,利用八元组结构给出其形式化定义。抽象出作战任务中的三类关系:总体作战任务与具体作战任务间的实例化关系、作战任务与作战行动间纵向的层次结构关系、作战行动间横向的时序逻辑关系。依据作战任务的特点,提出了一种作战任务形式化描述的流程,采用IDEF3模型表示任务的执行过程。通过行为单元与仿真数据的集成,交汇点与仿真规则的映射,进一步讨论了模型的计算机实现问题。     

基于Petri网的电子对抗作战指控系统建模分析

针对电子对抗作战指控系统建模的现实需求,在分析电子对抗作战过程及其信息流程的基础上,运用Petri网建立了电子对抗作战指挥控制系统的模型,并依据相关理论分析了所建Petri网模型的动态特性。结果表明:运用Petri网技术建模能较为准确、有效地反映电子对抗作战的指挥控制流程,通过对所建模型动态特性的深入分析与研究,能找出影响系统效能的关键因素,并得出有益的结论,为下一步评价、完善电子对抗作战指挥控制系统提供了参考。     

基于UML和IDEF的装备保障C3I系统体系结构建模研究

UML和IDEF模型对复杂系统体系结构的分析具有重要价值.根据装备保障C3I系统的特点,对其体系结构进行了深入研究,通过建立系统功能模型、IDEF1X对象静态模型以及UML动态交互模型,从不同侧面较完整地描述了装备保障C3I系统体系结构框架,并提出了相应的物理实现模型,对复杂系统的建模具有一定的理论和实际意义.     

基于UML/Petri网的作战指挥可视化建模与验证

主要对一种典型作战--"导弹拦截卫星"的指挥活动建立其可视化的军事概念模型.建模过程中主要运用了工作流建模的思想、UML建模语言和Petri网建模方法,建模过程又分为模型构建和模型检验两部分内容,通过模型构建来描述"导弹攻击卫星"指挥活动内容以及活动流程等;而通过模型检验来验证模型自身的正确性,以及对指挥活动分析的正确性.