• 한국IT서비스학회지
• /
• 제7권4호
• /
• pp.209-219
• /
• 2008

Recently the number of Internet firms providing useful information like weather forecast data is growing. However most of such information is not prepared in accordance with customers' demand, resulting in relatively low customer satisfaction. To upgrade the service quality, it is recommended to devise a system for customers to get involved in the process of service production, which normally requires a huge investment on supporting computer systems like clusters. In this paper, as a way to cut down the budget for computer systems but to improve the performance, we extend the HPC cluster system to include other Internet servers working independently on the same LAN, to make use of their idle times. We also deal with some issues resulting from the extension, like the security problem and a possible deadlock caused by overload on some non-dedicated nodes. At the end, we apply the technique in the solution of some 2D grid problem.

• 산업공학
• /
• 제22권1호
• /
• pp.10-16
• /
• 2009

In this paper, we propose an efficient search algorithm for finding an optimal schedule to minimize makespan, while avoiding deadlock situation in Flexible Manufacturing Systems (FMS) with finite capacity, in which each job needs to be processed in several job stages for completion. The proposed algorithm uses a modeling and control method based on Petri-net. Especially, we improve the efficiency of the search algorithm by using a priority rule and an efficient bounding function during the search procedure. The performance of the proposed algorithm is evaluated through a numerical experiment, showing that it holds considerable promise for providing an optimal solution efficiently comparing to past work.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2006년도 추계학술대회 논문집(제1권)
• /
• pp.387-392
• /
• 2006

컨테이너 터미널과 같이 다수의 AGV(Automated Guided Vehicle)를 한정된 공간에서 동시에 운용하는 환경에서는 AGV의 작업생산성에 악영향을 주는 충돌, 데드락(deadlock), 라이브락(livelock)이 발생할 확률이 높다. 또한, AGV의 가/감속 운동은 AGV의 주행시간을 예측하기 어렵게 만들기 때문에 AGV 라우팅을 더욱 어렵게 만드는 요인이다 . 본 연구에서는 AGV 사이의 충돌, 데드락, 라이브락을 방지하기 위해 점유영역 예약테이블(Occupancy Area Reservation table; OAR table)을 이용하는 방법과 최적주행경로를 선택하기 위해 가감속 운동을 고려하여 AGV의 주행시간을 추정하는 방법을 제안한다. 시간중심 시뮬레이션(time-driven simulation)을 통해 제안방안을 실험한 결과 제안방안의 효과를 확인하였다.

• 한국항해항만학회지
• /
• 제30권10호
• /
• pp.855-860
• /
• 2006

컨테이너 터미널과 같이 다수의 AGV(Automated Guided Vehicle)를 한정된 공간에서 동시에 운용하는 환경에서는 AGV의 작업생산성에 악영향을 주는 충돌, 데드락(deadlock), 라이브락(liveiock)이 발생할 확률이 높다. 또한, AGV의 가/감속 운동은 AGV의 주행시간을 예측하기 어렵게 만들기 때문에 AGV 라우팅을 더욱 어렵게 만드는 요인이다. 본 논문에서는 AGV 사이의 충돌, 데드락, 라이브락을 방지하기 위해 점유영역 예약테이블(Occupancy Area Reservation table; OAR table)을 이용하는 방법과 최적주행경로를 선택하기 위해 가감속 운동을 고려하여 AGV의 주행시간을 추정하는 방법을 제안한다. 시간중심 시뮬레이 션(time-driven simulation)을 통해 제안방안을 실험 한 결과 제안방안의 효과를 확인하였다.

• 산업경영시스템학회지
• /
• 제34권4호
• /
• pp.189-196
• /
• 2011

In this paper, we propose a logical control-based actor-critic algorithm as an efficient approach for the approximation of the capacitated fab scheduling problem. We apply the average reward temporal-difference learning method for estimating the relative value functions of system states, while avoiding deadlock situation by Banker's algorithm. We consider the Intel mini-fab re-entrant line for the evaluation of the suggested algorithm and perform a numerical experiment by generating some sample system configurations randomly. We show that the suggested method has a prominent performance compared to other well-known heuristics.

• 정보처리학회논문지D
• /
• 제11D권1호
• /
• pp.115-122
• /
• 2004

소프트웨어 시스템 모델링에서는 정형적 기법으로 소프트웨어를 모델링하고 분석하여 소프트웨어 시스템이 가지는 문제점들을 구현에 앞서 미리 찾아 해결하고자 한다. 페트리 네트는 그래픽 정형 명세 언어로 병행적 시스템, 실시간 시스템, 통신 프로토콜 등의 소프트웨어 시스템 모델링 및 분석에 널리 이용되고 있다. 페트리 네트 분석에서, 교착상태(deadlock), 수행가능성(liveness) 등의 일반적인 시스템 특성 분석은 주로 도달성 분석을 통해 이루어지며 시스템 요구사항에 관한 고유 특성 분석은 모델 검사(model checking) 방법을 통해 이루어진다 하지만 도달성 분석과 모델 검사 방법에서는 기본적으로 시스템의 모든 가능한 상태들을 나열하여 분석하므로 모델의 규모가 커짐에 따라 상태가 기하급수적으로 증가하는 상태 폭발(state explosion) 문제가 발생한다. 이 논문에서는 상태 폭발을 회피하면서 시스템의 요구사항을 체계적으로 분석할 수 있는 새로운 방법을 제안하고자 한다. 먼저 분석하고자 하는 요구사항을 속성 네트로 나타낸 후, 시스템 모델과 속성 네트를 합성하여 분석한다. 이러한 합성 분석에서는 분석 대상 속성과 연관되지 않는 모델의 부분들을 축약 규칙에 따라 축약함으로써 분석 도메인을 점진적으로 줄어 나갈 수 있으며 요구사항 만족 여부를 간단히 검사할 수 있는 장점이 있다.