相关论文: Verification of Gyrokinetic codes: theoretical bac…
We introduce the Turbulent Transport in Tokamaks via Stochastic Trajectories (T3ST) code, designed to address the problem of turbulent transport using a statistical approach complementary to gyrokinetics. The code employs test-particle…
After a brief review of the first phase of development of Quantum-Gravity Phenomenology, I argue that this research line is now ready to enter a more advanced phase: while at first it was legitimate to resort to heuristic order-of-magnitude…
The gyrokinetic description of particle dynamics faces a basic difficulty when a special type of canonical variables is sought, i.e., the so-called \textit{gyrokinetic canonical variables}. These are defined in such a way that two of them…
Graphical Transformation Models (GTMs) are introduced as a novel approach to effectively model multivariate data with intricate marginals and complex dependency structures semiparametrically, while maintaining interpretability through the…
Zonal flows and turbulence spreading play important roles in magnetic fusion plasma confinement, yet their coupling mechanisms remain elusive. Using global nonlinear gyrokinetic simulations, we show that turbulence spreading transports…
Formal verification provides strong safety guarantees but only for models of cyber-physical systems. Hybrid system models describe the required interplay of computation and physical dynamics, which is crucial to guarantee what computations…
In magnetized plasma turbulence, the couplings of perpendicular spatial scales that arise due to the nonlinear interactions are analyzed from the perspective of the free-energy exchanges. The plasmas considered here, with appropriate ion or…
Simulation of the dynamics of physical systems is essential to the development of both science and engineering. Recently there is an increasing interest in learning to simulate the dynamics of physical systems using neural networks.…
Various techniques have been used in recent years for verifying quantum computers, that is, for determining whether a quantum computer/system satisfies a given formal specification of correctness. Barrier certificates are a recent novel…
The question of how nonlinear interactions redistribute the energy of fluctuations across available degrees of freedom is of fundamental importance in the study of turbulence and transport in magnetized weakly collisional plasmas, ranging…
Knowledge graph (KG) inference aims to address the natural incompleteness of KGs, including rule learning-based and KG embedding (KGE) models. However, the rule learning-based models suffer from low efficiency and generalization while KGE…
In the present work we compare reliability of several most widely used reduced detailed chemical kinetic schemes for hydrogen-air and hydrogen-oxygen combustible mixtures. The validation of the schemes includes detailed analysis of 0D and…
To help reveal the complete picture of linear kinetic drift modes, four independent numerical approaches, based on integral equation, Euler initial value simulation, Euler matrix eigenvalue solution and Lagrangian particle simulation,…
Warm dense matter--an exotic, highly compressed state on the boarder between solid and plasma phases is of high current interest, in particular for compact astrophysical objects, high pressure laboratory systems, and inertial confinement…
In many plasmas, in particular in space science, protons govern much of the essential physics. Minority ions, suprathermal tails, and electrons at times account for additional details. However, electron effects usually appear on much…
The global total-$f$ gyrokinetic particle-in-cell code XGC, used to study transport in magnetic fusion plasmas, implements a continuum grid to perform the dissipative operations, such as plasma collisions. To transfer the distribution…
Current methods for verifying quantum computers are predominately based on interactive or automatic theorem provers. Considering that quantum computers are dynamical in nature, this paper employs and extends the concepts from the…
With the advent of high-performance computing techniques, the data for analysis has grown significantly. Here, graphic processing unit (GPU) based program kernels are discussed to exploit parallelism in the analysis codes specific to…
In ordinary turbulence research it has been a long standing tradition to solve the equations in spectral space giving the best possible accuracy. This is indeed a natural choice for incompressible problems with periodic boundaries, but it…
The objective of this research is the development of a practical system to manipulate and validate software package specifications. The validation process developed is based on consistency checks. Furthermore, by means of scenarios, the…