• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.04a
• /
• pp.613-616
• /
• 2000

This paper considers the problem of subway crew scheduling. Crew scheduling is concerned with finding a minimum number of assignments of crews to a given timetable satisfying various restrictions. Traditionally, crew scheduling problem has been formulated as a set covering or set partitioning problem possessing exponentially many variables, but even the LP relaxation of the problem is hard to solve due to the exponential number of variables. In this paper, we propose two basic techniques that solve the problem in a reasonable time, though the optimality of the solution is not guaranteed. To reduce the number of variables, we adopt column-generation technique. We could develop an algorithm that solves column-generation problem in polynomial time. In addition, the integrality of the solution is accomplished by variable-fixing technique. Computational results show column-generation makes the problem of treatable size, and variable fixing enables us to solve LP relaxation in shorter time without a considerable increase in the optimal value. Finally, we were able to obtain an integer optimal solution of a real instance within a reasonable time.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.21 no.1
• /
• pp.131-146
• /
• 1996

In this paper, we describe the facial structure of the steiner problem in a directed graph by formulating it as set covering problem. We first characterize trivial facets and derive a necessary condition for nontrival facets. We also introduce a class of valid inequalities with 0-1 coefficients and show when such inequalities define facets.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.27 no.4
• /
• pp.67-86
• /
• 2002

This paper considers subway crew scheduling problem. Crew scheduling is concerned with finding a minimum number of assignments of crews to a given timetable satisfying various restrictions. Traditionally, crew scheduling problem has been formulated as a set covering or set partitioning problem possessing exponentially many variables, but even the LP relaxation of the problem is hard to solve due to the exponential number of variables. In this paper. we propose two basic techniques that solve the subway crew scheduling problem in a reasonable time, though the optimality of the solution is not guaranteed. We develop an algorithm that solves the column-generation problem in polynomial time. In addition, the integrality of the solution is accomplished by variable-fixing technique. Computational result for a real instance is reported.

• Journal of the Korea Society for Simulation
• /
• v.15 no.4
• /
• pp.69-77
• /
• 2006

In most positioning and allocation practices, many mathematical models are proposed in various fields. The set covering (SC) problem has many practical applications of modeling not only real world problem but also in military. As our air defense weapon systems are getting older and declining the performance, new plans far acquisition of high-tech air defense weapon system are being conducted. In this paper we established simulation model for optimal allocation of KDX which carries new missile defense weapon system by using partial set covering considering both attacker and defender side. By implementating simulation model, we assess the available scenarios and show the optimal pre-positioning of KDX and interceptor's allocation. Furthermore, we provide a variety of experiments and extensive scale sized situations for Korea Indigenous Missile Defense (KIMD) and support decision-making for efficient positioning of unit.

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

The object of this study is to construct a model for an optimal allocation of short surface to air missile defending our targets most efficiently from hostile aircraft´s attack. For the purpose of this, we analyze and establish facility allocation concept of existing models, apply set covering theory appropriate to problem´s properties, present the process of calculating the probability of target being protected, apply Sherali-Kim´s branching variable selection strategy, and then construct the model. As constructed model apply the reducing problem with application, we confirm that we can apply the large scale, real problem.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.9 no.13
• /
• pp.79-86
• /
• 1986

This paper presents a heuristic algorithm for a crew scheduling problem with dead head flights. This paper modifies and improves saving method for finding the Multiple Salesman tours in the graph. The results show that the computing time from this algorithm is implemented very much than those from general crew scheduling algorithms by set covering models.

• Journal of Korean Institute of Industrial Engineers
• /
• v.41 no.4
• /
• pp.396-407
• /
• 2015

The literature about intelligence assets allocation focused on mainly single or partial assets such as TOD and GSR. Thus, it is limited in application to the actual environment of operating various assets. In addition, field units have generally vulnerabilities because of depending on qualitative analysis. Therefore, we need a methodology to ensure the validity and reliability of intelligence asset allocation. In this study, detection probability was generated using digital geospatial data in MGIS (Military Geographic Information System) and simulation logic of BCTP (Battle Commander Training Programs) in the R.O.K army. Then, the optimal allocation mathematical model applied concept of simultaneous integrated management, which was developed based on the partial set covering model. Also, the proposed GA (Genetic Algorithm) provided superior results compared to the mathematical model. Consequently, this study will support effectively decision making by the commander by offering the best alternatives for optimal allocation within a reasonable time.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.1 s.39
• /
• pp.11-18
• /
• 2006

The logical analysis of data(LAD) is a 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 novel optimization-based pattern generation methodology and propose two mathematical programming models, 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 ease patterns of high complexity that cannot be generated with the conventional approach.

• The KIPS Transactions:PartA
• /
• v.16A no.1
• /
• pp.35-42
• /
• 2009

This paper proposes a new coverage algorithm for intelligent robot. Many algorithms for improving the performance of coverage have been focused on minimizing the total coverage completion time. However, if one does not have enough time to finish the whole coverage, the optimal path could be different. To tackle this problem, we propose a new coverage algorithm, which we call MaxCoverage algorithm, for covering maximal area within the deadline. The MaxCoverage algorithm decides the navigation flow by greedy algorithm for Set Covering Problem. The experimental results show that the MaxCoverage algorithm performs better than other algorithms for random deadlines.

• Journal of Korean Society of Transportation
• /
• v.27 no.4
• /
• pp.103-113
• /
• 2009

Quick accident spot reaching of 119ERU is the most important role in decrease of accident depth. If 4 minutes of wounded person pass after cardiac arrest, brain damage is begun. and If 10 minutes of wounded person pass after cardiac arrest, possibility to die rises. Accordingly, when establish 119ERU, need to consider travel time to traffic accidents spot. This treatise groped a facility location problem using SCLM and minisum location problem mutually. And existent minisum location problem has a problem that maximum travel time exceed $\lambda$. ERU to need in present situation and also can reduce average travel time. so this treatise propose modified minisum location problem. In case applying modified minisum location theory, 119ERU can arrive all demand and that is optimized about demand and travel time. Can minimise figure of 119 first aids to need in present situation applying this way, and also can reduce average passing time. Finally, this way can minimise figure of 119ERU to need in present situation and also can reduce average travel time.