基于OBDD的可修航天测控系统任务可靠性分析

孟礼; 武小悦

doi:10.13224/j.cnki.jasp.2016.05.006

基于OBDD的可修航天测控系统任务可靠性分析

doi: 10.13224/j.cnki.jasp.2016.05.006

孟礼,
武小悦

国防科学技术大学信息系统与管理学院, 长沙 410073

详细信息

作者简介:
孟礼(1986-),男,辽宁凌海人,博士生,主要从事装备系统分析与管理决策研究.

中图分类号: V57
计量
- 文章访问数: 1092
- HTML浏览量: 4
- PDF量: 640
- 被引次数: 0
出版历程
- 收稿日期: 2015-10-10
- 刊出日期: 2016-05-28

Mission reliability analysis of repairable space TT&C system based on OBDD

College of Information System and Management, National University of Defense Technology, Changsha 410073, China

摘要

摘要: 基于顺序二元决策图(OBDD)理论,针对航天测控系统(TT&C系统)特点定义了新的OBDD数据结构,提出了一种考虑设备可修的TT&C系统任务可靠性分析方法.通过将各测控站的时间窗口划分为不同阶段,分析各阶段内设备逻辑关系并构建阶段OBDD模型,然后将所有阶段OBDD模型合并为最终的任务OBDD模型.采用连续时间Markov链(CTMC)分析可修设备的状态转移行为,基于新的OBDD数据结构给出了任务可靠性计算算法.与Markov方法和仿真方法的对比分析结果表明:所提出的方法能够精确计算设备可修的TT&C系统任务可靠性,设备数量多于30个时算法效率高于Markov方法.
- 航天测控系统 /
- 可修设备 /
- 任务可靠性分析 /
- 顺序二元决策图 /
- 数据结构
Abstract: Based on the ordered binary decision diagram (OBDD) theory, a new OBDD data structure in view of the characteristics of space telemetry, tracking and command system (TT&C system) was defined, and an approach to mission reliability analysis of repairable TT&C system was proposed. By dividing time windows of each station into phases, component logic relationship of each phase was analyzed, and the OBDD model of each phase was established. Then the final mission OBDD model was established by combining all single phase OBDD models together. Continuous time Markov chain (CTMC) was adopted to analyze the transition behaviors of each repairable component, and the mission reliability calculating algorithm was presented based on the new OBDD data structure. The result of a contrastive analysis with Markov method and simulation method reveals that: the proposed method can be used to analyze the mission reliability of repairable TT&C system accurately; the algorithm efficiency is higher than Markov method when there are more than 30 components.
- space telemetry tracking and command system /
- repairable component /
- mission reliability analysis /
- ordered binary decision diagram /
- data structure

HTML

参考文献(18)

[1]	夏南银.航天测控系统[M].北京:国防工业出版社,2002.
[2]	Demircioglu E,Nefes M M.Reliability-based TT&C subsystem design methodology for complex spacecraft missions[C]//Proceedings of 42nd Annual Conference on Information Science and Systems.Princeton,NJ:IEEE,2008:1268-1272.
[3]	Mo Y C.New insights into the BDD-based reliability analysis of phased-mission systems[J].IEEE Transaction on Reliability,2009,58(4):667-678.
[4]	Zang X Y,Sun H R,Trivedi K S.A BDD-based algorithm for reliability analysis of phased-mission systems[J].IEEE Transaction on Reliability,1999,48(1):50-60.
[5]	Alam M,Al-Saggaf U M.Quantitative reliability evaluation of repairable phased-mission systems using Markov approach[J].IEEE Transaction on Reliability,1986,35(5):498-503.
[6]	Wang D Z,Trivedi K S.Reliability analysis of phased-mission system with independent component repairs[J].IEEE Transaction on Reliability,2007,56(3):540-551.
[7]	Pedar A,Sarma V V S.Phased-mission analysis for evaluating the effectiveness of aerospace computing systems[J].IEEE Transaction on Reliability,1981,30(5):429-437.
[8]	Bryant R.Graph based algorithms for Boolean function manipulation[J].IEEE Transaction on Computers,1986,25(8):677-691.
[9]	Meinel C,Theobald T.Algorithms and data structures in VLSI design:BDD foundations and applications[M].New York:Springer-Verlag,1998.
[10]	杨晓松,武小悦.基于DSPN的航天测控系统任务可靠性仿真建模[J].航空动力学报,2014,29(1):233-240. YANG Xiaosong,WU Xiaoyue.Mission reliability simulation modeling of space TT&C system based on DSPN[J].Journal of Aerospace Power,2014,29(1):233-240.(in Chinese)
[11]	闫华,武小悦.基于任务弧段的测控通信任务可靠性建模方法[J].航空动力学报,2012,27(12):2769-2777. YAN Hua,WU Xiaoyue.Reliability model of TT&C and communication task based on task arc[J].Journal of Aerospace Power,2012,27(12):2769-2777.(in Chinese)
[12]	Somenzi F.CUDD:CU decision diagram package release[EB/OL].[2015-9-20].http://vlsi.colorado.edu/~fabio/.
[13]	Meng L,Wang G,Wu X Y.Mission reliability analysis of TT&C system using BDD algorithm[C]//Proceedings of the 7th International Conference on Mathematical Methods in Reliability:Theory,Methods,Application.Beijing:Beijing Institute of Technology Press,2011:682-686.
[14]	Trivedi K S.Probability and statistics with reliability,queuing and computer science applications[M].New York:John Wiley and Sons,2001.
[15]	Sheldon M R.Introduction to probability models[M].Singapore:Elsevier,2007.
[16]	张新贵,武小悦.基于自适应粒子群算法的航天测控系统任务可靠性分配[J].航空动力学报,2012,27(9):2147-2154. ZHANG Xingui,WU Xiaoyue.Mission reliability allocation of spaceflight TT&C system based on adaptive particle swarm optimization[J].Journal of Aerospace Power,2012,27(9):2147-2154.(in Chinese)
[17]	王维平.离散事件系统建模与仿真[M].北京:科学出版社,1997.
[18]	李祥明,李永刚,郭力兵,等.基于航天测控的实时仿真系统设计[J].飞行器测控学报,2011,30(2):9-14. LI Xiangming,LI Yonggang,GUO Libing,et al.Design of a real-time aerospace TT&C simulation system[J].Journal of Spacecraft TT&C Technology,2011,30(2):9-14.(in Chinese)