• Proceedings of the Korea Database Society Conference
• /
• 2002.10a
• /
• pp.138-160
• /
• 2002

IT기반의 DC시장선점을 위한 세계적 경쟁 진행. 세계최고 수준의 IT인프라 보유, But 내용물은 부족. 범정부적 차원의 종합계획 수립/추진의 필요성 (중략)

• Korean Architects
• /
• no.10 s.92
• /
• pp.2-6
• /
• 1976

• Korean Architects
• /
• no.5 s.111
• /
• pp.8-17
• /
• 1978

• Korean Architects
• /
• no.4 s.122
• /
• pp.15-25
• /
• 1979

• Korean Architects
• /
• no.9 s.103
• /
• pp.8-20
• /
• 1977

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.38 no.5
• /
• pp.427-436
• /
• 2010

This paper deals with a task assignment problem of multiple UAVs performing multiple tasks on multiple targets. The task assignment problem of multiple UAVs is a kind of combinatorial optimization problems such as traveling salesman problem or vehicle routing problem, and it has NP-hard computational complexity. Therefore, computation time increases as the size of considered problem increases. To solve the problem efficiently, approximation methods or heuristic methods are widely used. In this study, the problem is formulated as a mixed integer linear program, and is solved by a mixed integer linear programming and a genetic algorithm, respectively. Numerical simulations for the environment of the multiple targets, multiple tasks, and obstacles were performed to analyze the optimality and efficiency of each method.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.292-296
• /
• 2009

우리나라의 용수공급체계는 주로 여름에 집중된 강우를 댐이나 저수지에 저류하였다가 연중고르게 사용자들에게 공급하는 방법을 취하고 있다. 이때 도시지역의 생활용수는 갈수기에도 가장먼저 공급되어져야하는 우선순위를 가지는 반면, 농업용수는 가장 우선적으로 그 사용을 제한받는다. 하지만, 도시화로 인해 도시의 하수처리장 배출수량은 지속적으로 증가하고 있으며, 그 처리수의 대부분은 하천으로 방류되어 유실되고 있다. 방류수 수질기준에 맞추어 방류되는 처리수는 대량방류로 인해 자주 하천에 수질문제를 야기하기도 한다. 그러나 실제로 하수처리장의 처리수는 갈수기에 매우 유용하게 사용될 수 있는 수원 중 하나이다. 그러므로 그 처리수의 재이용에 관한 연구를 적절히 수행한다면, 갈수기에도 농업용수사용의 제한을 최소화할 수 있을 것이다. 그러므로 본 연구에서는 처리수 재이용 모형을 혼합정수계획법으로 개발하고, 하수처리장 처리수의 농업용수나 공공용수로의 사용을 제안하였다. 개발된 처리수 재이용 모형에서는 하천으로 방류되던 처리수를 농업용수나 공공용수로 재사용하는 시스템을 구축한다는 가정 하에, 그 공사비를 최소화하는 것을 목적으로 하였다. 또한 관말의 최소유지압력 등 수리학적인 제약조건을 만족시키도록 설계하였으며, 이 때문에 야기되는 비선형성을 선형화하여 계산시간이 짧은 동시에 전역해에 가까운 해를 찾을 수 있도록 하였다. 개발된 모형은 가상의 처리수 재이용 모형에 적용되어 시스템의 설계자에게 갈수기 용수공급의 최적 대안을 제시해 줄 수 있는 가능성을 보였다.

• The Journal of the Korea Contents Association
• /
• v.6 no.4
• /
• pp.46-54
• /
• 2006

We propose an optimization method for PCB assembly lines including multiple surface mounters. To increase the productivity of PCB assembly line, the component allocation, feeder assignment, and assembly sequence of each surface mounter should be optimized. The optimization Problem is formulated as an integer programming problem. We divide the overall problem into two hierarchical sub-problems: forward-path problem and backward-path problem. The clustering algorithm and branch-and-bound algorithm are applied to solve the forward-path problem. The assignment algorithm and connection algorithm are applied to solve the backward-path problem. Simulation results are presented to verify the usefulness of the proposed method.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38A no.6
• /
• pp.459-464
• /
• 2013

In this paper, we introduce a modulation code design problem where best selection of two-dimensional codewords are determined to reduce two-dimensional (2D) intersymbol interference (ISI) and interpage interference (IPI). Codeword selection problem is formulated as a quadratic integer programming model that minimizes intra- and inter-symbol differences subject to uniform symbol usage and minimal Hamming distance violations. Second integer programming model detects the occurrence of isolated pixel pattern in the selected codewords. The proposed models are applied to 4-level and 2-level 6/8 codes.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38A no.8
• /
• pp.656-661
• /
• 2013

In Guided Scrambling (GS) encoding for the holographic storage, after scrambling augmented source word into codeword, the best codeword satisfying modulation constraint is determined. Modulation constraints considered in this paper are strength which is the minimum number of transition between '0' and '1' in each row and column of codeword array and the symbol balancedness of codeword array. In this paper, we show that GS encoding procedure can be formulated as an integer programming model and develop a fast neighborhood search heuristic for fast computation of control bits. In the simulation, we compared the performance of heuristic algorithm with the integer programming model for various array and control bit size combinations.