A multi-component reactive transport model, coupled to an existing thermal, hydraulic and mechanical model is investigated. The model is based on conservation of mass/energy principles for the flow and stress strain equilibrium for the mechanical behaviour. The resultant model is coupled to a geochemical model in order to capture geochemical interactions. Numerically, the Galerkin finite elemen...

In this paper, two different numerical schemes, namely the Runge-Kutta fourth order method and the implicit Euler method with perturbation method of the second degree, are applied to solve the nonlinear thermal wave in one and two dimensions using the differential quadrature method. The aim of this paper is to make comparison between previous numerical schemes and detect which is more efficient...

In this article, we introduce a backward method to model stochastic gene expression and protein-level dynamics. The protein amount is regarded as a diffusion process and is described by a backward stochastic differential equation (BSDE). Unlike many other SDE techniques proposed in the literature, the BSDE method is backward in time; that is, instead of initial conditions it requires the specif...

We consider infinite state reactive systems specified by using linear constraints over the integers, and we address the problem of verifying safety properties of these systems by applying reachability analysis techniques. We propose a method based on program specialization, which improves the effectiveness of the backward and forward reachability analyses. For backward reachability our method c...

(a) Show that for the solution x(t, x0) of the IVP with initial value x0 holds: ‖x(t, x0)‖ = ‖x(t0, x0)‖ . What is the geometric interpretation? Hint: Differentiate 1/2 ‖x(t)‖ and try to formulate the derivative as a scalar product! (b) Formulate an IVP in C (i.e. for complex-valued functions) equivalent (?) to the one in R in (a). (c) Consider now the numerical approximation x∆ to the IVP, whe...

A finite-difference method for integro-differential equations arising from Lévy driven asset processes in finance is discussed. The equations are discretized in space by the collocation method and in time by an explicit backward differentiation formula. The discretization is shown to be second-order accurate independently of the degree of the singularity in the Lévy measure. The singularity is ...

In this paper, we consider a general tridiagonal matrix and give the explicit formula for the elements of its inverse. For this purpose, considering usual continued fraction, we define backward continued fraction for a real number and give some basic results on backward continued fraction. We give the relationships between the usual and backward continued fractions. Then we reobtain the LU fact...

Gold bonding wires have been manufactured through multiple drawing steps with serial and reverse-direction drawing. The texture and microstrucure of the gold bonding wires were characterized with X-ray diffraction and EBSD and compared with the predictions of finite element (FE) imulation. Initial 〈1 0 0〉 fiber decreases during drawing and is replaced by 〈1 1 1〉 fiber. The 〈1 0 0〉 oriented grai...