TY - GEN A1 - Gebser, Martin A1 - Harrison, Amelia A1 - Kaminski, Roland A1 - Lifschitz, Vladimir A1 - Schaub, Torsten T1 - Abstract gringo T2 - Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe N2 - This paper defines the syntax and semantics of the input language of the ASP grounder gringo. The definition covers several constructs that were not discussed in earlier work on the semantics of that language, including intervals, pools, division of integers, aggregates with non-numeric values, and lparse-style aggregate expressions. The definition is abstract in the sense that it disregards some details related to representing programs by strings of ASCII characters. It serves as a specification for gringo from Version 4.5 on. T3 - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 592 KW - nested expressions Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-414751 SN - 1866-8372 IS - 592 ER - TY - JOUR A1 - Aseev, Nikita A1 - Shprits, Yuri A1 - Drozdov, Alexander A1 - Kellerman, Adam C. T1 - Numerical applications of the advective-diffusive codes for the inner magnetosphere JF - Space Weather: The International Journal of Research and Applications N2 - In this study we present analytical solutions for convection and diffusion equations. We gather here the analytical solutions for the one-dimensional convection equation, the two-dimensional convection problem, and the one- and two-dimensional diffusion equations. Using obtained analytical solutions, we test the four-dimensional Versatile Electron Radiation Belt code (the VERB-4D code), which solves the modified Fokker-Planck equation with additional convection terms. The ninth-order upwind numerical scheme for the one-dimensional convection equation shows much more accurate results than the results obtained with the third-order scheme. The universal limiter eliminates unphysical oscillations generated by high-order linear upwind schemes. Decrease in the space step leads to convergence of a numerical solution of the two-dimensional diffusion equation with mixed terms to the analytical solution. We compare the results of the third- and ninth-order schemes applied to magnetospheric convection modeling. The results show significant differences in electron fluxes near geostationary orbit when different numerical schemes are used. KW - advective-diffusive codes KW - inner magnetosphere KW - numerical schemes Y1 - 2016 U6 - https://doi.org/10.1002/2016SW001484 SN - 1542-7390 VL - 14 SP - 993 EP - 1010 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Kim, Kyung-Chan A1 - Shprits, Yuri A1 - Blake, J. Bernard T1 - Fast injection of the relativistic electrons into the inner zone and the formation of the split-zone structure during the Bastille Day storm in July 2000 JF - Journal of geophysical research : Space physics N2 - During the July 2000 geomagnetic storm, known as the Bastille Day storm, Solar, Anomalous, and Magnetospheric Particle Explorer (SAMPEX)/Heavy Ion Large Telescope (HILT) observed a strong injection of similar to 1MeV electrons into the slot region (L similar to 2.5) during the storm main phase. Then, during the following month, electrons were clearly seen diffusing inward down to L=2 and forming a pronounced split structure encompassing a narrow, newly formed slot region around L=3. SAMPEX observations are first compared with electron and proton observations on HEO-3 and NOAA-15 to validate that the observed unusual dynamics was not caused by proton contamination of the SAMPEX instrument. The time-dependent 3-D Versatile Electron Radiation Belt (VERB) simulation of 1MeV electron flux evolution is compared with the SAMPEX/HILT observations. The results show that the VERB code predicts overall time evolution of the observed split structure. The simulated split structure is produced by pitch angle scattering into the Earth atmosphere of similar to 1MeV electrons by plasmaspheric hiss. KW - inner radiation zone and slot region KW - Bastille Day geomagnetic storm KW - 3-D diffusion simulation KW - plasmaspheric hiss Y1 - 2016 U6 - https://doi.org/10.1002/2015JA022072 SN - 2169-9380 SN - 2169-9402 VL - 121 SP - 8329 EP - 8342 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Shprits, Yuri A1 - Drozdov, Alexander A1 - Spasojevic, Maria A1 - Kellerman, Adam C. A1 - Usanova, Maria E. A1 - Engebretson, Mark J. A1 - Agapitov, Oleksiy V. A1 - Zhelavskaya, Irina A1 - Raita, Tero J. A1 - Spence, Harlan E. A1 - Baker, Daniel N. A1 - Zhu, Hui A1 - Aseev, Nikita T1 - Wave-induced loss of ultra-relativistic electrons in the Van Allen radiation belts JF - Nature Communications Y1 - 2016 U6 - https://doi.org/10.1038/ncomms12883 SN - 2041-1723 VL - 7 PB - Nature Publ. Group CY - London ER - TY - JOUR A1 - Ripoll, Jean-Francois A1 - Loridan, Vivien A1 - Denton, Michael H. A1 - Cunningham, Gregory A1 - Reeves, G. A1 - Santolik, O. A1 - Fennell, Joseph A1 - Turner, Drew L. A1 - Drozdov, Alexander A1 - Cervantes Villa, Juan Sebastian A1 - Shprits, Yuri A1 - Thaller, Scott A. A1 - Kurth, William S. A1 - Kletzing, Craig A. A1 - Henderson, Michael G. A1 - Ukhorskiy, Aleksandr Y. T1 - Observations and Fokker-Planck Simulations of the L-Shell, Energy, and Times JF - Journal of geophysical research : Space physics N2 - The evolution of the radiation belts in L-shell (L), energy (E), and equatorial pitch angle (alpha(0)) is analyzed during the calm 11-day interval (4-15 March) following the 1 March 2013 storm. Magnetic Electron and Ion Spectrometer (MagEIS) observations from Van Allen Probes are interpreted alongside 1D and 3D Fokker-Planck simulations combined with consistent event-driven scattering modeling from whistler mode hiss waves. Three (L, E, alpha(0)) regions persist through 11 days of hiss wave scattering; the pitch angle-dependent inner belt core (L similar to <2.2 and E < 700 keV), pitch angle homogeneous outer belt low-energy core (L > similar to 5 and E similar to < 100 keV), and a distinct pocket of electrons (L similar to [4.5, 5.5] and E similar to [0.7, 2] MeV). The pitch angle homogeneous outer belt is explained by the diffusion coefficients that are roughly constant for alpha(0) similar to <60 degrees, E > 100 keV, 3.5 < L < L-pp similar to 6. Thus, observed unidirectional flux decays can be used to estimate local pitch angle diffusion rates in that region. Top-hat distributions are computed and observed at L similar to 3-3.5 and E = 100-300 keV. KW - radiation belts KW - wave-particle interactions KW - electron lifetime KW - pitch angle diffusion coefficient KW - hiss waves Y1 - 2018 U6 - https://doi.org/10.1029/2018JA026111 SN - 2169-9380 SN - 2169-9402 VL - 124 IS - 2 SP - 1125 EP - 1142 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Aseev, Nikita A1 - Shprits, Yuri A1 - Wang, Dedong A1 - Wygant, John A1 - Drozdov, Alexander A1 - Kellerman, Adam C. A1 - Reeves, Geoffrey D. T1 - Transport and loss of ring current electrons inside geosynchronous orbit during the 17 March 2013 storm JF - Journal of geophysical research : Space physics N2 - Ring current electrons (1–100 keV) have received significant attention in recent decades, but many questions regarding their major transport and loss mechanisms remain open. In this study, we use the four‐dimensional Versatile Electron Radiation Belt code to model the enhancement of phase space density that occurred during the 17 March 2013 storm. Our model includes global convection, radial diffusion, and scattering into the Earth's atmosphere driven by whistler‐mode hiss and chorus waves. We study the sensitivity of the model to the boundary conditions, global electric field, the electric field associated with subauroral polarization streams, electron loss rates, and radial diffusion coefficients. The results of the code are almost insensitive to the model parameters above 4.5 RERE, which indicates that the general dynamics of the electrons between 4.5 RE and the geostationary orbit can be explained by global convection. We found that the major discrepancies between the model and data can stem from the inaccurate electric field model and uncertainties in lifetimes. We show that additional mechanisms that are responsible for radial transport are required to explain the dynamics of ≥40‐keV electrons, and the inclusion of the radial diffusion rates that are typically assumed in radiation belt studies leads to a better agreement with the data. The overall effect of subauroral polarization streams on the electron phase space density profiles seems to be smaller than the uncertainties in other input parameters. This study is an initial step toward understanding the dynamics of these particles inside the geostationary orbit. KW - ring current electrons KW - magnetospheric convection KW - ensemble modeling KW - inner magnetosphere KW - electron transport KW - wave-particle interactions Y1 - 2019 U6 - https://doi.org/10.1029/2018JA026031 SN - 2169-9380 SN - 2169-9402 VL - 124 IS - 2 SP - 915 EP - 933 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Wang, Dedong A1 - Shprits, Yuri A1 - Zhelayskaya, Irina S. A1 - Agapitov, Oleksiy A1 - Drozdov, Alexander A1 - Aseev, Nikita T1 - Analytical chorus wave model derived from van Allen Probe Observations JF - Journal of geophysical research : Space physics N2 - Chorus waves play an important role in the dynamic evolution of energetic electrons in the Earth's radiation belts and ring current. Using more than 5 years of Van Allen Probe data, we developed a new analytical model for upper‐band chorus (UBC; 0.5fce < f < fce) and lower‐band chorus (LBC; 0.05fce < f < 0.5fce) waves, where fce is the equatorial electron gyrofrequency. By applying polynomial fits to chorus wave root mean square amplitudes, we developed regression models for LBC and UBC as a function of geomagnetic activity (Kp), L, magnetic latitude (λ), and magnetic local time (MLT). Dependence on Kp is separated from the dependence on λ, L, and MLT as Kp‐scaling law to simplify the calculation of diffusion coefficients and inclusion into particle tracing codes. Frequency models for UBC and LBC are also developed, which depends on MLT and magnetic latitude. This empirical model is valid in all MLTs, magnetic latitude up to 20°, Kp ≤ 6, L‐shell range from 3.5 to 6 for LBC and from 4 to 6 for UBC. The dependence of root mean square amplitudes on L are different for different bands, which implies different energy sources for different wave bands. This analytical chorus wave model is convenient for inclusion in quasi‐linear diffusion calculations of electron scattering rates and particle simulations in the inner magnetosphere, especially for the newly developed four‐dimensional codes, which require significantly improved wave parameterizations. KW - chorus waves KW - radiation belt electrons KW - ring current electrons KW - analytical model KW - wave-particle interactions KW - diffusion coefficients Y1 - 2019 U6 - https://doi.org/10.1029/2018JA026183 SN - 2169-9380 SN - 2169-9402 VL - 124 IS - 2 SP - 1063 EP - 1084 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Aseev, Nikita A1 - Shprits, Yuri T1 - Reanalysis of ring current electron phase space densities using van allen probe observations, convection model, and log‐normal kalman filter JF - Space weather : the international journal of research and applications N2 - Models of ring current electron dynamics unavoidably contain uncertainties in boundary conditions, electric and magnetic fields, electron scattering rates, and plasmapause location. Model errors can accumulate with time and result in significant deviations of model predictions from observations. Data assimilation offers useful tools which can combine physics-based models and measurements to improve model predictions. In this study, we systematically analyze performance of the Kalman filter applied to a log-transformed convection model of ring current electrons and Van Allen Probe data. We consider long-term dynamics of mu = 2.3 MeV/G and K = 0.3 G(1/2) R-E electrons from 1 February 2013 to 16 June 2013. By using synthetic data, we show that the Kalman filter is capable of correcting errors in model predictions associated with uncertainties in electron lifetimes, boundary conditions, and convection electric fields. We demonstrate that reanalysis retains features which cannot be fully reproduced by the convection model such as storm-time earthward propagation of the electrons down to 2.5 R-E. The Kalman filter can adjust model predictions to satellite measurements even in regions where data are not available. We show that the Kalman filter can adjust model predictions in accordance with observations for mu = 0.1, 2.3, and 9.9 MeV/G and constant K = 0.3 G(1/2) R-E electrons. The results of this study demonstrate that data assimilation can improve performance of ring current models, better quantify model uncertainties, and help deeper understand the physics of the ring current particles. Y1 - 2019 U6 - https://doi.org/10.1029/2018SW002110 SN - 1542-7390 VL - 17 IS - 4 SP - 619 EP - 638 PB - American Geophysical Union CY - Washington ER - TY - JOUR A1 - Lai, Shu T. A1 - Martinez-Sanchez, Manuel A1 - Cahoy, Kerri A1 - Thomsen, Michelle F. A1 - Shprits, Yuri A1 - Lohmeyer, Whitney A1 - Wong, Frankie K. T1 - Does spacecraft potential depend on the ambient electron density? JF - IEEE Transactions on Plasma Science N2 - In this paper, we address the question of whether spacecraft potential depends on the ambient electron density. In Maxwellian space plasmas, the onset of spacecraft charging does not depend on the ambient electron density. The balance of electron currents causes the incoming electrons to balance with the outgoing secondary electrons. The onset is controlled by the critical or anticritical temperature of the ambient electrons, but not the electron density. Above the critical temperature, charging to negative potential occurs. If the energy of the incoming electrons increases to well beyond the second crossing point of the secondary electron yield (SEY), the value of SEY decreases to well below unity. When the secondary electron current is negligible compared with the primary electron current, the spacecraft potential is governed solely by the balance of the incoming electrons and the sum of the currents of the repelled electrons and the attracted ions. In neutral space plasma, the electron and ion charges cancel each other. But if the space plasma deviates from being neutral, then the densities can have effect on the spacecraft potential. If the ambient plasma deviates significantly from equilibrium, a non-Maxwellian electron distribution may result. For a kappa distribution, one can show that the spacecraft charging level is independent of the ambient electron density. For a double Maxwellian distribution, the spacecraft charging level depends on the electron densities. For a conducting spacecraft charging in sunlight, the charging level is low and positive. It also depends on the ambient electron density. For a dielectric spacecraft in sunlight, the high-level negative-voltage charging on the shadowed side may extend to the sunlit side and block the photoelectrons trying to escape from the sunlit side. In this case, the charging level does not depend on ambient electron density. Using coordinated environmental and spacecraft charging data obtained from the Los Alamos National Laboratory geosynchronous satellites, we showed some results confirming that spacecraft potential is indeed often independent of the ambient electron density. KW - Charging in sunlight KW - critical temperature KW - electron density KW - geosynchronous satellites KW - ion density KW - Maxwellian distribution KW - plasma probes KW - space plasmas KW - spacecraft charging KW - spacecraft potential Y1 - 2017 U6 - https://doi.org/10.1109/TPS.2017.2751002 SN - 0093-3813 SN - 1939-9375 VL - 45 SP - 2875 EP - 2884 PB - IEEE CY - New York ER - TY - JOUR A1 - Smirnov, Artem G. A1 - Kronberg, Elena A. A1 - Latallerie, F. A1 - Daly, Patrick W. A1 - Aseev, Nikita A1 - Shprits, Yuri A1 - Kellerman, Adam C. A1 - Kasahara, Satoshi A1 - Turner, Drew L. A1 - Taylor, M. G. G. T. T1 - Electron Intensity Measurements by the Cluster/RAPID/IES Instrument in Earth's Radiation Belts and Ring Current JF - Space Weather: The International Journal of Research and Applications N2 - Plain Language Summary Radiation belts of the Earth, which are the zones of charged energetic particles trapped by the geomagnetic field, comprise enormous and dynamic systems. While the inner radiation belt, composed mainly of high-energy protons, is relatively stable, the outer belt, filled with energetic electrons, is highly variable and depends substantially on solar activity. Hence, extended reliable observations and the improved models of the electron intensities in the outer belt depending on solar wind parameters are necessary for prediction of their dynamics. The Cluster mission has been measuring electron flux intensities in the radiation belts since its launch in 2000, thus providing a huge dataset that can be used for radiation belts analysis. Using 16 years of electron measurements by the Cluster mission corrected for background contamination, we derived a uniform linear-logarithmic dependence of electron fluxes in the outer belt on the solar wind dynamic pressure. Y1 - 2019 U6 - https://doi.org/10.1029/2018SW001989 SN - 1542-7390 VL - 17 IS - 4 SP - 553 EP - 566 PB - American Geophysical Union CY - Washington ER -