A technique for using measured ionospheric density gradients and GPS occultations for inferring the nighttime ionospheric electron density