Browsing by Author "Baysal, Onur"

Now showing items 1-4 of 4

Lower-top and upper-bottom points for any formula in temporal logic

Baysal, Onur (Izmir Institute of Technology, 2006)

In temporal logic, which is a branch of modal logic, models are constructed on some kind of frames. Common properties of all these frames include totally ordered relations and these frames are bi-directional. These common ...
An operator splitting approximation combined with the supg method for transport equations with nonlinear reaction term

Baysal, Onur; Tanoğlu, Gamze (Tech Science Press, 2012)

In this work, an operator splitting method is proposed in order to obtain a stable numerical solution for transport equation with non-linear reaction term. We split the transport equation into a reaction part and an ...
Pseudo-multi-scale functions for the stabilization of convection-diffusion equations on rectangular grids

Neslitürk, Ali İhsan; Baysal, Onur (Begell House, 2013)

We propose a finite element method of Petrov-Galerkin type for a singularly perturbed convection diffusion problem on a discretization consisting of rectangular elements. The method is based on enriching the finite-element ...
Stabilized finite element methods for time dependent convection-diffusion equations

Baysal, Onur (Izmir Institute of Technology, 2012)

In this thesis, enriched finite element methods are presented for both steady and unsteady convection diffusion equations. For the unsteady case, we follow the method of lines approach that consists of first discretizing ...