Theoretical and Measured Electron-Density Distributions at High Altitudes