Electron density height profiles calculated by the theoretical upper atmosphere model: Comparison with the empirical IRI model | IEEE Conference Publication | IEEE Xplore