• Journal of applied mathematics & informatics
• /
• v.22 no.1_2
• /
• pp.223-235
• /
• 2006

By applying the Landau-type transformation, we transform a Stefan problem with nonlinear free boundary condition into a system consisting of a parabolic equation and the ordinary differential equations. Fully discrete finite element method is developed to approximate the solution of a system of a parabolic equation and the ordinary differential equations. We derive optimal orders of convergence of fully discrete approximations in $L_2,\;H^1$ and $H^2$ normed spaces.

• Journal of applied mathematics & informatics
• /
• v.22 no.1_2
• /
• pp.387-401
• /
• 2006

This paper deals with the problem of a ratio-dependent prey- predator model with combined harvesting. The existence of steady states and their stability are studied using eigenvalue analysis. Boundedness of the exploited system is examined. We derive conditions for persistence and global stability of the system. The possibility of existence of bionomic equilibria has been considered. The problem of optimal harvest policy is then solved by using Pontryagin's maximal principle.

• Journal of applied mathematics & informatics
• /
• v.32 no.3_4
• /
• pp.511-527
• /
• 2014

This paper provides a new application similar to the Local Defect Correction (LDC) technique to solve Poisson problem -u"(x) = f(x) with Dirichlet boundary conditions. The exact solution is supposed to have high activity in some region of the domain. LDC is combined with a fourth order compact scheme which is recently developed in Abbas (Num. Meth. Partial differential equations, 2013). Numerical tests illustrate the interest of this application.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.15 no.2
• /
• pp.97-104
• /
• 1990

The problem is a variation of the weighted set-covering problem (SCP) which requires the minimum-cost cover to be self-covering. It is shown that direct extension of the well-known greedy heuristic for SCP can have an arbitrarily large error in the worst case. It remains an open question whther these exists a greedy heuristic with a finite error bound.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1991.10a
• /
• pp.469-474
• /
• 1991

Recent interests in intelligent LP modeling aim to support MS/OR-naive users to be able to apply LP models to practical problems without the expert knowledges required. For more generalized LP modeling, a GPS(General Problem Solver)-based approach is suggested in this paper. It identifies modeling process as a means-ends analysis process. In view of this approach, a) we first divide the knowledges into domain specific assertive knowledges(state) and procedural knowledges about LP modeling(operator and macro) for model-domain independence, b) and then generate LP model according to the difference resolution techniques.

• Journal of the Korean Mathematical Society
• /
• v.34 no.3
• /
• pp.661-672
• /
• 1997

In this paper we introduce the semidiscrete solution of a single-phase nonlinear Stefan problem We analyze the optimal convergence of the semidiscrete solution in $H^1$ and $H^2$ normed spaces and also we derive the error estimates in $L^2$ normed space.

• Water Engineering Research
• /
• v.4 no.4
• /
• pp.175-185
• /
• 2003

A numerical model to analyze dam break flows has been developed based on approximate Riemann solver. The governing equations of the model are the nonlinear shallow-water equations. The governing equations are discretized explicitly by using finite volume method and the numerical flux are reconstructed with weighted averaged flux (WAF) method. The developed model is verified. The first verification problem is about idealized dam break flow on wet and dry beds. The second problem is about experimental data of dam break flow. From the results of the verifications, very good agreements have been observed

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.36 no.4
• /
• pp.301-304
• /
• 1987

The Optimal Control Problems for the singular system with the Generalized state space model are considered. It is shown that when the system is singular, the dimension can be reduced by coordinate transformation and the equivalent nonsingular system is got. After we have nonsingular system, the solution for the optimal control problem can be got by Riccati equation.

• Proceedings of the KIEE Conference
• /
• 2002.11b
• /
• pp.73-75
• /
• 2002

This paper presents the properly method of system security and facility countermeasures. We performed simulation for yearly peak of Korean power system in 2002 under the reactive power problem in a nuclear power plants. Analysis of the problems in power system operation by power flow, fault and stability study. Establishment of power system optimal operating plan by stabilizer and maintaining the reasonable voltage level.

• Journal of the Korean Statistical Society
• /
• v.25 no.3
• /
• pp.369-379
• /
• 1996

A study is made of approximate technique for structural reanalysis based on the force method. Perturbntion analysis of generalized least squares problem is adopted to reanalyze a damaged structure, and related results are presented.