28,626 research outputs found
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
- ā¦