• Proceedings of the Materials Research Society of Korea Conference
• /
• 2007.11a
• /
• pp.74.2-74.2
• /
• 2007

• Journal of applied mathematics & informatics
• /
• v.29 no.5_6
• /
• pp.1381-1393
• /
• 2011

In this paper, we consider two-species periodic Gilpin-Ayala competition system with delay and impulsive effect. By using some analysis methods, sufficient conditions for the permanence of the system are derived. Further, we give the conditions of the existence and global asymptotic stable of positive periodic solution.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.13 no.22
• /
• pp.87-98
• /
• 1990

The performance analysis and capacity planning of Service Control Point which is real time response system is studied. The system is modeled by multiclass open queueing network. The analytical method is used to solve the queueing network. The solution of the model has product form solution. The focus of this paper is to investigate the capacity of system under the restriction of response time. To get the reasonable capacities, nonlinear programming problem is formulated and is solved by GINO. And the simulation model using SLAM II is formulated.

• Journal of applied mathematics & informatics
• /
• v.38 no.5_6
• /
• pp.469-481
• /
• 2020

In this paper, we consider a control system for semilinear differential equations in Hilbert spaces with Lipschitz continuous nonlinear term. Our method is to find the equivalence of approximate controllability for the given semilinear system and the linear system excluded the nonlinear term, which is based on results on regularity for the mild solution and estimates of the fundamental solution.

• Korean Journal of Mathematics
• /
• v.13 no.2
• /
• pp.275-284
• /
• 2005

In the present paper we shall introduce several operators on the reproducing kernel spaces. And using them we shall find a solution of an infinite system of quadratic equations (1.1). In particular we shall convert problem for finding an approximate solution of infinite system of quadratic equations into problem for minimizing nonnegative biquadratic polynomial.

• Korean Journal of Mathematics
• /
• v.21 no.1
• /
• pp.81-90
• /
• 2013

We investigate the bounded weak solutions for the Hamiltonian system with bounded nonlinearity decaying at the origin and periodic condition. We get a theorem which shows the existence of the bounded weak periodic solution for this system. We obtain this result by using variational method, critical point theory for indefinite functional.

• Korean Journal of Mathematics
• /
• v.25 no.3
• /
• pp.359-377
• /
• 2017

In this paper, we consider a system of generalized nonlinear ordered variational inclusions in real ordered Banach spaces and define an iterative algorithm for a solution of our problems. By using the resolvent operator techniques to prove an existence result for the solution of the system of generalized nonlinear ordered variational inclusions and discuss convergence of sequences suggested by the algorithms.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.5
• /
• pp.1599-1619
• /
• 2018

In this paper we study the initial value problem of the non-relativistic Vlasov-Darwin system with generalized variables (VDG). We first prove local existence and uniqueness of a nonnegative classical solution to VDG in three space variables, and establish the blow-up criterion. Then we show that it converges to the well-known Vlasov-Poisson system when the light velocity c tends to infinity in a pointwise sense.

• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.2883-2885
• /
• 2000

ATS(Automatic Transfer Switch), the secondary power supply system prepared for' temporary power fail on main in KEPCO in industrial field or running a important system. is developed. In this development, we prove that the proposed system is safe with results in a few environment testing focused on a solution against a poor environment by making virtual environment for a solution on problems of system reliability to switch more safely.

• Journal of applied mathematics & informatics
• /
• v.23 no.1_2
• /
• pp.345-352
• /
• 2007

In this paper, cone-valued Lyapunov functions are employed to study the impulsive control system with variable times. The stability criteria on the non-zero solution of the impulsive control system are given by the cone-valued Lyapunov functions and the results of the controllability on the control system are also obtained.