中国指挥与控制学会会刊 
作战仿真主要目的是实现现实世界到仿真模型的映射。其中,军事概念模型完成的工作主要是对现实世界完成抽象后,构建面向领域和面向设计的概念模型。采用概念建模,能够将军事专家非技术人员掌握的特定军事领域知识(Domain Knowledge)转化为被技术人员与军事运筹人员所理解的显性知识(Explicit Knowledge),为进行系统的仿真开发奠定良好的知识表示基础[1]。统一建模语言(Unified Modeling Language,UML)是一种定义良好、易于表达、功能强大的建模语言,能够描述静态及动态面向对象系统[2],也是用军事概念建模的重要工具。
本文以某型防空反导系统为例,采用UML对该型防空反导作战仿真概念建模进行初步的探讨,并对模型的合理性使用Petri网进行了验证。
1 某型防空反导系统的组成及任务流程
1.1 某型防空反导系统的组成
某型防空反导系统主要由指挥控制系统与火力单元组成,标准的反导系统是由6-8个火力单元配备一个指挥控制系统,而单个火力单元最多配备八辆导弹发射车并包含一部相控阵制导雷达。
如图1 所示,指挥控制系统由俄制C-ΠMY-2采用的30K6E改进而来,可同时指挥的火力单元数量由6个提升到8个。改进的指控系统包含一部作战指挥车以及一部大型相控阵雷达(远程预警雷达),可以在600 km距离上探测和跟踪战斗机巡航导弹等目标,并完成敌我识别、航迹跟踪等任务,此外还具有很强的抗干扰能力,能识别假目标,快速定位有源干扰机的方位。指挥系统可以同时控制8个火力单元,同时发射72枚导弹进行指导,打击36个目标。
该型防空反导系统的火力单元配备多部地空导弹发射车和三坐标火控雷达以及一部较小的警戒雷达,在战斗状态下可以完成搜索、跟踪、制导、反电子干扰等任务。系统标配的导弹按射程分为远、中、近三个类型,远程导弹射程可达400 km,中远程的导弹射程250 km左右,近程导弹射程为40-120 km[3]。
火力单元中选配一部备用预警雷达,可以将探测目标信息直接传给火控雷达,主要是使火力单元在没有外部信息支持下也具备一定独立作战能力。
1.2 某型防空反导系统拦截任务流程
在进行防空反导作战中,某型系统的作战实体主要由远程预警雷达、作战指挥车、火控雷达,装配各型号导弹的发射车组成, 其拦截的过程主要有如下几个环节组成。
首先是警戒阶段,在此阶段系统获取早期预警信息的方法主要是通过远程预警雷达对空中目标探测,以及其他早期预警雷达所获取的信息。信息获取后会被传输至指挥中心分析处理。
制定拦截计划阶段,指控中心通过获取的信息以及数据库对目标进行识别并分类,然后根据火力单元位置和距离制定拦截计划,并在拦截能力不足时优先拦截威胁较大的目标。
实施拦截计划阶段,需要利用火控雷达对目标跟踪,所以指控中心将需要拦截的目标信息分别下发至各火力单元的火控雷达。一个火控单元内部署的导弹发射车包含多种射程的导弹,火控雷达会根据与目标的距离,在近程、中程以及中远程导弹中进行选择。由于导弹在一定拦截区域内具有最优拦截效果,所以火控雷达计算目标飞行轨迹在最佳拦截区域进行拦截,完成计算后所有信息将会被装订入导弹的导航和控制系统。
预定时间导弹会被发射,同时为确保完成摧毁,一般使用两枚导弹对每个目标拦截,通常在第一枚导弹发射后的1 500 ms-5 000 ms时间段内发射第二枚导弹。发射导弹后,对于不同型号导弹需要导引方式不同,近程型号与远程型导弹需要火控雷达进行指令修正,直至导弹的主动雷达导引头开始运作,而中程型导弹在击中目标前都需要持续跟踪制导。
导弹完成打击后,需要由雷达收集目标信号以进行毁伤评估,如果没有拦截到目标,则跟踪目标开始发动第二轮打击。如图2 所示。
2 基于UML的防空反导作战系统概念建模
用UML描述概念模型一般步骤如下[1]:
第一步 逐级建立各种用例图,寻找、建立该模型涉及的所有用例;
第二步 明确第一步用例中的实体,并使用静态图进行描述:用类图对实体进行细化的描述;
第三步 明确第一步实体中的各种活动以及行为,使用动态图进行描述,可以选择的方式主要有时序图,活动图以及交互图等,对用例图完善。
2.1 防空反导作战建模中用例描述
对系统用例描述首先要进行明确UML用例的定义,然后进行用例的分析。
UML用例的定义是:系统执行的一组动作序列,这些动作可以产生一个特定参与者可观察的数值结果。这些动作会涉及与多个参与者(用户和其他系统)的通信,以及在系统内部执行的计算和任务[2]。
在某型防空反导作战系统的用例分析中,系统要实现的需求就是进行空中拦截,而系统为了完成功能的动作序列就是用例:由发现目标到打击包含侦察监视目标、制定作战方案、对导弹导引以及发射导弹等动作序列。具体的用例如图3 所示。
2.2 防空反导作战系统的对象组成
完成系统的功能需求定义以及需求分析之后,要进行面向对象建模核心工作,即对系统中的对象进行分离,已经明确系统由哪些对象所组成。
UML中的工作是:战役战术防空反导作战系统用例模型中的所有实体进行标识,对他们的关联关系进行分析。在俄军的某型系统中,实体主要有六个,分别是指控中心、远程预警雷达,以及备用预警雷达(选配)、火力单元、火控雷达、导弹系统,UML中用类图来表示这些实体,在类图的属性中描述实体的相关内容,用聚合表示系统中实体之间的组合关系,如火控雷达、导弹系统与备用预警雷达可聚合为火力单元。而需要一同完成作战任务的类,可以使用实现关系,如火控雷达制导导弹,所以用实现关系连接两者。因此,UML的类图如图4 所示。
2.3 防空反导作战系统动态建模
从防空反导作战系统用例图中可以分析得到反导系统的主要行为,即警戒、制定计划、发射、引导。而从类图的对象关系中获取系统静态结构和部分系统行为信息。在此基础上,可以建立描述系统特殊行为的动态模型,从而展示对象在系统执行过程中不同阶段的动态交互[4]。为完成UML中对动态活动交互进行建模,可以采用活动图、顺序图或协作图进行描述。这三种图侧重点不同,分别聚焦于工作描述、时间与空间。考虑到在实战中,某型防空反导作战系统聚焦于时间,而在仿真中更加聚焦于工作的流程,因此,本文采用2种图对系统的交互进行描述,分别是采用顺序图描述时间上的交互,采用活动图描述工作上的交互,此外在UML到Petri网的映射转换中,使用活动图更容易根据一定规则进行转换,而顺序图转换则较复杂不易实现。如图5 所示,由于备用预警雷达主要在和指挥中心失去联系时使用,故在顺序图中无标识。
活动图中建立工作流主要通过活动状态、控制流以及初始和结束状态。其中,活动状态、控制流、初始和结束状态分别采用系统圆角矩形、箭头实线以及默认的圆形图标标识。在工作流需要进行分叉或并发时,引入菱形和同步棒;菱形对应分叉,表示在此节点进行OR选择,会产生一个否定情况的工作流或者肯定情况的工作流。同步棒对应并发和分裂。表示此节点会产生一个共同作用的工作流,或者同时分裂的工作流,在时间上是同步的。反导系统的拦截过程涉及不同的作战模块,通过泳道,将模块进行区分。图6 为某型防空反导作战活动图。
3 采用Petri 网方法的模型验证
使用UML建立的某型防空反导系统的工作流模型,缺点在于没有足够的数学理论做支持,不能进行流程评估的验证,所以该模型可能存在缺陷,隐藏的缺陷在后期仿真中可能造成逻辑和架构错误,严重影响系统稳定性。因此在开发初期应进行查找和解决。
Petri网的优势在于严谨的数学分析和清晰的图形显示,可以详细地描述系统在防空反导作战过程中内部运动机理[5]。Petri网工作流模型检验的思路主要是:首先,完成UML活动图转化成Petri网;然后,对转换后的模型的合理性、自由选择性以及可达性进行分析,确定转换后模型是否逻辑合理,有无死循环。
为了对防空反导系统军事概念模型进行验证,需要将UML活动图转化成Petri网模型,转换根据一定的规则[7],具体方法如图7 所示。本文采用Pipe 3.0建立Petri模型,其中Petri网的库所对应UML的活动状态,发生的变迁采用有向实线表示;Petri网的分支选择与合并选择对应菱形;同步分支和同步汇合用实心条形。
3.1 某型防空反导作战Petri网模型
根据转化规则,得到将某型防空反导系统活动图转换后的Petri网模型,图 8 即模型按规则转换结果。Petri网中P是位置节点的有限集合,在该系统中代表警戒雷达、指挥平台、引导系统,以及拦截导弹,而T表示变迁,指的是UML活动图中的活动,一共可以产生28种状态,具体变迁如表1 所示。
表1 Petri网模型中变迁元素含义 |
| 变迁 | 含义 | 变迁 | 含义 |
|---|---|---|---|
| t0 | 探测目标 | t14 | 划分优先级拦截 |
| t1 | 接收信息 | t16 | 分配目标 |
| t2 | 信息融合 | t17 | 下发目标 |
| t3 | 不能确定目标 | t18 | 火控雷达跟踪目标 |
| t4 | 可以确定目标 | t19 | 导弹发射准备 |
| t5 | 跟踪侦察目标 | t20 | 进行导弹引导 |
| t6 | 威胁判断 | t21 | 发射导弹 |
| t7 | 不存在威胁 | t22 | 打击目标 |
| t8 | 存在威胁 | t23 | 拦截效果评估 |
| t9 | 下达打击命令 | t24 | 未命中目标 |
| t10 | 敌我实力对比 | t25 | 命中目标 |
| t11 | 敌实力在防空能力内 | t26 | 不再发射 |
| t12 | 敌实力超过防空能力 | t27 | 再次发射 |
| t13 | 进行全部拦截 | t28 | 作战结束 |
3.2 系统的可达性与合理性分析
通过Petri 网的可达性分析主要是通过绘制可达图完成的,可达图也是系统业务过程的一种重要精确的表达形式,可以使系统的每一种状态,以及状态到达的顺序准确掌握。
给定Petri网(P,T,F,M0)和标识M,如果存在发射系列σ(σ=t1,t2,…,tn)可以使M0变迁为M,则称M0是可达的。所有可达标识的集合用[M0>或R(M0)表示。可达图是用图形来描述求取M∈[M0>的过程。
Petri 网的合理性意味着,每个系统中的任务都会被完成,在图中就是输入start和结束end节点之间的路径上可以覆盖全部任务。为证明所有任务处于路径之上,首先,防空作战任务启动后,令牌由start向end变迁,而任务的状态也从起始向结束状态转变,而当作战任务结束时,令牌全部到达end节点,过程节点不存在令牌;然后可达图可以体现全部状态都可被执行,系统无死循环;所以从两点,证明该防空反导模型动态模型是合理的。
3.3 工作流的选择性分析
4 结束语
某型防空反导系统是近些年获得国际认可的新一代反导系统,并出口部署多个国家,也是未来我军发展区域防空反导系统的一个借鉴标杆。本文对该型系统的作战进行了概念建模研究,采用UML方法分别进行静态和动态活动建模,通过Petri网方法对某型号防空反导系统军事概念模型的合理性和有效性及自由性进行了验证。研究表明该方法切实可行,可为后续的深层次的作战流程仿真优化等研究铺垫基础,具有一定的现实意义。