• 한국경영과학회지
• /
• 제41권3호
• /
• pp.23-36
• /
• 2016

We consider a model that minimizes the total cost incurred by assigning available weapons to existing targets in order to reduce enemy threats, which is called the weapon target assignment problem (WTAP). This study addresses the stochastic versions of WTAP, in which data, such as the probability of destroying a target, are given randomly (i.e., data are identified with certain probability distributions). For each type of random data or parameter, we provide a stochastic optimization model on the basis of the expected value or scenario enumeration. In particular, when the probabilities of destroying targets depending on weapons are stochastic, we present a stochastic programming formulation with a simple recourse. We show that the stochastic model can be transformed into a deterministic equivalent mixed integer programming model under a certain discrete probability distribution of randomness. We solve the stochastic model to obtain an optimal solution via the mixed integer programming model and compare this solution with that of the deterministic model.

• 로봇학회논문지
• /
• 제17권4호
• /
• pp.500-507
• /
• 2022

In this study, a motion planning method based on the integer representation of contact status between wheels and the ground is proposed for planning swing motion of a 6×6 wheel-legged robot to cross large obstacles and gaps. Wheel-legged robots can drive on a flat road by wheels and overcome large obstacles by legs. Autonomously crossing large obstacles requires the robot to perform complex motion planning of multi-contacts and wheel-rolling at the same time. The lift-off and touch-down status of wheels and the trajectories of legs should be carefully planned to avoid collision between the robot body and the obstacle. To address this issue, we propose a planning method for swing motion of robot legs. It combines an integer representation of discrete contact status and a trajectory optimization based on the direct collocation method, which results in a mixed-integer nonlinear programming (MINLP) problem. The planned motion is used to control the joint angles of the articulated legs. The proposed method is verified by the MuJoCo simulation and shows that over 95% and 83% success rate when the height of vertical obstacles and the length of gaps are equal to or less than 1.68 times of the wheel radius and 1.44 times of the wheel diameter, respectively.

• 한국안전학회지
• /
• 제35권1호
• /
• pp.25-33
• /
• 2020

In most plant layout optimization researches, MILP(Mixed Integer Linear Programming) problems, in which the objective function includes the costs of pipelines connecting process equipment and cost associated with safety issues, have been employed. Based on these MILP problems, various optimization solvers have been applied to investigate the optimal solutions. To consider safety issues on the objective function of MILP problems together, the accurate information about the impact and the frequency of potential accidents in a plant should be required to evaluate the safety issues. However, it is really impossible to obtain accurate information about potential accidents and this limitation may reduce the reliability of a plant layout problem. Moreover, in real industries such as plant engineering companies, the plant layout is previously fixed and the considerations of various safety instruments and systems have been performed to guarantee the plant safety. To reflect these situations, the two step optimization problems have been designed in this study. The first MILP model aims to minimize the costs of pipelines and the land size as complying sufficient spaces for the maintenance and safety. After the plant layout is determined by the first MILP model, the optimal locations of blast walls have been investigated to maximize the mitigation impacts of blast walls. The particle swarm optimization technique, which is one of the representative sampling approaches, is employed throughout the consideration of the characteristics of MILP models in this study. The ethylene oxide plant is tested to verify the efficacy of the proposed model.

• 한국항공우주학회지
• /
• 제38권5호
• /
• pp.427-436
• /
• 2010

본 논문은 다수의 목표물과 다수의 임무가 존재하는 상황에서의 다수 무인항공기의 임무할당 문제를 다룬다. 다수 무인항공기의 임무할당 문제는 순회 세일즈맨 문제, 차량 라우팅 문제와 같은 조합최적화 문제의 일종으로 NP-hard의 계산 복잡도를 가지고 있다. 이런 성격의 문제는 문제의 크기가 커질수록 계산시간이 급격히 증가하는 특징을 지니기 때문에 문제를 효율적으로 풀기 위해서 근사화 방법 또는 발견적인 방법을 사용한다. 본 연구에서는 임무할당 문제를 혼합정수 선형계획 문제로 정식화하고, 혼합정수 선형계획법과 유전 알고리듬으로 해를 구하였다. 다수의 목표물, 다수의 임무, 장애물이 존재하는 환경에 대한 수치 시뮬레이션을 수행하여 각 방법의 최적성과 효율성에 대해 검토하였다.

• 한국항공우주학회지
• /
• 제49권5호
• /
• pp.365-372
• /
• 2021

본 논문에서는 가변 연속사격 시간을 고려한 근접 방어 시스템(Closed-In Weapon System, CIWS)의 최적 무장 할당 알고리듬에 대해 다룬다. 본 연구에서 근접 방어 시스템의 무장 할당 문제는 혼합정수계획법(Mixed Integer Linear Programming, MILP)을 기반으로 정식화된다. 제안한 방법은 연속사격 시간을 교전 사거리와 관계없이 일정하다고 가정한 기존 연구와 달리 사거리에 따른 요격확률을 바탕으로 가변 연속사격 시간을 고려한다. 따라서 기존의 방법대비 보다 현실적인 교전상황을 반영할 수 있을 뿐만 아니라 표적 대응시간을 향상할 수 있다. 본 논문에서는 가변연속사격 시간이 반영되도록 기존의 혼합정수계획법 기반 무장 할당 문제를 변형시켰으며, 상용최적화 프로그램을 활용한 수치 시뮬레이션을 통해 제안한 방법의 성능을 검증하였다.

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

In this paper, we deal with a network optimization problem arising from the deployment of Ethernet-based BcN access network. BcN convergence services require that access networks satisfy QoS measures. BcN services have two types of traffics: stream traffic and elastic traffic. Stream traffic uses blocking probability as a QoS measure, while elastic traffic uses delay factor as a QoS measure. Incorporating the QoS requirements, we formulate the problem as a nonlinear mixed-integer programming model. The proposed model seeks to find a minimum cost dimensioning solution, while satisfying the QoS requirement. We propose tabu search heuristic algorithms for solving the problem, and simulate tabu result. We demonstrate the computational efficacy of the proposed algorithm by solving a network design problem.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제10권12호
• /
• pp.5212-5230
• /
• 2016

How to determine the right number of small base stations to activate in multi-cell uplinks to match traffic from a fixed quantity of K users is an open question. This paper analyses the uplink cooperative that jointly receives base stations activation to explore this question. This paper is different from existing works only consider transmitting power as optimization objective function. The global objective function is formulated as a summation of two terms: transmitting power for data and coordinated overhead for control. Then, the joint base stations activation and beamforming problem is formulated as a mixed integer second order cone optimization. To solve this problem, we develop two polynomial-time distributed methods. Method one is a two-stage solution which activates no more than K small base stations (SBSs). Method two is a heuristic algorithm by dual decomposition to MI-SOCP that activates more SBSs to obtain multiple-antennae diversity gains. Thanks to the parallel computation for each node, our methods are more computationally efficient. The strengths and weaknesses of these two proposed two algorithms are also compared using numerical results.

• 한국항공운항학회지
• /
• 제23권2호
• /
• pp.15-20
• /
• 2015

This paper introduces a new airspace design method for continuous climb operation (CCO). The optimization problem is formulated as Mixed-Integer Linear Program (MILP) to maximize the upper limits of altitude on the waypoints to facilitate continuous climb for aircraft. In the proposed method, the interactions with other flight procedures are considered as well as various aircraft flight performances. The proposed method is applied to one of the departure procedures of Incheon International Airport (ICN) to demonstrate its performances.

• 대한전자공학회논문지
• /
• 제26권6호
• /
• pp.115-123
• /
• 1989

본 논문은 사용자가 정의한 stick도형으로부터 혼합된 정수 선형프로그래밍 문제를 공식화시키는 새로운 mask compaction 방법을 제시하였는데 이 혼합된 정수 프로그램을 풀므로써 밀집화되고 디자인 rule에 맞는 layout을 얻을 수 있다. 또한 constraint graph에서 최장경로 문제를 풀 수 있는 새로운 효율적인 알고리듬도 기술하였다.

• Journal of Communications and Networks
• /
• 제13권6호
• /
• pp.612-620
• /
• 2011

Recently, one of the problems with the Internet is the issue of scalability. To this end, locator/identifier separation protocol (LISP), which separates end-system identifiers and routing locators, has been proposed as a solution. In the LISP deployed network, the ingress and egress nodes of inter-AS traffic is determined by edge router selection (ERS) and endpoint identifier-routing locator mapping assignment (ERMA). In this paper, joint optimizations of ERS and ERMA for stub networks with and without predetermined link weights are studied and the mixed integer linear programming (MILP) formulations for the problems are given. To make the problem with optimizable link weights tractable, a revised local search algorithm is also proposed. Simulation results show that joint optimization of ERS and ERMA enables better network performance.