GNSS中基于双星故障的RAIM中的数学关系