This paper presents the realization of narrow high-order band-pass (BP) active resistance-capacitance (RC) filters. It was shown that such filters have large sensitivities to component tolerances, and if they were built using structures with multiple feedbacks, theirs sensitivities are substantially decreased. Furthermore, it was demonstrated that sensitivities of inner 2-order blocks (“biquads...

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...

Shuffled leap frog algorithm (SFLA) is a new nature-inspired intelligent algorithm, which uses the whole update and evaluation strategy on solutions. For solving multi-dimension function optimization problems, this strategy will deteriorate the convergence speed and the quality of solution of algorithm due to interference phenomena among dimensions. To overcome this shortage, a dimension by dim...

Our approach is to follow a methodical plan in the development and testing of a nonhydrostatic microscale modeling system that will leverage the existing COAMPS and new model prototypes. Our work on numerical methods will involve investigation of spatial and temporal discretization algorithms that are superior to the current generation leap-frog, second-order accurate numerical techniques prese...

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...

Abstract Wave propagation problems arise in a wide range of applications. The energy conserving property is one of the guiding principles for numerical algorithms, in order to minimize the phase or shape errors after long time integration. In this paper, we develop and analyze a local discontinuous Galerkin (LDG) method for solving the wave equation. We prove optimal error estimates, superconve...

In this article, we develop a high-order efficient numerical scheme to solve the initial-boundary problem of the MRLW equation. The method is based on a combination between the requirement to have a discrete counterpart of the conservation of the physical "energy" of the system and finite difference method. The scheme consists of a fourth-order compact finite difference approximation in space a...

The new symplectic molecular dynamics (MD) integrators presented in the first paper of this series were applied to perform MD simulations of water. The physical properties of a system of flexible TIP3P water molecules computed by the new integrators, such as diffusion coefficients, orientation correlation times, and infrared (IR) spectra, are in good agreement with results obtained by the stand...

Abstract. Simulation of electromagnetic wave propagation in metamaterials leads to more complicated time domain Maxwell’s equations than the standard Maxwell’s equations in free space. In this paper, we develop and analyze a non-dissipative discontinuous Galerkin (DG) method for solving the Maxwell’s equations in Drude metamaterials. Previous discontinuous Galerkin methods in the literature for...