• 충청수학회지
• /
• 제26권1호
• /
• pp.71-84
• /
• 2013

In this paper we study some nonlinear Pachpatte type integral inequalities on time scales by using a Bihari type inequality. Our results unify some continuous inequalities and their corresponding discrete analogues, and extend these inequalities to dynamic inequalities on time scales. Furthermore, we give some examples concerning our results.

• 충청수학회지
• /
• 제27권3호
• /
• pp.363-379
• /
• 2014

In this paper, introducing various separation axioms on a bi-GTS, it has been observed that such separation axioms actually unify the well-known separation axioms on topological spaces. Several characterizations of such separation properties of a bi-GTS are established in terms of ${\gamma}_{{\mu}_i,{\mu}_j}$-closure operator, generalized cluster sets of functions and graph of functions.

• East Asian mathematical journal
• /
• 제18권1호
• /
• pp.147-154
• /
• 2002

In this paper, we prove a few coincidence point theorems for two pairs of mappings in $T_1$ topological spaces. Our results extend, improve and unify the corresponding results in [1]-[3].

• East Asian mathematical journal
• /
• 제16권2호
• /
• pp.175-181
• /
• 2000

In this paper we show fixed point theorems related with the diameter of orbit on metric spaces. The results presented in this paper extend, improve and unify the results of $Heged\"{u}s$ [1], Kim, Kim, Leem and Ume [2], Kim and Leem [3], Ohta and Nikaido [4] and $Taskovi\'{c}$ [5].

• 대한수학회논문집
• /
• 제15권2호
• /
• pp.309-323
• /
• 2000

The purposes of this paper are to revise the definitions of Ishikawa and Mann type iterative processes with errors, to study the unique solution of the m-accretive operator equation x+Tx=f and the convergence problem of Ishikawa and Mann type iterative processes with errors for m-accretive mappings without the Lipschitz condition. The results presented in this paper improve, extend, and unify the corresponding results in [4, 7, 8, 12, 16] in more general setting.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 추계학술대회 논문집
• /
• pp.1163-1168
• /
• 2008

Automatic Train Protection(ATP) System is developed by ETCS(European Train Control System) CONSORTIUM for unify Europe railway system. ATP system is composed of Eurobalise and EuroATC. Nowadays, Korea construct ATP system in conventional line and new electrical locomotives also install ATP system. It is important to verify quality which form checklist during Factory Acceptance Test at beyond the seas. In this paper, review the process, test item, norm and checklist for the Balise Transmission Module, Compact Antenna Unit, Vehicle Control Unit and Communication Controller at the Plymouth Bombardier and Vasteras enics factory.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제28권1호
• /
• pp.61-69
• /
• 2021

In this paper, we introduce a new three-step iterative scheme for three finite families of nonexpansive mappings in hyperbolic spaces. And, we establish a strong convergence and a ∆-convergence of a given iterative scheme to a common fixed point for three finite families of nonexpansive mappings in hyperbolic spaces. Our results generalize and unify the several main results of [1, 4, 5, 9].

• Nonlinear Functional Analysis and Applications
• /
• 제26권4호
• /
• pp.685-700
• /
• 2021

In this paper, we discuss the existence and uniqueness of fixed point and common fixed point theorems in complex valued extended b-metric spaces for a pair of mappings satisfying some rational contraction conditions which generalized and unify some well-known results in the literature.

• Nonlinear Functional Analysis and Applications
• /
• 제26권5호
• /
• pp.1059-1075
• /
• 2021

In this paper, we unify and enrich the well-known classical metrical coincidence theorems on a complete metric space due to Machuca, Goebel and Jungck. We further extend our newly proved results on a subspace Y of metric space X, wherein X need not be complete. Finally, we slightly modify the existing results involving (E.A)-property and (CLR_g)-property and apply these results to deduce our coincidence and common fixed point theorems.

• 대한수학회논문집
• /
• 제37권3호
• /
• pp.801-812
• /
• 2022

In this paper, we introduce the multi-derivations on rings and present some examples of such derivations. Then, we unify the system of functional equations defining a multi-derivation to a single formula. Applying a fixed point theorem, we will establish the generalized Hyers-Ulam stability of multi-derivations in Banach module whose upper bounds are controlled by a general function. Moreover, we give some important applications of this result to obtain the known stability outcomes.