• 한국정보통신학회논문지
• /
• 제13권3호
• /
• pp.475-481
• /
• 2009

교착상태의 발생 주기 및 확률은 교착상태를 다루는 알고리즘 설계 시 많은 영향을 미친다. 그러나 프로세스나 자원의 성격, 자원 요구나 반환 연산 방식, 프로세스 개수 등의 성질이 교착상태 발생에 어떻게 영향을 미치는지 분석하는 게 쉽지 않아 이 분야에 대한 연구가 매우 부족하다. 이 논문은 자원 할당 상태를 (a,b)t로 표현하는 상태 모델을 이용하여 상태의 개수를 획기적으로 감소시켰다. 또한 시스템 분석에 있어서 자원의 오류 발생 비율과 복구 비율이 미치는 영향도 함께 포함할 수 있도록 설계하였다. 그 결과 교착상태의 평균 발생 주기, 요구연산이 보류되거나 교착상태를 유발할 확률, 사이클의 길이가 2인 교착상태가 발생할 확률 등과 같은 각종 수식을 구하였다.

• 한국항해항만학회지
• /
• 제42권1호
• /
• pp.47-56
• /
• 2018

초대형선박의 등장으로 컨테이너 터미널 생산성의 한계에 직면하고 있으며 이를 해결하기 위한 새로운 개념의 터미널시스템들이 제안되고 있다. 본 논문에서는 개념설계 중인 레일기반 컨테이너 이송시스템을 대상으로 연구한다. 이는 레일 위를 움직이는 무인반송차인 플랫카와 천장형 레일을 따라 움직이는 셔틀크레인으로 구성된 시스템이다. 자동화된 컨테이너 터미널에서 컨테이너 수송 기능을 담당하는 무인반송차의 운영 시 교착과 같은 병목현상은 오랫동안 중요한 문제로 잘 알려져 있다. 따라서 초대형 선박과 같이 대량의 컨테이너 취급하는 신개념의 레일기반 컨테이너 이송시스템에서 발생 가능한 교착 현상을 정의하고 해결방안에 대해 논한다. 교착 현상은 이종장비 간 교착과 플랫카 간 교착문제로 구분하여 소개한다. 본 연구는 시뮬레이션 접근법을 사용하여 레일기반 컨테이너 시스템 모델을 개발한다. 개발된 시뮬레이션 모델의 실행을 통하여 수송구간에서 발생 가능한 교착 상태를 확인하고 이를 해소하기 위한 교착 회피 규칙을 개발한다. 시뮬레이션 실험을 통하여 교착발생 빈도를 기준으로 교착 회피 규칙들의 성능을 비교한다.

• 한국시뮬레이션학회논문지
• /
• 제17권3호
• /
• pp.75-83
• /
• 2008

여러 개의 작업이 동시에 작동 할 때 서로 다른 작업에서 공유자원을 사용하기 위하여 상대방의 작업이 끝나기를 기다리는 상태를 교착상태라 하며 이는 시스템의 효율성과 경제성 제고에 가장 중요한 문제 중 하나이다. 지금까지 이러한 교착상태 확인은 도달성(reachability)기법이나 서브 넷(Subnet)으로 분리하여 분석하는 기법 등이 가장 많이 사용되었으나, 분석에 필요한 시간과 노력, 복잡성과 효율성에 있어서 효과적이지 못한 단점을 가지고 있다. 본 연구는 패트리 넷(Petri Net)에서 모든 플레이스(Place) 간의 관계를 나타내는 추이적(Transitive)행렬을 이용하여 교착상태가 나타날 가능성이 있는 자원공유 플레이스를 분석하여 교착상태를 검증하는 정책을 제시한다. 이를 위하여 교착상태를 확인할 수 있는 자원공유 플레이스의 관계를 정의하고, 유연생산시스템 모델을 이용하여 제안한 알고리즘의 성과를 검증한다.

• 한국통신학회논문지
• /
• 제33권7B호
• /
• pp.528-537
• /
• 2008

본 논문은 NoC 시스템에서 수행되는 멀티미디어 application에서 deadlock과 패킷 drop율을 최소화하기 위한 hybrid 구조의 네트워크 토폴로지와 job distribution 알고리듬을 제안한다. 제안된 NoC 시스템은 멀티미디어 application에 따라 패킷 drop율이 최소화될 수 있는 네트워크 토폴로지를 적용하여 sub-cluster에 배정하고, 수행되는 application은 sub-cluster 내의 네트워크 상황을 고려하여 동적 round-robin 방식의 스케줄링을 수행한다. 본 연구에서는 hybrid 네트워크 토폴로지와 동적인 job distribution을 통해 네트워크에 발생하는 트래픽을 분산시킴으로써 패킷 deadlock과 패킷 drop율을 최소화하는 알고리듬을 제시하였다. 제안된 시스템의 성능을 검증하기 위해 임베디드 시스템에서 사용되는 멀티미디어 application 중 MPEG4 동영상 재생, MPEG1 audio layer-3(MP3) 재생, GPS 위치 계산, OFDM 복조를 대상으로 실험하였다. 실험결과 제안된 job distribution 알고리듬에 적용된 시스템은 기존의 APSRA 알고리듬에 비해 패킷 drop율이 평균 13% 감소하고 면적은 2.7% 증가하였다. 또한 deadlock 감소의 비교 대상으로 흔히 사용되는 XY 알고리듬을 본 구조에 맞게 변경한 알고리듬에 대해 패킷 drop율은 평균 23.9% 감소하고 면적은 3.0% 증가하였다.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제53권8호
• /
• pp.585-593
• /
• 2004

Fault-tolerant gait planning in legged locomotion is to design gaits with which legged robots can maintain static stability and motion continuity against a failure in a leg. For planning a robust and deadlock-free fault-tolerant gait, kinematic constraints caused by a failed leg should be closely examined with respect to remaining mobility of the leg. In this paper, based on the authors's previous results, deadlock avoidance scheme for fault-tolerant gait planning is proposed for a hexapod robot walking over even terrain. The considered fault is a locked joint failure, which prevents a joint of a leg from moving and makes it locked in a known position. It is shown that for guaranteeing the existence of the previously proposed fault-tolerant tripod gait of a hexapod robot, the configuration of the failed leg must be within a range of kinematic constraints. Then, for coping with failure situations where the existence condition is not satisfied, the previous fault-tolerant tripod gait is improved by including the adjustment of the foot trajectory. The foot trajectory adjustment procedure is analytically derived to show that it can help the fault-tolerant gait avoid deadlock resulting from the kinematic constraint and does not make any harmful effect on gait mobility. The post-failure walking problem of a hexapod robot with the normal tripod gait is addressed as a case study to show the effectiveness of the proposed scheme.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2000년도 추계학술대회 및 정기총회
• /
• pp.71-74
• /
• 2000

Due to the complexity of parts flow and limited resources, FMS(Flexible Manufacturing System) develops blocking, starvation and deadlock problems, which reduce its performance. In order to minimize such problems buffers are imposed between workstations of the manufacturing lines. In this paper, we are concerned with finding the optimal buffer allocation with regard to maximizing system throughput in limited total buffer capacity situation of FMS. A grouping heuristic to solve the buffer allocation problem is proposed. Computer simulation using Arena will be experimented to show the validation of the proposed algotithm.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2003년도 ISIS 2003
• /
• pp.668-671
• /
• 2003

A concept of deadlock point of fuzzy sequential circuit is proposed. There are six cases of fuzzy sequential circuits of 1 state and 1 input variables with deadlock points. Examples of each case are shown both in a form of characteristic equation and in a graphical illustration. As fuzzy sequential circuit with 1 state and 1 input variables, D and T fuzzy flip-Hops are also characterized using the proposed concept. Thus one of the four types of D fuzzy Hip-Hops and T fuzzy Hip-flop have a deadlock point 1/2.

• 제어로봇시스템학회논문지
• /
• 제14권3호
• /
• pp.213-220
• /
• 2008

The object of this paper is to propose a method to deal with the problem of modeling user specifications in approaches based on supervisory control and Petri nets. However, most of Petri Net approaches are based on forbidden states specifications, and these specifications are suitable the use of tool such as the reachability graph. But these methods were not able to show the user specification easily and these formalisms are generally limited by the combinatorial explosion that occurs when attempting to model complex systems. Herein, we propose a new efficient method using FSSTP (Forbidden Sequences of State-Transitions Problem) and theory of region. Also, to detect and avoid the deadlock problem in control process, we use DAPN method (Deadlock Avoidance Petri nets) for solving this problem in control model.

• 제어로봇시스템학회논문지
• /
• 제11권4호
• /
• pp.344-352
• /
• 2005

The modem production systems are required to produce many items. This is due to the fact that society has become more complex and the customers' demands have become more varied. The demand for complex production systems of various purposes, which can flexibly change the content of work, has increased. One of such production systems is FMS (Flexible Manufacturing System). Limited resources must be used in FMS when a number of working procedures are simultaneously being undertaken because the conditions of stand-by job processes cannot be changed. Researchers are currently being conducted to determine ways of preventing deadlocks. In this study, we proposes the algorithm for detection and recovery of a deadlock status using the DDAPN(Deadlock Detection Avoidance Petri Net). Also, we apply the proposed algorithm has a feature to the FMS.

• 산업기술연구
• /
• 제18권
• /
• pp.355-362
• /
• 1998

The deadlock detector is a DBMS sub-component that examines periodically whether system is in a deadlock state based on lock waiting information of transactions. The deadlock detector and transactions execute concurrently in a DBMS and read and/or write the lock waiting information simultaneously. Since the lock waiting information is a shared one, we need an efficient method guaranteeing its physical consistency by using mutual exclusion. In this paper, we propose a new method that effectively guarantees physical consistency of lock waiting information. Two primary goals of our method is to minimize the processing overhead and to maximize system concurrency.