• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.4
• /
• pp.749-756
• /
• 2013

In this paper, we consider a diffusive delayed predator-prey model with Beddington-DeAngelis type functional response under homogeneous Neumann boundary conditions, where the discrete time delay covers the period from the birth of immature preys to their maturity. We investigate the global existence of nonnegative solutions and the long-term behavior of the time-dependent solution of the model.

• Kyungpook Mathematical Journal
• /
• v.48 no.3
• /
• pp.515-527
• /
• 2008

We investigate a three species food chain system with a Holling type IV functional response and impulsive perturbations. We find conditions for local and global stabilities of prey(or predator) free periodic solutions by applying the Floquet theory and the comparison theorems.

• Korean Management Science Review
• /
• v.15 no.1
• /
• pp.77-85
• /
• 1998

In this paper a face optimization algorithm is developed for solving the problem (P) of optimizing a linear function over the set of efficient solutions of a multiple objective linear program. Since the efficient set is in general a nonconvex set, problem (P) can be classified as a global optimization problem. Perhaps due to its inherent difficulty, relatively few attempts have been made to solve problem (P) in spite of the potential benefits which can be obtained by solving problem (P). The algorithm for solving problem (P) is guaranteed to find an exact optimal or almost exact optimal solution for the problem in a finite number of iterations.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.4
• /
• pp.829-836
• /
• 2005

In this note, we introduce a new proof of the unique-ness and existence of a negatively bounded solution for a parabolic partial differential equation. The uniqueness in particular implies the finiteness of the Fourier spanning dimension of the global attractor and the existence allows a construction of an inertial manifold.

• Proceedings of the CALSEC Conference
• /
• 1999.07b
• /
• pp.501-508
• /
• 1999

In this paper, we discuss about the implementation of CITIS(Contractor Integrated Technical Information Service) which is information infrastructure for CALS. CALS concept is introduced by DoD(Department of Defense, US) to exchange technical data of product's life cycle electronically. This CALS concept is accepted by commercial industrial area and considered as a part of global concept of Electronic Commerce. CITIS- a service defined by MIL-STD-974- is about to be implemented by commercial industrial society, too. But, until now there is a few sites implementing CITIS and especially in Korea. In this paper, we discuss characteristics of some CALS/CITIS implementation and solutions, and introduce ETRI-CITIS.

• Journal of applied mathematics & informatics
• /
• v.33 no.3_4
• /
• pp.327-342
• /
• 2015

By employing a fixed point theorem in a weighted Banach space, we establish the existence of a solution for a system of impulsive singular fractional differential equations. Some examples are presented to illustrate the efficiency of the results obtained.

• Journal of Korea Spatial Information System Society
• /
• v.1 no.1 s.1
• /
• pp.99-108
• /
• 1999

이제 GIS 표준은 국제적으로 공인된 과정을 거쳐 제정되고 있다. 이러한 과정과 표준자체의 중요성은 물론이며 표준 개발을 의한 GIS 표준 하부구조 즉 범 세계적 공간 정보 하부 구조 (the Global Spatial Data Infrastructure: GSDI) 의 개발도 아주 중요한 것이다. 기술이란 항상 변하고 있는 것이기에 GSDI등 표준 하부구조가 구축되면 새로운 GIS 표준은 이러한 하부 구조에 의해 쉽게 개발 되게 된다. 본 논문에서는 지금까지 구축된 공간 정보 표준 하부 구조는 어떠한 것이 있고 또 앞으로의 GIS 표준 개발 방향은 어떻게 나아가야 할 것인지 살피고자 한다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2003.04a
• /
• pp.127-133
• /
• 2003

In this study, a problem formulation and solution for design optimization of laminate composite cylindrical beam section is presented. The objective of this research is to determine the optimal dimension of the laminated composite cylindrical beam sections which has the equivalent flexural rigidities to those of the steel cylindrical beam sections. The analytical model is based on the laminate theory and accounts for the material coupling for arbitrary laminate stacking sequence configuration. The outer diameter and thickness of the beam are design variables. The solutions described are found using a global search algorithm, Genetic Algorithms (GA).

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.8 no.1
• /
• pp.93-102
• /
• 2004

A model of three trophic level food chain with ratio dependence is considered. The existencem uniqueness and stability of its solutions are investigated.

• Korean Journal of Mathematics
• /
• v.13 no.2
• /
• pp.139-148
• /
• 2005

In this paper we extend the mixed finite element method and its $L_2$-error estimate for postprocessed solutions by using Crank-Nicolson time-discretization method. Global $O(h^2+({\Delta}t)^2)$-superconvergence for the lowest order Raviart-Thomas element ($Q_0-Q_{1,0}{\times}Q_{0,1}$) are obtained. Numerical examples are presented to confirm superconvergence phenomena.