基于 Petri网的战时空空导弹保障建模
魏天宇1，张孝虎1，雷 宇2，周志强3
(1.空军勤务学院，江苏 徐州 221000；2.中国人民解放军94810部队，江苏 南京 210000；3.中国人民解放军95631部队，四川 泸州 464000)
摘 要 :运用Petri网对战时空空导弹保障进行建模，为解决导弹中队保障优化问题提供技术手段和思路。对技术保障流程逐层进行分解，构造包括阶段节点、模块节点和单元节点的战时空空导弹保障模型；综合考虑调派保障人员与保障装(设)备对保障任务的影响，分别给出单元节点和模块节点Petri网模型构造方法并进行赋时处理；针对不同保障任务单元节点之间的逻辑关系，提出两种关系的Petri网模型合成方法；以单枚某型空空导弹技术准备阶段为例，构建与之对应的战时某型空空导弹保障Petri网模型，验证建模方法的有效性和适用性。
关键词 :机载弹药；战时保障；Petri网；建模
现代战争中，能否运用机载弹药牢牢掌控制空权，对战争的进程和结果会产生巨大影响[1-2]。但目前在航空兵部队演习机载弹药保障领域，普遍存在保障经验不足、预想预测不够、保障模式不规范、保障效率不高和处置突发事件能力弱等问题，一定程度上影响了机载弹药保障质量[3-4]。运用Petri网对机载弹药保障流程进行建模，针对不同保障任务及实际情况，形成贴近实战、高效合理的保障流程，使导弹中队中每一名成员直观清晰地看到其在保障流程中的职责定位，并在实际工作中不断完善和改进，是提升空空导弹保障能力、确保战斗力的有效途径。
在弹药保障流程建模领域，外国起步较早且取得较为成熟的研究成果[5-6]。国内也应用Petri网开始模拟维修保障系统研究，并取得初步成果[7]。哈尔滨工程大学设计运用Petri网对弹药转运系统进行模块划分以系统供弹时间最短为调度目标函数，建立了各功能模块的调度模型[8]。与之相比，机载弹药保障领域的相关研究还刚刚起步，运用具有计算快速、数据统计精准、能够进行重复比较的Petri网进行推演[9-10]，对于提高基层机载弹药保障人员战术素养有较高的实用价值，具有较高的军事和经济效益。
1 战时空空导弹业务工作流程分析
本文以某型近距格斗型空空导弹为例，导弹中队在战时空空导弹飞行保障流程可简化为如图1所示的四个步骤：任务准备阶段、技术准备阶段、外送阶段、退场阶段。每个母阶段可向下分为业务操作线(Operation Line)和指挥协调线(Command Line)，业务操作线负责导弹各阶段的业务准备、实施，指挥协调线负责业务进行中的相关人员及装、设备的指挥、协调调度。
入选标准：①患者的肾脏功能在48小时发生迅速衰退；②经过检测患者的血清肌酐值上升程度超过26.5 μmol/L；③患者的尿量少于0.5 ml（kg·h）。
图1 战时空空导弹飞行保障流程
各个阶段又可向下分解为不同的子任务，建立战时空空导弹保障模型(Workflow Model for Wartime Air-to-air Missile Logistics，WMWAML)，如图2所示。
图2 战时空空导弹保障模型
对战时空空导弹保障模型(WMWAML)做出如下定义：WMWAML={V ,R ,φ ,E }，其中，V =V r ∪V p ∪V m ∪V u ,V r 为保障任务根(root)节点集合,在图2中如V 0所示；V p 为阶段(phase)节点集合，在图2如V 11所示；V m 为模块(module)节点集合，在图2如V 21所示；V u 为单元(unit)节点，不可再向下细分，根据属性不同可分为指挥协调、业务操作两类，如图2中V 31、V 32所示。关系集R =R 1∪R 2，其中R 1={m ,o }，分别表示不同垂直层次之间的关系是不可选(mandatory)或可选(optional)的；R 2={s ,e }，分别表示同级别层次之间的关系是前置开始关系还是前置结束关系。m ,o ,s ,e (V )→φ (V ),φ (V )表示谓语函数，对于∀V n ∈V 0,φ (V n )表示与节点V n 存在φ 关系的所有节点集合；E ={(V i ,V j )|V i ,V j ∈V }表示不同节点之间的关系集合。
“十三五”期间，高职院校教学改革成为教育改革的热点话题之一。以联合培养技术应用型与高端技能型人才相结合的新型培养模式——四年制高职教育，将成为今后高职教育改革展发展的一种常态，逐渐普及发展到全国各地。公共基础教学课程作为四年制高职学生的基础课程，是学生培养良好职业道德、练就较强专业知识技能、养成终身学习能力的核心课程。基于此，对四年制高职公共基础教学课程的管理模式研究，不仅在技术层面促进公共基础教学课程改革的顺利推进，而且也是高职院校形成课程自主发展理念的重要保障。
第五、表1中学校督导和二级学院督导听课的成效在教师日常的教学质量评价中并没有体现，作为具有较大评价能力和评价质量的督导听课结果，应该在日常的教学评价中占较大比例。
定义空空导弹保障任务单元节点Petri网模型为(Petri Net for Unit)PNU ={P ,T ,I ,O ,M 0,Ω}。其中P 表示库所(place)，P ={P a }∪{P p }∪{P e }，其中P a 表示单元节点的任务(assignment)库所，用P 0a 表示此单元节点尚未完成，P 1a 表示此单元节点已完成；P p 表示完成单元节点所需人员(Person)的库所，P e 表示完成单元节点所需装、设备(Equipment)的库所。T 表示变迁，分别用T 0i 、T 1i ，i ∈{a ,p ,e },表示未完成和已完成变迁。I (O )分别表示单元节点的输入(input)和输出(output)函数。M 0表示单元节点的初始标识。Ω:{P a }→(Q +∪0)×(Q +∪∞)表示完成任务单元所需的时间，P a →ΩP a =[m ,n ],0≤m ≤n ,Q +为正有理数。
WMWAML需满足：
1)不同节点之间的关系必须对应某一谓语函数，即(V i ,V j )∈E ,V j ∈m (V i )∪o (V i )∪s (V i )∪e (V i )；
空空导弹保障任务模块节点Petri网模型由多个单元节点模型构成，分为串联型模块节点Petri网模型(Petri Net for Series Module,PNSM)和并联型模块节点Petri网模型(Petri Net for Parallel Module, PNPM)。串联型模块节点要求在同一时间内只能在一项单元节点上展开作业，其模型如图4所示。
3)同属于同一模块下存在关联的指挥协调或业务操作单元节点之间一定对应着前置开始关系或前置结束关系，即如果V i ,V j ∈[m (V )∪o (V )]且V i ,V j ∈V 0,则V j ∈s (V i )∪e (V i )。
2 典型保障任务建模方法
2.1 空空导弹保障任务单元节点Petri网模型
第一，没有意识到高中物理与初中物理在教学方式上的区别.首先两个阶段的物理教学目标便有着较大的不同，初中阶段学生身心发展规律还处在不断的发展阶段，教学更多考虑的是学生知识的积累，而高中阶段学生的身心发展有了较大的进步，思维也开始走向不断的完善，尤其是高三的学生心智已经几乎和成人相差无几，所以在高中物理教学中对解题能力的培养要求比较高.但是各个学校的教师还没有意识到两个阶段的差距，依然延续着初中阶段的教学方式进行高中阶段的教学，使得很多在学习上和解题能力上得不到发展，不能将所学的知识切实的运用到生活实践中去.
构建基于Petri网战时空空导弹保障模型算法的思路如下：1)从作业任务节点V 0开始依次向下搜索WMWAML模型，确定从第一个单元结点到整个作业任务的结束单元结点路径上的所有单元节点；2)根据模型确定所有单元节点之间的指挥协调、业务操作关系；3)根据实际操作流程，按照上述图的两种关系模型的合成方法得到各模块节点所对应Petri网模型；4)将所有模块节点合成为完整的作业任务模型，算法如图7所示。
图3 单元节点Petri网模型及其简化表示
2.2 空空导弹保障任务模块节点Petri网模型
2)两个节点之间只能对应一种谓语函数，即∀V i ∈V ，|{V i ∈V |V i ∈m (V i )}|+|{V i ∈V |V i ∈o (V i )}|+|{V i ∈V |V i ∈s (V i )}|+|{V i ∈V |V i ∈e (V i )}|≤1；
图4 串联型模块节点Petri网模型
对串联型模块任务做出如下定义：PNSM ={P ,T ,I ,O ,M 0,Ω}，其包含元素与单元节点Petri网模型PNU i ={P i ,T i ,I i ,O i ,M 0i ,Ωi }存在如下关系：
其中，k 表示此模块中所包含的单元总数。对∀
有I (p ,t )=I i (p ,t ),O (p ,t )=O i (p ,t )；对∀p ∈P ,t ∈{t 12,t 23,…}，有I (p ,t )=1,O (p ,t )=1；M 0(p )=M 0i (p )。
并联型模块节点允许在同一时间内存在多项单元节点同时展开作业，其模型如图5所示。
S32X将性能提高10倍，为应用程序内的软件开发工作减少90%，跨应用程序的开发减少40%以上；令汽车安全，防护和空中(OTA)能力迈上新台阶。以此来面对不断汽车不断的更新换代，也为未来汽车上市的速度加快步伐。
图5 并联型模块节点Petri网模型
下面以某型运挂一体车的调试准备、驾驶出库过程为例，对并联模型的拓展方法进行说明。如图6所示。
图6 某型运挂一体车的调试准备、驾驶出库过程
其实现方法为：在运挂一体车单元节点Petri网模型的装备库所P e 上增加库所P r 以表示运挂一体车驾驶出库前的准备过程；增加变迁T 0r 、T 1r 分别表示未完成准备和已完成准备；为表示一体车准备过程所需时间，需对t 0r 、t 1r 进行赋时处理；为表示在一体车完成准备工作后，相关资源得到释放，在库所P e 和T 1r 之间定义使能弧。
3 空空导弹保障任务Petri网模型算法
空空导弹保障是典型多阶段动态全过程任务，构建空空导弹保障任务Petri网模型的目的就是利用此模型把整个过程根据各分队的职责任务，按照保障逻辑划分为各独立子任务，清晰、准确描述保障任务。这个过程归结为：分析保障任务流程，构建一级作业任务V 0、将V 0划分为相互独立的数个阶段；建立作业任务的二级子任务模型V 1i 、分析各独立的二级子任务模型V 1i ；建立各阶段的三级子任务模型V 2j 、分析各独立的三级子任务模型V 2i ；建立各模块的三级子任务模型V 3k 、添加保障人员与装(设)备变迁并进行赋时处理，最后设置指标参数。
空空导弹单元节点Petri网模型PNU及其简化模型如图3所示。理论上，对于每一个任务单元节点完成耗时τ i ∈[m ,n ]均可通过流程优化、调整人员配比以达到最小值。
图7 合成作业任务模型步骤
空空导弹保障任务单元节点V u 之间存在前置开始与前置结束两种关系，对两种关系模型的合成方法如图所示。前置开始关系表示上一单元任务一旦开始执行，下一单元任务也可开始，如图8(a)所示；前置结束关系表示上一单元任务必须执行结束，下一单元任务才可开始，如图8(b)所示。
图8 空空导弹保障任务单元节点合成方法
4 应用实例
本文以单枚某型空空导弹技术准备阶段为例，构建与之对应的战时某型空空导弹保障Petri网模型。该型导弹技术准备阶段的WMWAML模型模块节点逻辑关系如表1所示。
表1 某导弹技术准备阶段的WMWAML模型模块节点逻辑关系
按照上述定义生成对应的WMWAML模型V p ，如图9所示。
图9 技术准备阶段WMWAML模型V p
算法生成模型按照以下方法进行：1)从建立的WMWAML模型中搜索确定从第一个单元结点到指定的结束单元结点路径上的所有单元节点的路径集合A ={r 1,r 2,…,r n }；2)确定上述单元节点之间的指挥协调、业务操作关系；3)根据实际情况对各个单元结点创建对应的Petri网模型。以r 1={V 3.01,V 3.02,V 3.03,V 3.22}，r 2={V 3.01,V 3.04,V 3.05,V 3.06,V 3.07,V 3.22}为例，r 1和r 2单元节点的起点均为V 3.01，终点均为V 3.22，V 3.01是V 3.02与V 3.04的前置结束关系单元节点。按照上述给出的空空导弹保障任务Petri网模型算法，设V 3.02与V 3.04的Petri网模型为PN -V 3.02、PN -V 3.04，最后，对r 1、r 2的其他单元节点进行建模，并根据WMWAML模型V p 逻辑关系进行合成，如图10所示。
刘：我们经常可以看到围圈而舞的舞蹈形式，而且“圈舞”在我国也有着非常悠久的历史。我看沙朗舞也是围圈而舞，那它和藏族的锅庄舞有什么不同呢？
图10r 1、r 2Petri网模型
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.
Wartime Air-to-Air Missile Support Model Based on Petri Net
WEI Tian-yu1, ZHANG Xiao-hu1, LEI Yu2, ZHOU Zhi-qiang3
(1.Air force Logistic College,Xuzhou 221000； 2.Unit 94810 of PLA, Nanjing 210000； 3.Unit 95631 of PLA, Luzhou 464000, China)
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
中图分类号 :E237
文献标志码: A
DOI: 10.3969/j.issn.1673-3819.2019.02.007
文章编号 ：1673-3819(2019)02-0037-05
收稿日期 ：2018-08-30
修回日期： 2018-10-18
作者简介 ：魏天宇(1995-)，男,四川成都人,硕士研究生,研究方向为机载武器系统与运用。张孝虎(1968-)，男，副教授。
(责任编辑:胡前进)
标签：机载弹药论文; 战时保障论文; Petri网论文; 建模论文; 空军勤务学院论文; 中国人民解放军94810部队论文; 中国人民解放军95631部队论文;