Related papers: Circuit simulation using explicit methods
Response functions of resonant circuits create ringing artefacts if their input changes rapidly. When physical limits of electromagnetic spectroscopies are explored, this creates two types of problems. Firstly, simulation: the system must…
A numerical model based on Finite Element Method (FEM) has been developed to simulate the electrical properties of RPC utilizing the law of current conservation. It has been used to systematically investigate the effect of the electrical as…
Exponential Runge--Kutta methods have shown to be competitive for the time integration of stiff semilinear parabolic PDEs. The current construction of stiffly accurate exponential Runge--Kutta methods, however, relies on a convergence…
Bubbly flows, as present in bubble column reactors, can be simulated using a variety of simulation techniques. In order to gain high resolution CFD methods are used to simulate a pseudo 2D bubble column using EL and EE techniques. The…
Recent advances have shown that the circuit simulation algorithms that allow for solving highly nonlinear circuits of over one billion variables can be applicable to power system simulation and optimization problems through the use of an…
We present a scalable formal verification methodology for Quantum Phase Estimation (QPE) circuits. Our approach uses a symbolic qubit abstraction based on quantifier-free bit-vector logic, capturing key quantum phenomena, including…
Exponential Runge-Kutta methods constitute efficient integrators for semilinear stiff problems. So far, however, explicit exponential Runge-Kutta methods are available in the literature up to order 4 only. The aim of this paper is to…
This manuscript contains some thoughts on the discretization of the classical heat equation. Namely, we discuss the advantages and disadvantages of explicit and implicit schemes. Then, we show how to overcome some disadvantages while…
We propose an approach for quantum simulation of electron-phonon interactions using Rydberg states of cold atoms and ions. We show how systems of cold atoms and ions can be mapped onto electron-phonon systems of the Su-Schrieffer-Heeger…
Numerical simulation is an important method for verifying the quantum circuits used to simulate low-energy nuclear states. However, real-world applications of quantum computing for nuclear theory often generate deep quantum circuits that…
This paper presents transient numerical simulations of hydraulic systems in engineering applications using the spectral element method (SEM). Along with a detailed description of the underlying numerical method, it is shown that the SEM…
A number of elegant approaches have been developed for the identification of quantum circuits which can be efficiently simulated on a classical computer. Recently, these methods have been employed to demonstrate the classical simulability…
I give an overview of rare event simulation techniques to generate dynamical pathways across high free energy barriers. The methods on which I will concentrate are the reactive flux approach, transition path sampling, (replica-exchange)…
The modern power system is evolving with increasing penetration of power electronics introducing complicated electromagnetic phenomenon. Electromagnetic transient (EMT) simulation is essential to understand power system behavior under…
An effective means for analyzing the impact of novel operating schemes on power systems is time domain simulation, for example for investigating optimization-based curtailment of renewables to alleviate voltage violations. Traditionally,…
Quantum Phase Estimation is a crucial component of several front-running quantum algorithms. Improving the efficiency and accuracy of QPE is currently a very active field of research. In this work, we present a hybrid quantum-classical…
Teaching by direct models in science has been weakening the learning process of the students, because the real problems in engineering are not solved by direct models instead commonly they are solved by inverse models. On the other hand,…
This tutorial introduces quantum computing with a focus on the applicability of formal methods in this relatively new domain. We describe quantum circuits and convey an understanding of their inherent combinatorial nature and the…
Scale-resolving simulations of high Reynolds number incompressible flows are often limited by the Courant-Friedrichs-Lewy (CFL) stability restriction imposed by explicit time-stepping schemes, resulting in small time step sizes and long…
The theory of specular X-ray reflectivity from a rough interface based upon the reflection function method (RFM) is proposed. The RFM transforms the second order differential equation for the wave amplitude into the non-linear first order…