• Proceedings of the KIEE Conference
• /
• 1989.07a
• /
• pp.241-245
• /
• 1989

A knowledge based expert system is a computer program that emulates the reasoning process of a human expert in a specific problem domain. This paper presents an expert system to diagnose the various faults in power system. The developed expert system is represented considering two points; the possibility of solution and the fast processing speed. As uncertainties exist in the facts and rules which comprise the knowledge base of the expert system, Certainty Factor, which is based on the confirmation theory is used for the inexact reasoning. Also, as the diagnosis problem requires the inductive reasoning process in nature, the solution is imperfect and not unique in general. So the expert system is designed to generate all the possible hypothesis in order of the possibility and also it can explain the propagation procedure of the faults for each solution using the built in backtracking mechanism. In realization of the expert system, the processing speed is greatly dependent upon the problem representation, reasoning scheme and search strategy. So, in this paper the fault diagnosis problem itself is analysed from the view point of Artificial Intelligence and as a result, the expert system has the following basic features. 1) The certainty factor is adopted in the inference engine for inexact reasoning. 2) Problem apace is represented using the problem reduction technique. 3) Bidirectional reasoning scheme is used. 4) Best first search strategy is adopted for rapid processing. The expert system was developed us ing PROLOG language.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.5B
• /
• pp.295-303
• /
• 2007

An algorithm is proposed to seek a local optimal solution of the network utility maximization problem in a wireless mesh network, where the architecture being considered is an infrastructure/backbone wireless mesh network. The objective is to achieve proportional fairness amongst the end-to-end flows in wireless mesh networks. In order to establish the communication constraints of the flow rates in the network utility maximization problem, we have presented necessary and sufficient conditions for the achievability of the flow rates. Since wireless mesh networks are generally considered as a type of ad hoc networks, similarly as in wireless multi-hop network, the network utility maximization problem in wireless mesh network is a nonlinear nonconvex programming problem. Besides, the gateway/bridge functionalities in mesh routers enable the integration of wireless mesh networks with various existing wireless networks. Thus, the rate optimization problem in wireless mesh networks is more complex than in wireless multi-hop networks.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.33 no.12C
• /
• pp.1082-1087
• /
• 2008

Maximum Likelihood (ML) detection is well known to exhibit better bit-error-rate (BER) than many other detectors for multiple-input multiple-output (MIMO) channel. However, ML detection has been shown a difficult problem due to its NP-hard problem. It means that there is no known algorithm which can find the optimal solution in polynomial-time. In this paper, Semi-Definite relaxation (SDR) is iteratively applied to ML detection problem. The probability distribution can be obtained by survival eigenvector out of the dominant eigenvalue term of the optimal solution. The probability distribution which is yielded by SDR is recurred to the received signal. Our approach can reach to nearly ML performance.

• Journal of the Korean Mathematical Society
• /
• v.36 no.2
• /
• pp.355-367
• /
• 1999

We prove the existence of 2N-1 distinct ordered positive solutions of a class of semilinear elliptic Dirichlet boundary value problems on Rn when the forcing term has N distinct positive stable zeros and the coefficient function decaying to the zero at infinity.

• Journal of Korean Institute of Industrial Engineers
• /
• v.12 no.1
• /
• pp.81-94
• /
• 1986

A shortest path dynamic programming formulation is proposed and attemped to solve an uncapacitated expansion sequencing problem. It is also compared with the Extended Binary State Space approach with total capacity. Difficulties and merits associated with the formulation are discussed. The shortest path dynamic programming lacks the separability condition and an optimal solution is not guaranteed. However it has other merits and seems to be the practical solution procedure for the expansion sequencing problem in a sense that it finds near optimal solution with less state evaluations.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.2
• /
• pp.479-499
• /
• 2014

In this paper, we propose new iteration methods for finding a common point of the solution set of a pseudomonotone equilibrium problem and the solution set of a monotone equilibrium problem. The methods are based on both the extragradient-type method and the viscosity approximation method. We obtain weak convergence theorems for the sequences generated by these methods in a real Hilbert space.

• 제어로봇시스템학회:학술대회논문집
• /
• 1994.10a
• /
• pp.156-161
• /
• 1994

In this paper, we consider an optimal control problem of a nonlinear stochastic system. Dynamic programming approach is employed for the formulation of a stochastic optimal control problem. As an optimality condition, dynamic programming equation so called the Bellman equation is obtained, which seldom yields an analytical solution, even very difficult to solve numerically. We obtain the numerical solution of the Bellman equation using an algorithm based on the finite difference approximation and the contraction mapping method. Optimal controls are constructed through the solution process of the Bellman equation. We also construct a test case in order to investigate the actual performance of the algorithm.

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

In this paper, a new smoothing approximation to the l₁ exact penalty function for constrained optimization problems (COP) is presented. It is shown that an optimal solution to the smoothing penalty optimization problem is an approximate optimal solution to the original optimization problem. Based on the smoothing penalty function, an algorithm is presented to solve COP, with its convergence under some conditions proved. Numerical examples illustrate that this algorithm is efficient in solving COP.

• Structural Engineering and Mechanics
• /
• v.9 no.2
• /
• pp.209-214
• /
• 2000

The main purpose of this paper is to develop the results introduced in Artan (1996) and to find a general nonlocal linear elastic solution for Boussinesq problem. The general nonlocal solution given Artan (1996) is valid only when the distance to the boundary is greater than one atomic measure. The nonlocal stress field presented in this paper is valid for the whole half plane.

• Journal of the military operations research society of Korea
• /
• v.26 no.1
• /
• pp.47-55
• /
• 2000

The purpose of this paper is to develop a new heuristic algorithm for vehicle routing problem. The algorithm is composed of two steps. First step is to make a initial solution using sweeping algorithm. Second step is to improve initial solution for optimal solution using node exchange algorithm and tabu search algorithm. We have proven that our algorithm has produced better results than solutions obtained by saving algorithm and genetic in ten example problems with different unit size.