Mathematical Modeling of Radio Tomographic Ionospheres Monitoring Via Satellite Constellation. (2015)