在卫星导航接收机的应用环境中,可用性容易受到各种环境因素的影响,比如高误码环境下电文校验出错纠正能力有限、可见星不足环境下无法按照传统方法定位、弱信号环境下电文无法接收或更新等,都会导致可用性下降。针对上述问题,本文从电文完好性、接收机钟差建模和卫星轨道外推三个方面展开研究,研究了传统处理方法的不足,提出优化设计方法。本文的研究工作从以下三个方面开展:(1)针对传统BCH纠错方法存在只能对1比特误码进行纠正的问题,提出基于轨道限制的参数误码纠正方法。该方法结合电文参数的物理含义,分析参数的限制范围,对误码的比特位进行识别和纠正。仿真结果表明,提出的纠错方法对于部分参数范围有限的电文高位误码情况可以纠正2比特以上的误码,最后以北斗系统星历为例总结了各个电文参数的比特纠错成功率。(2)传统多项式钟差建模预测模型存在预报精度较差的问题,通过对比AR模型和UC滑窗模型分别在短期和长期预报情况下的精度分布规律,结合钟差辅助三星定位的应用背景,分析了钟差预报误差对定位精度的影响,得出的结论说明UC滑窗模型适合短期预测,多项式模型更适合于长期预测。(3)针对星历龄期较短接收机开机后无法利用其计算卫星位置的问题,提出一种基于运动学定轨的卫星位置外推算法。首先利用过期星历拟合得到初始轨道,然后结合各类摄动力进行轨道外推,并与IGS给出的轨道作比较,给出算法性能的研究结果。实测数据结果表明,使用12小时数据拟合初值预报的情况下,6天内的径向误差在5m以内。最后,对研究的成果进行了总结,并对下一步即将开展的工作进行了展望。