相关论文: Complete Set of Stochastic Verlet-Type Thermostats…
We systematically develop beneficial and practical velocity measures for accurate and efficient statistical simulations of the Langevin equation with direct applications to computational statistical mechanics and molecular dynamics…
In light of the recently developed complete GJ set of single random variable stochastic, discrete-time St{\o}rmer-Verlet algorithms for statistically accurate simulations of Langevin equations, we investigate two outstanding questions: 1)…
We present a revision to the well known Stormer-Verlet algorithm for simulating second order differential equations. The revision addresses the inclusion of linear friction with associated stochastic noise, and we analytically demonstrate…
We provide an analytical framework for analyzing the quality of stochastic Verlet-type integrators for simulating the Langevin equation. Focusing only on basic objective measures, we consider the ability of an integrator to correctly…
In light of the recently published complete set of statistically correct Gronbech-Jensen (GJ) methods for discrete-time thermodynamics, we revise a differential operator splitting method for the Langevin equation in order to comply with the…
A new Langevin-Verlet thermostat that preserves the fluctuation-dissipation relationship for discrete time steps, is applied to molecular modeling and tested against several popular suites (AMBER, GROMACS, LAMMPS) using a small molecule as…
New explicit velocity- and position-Verlet-like algorithms of the second order are proposed to integrate the equations of motion in many-body systems. The algorithms are derived on the basis of an extended decomposition scheme at the…
We expand on two previous developments in the modeling of discrete-time Langevin systems. One is the well-documented Gr{\o}nbech-Jensen Farago (GJF) thermostat, which has been demonstrated to give robust and accurate configurational…
We expand on the previously published Gr{\o}nbech-Jensen Farago (GJF) thermostat, which is a thermodynamically sound variation on the St{\o}rmer-Verlet algorithm for simulating discrete-time Langevin equations. The GJF method has been…
The Discrete Element Method is widely employed for simulating granular flows, but conventional integration techniques may produce unphysical results for simulations with static friction when particle size ratios exceed $R \approx 3$. These…
Molecular simulations of many particles which move rather according to a brownian than a newtonian type of dynamics, nevertheless, can be performed by means of a "velocity-Verlet-like" algorithm. The derivation of this algorithm requires…
We describe a simple stochastic method, so-called Langevin approach, which enables one to extract evolution equations of stochastic variables from a set of measurements. Our method is parameter-free and it is based on the nonlinear Langevin…
We present a new and improved method for simultaneous control of temperature and pressure in molecular dynamics simulations with periodic boundary conditions. The thermostat-barostat equations are build on our previously developed…
This paper studies the sparse identification problem of unknown sparse parameter vectors in stochastic dynamic systems. Firstly, a novel sparse identification algorithm is proposed, which can generate sparse estimates based on least squares…
We reformulate the algorithm of Gr{\o}nbech-Jensen and Farago (GJF) for Langevin dynamics simulations at constant temperature. The GJF algorithm has become increasingly popular in molecular dynamics simulations because it provides robust…
We consider numerical methods for thermodynamic sampling, i.e. computing sequences of points distributed according to the Gibbs-Boltzmann distribution, using Langevin dynamics and overdamped Langevin dynamics (Brownian dynamics). A wide…
The recent statistical finite element method (statFEM) provides a coherent statistical framework to synthesise finite element models with observed data. Through embedding uncertainty inside of the governing equations, finite element…
We study numerical methods for sampling probability measures in high dimension where the underlying model is only approximately identified with a gradient system. Extended stochastic dynamical methods are discussed which have application to…
Molecular dynamics with the stochastic process provides a convenient way to compute structural and thermodynamic properties of chemical, biological, and materials systems. It is demonstrated that the virtual dynamics case that we proposed…
A novel data-driven method for formal verification is proposed to study complex systems operating in safety-critical domains. The proposed approach is able to formally verify discrete-time stochastic dynamical systems against temporal logic…