中国科技核心期刊      中国指挥与控制学会会刊     军事装备类重点期刊
指挥控制与仿真

指挥控制与仿真 >

2019 , Vol. 41 >Issue 2: 37 - 41

DOI: https://doi.org/10.3969/j.issn.1673-3819.2019.02.007

理论研究

基于Petri网的战时空空导弹保障建模

  • 魏天宇 1 ,
  • 张孝虎 1 ,
  • 雷宇 2 ,
  • 周志强 3
展开
  • 1.空军勤务学院, 江苏 徐州 221000
  • 2.中国人民解放军94810部队, 江苏 南京 210000
  • 3.中国人民解放军95631部队, 四川 泸州 464000

作者简介: 魏天宇(1995-),男,四川成都人,硕士研究生,研究方向为机载武器系统与运用。

张孝虎(1968-),男,副教授。

Copy editor: 胡前进

收稿日期: 2018-08-30

  要求修回日期: 2018-10-18

  网络出版日期: 2022-04-28

版权

版权所有,未经授权,不得转载、摘编本刊文章,不得使用本刊的版式设计。
收起

Wartime Air-to-Air Missile Support Model Based on Petri Net

  • WEI Tian-yu 1 ,
  • ZHANG Xiao-hu 1 ,
  • LEI Yu 2 ,
  • ZHOU Zhi-qiang 3
Expand
  • 1. Air force Logistic College,Xuzhou 221000
  • 2. Unit 94810 of PLA, Nanjing 210000
  • 3. Unit 95631 of PLA, Luzhou 464000, China

Received date: 2018-08-30

  Request revised date: 2018-10-18

  Online published: 2022-04-28

Copyright

Copyright reserved © 2019
Fold

摘要

运用Petri网对战时空空导弹保障进行建模,为解决导弹中队保障优化问题提供技术手段和思路。对技术保障流程逐层进行分解,构造包括阶段节点、模块节点和单元节点的战时空空导弹保障模型;综合考虑调派保障人员与保障装(设)备对保障任务的影响,分别给出单元节点和模块节点Petri网模型构造方法并进行赋时处理;针对不同保障任务单元节点之间的逻辑关系,提出两种关系的Petri网模型合成方法;以单枚某型空空导弹技术准备阶段为例,构建与之对应的战时某型空空导弹保障Petri网模型,验证建模方法的有效性和适用性。

关键词： 机载弹药; 战时保障; Petri网; 建模

本文引用格式

魏天宇 , 张孝虎 , 雷宇 , 周志强 . 基于Petri网的战时空空导弹保障建模[J]. 指挥控制与仿真, 2019 , 41(2) : 37 -41 . DOI: 10.3969/j.issn.1673-3819.2019.02.007

Abstract

Using Petri net to model the wartime air-to-air missile support, it provides technical means and ideas for solving the missile squadron’s guarantee optimization problem. The technical support process is decomposed layer by layer, and the wartime air-to-air missile support model including phase nodes, module nodes and unit nodes is constructed. The impact of the deployment of the support personnel and the support equipment on the support tasks is considered comprehensively. Unit node and module node Petri net model construction method and time processing; for the logical relationship between different guarantee task unit nodes, two kinds of Petri net model synthesis methods are proposed; taking a single air-to-air missile technology preparation stage as an example, a wartime model of a certain type of air-to-air missile support Petri net is constructed to verify the validity and applicability of the proposed modeling method.

Key words： airborne ammunition; wartime support; Petri net; modeling

现代战争中,能否运用机载弹药牢牢掌控制空权,对战争的进程和结果会产生巨大影响[1,2]。但目前在航空兵部队演习机载弹药保障领域,普遍存在保障经验不足、预想预测不够、保障模式不规范、保障效率不高和处置突发事件能力弱等问题,一定程度上影响了机载弹药保障质量[3,4]。运用Petri网对机载弹药保障流程进行建模,针对不同保障任务及实际情况,形成贴近实战、高效合理的保障流程,使导弹中队中每一名成员直观清晰地看到其在保障流程中的职责定位,并在实际工作中不断完善和改进,是提升空空导弹保障能力、确保战斗力的有效途径。
在弹药保障流程建模领域,外国起步较早且取得较为成熟的研究成果[5,6]。国内也应用Petri网开始模拟维修保障系统研究,并取得初步成果[7]。哈尔滨工程大学设计运用Petri网对弹药转运系统进行模块划分以系统供弹时间最短为调度目标函数,建立了各功能模块的调度模型[8]。与之相比,机载弹药保障领域的相关研究还刚刚起步,运用具有计算快速、数据统计精准、能够进行重复比较的Petri网进行推演[9,10],对于提高基层机载弹药保障人员战术素养有较高的实用价值,具有较高的军事和经济效益。

1 战时空空导弹业务工作流程分析

本文以某型近距格斗型空空导弹为例,导弹中队在战时空空导弹飞行保障流程可简化为如图1所示的四个步骤:任务准备阶段、技术准备阶段、外送阶段、退场阶段。每个母阶段可向下分为业务操作线(Operation Line)和指挥协调线(Command Line),业务操作线负责导弹各阶段的业务准备、实施,指挥协调线负责业务进行中的相关人员及装、设备的指挥、协调调度。
图1 战时空空导弹飞行保障流程
各个阶段又可向下分解为不同的子任务,建立战时空空导弹保障模型(Workflow Model for Wartime Air-to-air Missile Logistics,WMWAML),如图2所示。
图2 战时空空导弹保障模型
对战时空空导弹保障模型(WMWAML)做出如下定义:WMWAML={V,R,φ,E},其中,V=Vr∪Vp∪Vm∪Vu,Vr为保障任务根(root)节点集合,在图2中如V0所示;Vp为阶段(phase)节点集合,在图2如V11所示;Vm为模块(module)节点集合,在图2如V21所示;Vu为单元(unit)节点,不可再向下细分,根据属性不同可分为指挥协调、业务操作两类,如图2中V31、V32所示。关系集R=R1∪R2,其中R1={m,o},分别表示不同垂直层次之间的关系是不可选(mandatory)或可选(optional)的;R2={s,e},分别表示同级别层次之间的关系是前置开始关系还是前置结束关系。m,o,s,e(V)→φ(V),φ(V)表示谓语函数,对于∀Vn∈V0,φ(Vn)表示与节点Vn存在φ关系的所有节点集合;E= ( V i , V j ) | V i , V j ∈ V表示不同节点之间的关系集合。
WMWAML需满足:
1)不同节点之间的关系必须对应某一谓语函数,即 V i , V j∈E,Vj∈m(Vi)∪o(Vi)∪s(Vi)∪e(Vi);
2)两个节点之间只能对应一种谓语函数,即∀Vi∈V,|{Vi∈V|Vi∈m(Vi)}|+|{Vi∈V|Vi∈o(Vi)}|+|{Vi∈V|Vi∈s(Vi)}|+|{Vi∈V|Vi∈e(Vi)}|≤1;
3)同属于同一模块下存在关联的指挥协调或业务操作单元节点之间一定对应着前置开始关系或前置结束关系,即如果Vi,Vj∈ m ( V ) ⋃ o ( V )且Vi,Vj∈V0,则Vj∈s(Vi)∪e(Vi)。

2 典型保障任务建模方法

2.1 空空导弹保障任务单元节点Petri网模型

定义空空导弹保障任务单元节点Petri网模型为(Petri Net for Unit)PNU={P,T,I,O,M0,Ω}。其中P表示库所(place),P= P a∪ P p∪ P e,其中Pa表示单元节点的任务(assignment)库所,用P0a表示此单元节点尚未完成,P1a表示此单元节点已完成;Pp表示完成单元节点所需人员(Person)的库所,Pe表示完成单元节点所需装、设备(Equipment)的库所。T表示变迁,分别用T0i、T1i,i∈{a,p,e},表示未完成和已完成变迁。I(O)分别表示单元节点的输入(input)和输出(output)函数。M0表示单元节点的初始标识。Ω: P a→(Q+∪0)×(Q+∪∞)表示完成任务单元所需的时间,Pa→ΩPa= m , n,0≤m≤n,Q+为正有理数。
空空导弹单元节点Petri网模型PNU及其简化模型如图3所示。理论上,对于每一个任务单元节点完成耗时τi∈ m , n均可通过流程优化、调整人员配比以达到最小值。
图3 单元节点Petri网模型及其简化表示

2.2 空空导弹保障任务模块节点Petri网模型

空空导弹保障任务模块节点Petri网模型由多个单元节点模型构成,分为串联型模块节点Petri网模型(Petri Net for Series Module,PNSM)和并联型模块节点Petri网模型(Petri Net for Parallel Module, PNPM)。串联型模块节点要求在同一时间内只能在一项单元节点上展开作业,其模型如图4所示。
图4 串联型模块节点Petri网模型
对串联型模块任务做出如下定义:PNSM={P,T,I,O,M0,Ω},其包含元素与单元节点Petri网模型PNUi={Pi,Ti,Ii,Oi,M0i,Ωi}存在如下关系:P= ⋃ i = 1 kPi,T= ⋃ i = 1 kTi∪ t 12 , t 23 , …,Ω= ⋃ i = 1 kΩi。其中,k表示此模块中所包含的单元总数。对∀p∈P,t∈ ⋃ i = 1 k T i,有I p , t=Ii p , t,O p , t=Oi p , t;对∀p∈P,t∈ t 12 , t 23 , …,有I p , t=1,O p , t=1;M0 p=M0i p。
并联型模块节点允许在同一时间内存在多项单元节点同时展开作业,其模型如图5所示。
图5 并联型模块节点Petri网模型
下面以某型运挂一体车的调试准备、驾驶出库过程为例,对并联模型的拓展方法进行说明。如图6所示。
图6 某型运挂一体车的调试准备、驾驶出库过程
其实现方法为:在运挂一体车单元节点Petri网模型的装备库所Pe上增加库所Pr以表示运挂一体车驾驶出库前的准备过程;增加变迁T0r、T1r分别表示未完成准备和已完成准备;为表示一体车准备过程所需时间,需对t0r、t1r进行赋时处理;为表示在一体车完成准备工作后,相关资源得到释放,在库所Pe和T1r之间定义使能弧。

3 空空导弹保障任务Petri网模型算法

空空导弹保障是典型多阶段动态全过程任务,构建空空导弹保障任务Petri网模型的目的就是利用此模型把整个过程根据各分队的职责任务,按照保障逻辑划分为各独立子任务,清晰、准确描述保障任务。这个过程归结为:分析保障任务流程,构建一级作业任务V0、将V0划分为相互独立的数个阶段;建立作业任务的二级子任务模型V1i、分析各独立的二级子任务模型V1i;建立各阶段的三级子任务模型V2j、分析各独立的三级子任务模型V2i;建立各模块的三级子任务模型V3k、添加保障人员与装(设)备变迁并进行赋时处理,最后设置指标参数。
构建基于Petri网战时空空导弹保障模型算法的思路如下:1)从作业任务节点V0开始依次向下搜索WMWAML模型,确定从第一个单元结点到整个作业任务的结束单元结点路径上的所有单元节点;2)根据模型确定所有单元节点之间的指挥协调、业务操作关系;3)根据实际操作流程,按照上述图的两种关系模型的合成方法得到各模块节点所对应Petri网模型;4)将所有模块节点合成为完整的作业任务模型,算法如图7所示。
图7 合成作业任务模型步骤
空空导弹保障任务单元节点Vu之间存在前置开始与前置结束两种关系,对两种关系模型的合成方法如图所示。前置开始关系表示上一单元任务一旦开始执行,下一单元任务也可开始,如图8(a)所示;前置结束关系表示上一单元任务必须执行结束,下一单元任务才可开始,如图8(b)所示。
图8 空空导弹保障任务单元节点合成方法

4 应用实例

本文以单枚某型空空导弹技术准备阶段为例,构建与之对应的战时某型空空导弹保障Petri网模型。该型导弹技术准备阶段的WMWAML模型模块节点逻辑关系如表1所示。
表1 某导弹技术准备阶段的WMWAML模型模块节点逻辑关系
任务模块 限制条件 条件信息 任务模块 限制条件 条件信息
准备工具(电子) 前置模块 V2.14 电爆管测试 前置模块 V3.08
模块编号 V3.01 模块编号 V3.12
开机自检 前置模块 V2.12 发动机测试 前置模块 V3.08
模块编号 V3.02 模块编号 V3.13
氮气管路冲洗 前置模块 V3.02 点火电缆测试 前置模块 V3.08
模块编号 V3.03 模块编号 V3.14
启动变压机 前置模块 V3.01 检查弹翼 前置模块 V3.11
模块编号 V3.04 模块编号 V3.15
启动GSU 前置模块 V3.04 安装弹翼 前置模块 V3.15
模块编号 V3.05 模块编号 V3.16
露点测试 前置模块 V3.05 安装电爆管、 前置模块 V3.12
点火电缆、舵面 V3.13
V3.14
V3.16
模块编号 V3.06 模块编号 V3.17
向测试台供气 前置模块 V3.06 检查螺钉、 前置模块 V3.17
模块编号 V3.07 涂润滑剂/脂 模块编号 V3.18
准备工具(技勤) 前置模块 V2.13 前后仓对接 前置模块 V3.10
V3.18
模块编号 V3.08 模块编号 V3.19
前舱启封 前置模块 V3.08 工具归位 前置模块 V3.03
V3.07
V3.19
模块编号 V3.09 模块编号 V3.20
前舱测试 前置模块 V3.09 关机 前置模块 V3.20
模块编号 V3.10 模块编号 V3.21
后舱启封 前置模块 V3.08 出库 前置模块 V3.21
模块编号 V3.11 模块编号 V3.22
按照上述定义生成对应的WMWAML模型Vp,如图9所示。
图9 技术准备阶段WMWAML模型Vp
算法生成模型按照以下方法进行:1)从建立的WMWAML模型中搜索确定从第一个单元结点到指定的结束单元结点路径上的所有单元节点的路径集合A={r1,r2,…,rn};2)确定上述单元节点之间的指挥协调、业务操作关系;3)根据实际情况对各个单元结点创建对应的Petri网模型。以r1={V3.01,V3.02,V3.03,V3.22},r2={V3.01,V3.04,V3.05,V3.06,V3.07,V3.22}为例,r1和r2单元节点的起点均为V3.01,终点均为V3.22,V3.01是V3.02与V3.04的前置结束关系单元节点。按照上述给出的空空导弹保障任务Petri网模型算法,设V3.02与V3.04的Petri网模型为PN-V3.02、PN-V3.04,最后,对r1、r2的其他单元节点进行建模,并根据WMWAML模型Vp逻辑关系进行合成,如图10所示。
图10 r1、r2Petri网模型

5 结束语

本文运用Petri网建立战时空空导弹保障作业模型,并考虑人员及装(设)备调度对作业耗时的影响。WMWAML模型有以下优点:1)能够使机载弹药保障人员清晰明确地熟知自身在整个保障作业中的职责、协调关系;2)根据WMWAML模型和两种关系模型的合成方法,能够针对不同数、质量机载弹药保障任务生成战时空空导弹保障方案,保证了模型的可拓展性。论文下一步将对基于Petri网的战时空空导弹保障模型优化算法进行研究。

参考文献

原文顺序 | 文献年度倒序 | 文中引用次数倒序
[1]
康宗宇, 陈义军, 陈伟. 航空战时弹药保障供应能力优化预测仿真[J]. 计算机仿真, 2017, 34(2): 49-52.

[2]
王茜, 李志强, 张孝虎, 等. 基于测试参数的某型空空导弹健康评估模型[J]. 计算机测量与控制, 2014, 22(11): 3639-3642.

[3]
张继尧, 高铁路, 陈为元, 等. 装备保障人员优化配置方法研究[J]. 火力与指挥控制, 2016, 41(10): 192-196.

[4]
CMMI Product Team. Capability Maturity Model Integration(CMMISM,Version 1.1)[R]. CMMISM for Systems Engineering, Software Engineering,and Integrated Product and Process Development(CMMI-SE/SW/IPPD,V1.1) Staged Representation, 2010.

[5]
Pezoulas P K, Muno K N. Bottleneck Information And Reduction: An Analysis of The Logistics Reparable Pipeline[J]. Air Force Journal of Logistics, 2016, 22(4): 13-16.

[6]
Exspect User Manual Management & ICT Consultants[Z]. The Netherlands, 2014.

[7]
关成彬, 段立. Petri 网在海军战役装备保障指挥中的应用[J]. 兵工自动化, 2008, 27(12): 6-8.

[8]
朱淋淋. 弹药转运系统优化设计及调度仿真的研究[D]. 哈尔滨:哈尔滨工程大学, 2013.

[9]
张建强. 张涛. 郭波. 基于Petri网的维修保障流程多层次仿真模型研究[J]. 兵工自动化, 2003, 22(4): 14-17.

[10]
孙钦莹, 李向阳. 基于随机Petri网的跨组织应急协同模型构建[J]. 中国安全生产科学技术, 2015, 11(9): 63-68.

Options
文章导航

/

〈 〉