• 한국항공우주학회지
• /
• 제47권11호
• /
• pp.787-794
• /
• 2019

본 논문에서는 다수 이종 근접 방어 시스템(Closed-In Weapon System, CIWS)의 최적 무장 할당 문제를 제시하고, 이를 혼합정수선형계획법(Mixed Integer Linear Programming, MILP)으로 변형해 해결하는 기법을 제안한다. 일반적인 무장 할당 문제의 경우 다양한 경우의 수를 고려해야하기 때문에 계산 시간이 기하급수적으로 증가하는 경우가 잦다. 하지만 주어진 문제를 MILP와 같은 혼합정수 최적화 문제로 변형하면 준실시간 내에 전역 최적해를 찾을 수 있다. 본 논문에서는 다수 위협이 각각 다른 시점에 다른 방향에서 방어 자산을 공격하는 상황을 고려한다. 또한, 제원이 다른 다수 CIWS를 동시 운용하는 경우를 추가로 고려한다. 본 논문에서는 이와 같은 문제 상황을 비선형 혼합정수계획 문제로 정식화하고, 이를 MILP로 변형하는 기법을 제시하였다. 또한, 이를 상용 최적화 프로그램으로 구현해 최적화 성능을 검증하였다.

• 한국경영과학회지
• /
• 제10권2호
• /
• pp.24-27
• /
• 1985

This paper presents sufficient conditions for zero duality gap of Lagrangean relaxation in mixed integer programming problems and discusses about an algorithm which updates multipiers using the dual varibles of the linear programming constructed by fixing integer variables.

• 한국컴퓨터정보학회논문지
• /
• 제26권12호
• /
• pp.255-264
• /
• 2021

본 연구에서는 부유식 해상풍력발전의 운영 및 유지보수에 필요한 체계적인 정비계획 수립을 위해 최적화기법을 활용한 수리 모형을 제안하고자 한다. 주간 단위로 선박과 기술자를 운용하는 계획정비와 고장정비 작업의 배정에 혼합정수계획법(Mixed Integer Linear Programming, MILP)을 도입하였다. 본 연구의 최적화 모델을 활용한 사례연구에서는 선박과 기술자의 투입 규모가 유지정비 비용에 미치는 영향을 확인하였으며 1년간 정비계획 수립에서 더 나아가 정비작업별 상세 스케줄링까지 연계되는 단계적 최적화 방법론을 함께 제시하였다. 세부적으로는 기상 데이터와 정비 데이터를 활용한 발전량 손실을 비가동 비용으로 반영하여 정비 우선순위를 선정하였으며, 이를 통해 국내 실정에 맞는 해상풍력단지의 유지보수 전략을 제시할 수 있을 것으로 기대한다.

• 대한전기학회논문지:전력기술부문A
• /
• 제48권9호
• /
• pp.1167-1174
• /
• 1999

In this paper, we present a new technique for the local decomposition of convex structuring elements for morphological image processing. Local decomposition of a structuring element consists of local structuring elements, in which each structuring element consists of a subset of origin pixel and its eight neighbors. Generally, local decomposition of a structuring element reduces the amount of computation required for morphological operations with the structuring element. A unique feature of our approach is the use of linear integer programming technique to determine optimal local decomposition that guarantees the minimal amount of computation. We defined a digital convex polygon, which, in turn, is defined as a convex structuring element, and formulated the necessary and sufficient conditions to decompose a digital convex polygon into a set of basis digital convex polygons. We used a set of linear equations to represent the relationships between the edges and the positions of the original convex polygon, and those of the basis convex polygons. Further. a cost function was used represent the total processing time required for computation of dilation/erosion with the structuring elements in a decomposition. Then integer linear programming was used to seek an optimal local decomposition, that satisfies the linear equations and simultaneously minimize the cost function.

• 한국안전학회지
• /
• 제14권2호
• /
• pp.70-76
• /
• 1999

In this paper, a mixed-integer programming approach is presented for adjusting the voltage profiles in a power system. The advent of large-scaled system makes the reactive power and voltage problem-an attempt to achieve an overall improvement of system security, service quality and economy-more complex and seriously, Although the problem is originally a nonlinear optimization problem, it can be formulated as a mixed integer linear programming(MILP) problem without deteriorating of solution accuracy to a certain extent. The MILP code is developed by the branch and bound process search for the optimal solution. The variable for modeling transformer tap positions is handled as discrete one, and other variables continuous ones. Numerical data resulting from case study using a modified IEEE 30 bus system with outaged line show that the MILP can produce more reductions of magnitude in the operating cost. The convergence characteristics of the results are also presented and discussed.

• 아태비즈니스연구
• /
• 제9권4호
• /
• pp.99-117
• /
• 2018

This study has investigated Linear Programming (LP) applications to special decision making problems in managerial accounting with the help of spreadsheet Solver tools. It uses scenario approaches to case examples having three products and three resources in make-and-supply business operations, which is applicable to cases having more variables and constraints. Integer Programmings (IP) are applied in order to model situations when products are better valued in integer values or logical constraints are required. Three cases in one-time-only special order decisions include Goal Programming approach, Knapsack problems with 0/1 selections, and fixed-charge 0/1 integer modelling techniques for set-up operation costs. For the decisions in outsourcing problems, opportunity-costs of resources expressed by shadow-prices are considered to determine their precise contributions. It has also shown that the improvement in work-shop operation for an unprofitable product must overcome its 'reduced cost' by the sum of direct manufacturing cost savings and its shadow-price contributions. This paper has demonstrated how various real situations of special decision problem in managerial accounting can be approached without mistakes by using LP's and IP's, and how students both in accounting and management science can acquire LP skills in their education.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2004년도 춘계공동학술대회 논문집
• /
• pp.102-106
• /
• 2004

The purpose of this paper is to develope a large-scale mixed integer program MIPBB. In this paper, the various issues such as branching strategies, searching and bounding strategies, storing basis information, handling numerical instability, that are important for developing a large-scale mixed integer programming program, are considered. And the experimental results of MIPBB are presented and compared to those of GLPK.

• 산업경영시스템학회지
• /
• 제27권3호
• /
• pp.7-13
• /
• 2004

In this paper, machine cell formation problem is discussed. To reflect precisely actual manufacturing situations such as routing sequences, production quantities, and machining (or operation) characteristics, a new network presentation (or the problem is proposed. It is formulated as a simple 0-1 quadratic programming model with linear constraints. Then, the model is converted into a 0-1 integer programming model using a variable transformation technique. Lastly, some computational results are presented.

• 한국국방경영분석학회지
• /
• 제25권1호
• /
• pp.133-140
• /
• 1999

Preprocessing for the -01 integer programming can reduce the size of problem instance as well as tighten its linear programming relaxations. In this research, the preprocessing techniques are classified into two categories. First, for the reduction of problem size, there are variable fixing and constraint elimination techniques. Second, for the reduction of feasible region, there are coefficient reduction and Euchidean reduction techniques. These methods are implemented and the effects are shown by experimental results.

• 한국경영과학회지
• /
• 제27권4호
• /
• pp.87-109
• /
• 2002

A satisfiability problem in propositional logic is the problem of checking for the existence of a set of truth values of atomic prepositions that renders an input propositional formula true. This paper describes an empirical investigation of a particular integer programming approach, using the set covering model, to solve satisfiability problems. Our satisfiability engine, SETSAT, is a fully integrated, linear programming based, branch and bound method using various symbolic routines for the reduction of the logic formulas. SETSAT has been implemented in the integer programming shell MINTO which, in turn, uses the CPLEX linear programming system. The logic processing routines were written in C and integrated into the MINTO functions. The experiments were conducted on a benchmark set of satisfiability problems that were compiled at the University of Ulm in Germany. The computational results indicate that our approach is competitive with the state of the art.