航天复杂系统测发控流程仿真引擎设计与评价

doi:10.12305/j.issn.1001-506X.2023.12.16

摘要/Abstract

摘要：

航天复杂系统约束多, 测试指令和测试数据庞大, 其测发控流程设计成本高, 可靠性难以保证。为提高航天复杂系统测发控流程的测试效率, 规范设计步骤, 结合工作流技术、仿真技术, 设计一款测发控流程并行仿真引擎, 实现流程的定制化、可视化绘制, 对测发控流程进行并行仿真模拟。基于Petri网提出一种测发控流程逻辑评价方法来验证流程中逻辑的正确性, 对其中的问题节点进行定位, 为后续流程的优化和调整提供更为可靠的依据。实验结果表明, 并行仿真引擎的开发和流程逻辑评价算法的建立, 极大程度上减少了流程设计人员的工作量, 可以准确验证出流程存在的逻辑问题, 提高了流程设计的可靠性和效率。

关键词: 测发控流程, 并行仿真, 逻辑评价, Petri网, 流程检验

Abstract:

The aerospace complex system faces many complex constraints and it has numberous test instructions and test data. Consequently, the design cost of test-firing-control process is expensive and the reliability is difficult to guarantee. In order to improve the test efficiency of test-firing-control process of aerospace complex systems and normalize the design steps, a parallel simulation engine is designed combining workflow technology and simulation technology, which not only realizes the process customization and visual drawing, but also simulates the test-firing-control process in parallel. Based on the Petri net, a logical evaluation method of test-firing-control process is proposed to verify the logical correctness of the process. It can also locate the problem nodes, which provides a more reliable basis for the optimization and adjustment of the process. The experimental results show that the development of the parallel simulation engine and the establishment of the logical evaluation algorithm greatly reduce the workload of process designers, which can accurately verify the logical problems and improve the reliability and efficiency of the process design.

Key words: test-firing-control process, parallel simulation, logical evaluation, Petri net, process inspection

中图分类号:

V448
TP391.9

胡涛, 申立群, 田宇阳, 董伟锋. 航天复杂系统测发控流程仿真引擎设计与评价[J]. 系统工程与电子技术, 2023, 45(12): 3866-3874.

Tao HU, Liqun SHEN, Yuyang TIAN, Weifeng DONG. Design and evaluation of simulation engine for test-firing-control process of aerospace complex system[J]. Systems Engineering and Electronics, 2023, 45(12): 3866-3874.

图/表 13

图1

图2

表1

图3

图4

图5

图6

图7

图8

图9

图10

图11

表2

参考文献 32

1	褚厚斌, 张丽晔, 郭晶, 等. 航天通用测发控软件平台设计与应用[J]. 计算机测量与控制, 2014, 23 (5): 1799- 1801. doi: 10.16526/j.cnki.11-4762/tp.2015.05.104
	CHU H B , ZHANG L Y , GUO J , et al. Design and application of space general test and launch control software platform[J]. Computer Measurement & Control, 2014, 23 (5): 1799- 1801. doi: 10.16526/j.cnki.11-4762/tp.2015.05.104
2	ANDERSON J L. High performance missile testing (next gene-ration test systems)[C]//Proc. of the IEEE Systems Readiness Technology Conference, 2003: 19-27.
3	TINA S . Swarm intelligence techniques and genetic algorithms for test case prioritization[J]. International Journal of Engineering and Advanced Technology, 2020, 9 (4): 465- 469. doi: 10.35940/ijeat.D6810.049420
4	FANG J Y , XUE H H , XIAO M Q . Parallel test tasks scheduling and resources configuration based on GA-ACA[J]. Journal of Measurement Science and Instrumentation, 2011, 2 (4): 321- 326.
5	FU Y J, SUN K F. Design of universal measurement and control system for thermal power system test bench based on PXI bus technology[C]// Proc. of 2nd International Conference on Mechanical, Electronic and Engineering Technology, 2019: 313-316.
6	YAO K , HUANG S L . Simulation technology and analysis of military simulation training[J]. Journal of Physics: Conference Series, 2021, 1746 (1): 012020. doi: 10.1088/1742-6596/1746/1/012020
7	XU J W , CHEN M Y , ZHENG G , et al. SimK: a large-scale parallel simulation engine[J]. Journal of Computer Science and Technology, 2009, 24 (6): 1048- 1060. doi: 10.1007/s11390-009-9294-4
8	BUKHTAWAR E , ASAD W , ANIS U , et al. Toward scalable cloud data center simulation using high-level architecture[J]. Computer Weekly News, 2020, 50 (6): 827- 843.
9	MEINEKE M A , VARDEMAN C F , LIN T , et al. OOPSE: an object-oriented parallel simulation engine for molecular dynamics[J]. Journal of Computational Chemistry, 2005, 26 (3): 252- 271. doi: 10.1002/jcc.20161
10	BOYER R T, MCQUAY W K. Joint modeling and simulation system[C]//Proc. of the SPIE-The International Society for Optical Engineering, 1993: 335-340.
11	李春亮, 雷永林. 基于UML的SMP2模型集成方法研究[J]. 系统仿真学报, 2009, 21 (21): 6755- 6759. doi: 10.16182/j.cnki.joss.2009.21.025
	LI C L , LEI Y L . Research on SMP2 model integration method based on UML[J]. Journal of System Simulation, 2009, 21 (21): 6755- 6759. doi: 10.16182/j.cnki.joss.2009.21.025
12	乔海泉, 张耀程, 李革, 等. JMASE分布式仿真功能的设计与实现[J]. 计算机仿真, 2006, 23 (10): 113- 118. doi: 10.3969/j.issn.1006-9348.2006.10.029
	QIAO H Q , ZHANG Y C , LI G , et al. Design and implementation of JMASE distributed simulation capability[J]. Computer Simulation, 2006, 23 (10): 113- 118. doi: 10.3969/j.issn.1006-9348.2006.10.029
13	LUBACHEVSKY B D . Efficient distributed event-driven simulations of multiple-loop networks[J]. Communications of the ACM, 1989, 32 (1): 111- 123. doi: 10.1145/63238.63247
14	MANSOORI F , RAHGOZAR M , KAVOUSI K . A pathway analysis approach using Petri net[J]. IEEE Journal of Biomedi- cal and Health Informatics, 2021, 25 (3): 874- 880. doi: 10.1109/JBHI.2020.3003996
15	MAHULEA C , MONTIJANO E , KLOETZER M . Distributed multirobot path planning in unknown maps using Petri net models[J]. IFAC-Papers On Line, 2020, 53 (2): 2063- 2068. doi: 10.1016/j.ifacol.2020.12.2521
16	KRZYWICKI K , ANDRZEJEWSKI G , ZAJAC W , et al. IPNES-Interpreted Petri net for embedded systems[J]. Procedia Computer Science, 2021, 192, 2012- 2021. doi: 10.1016/j.procs.2021.08.207
17	ABBASZADEH M . Weak consistency model in distributed systems using hierarchical colored Petri net[J]. Journal of Computers, 2018, 13 (2): 236- 243.
18	CHERNENOK S A , NEPOMNIASCHY V A . Analysis and verification of message sequence charts of distributed systems with the help of coloured Petri nets[J]. Automatic Control and Computer Sciences, 2015, 49 (7): 484- 492. doi: 10.3103/S0146411615070056
19	STETSENKO I V , PAVLOV A A , DYFUCHYNA O . Parallel algorithm development and testing using Petri-object simula-tion[J]. International Journal of Parallel, Emergent and Distributed Systems, 2021, 36 (6): 549- 564. doi: 10.1080/17445760.2021.1955113
20	ZENG Q T , DUAN H , LIU C . Top-down process mining from multi-source running logs based on refinement of Petri nets[J]. IEEE Access, 2020, 8, 61355- 61369. doi: 10.1109/ACCESS.2020.2984057
21	SUN H M , DU Y Y , QI L , et al. A method for mining process models with indirect dependencies via Petri nets[J]. IEEE Access, 2019, 7, 81211- 81226. doi: 10.1109/ACCESS.2019.2923624
22	TENG Y X , QI L , DU Y Y . A logic Petri net-based repair method of process models with incomplete choice and concurrent structures[J]. Computing and Informatics, 2020, 39 (1/2): 264- 297.
23	PADMA V . A study on flexible manufacturing systems using Petri net reduction[J]. IOP Conference Series: Materials Science and Engineering, 2021, 1130 (1): 012060. doi: 10.1088/1757-899X/1130/1/012060
24	HU L , LIU Z Y , HU W F , et al. Petri-net-based dynamic scheduling of flexible manufacturing system via deep reinforcement learning with graph convolutional network[J]. Journal of Manufacturing Systems, 2020, 55, 1- 14. doi: 10.1016/j.jmsy.2020.02.004
25	HAFIZ Z N , TAUSEEF A . Performance evaluation of a carousel configured multiple products flexible manufacturing system using Petri net[J]. Operations Management Research: Advancing Practice through Theory, 2020, 13 (7): 109- 129.
26	BASHIR M , ZHOU J , MUHAMMAD B B . Optimal supervisory control for flexible manufacturing systems model with Petri nets: a place-transition control[J]. IEEE Access, 2021, 9, 58566- 58578. doi: 10.1109/ACCESS.2021.3072892
27	TIAN X , ZHU D J , YAO S Z . Model checking for rare-event in control logical Petri nets based on importance sampling[J]. IEEE Access, 2020, 8, 26336- 26342. doi: 10.1109/ACCESS.2020.2970470
28	XU Y H , DU Y Y , QI L , et al. A logic Petri net-based model repair approach by constructing choice bridges[J]. IEEE Access, 2019, 7, 18531- 18545. doi: 10.1109/ACCESS.2019.2896079
29	LAJMI F , JALEL G , HEDI D . Applying interval fuzzy Petri net to failure analysis[J]. International Journal of Service Science, Ma-nagement, Engineering, and Technology, 2020, 11 (1): 14- 30.
30	郭亚中, 左洪福, 王华伟. 基于Petri网的民航飞机故障诊断工作流模型[J]. 系统工程与电子技术, 2006, 28 (12): 1837- 1840. doi: 10.3321/j.issn:1001-506X.2006.12.017
	GUO Y Z , ZUO H F , WANG H W . Research on workflow model of fault diagnosis of the civil aircraft using Petri net[J]. Systems Engineering and Electronics, 2006, 28 (12): 1837- 1840. doi: 10.3321/j.issn:1001-506X.2006.12.017
31	HAMID U . A Petri net model for the optimisation and performance evaluation of production system CUM packaging[J]. International Journal of Industrial and Systems Engineering, 2016, 22 (3): 245- 261. doi: 10.1504/IJISE.2016.074706
32	柯文俊, 陈静, 江山. 基于Petri网模型的系统仿真验证方法[J]. 系统工程与电子技术, 2017, 39 (4): 924- 930.
	KE W J , CHEN J , JIANG S . System simulation and verification method based on Petri net model[J]. Systems Engineering and Electronics, 2017, 39 (4): 924- 930.

流程元素	Petri网模型	映射规则	流程元素	Petri网模型	映射规则
		变迁数: 1个前置条件个数: 1 后置条件个数: 1 标识符: 前置条件有标识符输入输出弧: 前置条件没有输入弧			变迁数: 与分支数对应前置条件个数: 1 后置条件个数: 与分支数对应标识符: 无
		变迁数: 1个前置条件个数: 1 后置条件个数: 1 输入输出弧: 后置条件没有输出弧			变迁数: 与分支数对应前置条件个数: 与分支数对应后置条件个数: 1 标识符: 无
		变迁数: 1个前置条件个数: 1 后置条件个数: 1			变迁数: 与分支数对应前置条件个数: 与分支数对应后置条件个数: 1 标识符: 无
		变迁数: 与分支数对应前置条件个数: 1 后置条件个数: 与分支数对应			变迁数: 1个前置条件个数: 与分支数对应后置条件个数: 1 标识符: 无

序号	验证图例	是否存在逻辑问题	存在问题及对应节点ID
1	图 11(a)	是	不安全: parallelgateway2
2	图 11(b)	是	不可达: task_Q7-2
3	图 11(c)	是	死锁: parallelgateway1
4	图 11(d)	是	死循环: task_Q_3-3、task_Q_4-6、task_Q_3-1

[1]	杨启航, 易志为, 黄宁. 基于DSPN的5G工业控制系统业务可用性分析[J]. 系统工程与电子技术, 2023, 45(8): 2634-2642.
[2]	张源原, 高阳, 朱鹏, 刘锦涛, 谷树山. 基于着色Petri网的无人机侦察战术规划[J]. 系统工程与电子技术, 2022, 44(3): 900-907.
[3]	王许煜, 胡敏, 张学阳, 赵玉龙, 李玖阳. 基于Petri网的导航卫星星座备份策略分析评估方法[J]. 系统工程与电子技术, 2021, 43(2): 434-442.
[4]	陈云翔, 李岩, 蔡忠义, 王泽洲. 基于HTCPN的飞机维修保障资源配置方法[J]. 系统工程与电子技术, 2020, 42(9): 2130-2139.
[5]	李超, 王瑛, 张育, 陶茜. 基于GADSPN的复杂装备危险耦合传递模型[J]. 系统工程与电子技术, 2019, 41(3): 579-585.
[6]	步兵, 王卓健, 潘洪升. 基于Petri网的基层级多机种通用性维修保障设备优化配置[J]. 系统工程与电子技术, 2019, 41(2): 349-357.
[7]	郑学恩, 许承东, 范国超, 赵靖. 基于面向对象Petri-net的LWF建模方法[J]. 系统工程与电子技术, 2018, 40(7): 1626-1632.
[8]	王攀, 陈云翔, 蔡忠义, 李超. 军用飞机修理线建模与修理能力分析[J]. 系统工程与电子技术, 2018, 40(6): 1294-1301.
[9]	刘久富, 张治国, 郑锐, 刘海阳, 杨忠, 王志胜. 双组元推进系统的部分可观时间Petri网故障诊断[J]. 系统工程与电子技术, 2018, 40(6): 1337-1344.
[10]	邢志伟, 魏志强, 罗谦, 文涛, 丛婉, 夏欢. 基于着色时间Petri网的航班保障服务建模方法[J]. 系统工程与电子技术, 2018, 40(5): 1064-1069.
[11]	傅炯, 罗爱民, 罗雪山, 刘俊先. 基于PES的Petri网可执行模型生成方法[J]. 系统工程与电子技术, 2017, 39(5): 1030-1035.
[12]	张源原, 吴文海, 汪节. 区间值直觉模糊Petri网及其在空战决策的应用[J]. 系统工程与电子技术, 2017, 39(5): 1051-1057.
[13]	凌冬怡, 王世海, 刘斌. 基于AADL体系结构模型的构件系统可靠性评估[J]. 系统工程与电子技术, 2017, 39(4): 947-952.
[14]	于新源, 许波, 熊坤, 杜海. 箔条云团雷达回波建模与仿真[J]. 系统工程与电子技术, 2017, 39(1): 79-85.
[15]	张源原, 吴文海, 刘锦涛, 周思羽. 飞行作战任务过程的工作流网模型[J]. 系统工程与电子技术, 2016, 38(6): 1320-1325.