基于极值理论的SBAS完整性验证