9.7 基于可观性分析的导航脉冲星规划