基于GSPN的导弹多层级测试性需求建模与指标评估

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

Abstract

Abstract:

Aiming at the problem that the test requirement modeling of missiles is not yet mature and it is difficult to conduct test requirement analysis, a test requirement modeling method based on generalized stochastic Petri net (GSPN) is proposed. Based on the analysis of the missile structure, the testability requirements of the missile are modeled, and a two-stage GSPN model of the missile is given to analyze the fault detection and maintenance process of the missile system. According to the GSPN model, it is isomorphic to the embedded Markov chain. The existing state set and disappearing state set are used to represent the change of the place, and the test index is solved by using the isomorphism method. The multi-level GSPN model is decomposed into multiple subnets from top to bottom, which greatly reduces the number of state spaces. The equivalent transition rule solves the compressed subnet. Finally, a combination of qualitative analysis and quantitative calculation is used to determine the test index requirements of missiles at all levels. Through simulation calculation, the availability error with the system requirements does not exceed 0.7%, which verifies the feasibility of the multi-layer GSPN model and the credibility of the analysis results.

Key words: testability requirements modeling, testability, embedded Markov chain (EMC), isomorphism, testability index, availability

CLC Number:

TP206

Yuyao ZHAI, Xianjun SHI, Jiapeng LYU, Lu HAN. Modeling and index evaluation of multi-level testability of missiles based on GSPN[J]. Systems Engineering and Electronics, 2021, 43(4): 970-979.

Figures/Tables 23

Table 1

Fig.1

Fig.2

Fig.3

Fig.4

Table 2

Fig.5

Fig.6

Fig.7

Fig.8

Fig.9

Table 3

Table 4

Fig.10

Fig.11

Fig.12

Fig.13

Fig.14

Table 5

Table 6

Fig.15

Table 7

Table 8

References 30

1	GLB2547A-2012. General requirement for materiel testability program[S]. Beijing: General Armament Department of the PLA, 2012.
2	田仲, 石君友. 系统测试性设计分析与验证[M]. 北京: 北京航空航天大学出版社, 2003: 17- 19.
	TIAN Z , SHI J Y . Testability design analysis and verification on systems[M]. Beijing: Beihang University Press, 2003: 17- 19.
3	DEF STANOO-40. Reliability and maintain ability (R&M) assurance guidance[S]. British: the Ministry of Defence, 2002.
4	聂冲. 基于过程模型的导弹总体优化设计框架及其关键技术研究[D]. 长沙: 国防科学技术大学, 2006.
	NIE C. Research on process model based on framework of gene-ral missile design optimization[D]. Changsha: National Uni-versity of Defense Technology, 2006.
5	杜晓明. 非确定多属性决策理论方法及在维修性设计中的应用[D]. 南京: 南京理工大学, 1998.
	DU X M. Non-deterministic multi-attribute decision-making theory method and its application in maintainability design[D]. Nanjing: Nanjing University of Science & Technology, 1998.
6	吕晓明, 黄考利, 连光耀, 等. 复杂装备系统级测试性指标确定方法研究[J]. 计算机测量与控制, 2008, 16 (3): 357- 359.
	LYU X M , HUANG K L , LIAN G Y , et al. Research on determination method of system-level testability index for complex equipment[J]. Computer Measurement & Control, 2008, 16 (3): 357- 359.
7	翟禹尧, 史贤俊, 吕佳朋. 基于广义随机Petri网的导弹系统测试性建模与指标评估方法研究[J]. 兵工学报, 2019, 40 (10): 2070- 2079. doi: 10.3969/j.issn.1000-1093.2019.10.012
	ZHAI Y Y , SHI X J , LYU J P . Research on evaluation method for testability index and modeling of missile system based on GSPN[J]. Acta Armamentarii, 2019, 40 (10): 2070- 2079. doi: 10.3969/j.issn.1000-1093.2019.10.012
8	苏永定, 刘冠军, 邱静. 基于DSPN的多阶段任务系统测试性需求建模与分析[J]. 系统工程理论与实践, 2010, 30 (7): 1272- 1278.
	SU Y D , LIU G J , QIU J . Modeling and analysis of test requirements for multi-stage task system based on DSPN[J]. Systems Engineering-Theory & Practice, 2010, 30 (7): 1272- 1278.
9	ZHAO J T , CHEN Z Q , LIU Z X . Modeling and analysis of colored Petri net based on the semi-tensor product of matrices[J]. Science China (Information Sciences), 2018, 61 (1): 70- 85.
10	SU Y D, QIU J, LIU G J, et al. Method of Testability index determination based on generalized stochastic petri net[C]//Proc. of the IEEE Circuits and System, International Confe-rence on Testing and Diagnosis, 2009.
11	DING Z H , JIANG M Y , CHEN H B , et al. Petri nets based test case generation for evolved specification[J]. Science China Information Sciences, 2016, 59, 080105. doi: 10.1007/s11432-016-5598-5
12	SCHROEDER G J, JOHNSON M M. Complex availability: the new availabily problem[C]//Proc. of the Annual Relability and Maintainability Symposium, 1990: 268-274.
13	翟禹尧, 史贤俊, 秦玉峰, 等. 基于层次广义随机Petri网的测试性建模新方法[J]. 兵工学报, 2020, 40 (1): 161- 170.
	ZHAI Y Y , SHI X J , QIN Y F , et al. A new testability model method based on hierarchical generalized stochastic Petri nets[J]. Acta Armamentarii, 2020, 40 (1): 161- 170.
14	SHELDON F T, GRENIER S, BENZINGER M. Specification, safety and reliability analysis using stochastic Petri net models[C]//Proc. of the 10th International Workshop on Software Specification and Design, 2000: 123.
15	MAHULEA C , SEATZU C , CABASINO M P , et al. Fault diagnosis of discrete-event systems using continuous Petri nets[J]. IEEE Trans.on Systems, Man and Cybernetics, Part A: Systems and Humans, 2012, 42 (4): 970- 984. doi: 10.1109/TSMCA.2012.2183358
16	BASILE F , CHIACCHIO P , GROSSO D D . A two-stage modelling architecture for distributed control of real-time industrial systems: application of UML and Petri net[J]. Computer Standards & Interfaces, 2009, 31, 528- 538.
17	孙有朝, 郭媛媛, 崔灿丽. 应用有色Petri网的复杂系统四性一体化综合评估方法研究[J]. 南京航空航天大学学报, 2017, 49 (5): 707- 717.
	SUN Y C , GUO Y Y , CUI C L . Research on complex system four qualities integration evaluation based on color Petri net[J]. Journal of Nanjing University of Aeronautics & Astronautics, 2017, 49 (5): 707- 717.
18	LI H T , WANG Y Z , GUO P L . Output reachability analysis and output regulation control design of Boolean control networks[J]. Science China Information Sciences, 2017, 60, 022202. doi: 10.1007/s11432-015-0611-4
19	LIU R J , LU J Q , LIU Y , et al. Delayed feedback control for stabilization of Boolean control networks with state delay[J]. IEEE Trans.on Neural Networks and Learning Systems, 2018, 29 (7): 3283- 3288.
20	WANG Y H, LU Y J, LI M, et al. Fault identification method based on fuzzy fault Petri net[C]//Proc. of the International Conference on Electrical and Information Technologies for Rail Transportation, 2016: 125-133.
21	GUO Y Q . Controllability of Boolean control networks with state-dependent constraints[J]. Science China Information Sciences, 2016, 59, 032202. doi: 10.1007/s11432-015-5369-8
22	ZHANG K Z , ZHANG L J . Controllability of probabilistic Boolean control networks with time-variant delays in states[J]. Science China Information Sciences, 2016, 59, 092204. doi: 10.1007/s11432-015-5423-6
23	MANSOUR M M , WAHAB M A A , SOLIMAN W M . Petri nets for fault diagnosis of large power generation station[J]. Ain Shams Engineering Journal, 2013, 4 (4): 831- 842. doi: 10.1016/j.asej.2013.04.006
24	WU X Y , YAN H , LI L R . Numerical method for reliability analysis of phased mission system using Markov chains[J]. Communication in Statistics: Theory and Methods, 2012, 41 (21): 3960- 3973. doi: 10.1080/03610926.2012.697969
25	邱静, 刘冠军, 杨鹏, 等. 装备测试性建模与设计技术[M]. 北京: 科学出版社, 2012.
	QIU J , LIU G J , YAN P , et al. Equipment test modeling and design technology[M]. Beijing: Science Press, 2012.
26	WANG G, LIU G J, SU Y D. Research on Correlation between Testability Parameters[C]//Proc. of the Prognostics and Systems Health Management Conference, 2011.
27	苏永定. 装备系统测试性需求分析技术研究[D]. 长沙: 国防科学技术大学, 2011.
	SU Y D. Research on testability requirement analysis for equipment[D]. Changsha: National University of Defense Technology, 2011.
28	林闯. 随机Petri网和系统性能评价[M]. 北京: 清华大学出版社, 2005: 19- 35.
	LIN C . Evaluation of stochastic Petri net and system performance[M]. Beijing: Tsinghua University Press, 2005: 19- 35.
29	LEE K H , FABREL J . Hierarchical reduction method for analysis and decomposition of Petri nets[J]. IEEE Trans.on System, Man, Cybernetics, 1985, 15 (2): 272- 280.
30	KUMAR S , DANDOTIYA R , KUMAR R . Inspection frequency optimization model for degrading flowlines on an offshore platform[J]. International Journal of Reliability, Quality and Safety Engineering, 2008, 15 (2): 167- 180. doi: 10.1142/S0218539308003015

元素	符号	基本含义
库所		系统的状态
瞬时变迁		事件发生的概率
延时变迁		事件发生的速率
令牌		库所出现令牌, 表示该状态发生
有项弧		令牌流动的方向
禁止弧		当禁止弧出现时, 库所满足变迁条件会被禁止

库所	含义	变迁	含义	速率或概率
p₁	导弹系统正常	t₀	出现虚警	γ_FA
p₂	导弹出现故障	t₁	故障发生	λ
p₃	检测到故障	t₂	故障检测率	γ_FD
p₄	故障不能被检测	t₃	故障不可检测的概率	1-γ_FD
p₅	发生故障的LRU	t₄	人工测试	λ_t
p₆	维修后的LRU	t₅	拆卸LRU	λ_r
p₇ⁱ	LRU_i故障	t₆	安装LRU	μ_o
p₈ⁱ	LRU_i故障检测完成	t₇ⁱ	LRU_i故障发生概率	γ_i
p₉ⁱ	LRU_i故障无法检测	t₈ⁱ	LRU_i故障检测	η_i
p₁₀ⁱ	LRU_i检测出故障	t₉ⁱ	LRU_i故障检测率	γ_{FD_i}
p₁₁	修复好的LRU	t₁₀ⁱ	LRU_i故障不可检测率	1-γ_{FD_i}
		t₁₁ⁱ	LRU_i人工测试	μ_i
		t₁₂ⁱ	故障维修	λ_s
		t₁₃	运送LRU	λ_ti

参数	λ	λ₁	λ₂	μ₀/h^-1	λ_r/h^-1	λ_t1/h^-1	λ_t2/h^-1
取值	0.003 4	0.001 4	0.002 0	1	1	0.1	0.2

M	p₁	p₂	p₃	p₄	p_5L	p₆
M₀	1
M₁		1
M₂			1
M₃				1
M₄					1
M₅						1

参数	γ_FD	γ_FI	1/λ_t	γ_FA/%	t_FDL/h	γ_FD1	γ_FD2
指标	0.92	0.90	6.67	0.9	0.94	0.91	0.93

Modeling and index evaluation of multi-level testability of missiles based on GSPN

RichHTML

PDF (PC)

Knowledge

Abstract

Cite this article

share this article

Figures/Tables 23

References 30

Related Articles 15

Recommended Articles

Metrics

Comments

指标	系统
指标	1	2	3	4	5	6	7
λ_i/(10^-4/h)	2.72	1.36	6.8	10.2	5.44	3.4	4.08
λ_ti/(1/h)	0.15	0.1	0.4	0.5	0.3	0.2	0.25

指标	分系统编号
指标	1	2	3	4	5	6	7
故障检测率	0.92	0.91	0.95	0.95	0.93	0.92	0.93
故障隔离率	0.90	0.90	0.90	0.90	0.90	0.90	0.90

[1]	Jie ZHU, Ning HUANG, Liang CHENG. Multi-parameter sensitivity analysis of network function virtualization application availability [J]. Systems Engineering and Electronics, 2022, 44(8): 2677-2687.
[2]	Weining MA, Qiwei HU, Zhiyuan YANG. Maintenance decision model of equipment multi-component systems with degradation dependence [J]. Systems Engineering and Electronics, 2022, 44(4): 1424-1432.
[3]	Yunxiang CHEN, Jingfeng LI, Huachun XIANG, Hengnian LI. A CBM optimization model for mission-oriented system based on inverse Gaussian degradation process [J]. Systems Engineering and Electronics, 2022, 44(1): 338-346.
[4]	Zhiwei CHEN, Jing WANG, Changchao GU, Jianchun ZHANG, Jilong ZHONG. Performance availability and resilience analysis of weapon system of systems considering dynamic reconfiguration [J]. Systems Engineering and Electronics, 2021, 43(8): 2347-2354.
[5]	Bin ZENG, Yuanyuan CHEN, Houpu LI. Launch scheduling optimization considering availability of maintenance equipment for carrier aircraft [J]. Systems Engineering and Electronics, 2021, 43(7): 1856-1865.
[6]	Xing PAN, Zhenyu ZHANG, Yanmei ZHANG, Ranran WANG. Equipment SoS support effectiveness evaluation based on Sobol sensitivity analysis [J]. Systems Engineering and Electronics, 2021, 43(2): 390-398.
[7]	Xuyu WANG, Min HU, Xueyang ZHANG, Yulong ZHAO, Jiuyang LI. Analysis and evaluation method of navigation satellite constellation backup strategy based on Petri net [J]. Systems Engineering and Electronics, 2021, 43(2): 434-442.
[8]	Yueqiang ZHAO, Shi AN, Qiang MAI, Qingyan XU, Yanan GUO. Effectiveness modeling of air defense missile weapon system based on ADC method [J]. Systems Engineering and Electronics, 2020, 42(9): 2003-2012.
[9]	Junliang LI, Huayuan ZHU, Liming WANG, Lingzhi WANG. Interval availability for complex system based on mixed maintenance strategy [J]. Systems Engineering and Electronics, 2020, 42(5): 1190-1196.
[10]	YANG Jianhua, HAN Mengying. Multi-objective optimization model for spare parts maintenance based on delay-time theory [J]. Systems Engineering and Electronics, 2019, 41(8): 1903-1912.
[11]	YE Wen, LV Xinyi, LV Xiaofeng, MA Ling. Optimized test selection method considering critical faults [J]. Systems Engineering and Electronics, 2019, 41(7): 1583-1589.
[12]	ZHOU Kui, SUN Shiyan, YAN Ping. Bayes method for determining fault sample size based on posterior risk [J]. Systems Engineering and Electronics, 2019, 41(7): 1672-1676.
[13]	ZHAI Yali, ZHANG Zhihua, LI Guangyu. Operational readiness model based on limited spare [J]. Systems Engineering and Electronics, 2019, 41(5): 1043-1048.
[14]	FENG Yunwen, LIU Kuijian, XUE Xiaofeng, LIU Yuchang. Joint optimization of redundancy level and spare parts for redundant system based on Markov process [J]. Systems Engineering and Electronics, 2019, 41(4): 919-928.
[15]	XIE Haoyu, QIU Jing, YANG Peng. Testability index allocation method considering unit mutual test [J]. Systems Engineering and Electronics, 2019, 41(12): 2899-2904.