摘要
为确定航天器系统级可测试性设计的指标要求,对一种基于确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)模型的可测试性指标确定方法进行了研究。通过对航天器系统测试过程的DSPN建模,建立起系统级可测试性设计指标与其约束的联系,并利用求解模型同构的马尔科夫链来确定上述关系,文章同时给出了建模设计实例,进行了指标分析和验证。
In order to determine the system testability figure requirement of spacecraft, a system testability figure requirement determination method based on DSPN is researched in this paper. The relation between the system testability figure requirement and its restriction is established via the DSPN modeling of system test of spacecraft, and its expression can be ascertained by solving the Markov chain which is isomorphic with the DSPN. This paper also gives a practical modeling design and makes further analysis.
出处
《航天器工程》
2013年第6期127-133,共7页
Spacecraft Engineering
基金
国家重大科技专项工程
