• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2006년도 추계학술대회 논문집
• /
• pp.657-658
• /
• 2006

• 경영과학
• /
• 제29권3호
• /
• pp.183-192
• /
• 2012

For the past several decades, personnel scheduling and rostering problem has been one of the most popular research topics in optimization area. Among the numerous applications, airline (aviation) industry has been given most attention due to the economic scale and impact. Most of the literatures about the staff scheduling problem in airline industry are dealing with the air crew, pilots and flight attendances, and the rest of the literatures are about the ground staff, by whom cleaning, maintenance, fueling of aircraft and handling luggage are done from landing to taking off. None of the literatures found by the authors are dealing with the airline ground crew. In this paper roster of airline ground crew, who is responsible for issuing boarding pass, checking baggage, etc, is introduced, formulated and solved using CPLEX. Some expressions of the mathematical formulations, which are not suitable input format of the CPLEX, were transformed. Numerical examples are presented for the validation of proposed scheduling system.

• 대한조선학회논문집
• /
• 제46권6호
• /
• pp.641-649
• /
• 2009

There were many simulation models that made for validation of industrial environment and estimate of efficiency to be constructed. And there will be more simulation models made for same reason, too. Already, there have been a lot of simulation models in industry field and scholar labs. To reuse these simulation models, it is necessary to find common properties and make the high abstract simulation model. Based on this idea, this study shows to define the high abstract simulation model to be able to specialize in need and to make the software framework for connecting the specific simulation model to the abstract model. And it is held up as the example that applying the simulation framework to the Ship Panel Block shop simulation model.

• 한국CDE학회논문집
• /
• 제17권6호
• /
• pp.409-416
• /
• 2012

Most of the shipbuilding scheduling researches so far have been conducted with stress on the dock plan. That is due to the fact that the dock is the least extendable resource in shipyards and its overloading is difficult to resolve. However, once the dock scheduling is completed, it is also important to make a plan that make the best use of the rest of the resources in the shipyard, so that any additional cost is minimized. This study automates block allocation process by analyzing the existing manual process that designates production bays for the blocks during the midterm planning. Also, a planning scenario validation method is suggested, where block allocation scenarios based on diagrams are edited and simulated.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 추계학술대회 논문집 학회본부A
• /
• pp.289-291
• /
• 1998

This paper presents short-term hydro scheduling method for hydrothermal coordination by genetic algorithm. Hydro scheduling problem has many constraints with fixed final reservoir volume. In this paper, the difficult water balance constraints caused by hydraulic coupling satisfied throughout dynamic decoding method. Adaptive penalizing method was also proposed to handle the infeasible solutions that violate various constraints. The effectiveness of proposed method in this paper was examined through the case studies. Further studies for the validation of the hydro scheduling scheme obtained by genetic algorithm will be very appreciated.

• 한국태양에너지학회 논문집
• /
• 제38권2호
• /
• pp.15-31
• /
• 2018

A program to design a small capacity wind turbine blade is proposed in this study. The program is based on a matlab GUI environment and designed to perform blade design based on the blade element momentum theory. The program is different from other simulation tools available in a point that it can analyze the side-furling power regulation mechanism and also has an algorithm to find out optimal torque schedule above the rated wind speed region. The side-furling power regulation is used for small-capacity horizontal axis wind turbines because they cannot use active pitch control due to high cost which is commonly used for large-capacity wind turbine. Also, the torque schedule above the rated wind speed region should be different from that of the large capacity wind turbines because active pitching is not used. The program developed in this study was validated with the results with FAST which is the only program that can analyze the performance of side-furled wind turbines. For the validation a commercial 10 kW wind turbine data which is available in the literature was used. From the validation, it was found that the performance prediction from the proposed simple program is close to those from FAST. It was also found that the optimal torque scheduling from the proposed program was found to increase the turbine power substantially. Further experimental validation will be performed as a future work.

• 한국시뮬레이션학회논문지
• /
• 제28권4호
• /
• pp.45-56
• /
• 2019

장치장 운영전략을 주제로 한 많은 선행연구들은 장치장에 도착한 트럭들을 대상으로 야드 크레인의 작업시간을 최소화할 수 있는 작업순서를 결정했다. 하지만 실제 현장에서는 이미 장치장에 도착한 트럭들의 작업순서를 바꾸는 것은 거의 불가능하여, 도착순서에 따라 작업을 처리해주는 비교적 단순한 전략을 주로 적용해왔다. 이 방식은 작업순서에 대한 혼잡을 줄일 수 있고 관리가 편하다는 장점이 존재하지만, 간섭대기시간과 공차시간의 증가로 작업시간이 증가하는 문제점이 있다. 본 연구에서는 트럭이 야드 장치장에 도착하기 이전에 트럭의 작업 순서를 결정하는 스케줄링 방법을 제안했다. 트럭 도착 이전에 작업을 할당해 주기 위해 트럭의 도착 예정 시간을 추정할 수 있는 Container Pre-Information Notice 정보를 활용하였다. 연구에서 제안하는 스케줄링 방법의 효과성을 검증하기 위해 실제 부산컨테이너터미널의 설비 레이아웃 및 데이터를 이용하여 현업의 방식과 본 연구의 스케줄링 방식을 비교하였다. 그 결과 크레인 작업 시간에 영향을 미치는 공차이동 및 간섭 대기시간이 감소하여 평균 작업 처리 시간이 감소한 것을 확인하였으며, 또한 내부트럭의 대기시간과 외부트럭의 체감 대기시간이 감소하는 효과가 있었다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 제36회 하계학술대회 논문집 D
• /
• pp.2489-2491
• /
• 2005

Currently, Programmable Logic Contorller(PLC) uses Real Time Operation System(RTOS) as basic OS. RTOS executes defined results as to defined time. General features of RTOS emphasize the priority in each task, high-speed process of external interrupt, task scheduling, synchronization in task, the limitation of memory capacity. For safety critical placement, PLC software needs Verification and Validation(V&V). For example, nuclear power plant. In this paper, PLC RTOS is verified by formal methods. Particularly, formal method V&V uses verification tool called 'STATEMATE', and shows the results.

• Biotechnology and Bioprocess Engineering:BBE
• /
• 제10권2호
• /
• pp.142-148
• /
• 2005

This paper proposes a cell age model for Penicillium chrysogenum fed-batch cultivation to supply a qualitative insight into morphology-associated dynamics. The average ages of the segregated cell populations, such as growing cells, non-growing cells and intact productive cells, were estimated by this model. A combined model was obtained by incorporating the aver-age ages of the cell sub-populations into a known but modified segregated kinetic model from literature. For simulations, no additional effort was needed for parameter identification since the cell age model has no internal parameters. Validation of the combined model was per-formed by 20 charges of industrial-scale penicillin cultivation. Meanwhile, only two charge-dependent parameters were required in the combined model among approximately 20 parameters in total. The model is thus easily transformed into an adaptive model for a further application in on-line state variables prediction and optimal scheduling.

• 산업경영시스템학회지
• /
• 제47권1호
• /
• pp.20-27
• /
• 2024

Determining the number of operators who set up the machines in a human-machine system is crucial for maximizing the benefits of automated production machines. A man-machine chart is an effective tool for identifying bottlenecks, improving process efficiency, and determining the optimal number of machines per operator. However, traditional man-machine charts are lacking in accounting for idle times, such as interruptions caused by other material handling equipment. We present an adjusted man-machine chart that determines the number of machines per operator, incorporating idleness as a penalty term. The adjusted man-machine chart efficiently deploys and schedules operators for the hole machining process to enhance productivity, where operators have various idle times, such as break times and waiting times by forklifts or trailers. Further, we conduct a simulation validation of traditional and proposed charts under various operational environments of operators' fixed and flexible break times. The simulation results indicate that the adjusted man-machine chart is better suited for real-world work environments and significantly improves productivity.