The document discusses ionosphere modeling and tomography. It aims to learn the temporal and spatial variation of the ionosphere to improve GNSS performance and protect satellites from adverse space environments. Data from 183 stations on May 15, 2012 was used with a 15 degree, 15 order spherical harmonics function to model coefficients, satellite differential code biases, and receiver differential code biases. A simulation of local ionosphere tomography in Hong Kong on May 4, 2009 was also performed.