小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2013年
9期
2215-2220
,共6页
航天测控系统%可靠性%规范化%模型自动生成
航天測控繫統%可靠性%規範化%模型自動生成
항천측공계통%가고성%규범화%모형자동생성
tracking,telemetry and command (TT&C) system%reliability%standardization%automatic generation of model
航天测控系统的可靠性分析关系到航天飞行任务能否顺利完成,并通过对不同测控方案的分析,发现薄弱环节,优化测控系统的项层设计.由于测控系统组成及其任务需求的复杂性,依靠人工完成对系统的描述和模型生成不仅效率低下,而且很难保证模型的准确性.基于可扩展标记语言(extensible markup language,XML),提出了测控资源元数据和测控任务的规范化描述方法,并由计算机辅助生成基于Markov的系统可靠性模型.提出了Markov模型的自动生成算法,通过算例证明了规范化描述方法和模型自动生成算法的有效性.
航天測控繫統的可靠性分析關繫到航天飛行任務能否順利完成,併通過對不同測控方案的分析,髮現薄弱環節,優化測控繫統的項層設計.由于測控繫統組成及其任務需求的複雜性,依靠人工完成對繫統的描述和模型生成不僅效率低下,而且很難保證模型的準確性.基于可擴展標記語言(extensible markup language,XML),提齣瞭測控資源元數據和測控任務的規範化描述方法,併由計算機輔助生成基于Markov的繫統可靠性模型.提齣瞭Markov模型的自動生成算法,通過算例證明瞭規範化描述方法和模型自動生成算法的有效性.
항천측공계통적가고성분석관계도항천비행임무능부순리완성,병통과대불동측공방안적분석,발현박약배절,우화측공계통적항층설계.유우측공계통조성급기임무수구적복잡성,의고인공완성대계통적묘술화모형생성불부효솔저하,이차흔난보증모형적준학성.기우가확전표기어언(extensible markup language,XML),제출료측공자원원수거화측공임무적규범화묘술방법,병유계산궤보조생성기우Markov적계통가고성모형.제출료Markov모형적자동생성산법,통과산예증명료규범화묘술방법화모형자동생성산법적유효성.
