航天器工程
航天器工程
항천기공정
SPACECRAFT ENGINEERING
2013年
6期
127-133
,共7页
航天器%确定与随机Petri网%可测试性设计%系统级可测试性指标
航天器%確定與隨機Petri網%可測試性設計%繫統級可測試性指標
항천기%학정여수궤Petri망%가측시성설계%계통급가측시성지표
spacecraft%DSPN%design for testability%system testability figure
为确定航天器系统级可测试性设计的指标要求,对一种基于确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)模型的可测试性指标确定方法进行了研究.通过对航天器系统测试过程的DSPN建模,建立起系统级可测试性设计指标与其约束的联系,并利用求解模型同构的马尔科夫链来确定上述关系,文章同时给出了建模设计实例,进行了指标分析和验证.
為確定航天器繫統級可測試性設計的指標要求,對一種基于確定與隨機Petri網(Deterministic and Stochastic Petri Net,DSPN)模型的可測試性指標確定方法進行瞭研究.通過對航天器繫統測試過程的DSPN建模,建立起繫統級可測試性設計指標與其約束的聯繫,併利用求解模型同構的馬爾科伕鏈來確定上述關繫,文章同時給齣瞭建模設計實例,進行瞭指標分析和驗證.
위학정항천기계통급가측시성설계적지표요구,대일충기우학정여수궤Petri망(Deterministic and Stochastic Petri Net,DSPN)모형적가측시성지표학정방법진행료연구.통과대항천기계통측시과정적DSPN건모,건립기계통급가측시성설계지표여기약속적련계,병이용구해모형동구적마이과부련래학정상술관계,문장동시급출료건모설계실례,진행료지표분석화험증.
