• 전자공학회논문지B
• /
• 제31B권8호
• /
• pp.192-200
• /
• 1994

Gupta defined deadlocks in the blocks world and proved that decision making problem in the blocks world is NP-Complete. The types of deadlocks are classified and the properties of deadlocks are analyzed in this paper. The heuristic planner algorithm for the limited table-capacity blocks world using both the inverse position of the block and properties of deadlocks is designed and its performance is also evaluated.

• 정보교육학회논문지
• /
• 제2권2호
• /
• pp.269-277
• /
• 1998

분산처리 시스템하에서 교착 상태를 발견하기 위한 대부분의 분산 알고리즘은 probe라는 짧은 메시지를 사용하지만 발생되는 메시지의 일부분만이 사용될 뿐이다. 따라서 불필요한 probe들은 communication traffic을 심히 초래하는 결과를 낳는다. 본 논문에서는 이러한 결점을 보완하여 모든 probe들 이 유효하게 사용되어지는 알고리즘을 제시한다. Wait-for-graph상의 모든 edge의 수를 e라고 하였을 때, 제시된 알고리즘은 graph 상의 모든 교착 상태를 O(e) 메시지를 사용하여 발견한다.

• 대한산업공학회지
• /
• 제26권4호
• /
• pp.392-401
• /
• 2000

In this work, a deadlock avoidance strategy is proposed in order to effectively handle conflicts and deadlocks occurring in zone-control AGV (Automated Guided Vehicle) systems. The basic idea is based on Capacity-designated Directed Graph (CDG) theory that was developed to avoid from deadlocks in manufacturing systems. However, to enforce the effectiveness of detecting impending and restricted deadlocks, AGV routings are explicitly described in Extended Directed Graph (EDG). From EDG, a non-conservative deadlock-avoidance strategy is derived. The superiority of the proposed strategy lies on the applicability to diverse AGV path configurations using zone control. Also, because of its insensibility and robustness, it can be effectively used when the system has randomness and stochastic nature.

• 한국정보과학회논문지:시스템및이론
• /
• 제31권5_6호
• /
• pp.257-267
• /
• 2004

일반적 모델 기반의 분산 교착상태 문제를 해결하기 위한 대부분의 알고리즘들은 diffusing computation이라는 기법을 이용하였는데 이 기법의 주된 특징은 PROBE를 전파하고 그에 따른 응답 메시지에 교착상태 발견에 필요한 정보를 전달하는 것이다. 신속한 교착상태의 발견은 매우 중요하기 때문에 본 연구에서는 응답 메시지 대신 PROBE 상에 교착상태 발견을 위한 정보를 전달하게 한다. 이는 응답 메시지의 역전송 과정을 불필요하게 하기 때문에 기존 알고리즘에 비해 시간을 거의 두 배로 단축시키는 결과를 가져온다. 또한, 기존 알고리즘은 단지 알고리즘이 한번만 실행되는 경우를 고려하였으나 본 연구에서 제시한 알고리즘은 동시 수행하는 경우를 효율적으로 처리하여, 교착상태를 발견하는 시간을 더욱 단축시킬 수 있다. 제안된 알고리즘의 성능은 시뮬레이션을 통하여 타 알고리즘들과 비교하였다.

• 산업경영시스템학회지
• /
• 제31권3호
• /
• pp.24-34
• /
• 2008

본 논문은 존 조정하에서의 자동반송차량 네트워크에서 발생하는 고착을 해결하기 위한 두 가지 효과적인 알고리듬을 소개한다. 이 알고리듬들은 특별히 양방향 네트워크에 알맞도록 고안되었다. 사이클 제거 알고리듬은 고착을 예방하기 위한 차량의 안전한 라우트를 결정하나, 그래프 축소 알고리듬은 고착을 회피하기 위하여 미래 잠재적인 고착 발생 조건을 결정한다. 시뮬레이션을 통하여 알고리듬들의 성능을 비교 분석한 결과 작업물의 이동 횟수와 알고리듬의 시간 복잡성 측면에서 그래프 축소 알고리듬이 사이클 제거 알고리듬 보다 우수함을 나타내었다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 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)을 통해 제안방안을 실험한 결과 제안방안의 효과를 확인하였다.

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

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

• 지능정보연구
• /
• 제11권3호
• /
• pp.25-43
• /
• 2005

자동화 컨테이너 터미널의 생산성을 향상시키기 위해서는 장치장과 선석 사이를 오가며 컨테이너를 운반하는 무인 유도 차량(Automated Guided Vehicle; AGV)을 효율적으로 운영하여야 한다. 터미널에서 사용되는 AGV는 고정된 경로를 따르지 않고 자유롭게 주행할 수 있다. 이러한 특성을 가진 AGV들을 효율적으로 운영하기 위해서는 복잡하고 정교한 AGV교통 통제 시스템이 요구된다. AGV 주행 경로를 유연하게 설정하면 AGV가 주행하는 거리는 짧아지지만, AGV간의 충돌과 교착을 야기하는 경로간의 겹침과 교차 횟수는 늘어나게 된다. 따라서 모든 AGV의 경로를 사전에 세밀하게 분석하여 완벽하게 교착을 회피하는 방안은 계산 비용 측면에서 실시간에 적용하기가 어렵다. 본 논문에서는 빈번히 발생하는 두 AGV간의 충돌과 교착은 사전에 예측하여 회피하고, 셋 이상의 AGV간의 교착은 발생 후에 이를 감지하여 해결하는 방안을 제안한다. 본 제안 방안은 계산 비용이 적어 실시간 적용이 용이하다. 시뮬레이션을 통해 본 제안 방안의 효율성과 효용성을 검증하였다.

• 한국컴퓨터정보학회논문지
• /
• 제6권2호
• /
• pp.34-40
• /
• 2001

본 논문에서는 Choudhary의 선분추적 방식의 교착상태 탐지 알고리즘을 소개한다. 그리고 이 알고리즘이 교착상태를 탐지하지 못하는 4가지 경우를 예를 들어 보여주고, 이 문제점을 해결한 새로운 알고리즘을 제시하고 있다.

• ETRI Journal
• /
• 제11권4호
• /
• pp.22-36
• /
• 1989

In this paper, a design and implementation of an efficient protocol verification system named LOVE has been described. The LOVE has been developed specifically for LOTOS. It performs not only protocol syntax validation (PSV) but also protocol functional verification(PFV). The PSV is a test to check if a protocol is free from protocol syntax errors such as deadlocks and livelocks. The PFV confirms whether or not a protocol achieves its functional objectives. For the PSV, the reachability analysis is employed, and the observational equivalence test is used for the PFV. For protocol verification using the LOVE, a schematic protocol verification methodology has been outlined.