系统工程与电子技术

作者：翟禹尧(), 史贤俊(), 吕佳朋(), 韩露()

单位：海军航空大学岸防兵学院, 山东 烟台 264001

关键词：测试性需求建模,测试性,嵌入马尔可夫链,同构法,测试性指标,可用度

基金：国家自然科学基金青年科学基金(61903374)

针对目前导弹测试性需求建模尚未成熟, 开展测试性需求分析难度较高的问题, 提出一种基于广义随机Petri网(generalized stochastic Petri net, GSPN)的测试性需求建模方法。在分析导弹结构的基础上对导弹测试性需求问题进行了建模, 给出导弹两级GSPN模型, 深入分析其导弹系统的故障检测及维修过程。根据GSPN模型同构于嵌入马尔可夫链(embedded Markov chain, EMC), 以实存状态集和消失状态集表征库所变迁, 采用同构法对测试性指标进行求解。将多层级GSPN模型分解化简, 减少状态空间数量的求解。对导弹的GSPN模型进行定性和定量分析, 求解不同层级测试性指标最后通过仿真计算, 与系统要求可用度误差不超过0.7%, 验证了多层GSPN模型的可行性和分析结果的可信性。

来源：2021年第4期

《系统工程与电子技术》期刊编辑部

查看系统工程与电子技术杂志2021年第4期