• 한국항해항만학회지
• /
• 제30권6호
• /
• pp.457-464
• /
• 2006

이적작업은 적하작업과 반출작업을 신속하게 처리하기 위해 자동화 컨테이너 터미널에서 중요하게 고려하는 운영 전략들 중의 하나이다. 이는 ATC(Automated Transfer Crane)의 운반시간과 재취급 작업시간을 줄이기 위해 장치장 블록에 산적되어 있는 컨테이너들을 재배치하는 작업이다. 본 논문은 가능한 컨테이너 이동을 최소화하면서 한 수직형 블록 내에 장치된 컨테이너들의 배치 형태를 바람직한 배치 형태로 전환시키기 위한 이적계획 문제를 다룬다. 이 문제는 선후관계를 가지는 2개의 하위 문제 즉, 장치위치 할당문제와 장비 작업순서 문제로 분할된다. 장치위치 할당문제는 운반시간의 관점에서 현재 장치되어 있는 컨테이너들 중에서 어떤 컨테이너를 어느 베이에 옮길 것인가를 결정한다. 이의 결과를 가지고 장비 작업순서 문제는 장치 공간의 제약을 고려하여 ATC의 이동시간을 최소화하는 작업순서를 정한다. 본 연구에서는 정수계획법과 동적계획법을 이용하여 각 하위문제를 모형화 하였다. 제안된 모형을 이용하여 이적계획 과정을 설명하기 위한 예제를 제시하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권10호
• /
• pp.1275-1283
• /
• 1999

본 논문은 CMOS 디지털 회로에서의 전력 소모의 주원인인 신호의 천이중에서 회로의 동작에 직접적인 영향을 미치지 않는 불필요한 신호의 천이인 글리치를 줄이기 위한 효율적인 알고리즘을 제시한다. 제안된 알고리즘은 회로의 지연 증가 없이 게이트 사이징과 버퍼 삽입에 의해 경로 균등(path balancing)을 이룸으로써 글리치를 감소시킨다. 경로 균등화를 위하여 먼저 게이트 사이징을 통해 글리치의 감소와 동시에, 게이트 크기의 최적화를 통해 회로 전체의 캐패시턴스까지 줄일 수 있으며, 게이트 사이징 만으로 경로 균등화가 이루어지지 않을 경우 버퍼 삽입으로 경로 균등화를 이루게 된다. 버퍼 자체에 의한 전력 소모 증가보다 글리치 감소에 의한 전력 감소가 큰 버퍼를 선택하여 삽입한다. 이때 버퍼 삽입에 의한 전력 감소는 다른 버퍼의 삽입 상태에 따라 크게 달라질 수 있어 ILP (Integer Linear Program)를 이용하여 적은 버퍼 삽입으로 전력 감소를 최대화 할 수 있는 저전력 설계 시스템을 구현하였다. 제안된 알고리즘은 LGSynth91 벤치마크 회로에 대한 테스트 결과 회로의 지연 증가 없이 평균적으로 30.4%의 전력 감소를 얻을 수 있었다.Abstract This paper presents an efficient algorithm for reducing glitches caused by spurious transitions in CMOS logic circuits. The proposed algorithm reduces glitches by achieving path balancing through gate sizing and buffer insertion. The gate sizing technique reduces not only glitches but also effective capacitance in the circuit. In the proposed algorithm, the buffers are inserted between the gates where power reduction achieved by glitch reduction is larger than the additional power consumed by the inserted buffers. To determine the location of buffer insertion, ILP (Integer Linear Program) has been employed in the proposed system. The proposed algorithm has been tested on LGSynth91 benchmark circuits. Experimental results show an average of 30.4% power reduction.

• 대한교통학회지
• /
• 제22권6호
• /
• pp.57-66
• /
• 2004

관측교통량으로부터 기종점 OD 행렬을 추정할 때 적정한 관측구간을 선정한 후 선정된 구간의 교통량을 이용하여 기종점 OD행렬을 추정하는 것이 기종점 ODGODFUF의 추정력을 향상시키고 경제적인 효율성(관측비용 감소)을 제고하기 위한 방법이라고 판단하였다. 본 연구에서는 관측구간을 선정하기 위해 정수계획법을 이용하여 관측구간을 선정하는 모형식을 제시하였으며 이 기법을 이용하여 교통량 관측구간을 선정한 후, 성정된 관측구간의 교통량으로부터 기종점 OD행렬을 추정하였다. 또한 적정한 관측구간으로 선정된 교통량으로부터 추정된 기종점 OD행렬의 추정력을 비교분석하기 위하여 임의적으로 관측구간을 선정하여 기종점 OD행렬을 추정한 기존의 연구결과와 비교하였다. 비교분석한 결과, 적정한 관측구간을 선정하여 추정한 구간교통량 및 추정 기종점 OD행렬의 추정력이 임의적으로 관측구간의 교통량을 이용한 결과의 오차보다 더 개선되는 것으로 분석되었다. 따라서 관측교통량으로 기종점 OD행렬을 추정하기 위해서는 적정한 관측구간을 선정하여 선정된 구간의 교통량으로부터 기종점 OD행렬을 추정하는 것이 오차를 줄일수 있으며 추정력을 향상시킬수 있는 방법이라고 하겠다.

• 제어로봇시스템학회논문지
• /
• 제15권11호
• /
• pp.1137-1143
• /
• 2009

This paper presents the FPGA implementation of efficient algorithms for approximating exponential function based on floating point format data. The Taylor-Maclaurin expansion as a conventional approximation method becomes inefficient since high order expansion is required for the large number to satisfy the approximation error. A format converter is designed to convert fixed data format to floating data format, and then the real number is separated into two fields, an integer field and an exponent field to separately perform mathematic operations. A new assembly command is designed and added to previously developed command set to refer the math table. To test the proposed algorithm, assembly program has been developed. The program is downloaded into the Altera DSP KIT W/STRATIX II EP2S180N Board. Performances of the proposed method are compared with those of the Taylor-Maclaurin expansion.

• 전기학회논문지
• /
• 제58권4호
• /
• pp.708-717
• /
• 2009

Recently, Korea government decided to introduce RPS (Renewable Portfolio Standard) mechanism which requires electricity providers to gradually increase the amount of renewable energy sources such as wind, solar, bioenergy, and geothermal. As a consequence, it is expected that the long-term fuel mix would be changed to result in more expensive production and the increased production costs would be distributed to the rate payers via electricity tariffs. This paper presents the change in long-term fuel mix in year 2020 with the four RPS scenarios of 3%, 5%, 10% and 20%, and the methodologies for collecting the increased production costs through new tariff schedule. The studies on long-term fuel mix have been carried out with the GATE-PRO (Generation And Transmission Expansion Program) optimization package, a mixed-integer program developed by the Korea Energy Economics Institute and Hongik university. Three methodologies for distributing the production costs to the rate payers have also been demonstrated.

• 전기의세계
• /
• 제23권1호
• /
• pp.73-78
• /
• 1974

Digital simulation algorithms and program for multimachine dynamic stability have been developed which represent the effects of machines much more complety than have been available previously. Emphasis is given to the savings of the memory spaces required, thus making it possible to use a small computer with limited capacity of core storage (without auxiliary storage). Both d- and q- aris quantities are fully represented, and the speed-governing and voltage-regulating system available are ertensive, thus allowing a very close approximation to any physical system. Facilities for dynamic and nonlinear loads are also included. The computational algorithms and program developed have been shown to be extensive and complete, and are very desirable features minimizing memory spaces for stability calculations. The capabilities have been demonstrated by several case studies for an actual power system of 44 generators, 22 loads and 33 buses. About 13-K words of memory spaces have been required for the case studies on the basis of two words per real variable and a word per integer variable.

• 대한산업공학회지
• /
• 제23권1호
• /
• pp.55-76
• /
• 1997

This paper presents a heuristic solution for the three dimensional container loading problem with boxes which are different in size. The container loading problem is formulated as a zero-one mixed integer programming model whose objective is to maximize the container utilization. Due to its problem complexity, we propose a heuristic based on layered loading technique. Also, presented is a way to achieve the weighting balance of the stacked boxes. A micro-computer based program is developed which generates container loading pattern provided by the proposed heuristic. The results are displayed by computer-graphic. To evaluate the performance of the proposed heuristic, computational experiments are performed. The results indicate that in most of the cases the proposed heuristic performs better than an existing heuristic in terms of the container utilization.

• 한국경영과학회지
• /
• 제19권1호
• /
• pp.1-16
• /
• 1994

In this paper, we try to raise the efficiency of PCB production by improving automated inserting process. This process is composed of part inserting sequence and feeder allocation problem. Until now, this problem is formulated by Traveling Salesman Problem (TSP) or Rural Postman Problem. They concerted more on parts(chips) inserting. But in this paper, we concentrate on Feeder. We formulate 0-1 Integer program (MP2) easier than TSP. This program can be solved by using LP Package (i. e. LINDO, GAMS etc). We propose Heuristic algorithm ISFA which guarantees a local optimum and often gives solution. We give some examples to prove ISFA algorithm.

• 전기학회논문지
• /
• 제58권3호
• /
• pp.467-477
• /
• 2009

Renewable Portfolio Standard (RPS) is a regulatory policy that requires the generation companies to increase the proportion of renewable energy sources such as wind, solar, LFG, fuel cell, and small hydro. Recently, Korean government decided to increase the portion of renewable energy to 3% to total electricity generation by 2012 from the current level of 0.13%. To achieve this goal, an innovative plan for market competitiveness would be required in addition to the present Feed-In-Tariff (FIT). That is Korean government has taken it into consideration to introduce a Renewable Portfolio Standard (RPS) as an alternative to FIT. This paper reviews the impact of RPS on the long-term fuel mix in 2020. The studies have been carried out with the GATE-PRO (Generation And Transmission Expansion PROgram) program, a mixed-integer non-linear program developed by Hongik university and Korea Energy Economics Institute. Detailed studies on long-term fuel mix in Korea have been carried out with four RPS scenarios of 3%, 5%, 10% and 20%. The important findings and comments on the results are given to provide an insight on future regulatory policies.

• Journal of the Korean Data and Information Science Society
• /
• 제25권4호
• /
• pp.697-703
• /
• 2014

본 논문에서 다루는 딜또는노딜 게임은 미국 NBC 방송국의 인기 오락 프로그램으로 여러 개의 단계로 구성되어 있다. 본 논문에서는 각 단계에서 제시되는 딜금액 결정 모형을 제한이 있는 회귀모형과 이차계획법을 이용하여 규명한다. 최종적으로 딜금액 결정 모형식과 관련하여 각 단계별로 선형식을 유도하고 딜금액이 선형식으로부터 얻어지는 값을 반올림한 정수값과 일치함을 시뮬레이션 자료를 이용하여 밝혔다.