导航卫星的随机着色Petri网可靠性模型

导航卫星是全球卫星导航系统的重要组成部分,是实现导航任务的关键。国内外目前关于Petri网的研究大都集中在广域随机Petri网(GSPN)方面,鲜有利用着色Petri网分析评估系统可靠性的研究。本文利用随机着色Petri网(SCPN)建立导航卫星可靠性模型,既能够描述导航卫星信息流变化的处理过程,又能够体现组成部件的可靠性影响,克服了传统可靠性模型不能反映卫星运行的动态行为特性的不足。模型用于导航卫星的可用性分析评估。文中使用GPS可靠性数据对模型算例进行分析评估,仿真结果与GPS性能分析报告可用性数据相符,证明了模型的正确性。