• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1994.04a
• /
• pp.29-37
• /
• 1994

It is reported that north Korea has already developed 1,500 to 2,000-km-range Scud missile. As a defensive strategy against Scud attack on military and civilian facilities the military authorities are considering deployment of Patriot missile. This paper deals with its optimal deployment strategy. In this problem a Patriot missile which has multiple-facility responsibility may be able to protect each of its assigned facilities only with a certain probability, not absolute protection, and it may not be adequate to have only a single missile protect a facility, either because of its operational reliability or because of its limited availability at any given point in time. We formulate this problem into the probabilistic partial set covering model developed by Sherali and Kim. The applicability, verification and validation of the model are tested via an abbreviated case study.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.23 no.2
• /
• pp.185-191
• /
• 2023

To the exact cover problem that remains NP-complete to which no polynomial time algorithm is made available, this paper proposes a linear time algorithm that yields an optimal solution. The proposed algorithm makes use of the set cover problem's major feature which states that "no identical element shall be included in more than one covering set". To satisfy this criterion, the proposed algorithm initially selects a subset with the minimum cardinality and deletes those that contain the cardinality identical to that of the selected subset. This process is repeatedly performed on remaining subsets until the final solution is obtained. Provided that the solution is unattainable, it selects subsets with the maximum cardinality and repeats the same process. The proposed algorithm has not only obtained the optimal solution with ease but also proved its wide applicability on N-queens problems, hence disproving the NP-completeness of the exact cover problem.

• Journal of the Korea Society of Computer and Information
• /
• v.20 no.2
• /
• pp.21-28
• /
• 2015

In this paper, we propose a prototype-based classification learning by using the nearest-neighbor rule. The nearest-neighbor is applied to segment the class area of all the training data into spheres within which the data exist from the same class. Prototypes are the center of spheres and their radii are computed by the mid-point of the two distances to the farthest same class point and the nearest another class point. And we transform the prototype selection problem into a set covering problem in order to determine the smallest set of prototypes that include all the training data. The proposed prototype selection method is based on a greedy algorithm that is applicable to the training data per class. The complexity of the proposed method is not complicated and the possibility of its parallel implementation is high. The prototype-based classification learning takes up the set of prototypes and predicts the class of test data by the nearest neighbor rule. In experiments, the generalization performance of our prototype classifier is superior to those of the nearest neighbor, Bayes classifier, and another prototype classifier.

• Journal of the military operations research society of Korea
• /
• v.8 no.2
• /
• pp.17-30
• /
• 1982

This paper offers an optimal artillery deployment scheme for the defending unit when two forces are confronted at a military front line. When proposed gun sites, types and number of guns as well as targets are given, the solutions of the two models in this paper direct each (unit of) guns to a certain location. The aim of the models is to maximize the number of guns which can hit important targets. Unlike widely used target assignment models, these models are formulated using the set covering problem concept. These models do not contain probabilities and time. Thus they are simple as models, easy in implementation, and yield tractable solutions. The dynamic and probabilistic feature of battle situations is implicitly reflected on the models. The first model is for the case that enemies' approaching route is clearly predictable, while the second model is for the unpredictable approaching route case.

• IE interfaces
• /
• v.18 no.4
• /
• pp.370-381
• /
• 2005

This study is concerned with seeking the optimal allocation(disposition) for maximizing utility of consolidating old fashioned and new air defense weapon system like SAM-X(Patriot missile) and developing efficient solution algorithm based on simulated annealing(SA) algorithm. The SED(selection by effectiveness degree) procedure is implemented with an enhanced SA algorithm in which neighboring solutions could be generated only within the optimal feasible region by using a specially designed PERTURB function. Computational results conducted on the problem sets with a variety of size and parameters shows the significant efficiency of our SED algorithm over existing methods in terms of both the computation time and the solution quality.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.23 no.1
• /
• pp.17-28
• /
• 1998

This study suggests a procedure for designing cellular manufacturing systems (CMS) which are combined with automated guided vehicles (AGVs) using a tandem configuration. So far most of the previous studies have dealt with conventional design problems not considering the layout and the characteristics of transporters used in CMS. A mathematical model is developed using the service time to perform material transfers as a suitable meassure. The service capacity of AGVs and space limitations are also reflected in this model. As the model can be shown strongly NP-hard, a heuristic algorithm is presented, in which each cell is temporarily formed using both the set covering model and similarity coefficients, and then locations of the cells are determined by means of tabu search and finally machine perturbations are carried out. An example problem is solved to demonstrate the algorithm developed.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.10a
• /
• pp.409-413
• /
• 2005

The logical analysis of data(LAD) is an effective Boolean-logic based data mining tool. A critical step in analyzing data by LAD is the pattern generation stage where useful knowledge and hidden structural information in data is discovered in the form of patterns. A conventional method for pattern generation in LAD is based on term enumeration that renders the generation of higher degree patterns practically impossible. In this paper, we present a new optimization-based pattern generation methodology and propose two mathematical programming medels, a mixed 0-1 integer and linear programming(MILP) formulation and a well-studied set covering problem(SCP) formulation for the generation of optimal and heuristic patterns, respectively. With benchmark datasets, we demonstrate the effectiveness of our models by automatically generating with much ease patterns of high complexity that cannot be generated with the conventional approach.

• Korean Management Science Review
• /
• v.18 no.2
• /
• pp.125-134
• /
• 2001

This paper is concerned with the development of a GIS-based distribution system with service consideration. The proposed model could be used for a wide range of logistics applications in planning, engineering and operational purpose for logistics system. This research addresses the formulation of those complex prob1ems of two-echelon logistics system to plan the incorporating supply center locations and distribution problems based on GIS. We propose an integrated logistics model for determining the optimal patterns of supply centers and inventory allocations (customers) with a three-step sequential approach. 1) First step, Developing GIS-distance model and stochastic set-covering program to determine Optimel pattern of supply center location. 2) Second step, Optimal sector-clustering to support customers. 3) Third step, Optimal vehicle rouse scheduling based on GIS, GIS-VRP In this research we developed GUI-tree program, the GIS-VRP provide the vehicle to users and freight information in real time. We applied a set of sample examples to this model and demonstrated samp1e results. It has been found that the proposed model is potentially efficient and useful in solving multi-depot problem through examples. However the proposed model can provide logistics decision makers to get the best supply schedule.

• Journal of the Korean Geographical Society
• /
• v.48 no.2
• /
• pp.259-271
• /
• 2013

This paper addresses the efficient facility placements to adopt a super WiFi network, taking significant considerations as the next generation 'information highway'. Since the super WiFi has a wider geographic coverage by utilizing the white spaces of TV broadcasting which are empty and available frequencies for the wireless communications, it would play an important role in releasing digital divide of the internet access for low populated or mountainous areas. The purpose of this paper is to explore systematic and efficient spatial plans for the super WiFi. For doing this, we applied optimal location covering models to Gurye-gun, Jeonlanamdo. From the application, we presented optimal locations for super WiFi facilities and significant analytical results, such as the tradeoff between the number of facilities and coverage and marginal coverage for establishing super WiFi network. The results of this research would be usefully utilized for decision makers who wish to adopt a super WiFi, to extend wireless networks in a city or build a regional infrastructure of wireless facilities.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.18 no.6
• /
• pp.797-807
• /
• 2015

The low-altitude PAC-2 Patriot missile system is the backbone of ROK air defense for intercepting enemy aircraft. Currently there is no missile interceptor which can defend against the relatively high velocity ballistic missile from North Korea which may carry nuclear, biological or chemical warheads. For ballistic missile defense, Korea's air defense systems are being evaluated. In attempting to intercept ballistic missiles at high altitude the most effective means is through a multi-layered missile defense system. The missile defense problem has been studied considering a single interception system or any additional capability. In this study, we seek to establish a mathematical model that's available for multi-layered missile defense and minimize total interception fail probability and proposes a solution based on genetic algorithms. We perform computational tests to evaluate the relative speed and solution of our GA algorithm in comparison with the commercial optimization tool GAMS.