Despite the popularity of high-order explicit Runge–Kutta (ERK) methods for integrating semi-discrete systems of equations, ERK methods suffer from severe stability-based time step restrictions for very stiff problems. We implement a discontinuous Galerkin finite element method (DGFEM) along with recently introduced high-order implicit–explicit Runge–Kutta (IMEX-RK) schemes to overcome geometry...

The dynamical investigation of two-component poroelastic media is important for practical applications. Analytic solution methods are often not available since they are too complicated for the complex governing sets of equations. For this reason, often some existing numerical methods are used. In this work results obtained with the finite element method are opposed to those obtained by Schanz u...

In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different approaches. In this paper we focus on explicit finite state model checking and study this area from practitioner’s point of view. We provide a systematic overview of techniques for fighting state space explosion and we ana...

We introduce a time-implicite Voronoi box based finite volume discretization for the initial-boundary value problem of a scalar nonlinear viscous conservation law in a one, twoor threedimensional domain. Using notations from the theory of explicit finite volume methods for hyperbolic problems and results from the Perron-Frobenius theory of nonnegative matrices, we establish various existence, s...

This paper presents a new approach for large-deflection analysis of truss structures employing the Dynamic Relaxation method (DR). The typical formulation for DR has been established utilizing the finite difference technique which is categorized as an explicit method. The special characteristic of the explicit method is its simple algebraic relationships in comparison with complicated matrix op...

Abstract— This paper describes Galerkin finite element (FEFLOW) models for the simulation of groundwater flow in twodimensional, transient, unconfined groundwater flow systems. This study involves validation of FEFLOW model with reported analytical solutions and also comparison of reported Explicit Finite Difference Model for groundwater flow simulation (FDFLOW). The model is further used to ob...

We prove a regularity property of finite difference schemes for the heat or diffusion equation ut = ∆u in maximum norm with large time steps. For a class of time discretizations including L-stable single-step methods and the second-order backward difference formula, with the usual second-order Laplacian, we show that solutions of the scheme gain first spatial differences boundedly, and also sec...

In this paper, two different finite differences schemes are presented for numerical solution of two-dimensional moving boundary problem. The methods are illustrated by solving sample problem in two-dimensional solidification of the square prism. The finite difference schemes developed for this purpose are based on the method of lines using interpolation polynomials. The fully explicit method de...

Weighted automata can be seen as a natural generalization of finite state automata to more complex algebraic structures. The standard reasoning tasks for unweighted automata can also be generalized to the weighted setting. In this report we study the problems of intersection, complementation and inclusion for weighted automata on infinite trees and show that they are not harder than reasoning w...

This study proposes one-dimensional advection–diffusion equation (ADE) with finite differences method (FDM) using implicit spreadsheet simulation (ADEISS). By changing only the values of temporal and spatial weighted parameters with ADEISS implementation, solutions are implicitly obtained for the BTCS, Upwind and Crank–Nicolson schemes. The ADEISS uses iterative spreadsheet solution technique. ...