• 한국철도학회논문집
• /
• 제9권4호
• /
• pp.425-431
• /
• 2006

There are two kinds of police authorities in Korean railway industry, that is, the Special Judicial Police and the Local Subway Police. The existence of two separate entities for common objective of railway security has given rise to problems including inefficiency in performance and lack of customers-focused police service and synergic effects. The purpose of this study is to search for solutions to rail crimes that allows for rapid spatial movements since they take place on fast moving trains.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2007년도 하계종합학술대회 논문집
• /
• pp.485-486
• /
• 2007

In this paper, we use Lyapunov equations and functions to consider the linear systems with perturbed system matrices. And we consider that what choice of Lyapunov function V would allow the largest perturbation and still guarantee that V is negative definite. We find that this is determined by testing for the existence of solutions to a related quadratic equation with matrix coefficients and unknowns the so-called matrix Riccati equation.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제13권1호
• /
• pp.21-29
• /
• 2009

This paper treats the conditions for the existence and stability properties of stationary solutions of a predator-prey interaction with self and cross-diffusion. We show that at a certain critical value a diffusion driven instability occurs, i.e. the stationary solution stays stable with respect to the kinetic system (the system without diffusion) but becomes unstable with respect to the system with diffusion and that Turing instability takes place. We note that the cross-diffusion increase or decrease a Turing space (the space which the emergence of spatial patterns is holding) compared to the Turing space with self-diffusion, i.e. the cross-diffusion response is an important factor that should not be ignored when pattern emerges.

• 대한수학회보
• /
• 제51권3호
• /
• pp.739-763
• /
• 2014

In this paper, the nonlinear matrix equation $$X+\sum_{i=1}^{m}A_i^*X^{-q}A_i=Q(0<q{\leq}1)$$ is investigated. Some necessary conditions and sufficient conditions for the existence of positive definite solutions for the matrix equation are derived. Two iterative methods for the maximal positive definite solution are proposed. A perturbation estimate and an explicit expression for the condition number of the maximal positive definite solution are obtained. The theoretical results are illustrated by numerical examples.

• 대한수학회보
• /
• 제39권4호
• /
• pp.589-606
• /
• 2002

We introduce and analyze a frequency-domain method for parabolic partial differential equations. The method is naturally parallelizable. After taking the Fourier transformation of given equations in the space-time domain into the space-frequency domain, we propose to solve an indefinite, complex elliptic problem for each frequency. Fourier inversion will then recover the solution in the space-time domain. Existence and uniqueness as well as error estimates are given. Fourier invertibility is also examined. Numerical experiments are presented.

• 전자공학회논문지 IE
• /
• 제44권4호
• /
• pp.26-29
• /
• 2007

본 논문에서는 섭동 시스템 행렬을 가지는 선형 시스템에 대하여 Lyapunov 방정식과 함수를 고려하여 섭동 유계를 유도한다. 그리고 Lyapunov 함수의 도함수가 음의 정의로 보장되는 가장 큰 섭동 구간을 허락하는 Lyapunov 함수의 선택에 대하여 고려한다. 행렬 계수를 가지는 행렬 리카티 방정식의 해 존재에 대하여 살펴보며, 예를 통하여 검증한다.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제11권3호
• /
• pp.231-242
• /
• 2004

In this paper, we introduce weakly relaxed $\alpha$-pseudomonotonicity and weakly relaxed $\alpha$-semi-pseudomonotonicity of set-valued maps. Using the KKM technique, we obtain existence of solutions to the variational-like inequalities with weakly relaxed $\alpha$-pseudomor.otone set-valued maps in reflexive Banach spaces. We also present the solvability of the variational-like inequalities with weakly relaxed $\alpha$-semi-pseudomonotone set-valued maps in arbitrary Banach spaces using Kakutani-Fan-Glicksberg fixed point theorem.

• 대한수학회논문집
• /
• 제9권3호
• /
• pp.547-564
• /
• 1994

Let X be a real Banach space. We consider the existence of solutions of the abstract nonlinear functional evolution equation : $$ (E) \frac{du(t)}{dt} + A(t)u(t) + F(u)(t) \ni h(t), $$ $$ u(s) = x_o \in D(A(s)), 0 \leq s \leq t \leq T, $$ where u : $[s, T] \to x$ is an unknown function, ${A(t) : 0 \leq t \leq T}$ is a given family of nonlinear (possibly multivalued) operators in X, and $F : C([s, t];X) \to L^{\infty}([s, X];X)$ and $h : [s, T] \to X$ are given functions.

• 대한수학회보
• /
• 제43권4호
• /
• pp.693-701
• /
• 2006

Using Minimax principle and Linking theorem in critical point theory, we prove the existence of two nontrivial solutions for the following second order superlinear difference systems $$(P)\{{\Delta}^2x(k-1)+g(k,y(k))=0,\;k{\in}[1,\;T],\;{\Delta}^2y(k-1)+f(k,\;x(k)=0,\;k{\in}[1,\;T],\;x(0)=y(0)=0,\;x(T+1)=y(T+1)=0$$ where T is a positive integer, [1, T] is the discrete interval {1, 2,..., T}, ${\Delat}x(k)=x(k+1)-x(k)$ is the forward difference operator and ${\Delta}^2x(k)={\Delta}({\Delta}x(k))$.

• Journal of applied mathematics & informatics
• /
• 제28권5_6호
• /
• pp.1323-1329
• /
• 2010

In this paper, a new fixed point theorem in cone is applied to obtain the existence of at least one positive pseudo-symmetric solution for the second order three-point boundary value problem {x" + f(t, x, x')=0, t $\in$ (0, 1), x(0)=0, x(1)=x($\eta$), where f is nonnegative continuous function; ${\eta}\;{\in}$ (0, 1) and f(t, u, v) = f(1+$\eta$-t, u, -v).