In this paper, we discuss the formulation, stability and validation of a high-order non-dissipative discontinuous Galerkin (DG) method for solving Maxwell’s equations on non-conforming simplex meshes. The proposed method combines a centered approximation for the numerical fluxes at inter element boundaries, with either a second-order or a fourth-order leap-frog time integration scheme. Moreover...

This work is concerned with the design of a hp-like discontinuous Galerkin (DG) method for solving the two-dimensional time-domain Maxwell equations on non-conforming locally refined triangular meshes. The proposed DG method allows non-conforming meshes with arbitrary-level hanging nodes. This method combines a centered approximation for the evaluation of fluxes at the interface between neighbo...

In this paper, we derive the analytical solution for a second-order ordinary differential system which governs the motion of the center of mass in the dynamics of a stationary state with its center shifted. A leap-frog Fourier pseudospectral (LFFP) method is presented for efficient and accurate numerical simulations of the Gross–Pitaevskii equation (GPE) with an angular momentum rotation term. ...

An autoresonance relativistic motion of 0.1 mA electron beam in a combined steady-state inhomogeneous magnetic field and a stationary microwave field is studied. The space profile of the axially symmetric magnetic field is fitted to maintain the interaction of electrons with the microwave field of cyclotron resonance type on all their trajectories. The Newton-Lorentz equation is simulated simul...

Read/write channels for hard disk drives (HDD) require high-frequency continuous time filters (CTF) [1-5]. A 650 MHz current-mode seventh-order 0.05° equiripple linear phase low-pass filter for computer hard disk read/write channels with data rates up to 1Gbit/s is presented in this paper. It is implemented in CMOS using a leap-frog multiple loop feedback structure. The operational transconduct...

Algorithms for simulation of strain localisation and fracture in 3D solid continua subjected to impact loading are presented. The methodology relies upon the classical continuous Galerkin Finite Element Method for spatial semi-discretisation and the leap-frog central difference scheme for temporal discretisation of the governing partial differential equations. The material behaviour is represen...

Urban sprawl, or the unplanned and uncontrolled spreading out of built-up areas in Zaria urban area causes problems of congestion, poor urban basic infrastructure delivery and poor urban planning. This paper analyzed the pattern and implications of urban sprawl using GIS and Remote sensing as an improved approach to analyze and explain sprawling beyond the traditional spatial or cartographic ma...

A new Langevin–Verlet thermostat that preserves the fluctuation–dissipation relationship for discrete time steps is applied tomolecularmodeling and tested against several popular suites (AMBER, GROMACS, LAMMPS) using a small molecule as an example that can be easily simulated by all three packages. Contrary to existing methods, the new thermostat exhibits no detectable changes in the sampling s...

Achieving the goals of safe and cost effective space transportation systems requires the development of new methods and tools that allow leap-frog improvements in the conceptualization, design, development, production, and operation of these systems. This paper reports on a modeling methodology aimed at the knowledge based representation and operational assessment of space transportation system...

We propose >>-lifting as a technique for extending operational predicates to Moggi’s monadic computation types, independent of the choice of monad. We demonstrate the method with an application to Girard-Tait reducibility, using this to prove strong normalisation for the computational metalanguage λml . The particular challenge with reducibility is to apply this semantic notion at computation t...