Realtime Access Map
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 ...