检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《航天器工程》2013年第6期127-133,共7页Spacecraft Engineering
基 金:国家重大科技专项工程
摘 要:为确定航天器系统级可测试性设计的指标要求,对一种基于确定与随机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.
关 键 词:航天器 确定与随机PETRI网 可测试性设计 系统级可测试性指标
分 类 号:V416.8[航空宇航科学与技术—航空宇航推进理论与工程]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.38