• International Journal of Advanced Culture Technology
• /
• v.7 no.3
• /
• pp.158-165
• /
• 2019

Knowledge based system includes tools for constructing, testing, validating and refining the system along with user interfaces. An important issue in the design of a complete knowledge based system is the ability to produce explanations. Explanations are not just a series of rules involved in reasoning track. More detailed and explicit form of explanations is required not only for reliable reasoning but also for maintainability of the knowledge based system. This requires the explanation mechanisms to extend from knowledge oriented analysis to task oriented explanations. The explicit modeling of problem solving structures is suggested for explanation generation as well as for efficient and effective reasoning. Unlike other explanation scheme such as feedback explanation, the detailed, smaller and explicit representation of problem solving constructs can provide the system with capability of quality explanation. As a key step to development for explanation scheme, the problem solving methods are broken down into a finer grained problem solving primitives. The system records all the steps with problem solving primitives and knowledge involved in the reasoning. These are used to validate the conclusion of the consultation through explanations. The system provides user interfaces and uses specific templates for generating explanation text.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.9
• /
• pp.69-76
• /
• 2022

The traveling salesman problem(TSP) is one of the most famous combinatorial optimization problem. So far, many metaheuristic search algorithms have been proposed to solve the problem, and one of them is local search. One of the very important factors in local search is neighbor generation method, and random-based neighbor generation methods such as inversion have been mainly used. This paper proposes 4 new greedy-based neighbor generation methods. Three of them are based on greedy insertion heuristic which insert selected cities one by one into the current best position. The other one is based on greedy rotation. The proposed methods are applied to first-choice hill-climbing search and simulated annealing which are representative local search algorithms. Through the experiment, we confirmed that the proposed greedy-based methods outperform the existing random-based methods. In addition, we confirmed that some greedy-based methods are superior to the existing local search methods.

• Journal of Power Electronics
• /
• v.14 no.2
• /
• pp.249-256
• /
• 2014

A novel topology generation method for the no dead-time three-phase AC/DC converter is proposed in this study. With this method, a series of no dead time topologies are generated and their operation principles are analyzed. The classic three-phase bridge AC/DC converter can realize a bidirectional operation. However, dead-time should be inserted in the driving signals to avoid the shoot-through problem, which would cause additional harmonics. Compared with the bridge topology, the proposed topologies lack the shoot-through problem. Thus, dead time can be avoided. All of the no dead time three-phase AC/DC converters can realize bidirectional operation. The operating principles of the converters are analyzed in detail, and the corresponding control strategies are discussed. Comparisons of waveform distortion and efficiency among the converters are provided. Finally, 9 KW DSP-based principle prototypes are established and tested. Simulation and experimental results verify the theoretical analysis.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.05a
• /
• pp.96-101
• /
• 2004

In this paper, we propose an effective cut generation method based on the Chvatal-Gomory procedure for a variable-capacity (0,1)-Knapsack problem, which is the same problem as the ordinary binary knapsack problem except that a binary capacity variable is newly introduced. We first derive a class of valid inequalities for the problem using Chvatal-Gomory procedure, then analyze the associated separation problem. Based on the results, we show that there exists a pseudopolynomial time algorithm to solve the separation problem. Preliminary computational results are presented which show the effectiveness of the proposed cut generation method.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.25 no.3
• /
• pp.17-33
• /
• 2000

We consider the Steiner tree packing problem. For a given undirected graph G =(V, E) with positive integer capacities and non-negative weights on its edges, and a list of node sets(nets), the problem is to find a connection of nets which satisfies the edge capacity limits and minimizes the total weights. We focus on the switchbox routing problem in knock-knee model and formulate this problem as an integer programming using Steiner tree variables. The model contains exponential number of variables, but the problem can be solved using a polynomial time column generation procedure. We test the algorithm on some standard test instances and compare the performances with the results using cutting plane approach. Computational results show that our algorithm is competitive to the cutting plane algorithm presented by Grotschel et al. and can be used to solve practically sized problems.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.15 no.1
• /
• pp.99-115
• /
• 1990

This paper is concerned with the unit commitment problem in an electric power system with both thermal and pumped-storage hydroelectric units. This is a mixed integer programming problem and the Lagrangean relaxation method is used. We show that the relaxed problem decomposes into two kinds of subproblems : a shortest-path problem for each thermal unit and a minimum cost flow problem for each pumped-storage hydroelectric unit. A method of obtaining an incumbenet solution from the solution of a relaxed problem is presented. The Lagrangean multipliers are updated using both subgradient and incremental cost. The algorithm is applied to a real Korean power generation system and its computational results are reported and compaired with other works.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.1
• /
• pp.212-219
• /
• 2006

The important problem in designing a Fuzzy Logic Controller(FLC) is generation of fuzzy control rules and it is usually the case that they are given by human experts of the problem domain. However, it is difficult to find an well-trained expert to any given problem. In this paper, I describes an application of genetic algorithm, a well-known global search algorithm to automatic generation of fuzzy control rules for FLC design. Fuzzy rules are automatically generated by evolving initially given fuzzy rules and membership functions associated fuzzy linguistic terms. Using genetic algorithm efficient fuzzy rules can be generated without any prior knowledge about the domain problem. In addition expert knowledge can be easily incorporated into rule generation for performance enhancement. We experimented genetic algorithm with a non-trivial vehicle controling problem. Our experimental results showed that genetic algorithm is efficient for designing any complex control system and the resulting system is robust.

• Journal of Korean Institute of Industrial Engineers
• /
• v.27 no.3
• /
• pp.250-259
• /
• 2001

Given a tree structured network in which each node has its own demand and also stands for a candidate location of a potential facility, such as plant or warehouse, a capacitated facility location problem on the network (CFLPOT) is to decide capacitated facility locations so that the total demand occurred on the network can be satisfied from those facilities with the minimum cost. In this paper, we first introduce a mixed integer programming formulation for CFLPOT with two additional assumptions, the indivisible demand assumption and the contiguity assumption and then show that it can be reformulated as a tree partitioning problem with an exponential number of variables. We then show that it can be solved in O($n^2b$) time by utilizing the limited column generation method developed by Shaw (1993), where n is the total number of nodes in the network and b is the maximum facility capacity. We also develop a depth-first dynamic programming algorithm with a running time of O(nb) for finding the locally maximal reduced cost which plays an important role in the limited column generation method. Finally, we implement our algorithms on a set of randomly generated problems and report the computational results.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.16 no.2
• /
• pp.222-227
• /
• 2006

Recently the research for Traveling Salesman Problem (TSP) using DNA computing with massive parallelism has been. However, there were difficulties in real biological experiments because the conventional method didn't reflect the precise characteristics of DNA when it express graph. Therefore, we need DNA sequence generation algorithm which can reflect DNA features and reduce biological experiment error. In this paper we proposed a DNA sequence generation algorithm that applied DNA coding method of evolution model to DNA computing. The algorithm was applied to TSP, and compared with a simple genetic algorithm. As a result, the algorithm could generate good sequences which minimize error and reduce the biologic experiment error rate.

• Journal of Electrical Engineering and Technology
• /
• v.12 no.4
• /
• pp.1348-1356
• /
• 2017

Integration of wind generators with the conventional power plants will raise operational challenges to the electric power utilities due to the uncertainty of wind availability. Thus, the Generation Scheduling (GS) among the online generating units has become crucial. This process can be formulated mathematically as an optimization problem. The GS problem of wind integrated power system is inherently complex because the formulation involves non-linear operational characteristics of generating units, system and operational constraints. As the robust tool is viable to address the chosen problem, the modern bio-inspired algorithm namely, Grey Wolf Optimization (GWO) algorithm is chosen as the main optimization tool. The intended algorithm is implemented on the standard test systems and the attained numerical results are compared with the earlier reports. The comparison clearly indicates the intended tool is robust and a promising alternative for solving GS problems.