• 정보과학회 논문지
• /
• 제44권9호
• /
• pp.986-991
• /
• 2017

본 논문에서는 주어진 입 출력 예제로부터 명령형 프로그램을 합성하는 방법을 제시한다. 프로그램 합성기의 입력으로 (1) 입 출력 예제, (2) 불완전한 프로그램, (3) 사용될 변수 및 정수가 주어지면, 합성기는 주어진 입 출력 예제를 모두 만족하는 완성된 프로그램을 출력한다. 기본 알고리즘은 정답 프로그램을 찾을 때까지, 가능한 모든 프로그램을 나열하는 것이다(enumerative search). 이 경우 탐색 공간이 매우 크므로 오랜 시간이 걸린다는 문제점이 있다. 시간을 효과적으로 단축하기 위한 우리의 방법은, 코드 최적화 기법을 이용해 문법은 다르지만 같은 의미의 프로그램들을 확인함으로써, 불필요한 중복탐색을 피하는 것이다. 20개의 입문자 교육용 프로그래밍 문제들을 대상으로 합성 알고리즘 성능을 평가한 결과, 우리의 방법이 기본 탐색 알고리즘의 성능을 약 10배 향상시킴을 확인하였다.

• 한국산학기술학회논문지
• /
• 제17권6호
• /
• pp.89-97
• /
• 2016

본 논문은 포병진지 구축계획 문제의 효과적인 해결을 위해 해당 문제를 최적화 모형으로 형성하고, 현실규모 문제 해결을 위한 휴리스틱 알고리즘을 제시한다. 포병진지 구축계획은 공병부대의 지원 포병부대 결정과 공병 지원팀 편성, 편성된 공병 지원팀의 포병부대 지역 내 포병진지 구축일정을 수립하는 의사결정을 포함한다. 군에서는 포병진지 구축계획을 담당자의 경험적 지식을 바탕으로 수립한다. 본 논문에서는 공병부대의 포병진지 구축 일정계획 문제를 효과적으로 해결하기 위한 혼합정수계획 모형을 제안한다. 해당 모형의 목적은 공병 지원팀으로 구축이 요구되는 모든 포병진지를 구축 완료하는 데 걸리는 시간을 최소화하는 것이다. 또한, 현실규모 문제 해결을 위해 포병진지 구축계획 문제를 분할하여 해결하는 휴리스틱 알고리즘을 제안한다. 제한한 휴리스틱 알고리즘의 성능을 확인하기 위해 두 가지 실험을 실시한다. 제안한 휴리스틱 알고리즘은 소규모 문제를 이용한 최적해 근접성 실험에서 최적해 대비 평균 6.44% 오차범위의 해를 도출했으며, 포병진지 200개 이상인 문제를 이용한 현실규모 문제 해결 가능성 실험에서 문제를 해결하는 데 평균 79.8초가 소요되었다.

• 전자공학회논문지
• /
• 제50권8호
• /
• pp.67-75
• /
• 2013

OFDM (Orthogonal Frequency Division Multiplexing) 전송방식의 장점은 높은 주파수 효율, RF 간섭에 대한 강인성, 낮은 다중경로 왜곡 등을 들 수 있다. 다중 사용자 OFDM의 채널용량을 확대하기 위해서는 사용자간의 부채널과 비트할당을 위한 효율적인 알고리즘을 개발하여야 한다. 본 연구에서는 다중 사용자 OFDM 시스템에서 총전송전력을 최소화하는 부채널 및 비트 할당을 위한 0-1 정수계획법문제의 선형계획법 dual 문제의 특성을 기존의 볼록최적화기법 접근법과 비교하고 선형계획법 dual 해를 이용한 primal 휴리스틱 알고리즘을 제안한다. MQAM (M-ary Quadrature Amplitude Modulation)을 사용하고 3개의 독립적인 Rayleigh 다중 경로로 구성된 주파수 선택적 채널을 가정한 경우 MATLAB을 사용한 모의실험에서 제안된 휴리스틱 해의 성능을 기존의 MAO, ESA 휴리스틱 해 및 정수계획법 최적해와 성능을 비교하였다.

• 한국통신학회논문지
• /
• 제37B권12호
• /
• pp.1102-1112
• /
• 2012

스마트폰의 급격한 보급에 따른 무선 접속망의 과부하 문제가 네트워크에서 중요한 문제로 부각되고 있다. 이 논문에서는 매크로 셀, 펨토 셀, 와이파이 접속망으로 다양하게 구성되어 있는 현재 이종 네트워크에서 접속망 과부하 문제를 해결하기 위한 최적의 셀 선정 기법과 리소스 할당 기법을 제안한다. 주어진 현재 서비스 부하 상태에서 네트워크가 동시에 추가 수용할 수 있는 사용자 수를 최대화할 수 있는 사용자-셀 간의 선정 기법을 제공한다. 이를 위해 이종 무선 접속망에서의 셀 선정 문제를 이진 정수계획 모형으로 최적화 문제를 수립하고, 이를 최적화 해법 도구를 이용하여 접속망 과부하를 억제할 수 있는 최적의 셀 선정 기법을 도출한다. 네트워크 레벨 시뮬레이션을 통해 이 논문에서 제안된 기법이 현재 무선 접속망에서 주로 사용되고 있는 국소적 셀 선정기법에 비해, 과부하가 걸린 무선 접속망에서 주어진 여러 셀들을 최대한 균등하게 효율적으로 활용함으로써 현저하게 네트워크 접속 장애율을 감소시킬 수 있음을 보인다. 또한 논문에서 사용된 이진 정수계획 모형의 최적화 문제를 푸는 데 소요되는 계산 복잡도에 대한 실험을 통해 제안된 알고리즘의 실용 가능성에 대해서 검증한다.

• 대한지리학회지
• /
• 제46권6호
• /
• pp.724-737
• /
• 2011

토지 획득 문제(land acquisition problems)란 일련의 목적에 맞게 서로 인접하고 있는 최적의 토지 필지들을 찾는 것이다. 이 문제는 도시 및 지역 계획과 각종 구획 문제 등에서 사회적 활용도가 높은 분야로서, 공간적 요소인 인접성(contiguity)와 밀집도(compactness)는 중요한 제약요소로 다루어지고 있다. 그렇지만, 공간적 밀집도(spatial compactness)는 완벽한 측정방법이 존재하지 않고, 획득된 필지들의 둘레를 제거나, 모양을 측정하는 등의 여러 가지 방법으로 측정되고 있다. 그리하여 이 논문에서는 공간적 밀집도를 측정하는 새로운 방법을 제시하고자 한다. 인접한 토지 필지간의 내부적인 구조적 특징을 바탕으로 proximity degree라고 불리는 공간적 밀집도를 측정하는 최적화 연구모델(optimization model)을 발전시켰다. 일련의 실험을 통해 proximity degree에 따라 다양한 공간적 밀집도를 가진 모습을 확인할 수 있다.

• 한국철도학회논문집
• /
• 제14권2호
• /
• pp.167-173
• /
• 2011

본 연구는 전력소비완화를 위해 전동열차의 출발시간을 조정하는 문제를 다룬다. 전동열차의 운행은 역행, 타행 및 제동의 단계로 구성된다. 역행단계는 전동열차의 운행을 위해 많은 전력량이 필요로 하며, 타행단계는 그 전력을 바탕으로 전력 소비가 거의 없이 운행되는 단계이고, 마지막으로 제동단계는 정차를 위해 감속하는 단계로 전동열차의 관성력으로 인해 운동에너지가 전력으로 바뀌어 회생전력이 발생한다. 회생전력은 동일 전력계통의 운행구간에서 동 시간대에 역행운행 중인 전동열차의 동력자원으로 재사용 될 수 있어 소비전력량을 줄이는 것이 가능하다. 이를 위해 혼합정수계획모형을 제안하고 모형의 실효성을 검증하기 위해 수도권 도시철도 한 구간의 전력데이터를 사용하여 실험하였다.

• 한국항해항만학회지
• /
• 제36권8호
• /
• pp.665-671
• /
• 2012

이적작업은 자동화 컨테이너 터미널에서 하역작업의 생산성을 높이는 운영 전략으로 연구되고 있다. 이는 장치장 블록 내 컨테이너들의 재배치 작업을 의미한다. 이적작업의 크레인 작업할당 문제는 작업가능시간에 대한 제약을 고려하여 이적작업의 효과를 최대화하기 위해 가능한 이적작업 중에서 효율적인 이적작업을 선정하고 이들의 작업순서를 정하는 것이다. 본 연구는 혼합정수계획법을 활용하여 장치장 크레인의 작업할당 문제에 대한 최적화 수리모형을 개발하고 이의 예를 제시하였다. 그러나 수리모형은 계산시간이 많이 소요되어 현장에서 사용되기 어렵다. 따라서 현실 적용을 위해 대표적인 5개의 작업할당 규칙을 비교 평가하였다. 수치실험에서 maximum weight ratio(MR) 규칙이 전반적으로 뛰어난 성능을 보였다.

• East Asian mathematical journal
• /
• 제32권4호
• /
• pp.545-563
• /
• 2016

The aim of this study was to observe processes and implication to a given program for the 20 gifted children grade 5 by making the number from 1 to 100 with natural numbers 4,4,9 and 9. Revelation of creativity, mathematical tendency of students and meaningful responses were observed by the qualitative records of this game activity and the analysis of result. The major result of a study is as follows: The mathematical creativities of students were revealed and developed by this activity. And the mathematical attitude were changed and developed, so student could actively participate. And students could experience collaborative and social composition learning by presentations and discussion, competition with a permissive atmosphere and open-game rule. It was meaningful that mathematical ideas (negative number, square root, factorial, [x]: the largest integer not greater than x, absolute value, percent, exponent, logarithm etc.) were suggested and motivated by students themselves.

• International Journal of Automotive Technology
• /
• 제6권4호
• /
• pp.413-419
• /
• 2005

The United States automotive recycling infrastructure has successfully reduced the amount of automotive waste sent to landfills, especially since the introduction of shredders in the late 1950s. Shredders are necessary to process and recycle automotive hulks and other durable goods. However, this industry faces significant challenges as the automotive manufacturers are increasing the use of nonmetallic components which are difficult to recycle. Additionally, it is becoming obvious that automobiles contain hazardous materials which place heavy burdens on the environment. To address this growing concern, we propose a process planning model for automotive shredders to make tactical decisions regarding at what level to process and at what level to reprocess feed stock materials. The purpose of this paper is to test analytical models to help shredders improve the profitability and efficiency of the bulk recycling processes for end of life automobile returns. The work is motivated by an actual recycling problem that was observed at Capitol City Metals shredding facility in Indianapolis, Indiana.

• 경영과학
• /
• 제20권1호
• /
• pp.65-76
• /
• 2003

The increased environmental concerns and the emphasis on recycling are gradually shifting the orientation of municipal solid waste (MSW) management. This paper is designed to evaluate regionalization programs for MSW management system. We developed a mixed intiger network programming (MIP) model to identify environment-friendly, cost-effective expansion plans for regionalization scenarios considered. The MIP model is a dynamic capacity expansion model based on the network flow model that depicts the MSW management cycle. In particular, our model is designed to determine the optimal form of regionalization using binary variables. We apply this model to assess the regionalization program of Seoul Metropolitan City, which includes three scenarios such as 1) districting, 2) regionalization with neighboring self-governing districts, and 3) g1obalization with all districts. We demonstrate how our model can be used to plan the MSW system. The results indicate that optimal regionalization with nearby self-governing districts can eliminate unnecessary landfills and expansions if jurisdictional obstacles are removed.