Quantitative assessment of Earth’s radiation belt modeling

The “Quantitative Assessment of Radiation Belt Modeling” focus group was in place at Geospace Environment Modeling from 2014 to 2018. The overarching goals of this focus group were to bring together the current state‐of‐the‐art models for the acceleration, transport, and loss processes in Earth's radiation belts; develop event‐specific and global inputs of wave, plasma, and magnetic field to drive these models; and combine all these components to achieve a quantitative assessment of radiation belt modeling by validating against contemporary radiation belt measurements. This article briefly reviews the current understanding of radiation belt dynamics and related modeling efforts, summarizes the activities and accomplishments of the focus group, and discusses future directions.Accepted manuscrip

Quantitative assessment of radiation belt modeling

The “Quantitative Assessment of Radiation Belt Modeling” focus group was in place at Geospace Environment Modeling from 2014 to 2018. The overarching goals of this focus group were to bring together the current state‐of‐the‐art models for the acceleration, transport, and loss processes in Earth's radiation belts; develop event‐specific and global inputs of wave, plasma, and magnetic field to drive these models; and combine all these components to achieve a quantitative assessment of radiation belt modeling by validating against contemporary radiation belt measurements. This article briefly reviews the current understanding of radiation belt dynamics and related modeling efforts, summarizes the activities and accomplishments of the focus group, and discusses future directions.Accepted manuscrip

Majority-vote model on (3,4,6,4) and (3^4,6) Archimedean lattices

On Archimedean lattices, the Ising model exhibits spontaneous ordering. Two examples of these lattices of the majority-vote model with noise are considered and studied through extensive Monte Carlo simulations. The order/disorder phase transition is observed in this system. The calculated values of the critical noise parameter are q_c=0.091(2) and q_c=0.134(3) for (3,4,6,4) and (3^4,6) Archimedean lattices, respectively. The critical exponents beta/nu, gamma/nu and 1/nu for this model are 0.103(6), 1.596(54), 0.872(85) for (3,4,6,4) and 0.114(3), 1.632(35), 0.978(104) for (3^4,6) Archimedean lattices. These results differs from the usual Ising model results and the majority-vote model on so-far studied regular lattices or complex networks. The effective dimensionality of the system [D_{eff}(3,4,6,4)=1.802(55) and D_{eff}(3^4,6)=1.860(34)] for these networks are reasonably close to the embedding dimension two.Comment: 6 pages, 7 figures in 12 eps files, RevTex

A Formal, Resource Consumption-Preserving Translation of Actors to Haskell

We present a formal translation of an actor-based language with cooperative scheduling to the functional language Haskell. The translation is proven correct with respect to a formal semantics of the source language and a high-level operational semantics of the target, i.e. a subset of Haskell. The main correctness theorem is expressed in terms of a simulation relation between the operational semantics of actor programs and their translation. This allows us to then prove that the resource consumption is preserved over this translation, as we establish an equivalence of the cost of the original and Haskell-translated execution traces.Comment: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534

An Inter-molecular Adaptive Collision Scheme for Chemical Reaction Optimization

Optimization techniques are frequently applied in science and engineering research and development. Evolutionary algorithms, as a kind of general-purpose metaheuristic, have been shown to be very effective in solving a wide range of optimization problems. A recently proposed chemical-reaction-inspired metaheuristic, Chemical Reaction Optimization (CRO), has been applied to solve many global optimization problems. However, the functionality of the inter-molecular ineffective collision operator in the canonical CRO design overlaps that of the on-wall ineffective collision operator, which can potential impair the overall performance. In this paper we propose a new inter-molecular ineffective collision operator for CRO for global optimization. To fully utilize our newly proposed operator, we also design a scheme to adapt the algorithm to optimization problems with different search space characteristics. We analyze the performance of our proposed algorithm with a number of widely used benchmark functions. The simulation results indicate that the new algorithm has superior performance over the canonical CRO