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

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

• 대한산업공학회지
• /
• 제34권3호
• /
• pp.362-372
• /
• 2008

Manufacturers, or vendors, and their customers continue to adopt vendor-managed inventory(VMI) program to improve supply chain performance through collaboration achieved by consolidating replenishment responsibility upstream with vendors. In this paper, we construct a mixed integer linear programming model and propose a genetic algorithm for the integrated inventory and routing problems with lost sales maximizing the total profit in the VMI supply chains which comprise of a single manufacturer and multi-retailer. The proposed GA is compared with the mathematical model on the various sized test problems with respect to the solution quality and computation time. As a result, the GA demonstrates the capability of reaching solutions that are very close to those obtained by the mathematical model for small problems and stay within 3.2% from those obtained by the mathematical model for larger problems, with a much shorter computation time. Finally, we investigate the effects of the cost and operation variables on the total profit of the problem as well as the GA performance through the sensitivity analyses.

• 한국산학기술학회논문지
• /
• 제3권1호
• /
• pp.10-19
• /
• 2002

본고는 다종, 소규모 회분식 공정 또는 공장을 수학적 프로그래밍 기법으로 최적 설계하는 방법에 대한 것이다. 제안된 일반 회분식 공장문제는 Papageorgaki와 Reklaitis에 의해 혼합정수비선형식(MINLP)으로 수립된 것인데, 최적해답을 보장하며 공장의 확장 등 불확실성을 고려하여 선형화 한 후(MILP) 푸는 방법론이 제시되었다. Bende식 문제분할 방식을 개조하여 몇가지 예제에 대한 풀이를 제시하였다. IBM의 OSL 최적화 패키지를 이용하였고 MILP를 직접 푸는 경우보다 계산시간을 크게 단축할 수 있었다.

• 대한전자공학회논문지SP
• /
• 제42권4호
• /
• pp.143-152
• /
• 2005

본 연구는 협대역 응용 시스템을 위한 전처리기-등화기 구조의 여파기에서, 최소의 복잡도를 갖는 곱셈기 없는 디지털 IIR 여파기의 설계 방식을 제안한다. 제안하는 여파기는 순환 다항식 (cyclotomic polynomial (CP)) 여파기와 1차 내삽 다항식(interpolated second order polynomial (EOP))을 근간으로 하는 al1-pole 등화기로 구성 되며, 이 두 여파기가 동시에 혼합 정수 선형계획법(miked integer linear programming (MILP))으로 최적 설계된다. 설계된 여파기는 최소의 복잡도를 갖는 특성을 가지고 있다. 뿐만 아니라, 이 MILP 방식은 계산 복잡도와 위상 응답의 비선형 특성을 모두 최소화하도록 설계한다. 설계 예제를 통하여 제안된 설계 방식으로 설계된 여파기는 구현 요구사항을 만족하면서 기존의 설계 방식에 비하여 복잡도면에서 월등히 우수한 특성을 보임을 확인하였다.

• 한국산업정보학회논문지
• /
• 제1권1호
• /
• pp.29-62
• /
• 1996

In this paper, the problem of determining cyclic schedules for a material handling hoist in the printed-circuit-board(PCB) electroplating line is considered. The objective of this research is to determine an optimal simple-cycle schedule of the hoist which in turn maximizes the line throughput rate. Previous approaches to the cyclic hoist scheduling problem are all mathematical programming-based approaches to develop cyclic schedules(Mixed Integer Programming, Linear Programming based Branch and Bound, Branch and Bound Search Method and so on). In this paper, a genetic algorithm-based approach for a single hoist scheduling in the PCB electroplating line is described. Through some experiments for the well known example data and randomly generated data, the proposed algorithm is shown to be more efficient than the previous mathematical programming-based algorithm.

• 정보보호학회논문지
• /
• 제27권3호
• /
• pp.427-437
• /
• 2017

불능 차분 특성은 해당 블록 암호를 랜덤 치환과 구별을 해주며, 키 복구 공격에도 사용될 수 있다. 최근 Cui 등이 ARX 기반 블록 암호에 대해 Mixed-Integer Linear Programming(MILP)를 이용해서 자동화된 불능 차분 특성 탐색 방법을 제안하였다. Cui 등이 제안한 방법을 개선하면 기존에 방법에 비해 더 적은 선형 제약식을 이용하여 기존 방식으로 찾지 못하는 불능 차분 특성까지 추가 되어 더 많은 불능 차분 특성을 찾아 낼 수 있다. 수정한 방법을 이용하여 SPECK family와 LEA에 적용하였다. SPECK32, SPECK48, SPECK64, SPECK96에 대해 7-라운드, SPECK128에 대해 8-라운드 불능 차분 특성을 찾아내었다. 이 불능 차분 특성은 모두 새롭게 발견된 것이다. LEA에 대해서는 기존의 10-라운드인 불능 차분 특성을 포함한 새로운 10-라운드 불능 차분 특성을 찾아내었다.

• 한국산업정보학회논문지
• /
• 제15권5호
• /
• pp.187-196
• /
• 2010

네트워크 최적화 문제는 의사결정 문제 중에서 노드와 아크로 표현되는 수 많은 문제를 포함하고 있어서, 그 응용범위가 매우 다양할 뿐만 아니라 매우 실질적인 문제를 해결하는 좋은 방법론이다. 직접적으로 관련이 없는 많은 최적화 문제들도 네트워크로 적절히 표현할 수 있는 경우가 많으며 이를 통해 보다 섬도 있는 문제에 대한 이해와 해의 도출이 가능하게 된다. 이처럼 광범위한 응용분야를 가지는 네트워크 최적화 문제는 경영과학 및 산업공학에서 기본이 중요 학문이며, 이를 체계적으로 이해하고 실제 문제를 해결하려면 최적화 이론, 계산이론, 프로그래밍 등의 종합적인 지식을 필요로 한다. 본 연구에서는 네트워크 최적화 문제를 실질적으로 해결하는 필요한 지식 전달에 중점을 두고, 선형계획법 및 정수계획법을 위한 소프트웨어인 LPSolve를 소개하고 이 LPSolve와 엑셀을 연동하는 방법을 알아본다. 또한 네트워크 자체를 엑셀에서 그리는 방법을 알아보고, 이를 통해 네트워크 최적화 문제를 보다 실질적인 다룰 수 있도록 한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 추계종합학술대회 논문집(1)
• /
• pp.445-448
• /
• 2000

This paper considers a scheduling algorithm for high-speed routers, where the router has an N x N port input-queued switch and the input queues are composed of N VOQ(Virtual Output Queue)s at each input port. The major concern of the paper is on the scheduling mechanism for the router. The paper discusses the preferred levels of the performance measures and then develope a non-linear mixed integer programming. Additionally, the paper suggests a heuristic scheduling algorithm for efficient and effective switching.

• 대한교통학회지
• /
• 제18권1호
• /
• pp.87-97
• /
• 2000

Signal optimization model is divided bandwidth-maximizing model and delay-minimizing model. Bandwidth-maximizing model express model formulation as MILP(Mixed Integer Linear Programming) and delay-minimizing model like TRANSYT-7F use "hill climbing" a1gorithm to optimize signal times. This study Proposed optimization model using genetic algorithm one of evolution algorithm breaking from existing optimization model This Proposed model were tested by several scenarios and evaluated through NETSIM with TRANSYT-7F\`s outputs. The result showed capability that can obtain superior solution.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2001년도 추계학술대회 논문집
• /
• pp.279-282
• /
• 2001

This paper is concerned with Vehicle Routing Problem to minimize the total delivery waiting time of customers. The delivery waiting time is the time taken to travel from the depot to the customer, which is important for the delivery of the perishing products or foods requiring freshness. We construct a mixed integer linear programming formulation of this problem, and CR(Clustering first Routing second) heuristic and SPH(set partitioning heuristic) are suggested. the results of computational experiments showed that these heuristics find successfully favorable solutions, in much shorter time than optimal.