• 한국정보과학회논문지:시스템및이론
• /
• 제29권10호
• /
• pp.561-572
• /
• 2002

분산시스템에서는 어느 한 사이트가 전체 시스템의 상태 정보를 알 수 없기 때문에 분산 교착상태의 발견은 어려운 문제로 알려져 왔다. 본 논문은 분산 교착상태의 발견 및 해결을 위한 시간 효율적인 알고리즘을 제안한다. 알고리즘의 시작노드는 교착상태 발견을 위한 메시지를 전파하고 이에 대한 응답 정보로부터 wait-for graph를 구축한다. 제시한 알고리즘은 기존에 비해 교착상태를 발견하는데 걸리는 시간을 반으로 단축시키는 장점이 있다. 또한 대부분의 연구결과가 단지 알고리즘의 시작노드가 교착상태에 속하였는지의 여부를 판단할 수 있는 것과는 달리 본 알고리즘은 알고리즘을 수행하는 모든 노드들에 대해 그같은 결과를 말해준다. 이러한 특성으로 인해 교착상태는 보다 신속히 발견될 수 있다. 더우기 이제까지 교착상태의 해결에 대해 무관심하였거나 알고리즘의 시작노드를 중지시킴으로써 해결하였던 것에 반해 본 알고리즘은 효율적이고 상세한 교착상태 해결방법을 제시하였다.

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

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

• 산업경영시스템학회지
• /
• 제23권58호
• /
• pp.49-58
• /
• 2000

In order to resolve a deadlock problem in manufacturing systems, three main methods have been proposed-prevention, avoidance, and recovery. The prevention and avoidance methods require predicting deadlocks in advance in order to prohibit them. In contrast, the recovery method allows a system to enter a deadlock state, then resolves it usually using a common buffer. In this paper, a deadlock recovery method considering the impact of flexible job routings is proposed. This method is based on capacity-designated directed graph (CDG) model representing current requesting and occupying relations between Jobs and resources in order to detect a deadlock and then recovers it.

• 한국시뮬레이션학회논문지
• /
• 제17권2호
• /
• pp.91-103
• /
• 2008

자동화 제조 시스템에 시뮬레이션 기법을 사용하기 인해서는 자재취급 시스템의 성과를 동적으로 측정해야만 한다. 다중 에이전트 기술은 제조시스템을 지능화 시키고, 분산처리 된 시뮬레이터 개발에 적합하다. 다중 에이전트 시스템은 하나의 조정 에이전트와 다수의 응용 에이전트들로 구성된다. AGVS 시뮬레이터에 있어 이슈는 운반차량의 대수 결정, 양단방향 흐름에서의 이동경로 결정등과 같은 set-up문제와 운영문제로 구분 지을 수 있다. 본 논문에서는 다중 에이전트 기술을 사용하고, 실시간 교착상태 해법 알고리즘이 포함된 시뮬레이터를 소개한다. 시뮬레이터는 잘 알려진 프로이드(Floyd) 알고리즘을 사용하여 AGVS의 최단 이동경로를 구성된다. 움직이고 있는 차량 에이전트는 조정 에이전트에 의해 실시간 제어로 작동되고, AGV는 경로확인 알고리즘을 사용하여 충돌과 교착상태를 피한다. AGV의 위치는 수평시간 계획법에 근거하여 동적으로 재계산된다. 충돌해소 알고리즘은 어떠한 배치 형태에서라도, 그리고 큰 규모의 문제에서도 AGVS의 운영 중의 주행문제 해결을 보장한다. 시뮬레이터는 AGV들의 AGVS 칸트차트를 통하여 작동정보를 받고, 표현한다. 제안된 알고리즘의 성과와 다중 에이전트 기술을 사용하여 개발한 시뮬레이터는 실험을 통하여 검증된다.

• International Journal of Computer Science & Network Security
• /
• 제21권7호
• /
• pp.331-340
• /
• 2021

The Internet of Things (IoT) is a rapidly growing physical network that depends on objects, vehicles, sensors, and smart devices. IoT has recently become an important research topic as it autonomously acquires, integrates, communicates, and shares data directly across each other. The centralized architecture of IoT makes it complex to concurrently access control them and presents a new set of technological limitations when trying to manage them globally. This paper proposes a new decentralized access control architecture to manage IoT devices using blockchain, that proposes a solution to concurrency management problems and enhances resource locking to reduce the transaction conflict and avoids deadlock problems. In addition, the proposed algorithm improves performance using a fully distributed access control system for IoT based on blockchain technology. Finally, a performance comparison is provided between the proposed solution and the existing access management solutions in IoT. Deadlock detection is evaluated with the latency of requesting in order to examine various configurations of our solution for increasing scalability. The main goal of the proposed solution is concurrency problem avoidance in decentralized access control management for IoT devices.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1996년도 춘계공동학술대회논문집; 공군사관학교, 청주; 26-27 Apr. 1996
• /
• pp.631-634
• /
• 1996

This paper describes an intelligent user interface to define simulation models from the process and resource models. It also explains an automatic program generator of discrete event simulation model for shop floor control in a flexible manufacturing system. Especially, the paper is focused on the design and development of methodology to automate simulation modeling from the system description. Describing a shop floor control system in simulation is not an easy task since it must resolve various decision problems such as deadlock resolution, part dispatching, resource conflict resolution, etc. The program generator should be capable of constructing a complete discrete simulation models for a multi-product and multi-stage flow shop containing the above mentioned problems.

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

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

• 한국항행학회논문지
• /
• 제23권1호
• /
• pp.1-7
• /
• 2019

본 연구에서는 항공기 지상 이동 fast-time 시뮬레이터를 개발하였다. 시뮬레이터는 FCFS (first-come first-served) 스케줄러로부터 생성된 스케줄을 사용하여 항공기를 지상 이동시키는데, 항공기의 움직임을 모사하기 위해 1차원 등속 이동 운동 모델을 적용하였다. 공항 내 항공기 충돌 위험이 발생하는 상황을 분석하여 총 6개의 상황으로 분류하였으며 충돌 감지 및 회피 알고리즘을 구현하여 분리 거리를 유지하고 교착 상태를 방지 하도록 하였다. 인천국제공항의 실제 운용상황을 모사한, 72대의 항공기가 포함된 시나리오에 대하여 테스트를 실시하였다. 충돌 감지 및 회피 기능을 사용하지 않은 경우, 다양한 위험 상황이 확인되었으며, 충돌감지 및 회피 알고리즘을 사용하면 위험 상황이 없어지는 대신 추가적인 지연이 발생함을 확인하였다. 또한 회피 알고리즘에서 3가지 통행 우선순위 부여 방식을 구현하여 각 방식에 따른 지연 대수와 평균 지연 시간을 비교하였다. 남은 거리 또는 남은 시간에 따라 우선 순위를 부여하는 방식이 각 상황별 최소 지연을 선택하는 방식에 비하여 전체 추가 지연이 작아짐을 확인하였다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2005년도 춘계학술대회
• /
• pp.103-112
• /
• 2005

자동화 컨테이너 터미널의 생산성을 향상시키기 위해서는 장치장과 안벽 사이를 오가며 컨테이너를 운반하는 무인유도 차량(Automated Guided Vehicle: AGV)들이 효율적으로 주행하여 제 시간에 필요한 위치에 도착함으로써 연계 작업들의 지연을 최소화하여야 한다, 만일 AGV들이 목적지까지 주행하여야 하는 거리가 길거나 주행 중에 다른 AGV들과의 충돌이나 교축을 피하기 위하여 대기하여야 하는 상황이 빈번히 발생하면 주행 효율이 떨어지게 된다, 주행 경로의 길이를 줄이기 위하여 경로들을 보다 유연하게 설정할 수 있게 허용하면 경로들간의 교차 가능성이 높아져 교통 통제가 어려워지고 결과적으로 충돌과 교착이 발생할 가능성은 높아진다. 특히 교착을 사전에 방지하기 위하서는 문제가 발생할 소지가 있는 영역을 미리 파악하여 일부 영역을 다른 AGV들이 점유하지 못하도록 제한하여야 하는데, 이는 자칫 AGV 주행 공간의 활용도를 떨어뜨릴 수 있다. 또한 교착의 파악과 이를 방지하기 위한 제어는 실시간에 이루어져야 하므로 연산 부담이 상당하다. 본 논문에서는 유연한 주행 경로 설정이 가능하며 주행 공간을 효율적으로 활용할 수 있는 주행 경로 표현법과 충돌 방지 방안을 제안한다. 또한 교착 발생 가능성을 사전에 파악하고 회피(avoidance)하는데 소요되는 연산비용을 줄여 실시간 적용 가능성을 높이기 위하여 교착해결(deadlock resolution)에 기반을 둔 AGV 주행 관리 방안을 제시한다. 본 논문에서 제안하는 방안의 효율성을 시뮬레이션을 통하여 검증해 보았다.

• 한국터널지하공간학회 논문집
• /
• 제23권6호
• /
• pp.371-384
• /
• 2021

지하공간의 개발, 특히 도심지 대심도 터널은 지상의 부족한 공간을 대체할 수 있는 건설사업으로 개발 필요성이 꾸준히 증가하고 있으나 복잡하고 장시간이 걸리는 설계 및 시공특성, 장대화 특성 등으로 인하여 관련 공공갈등이 더욱 심화되고 양상이 복잡해지고 있다. 또한, 주로 공적인 예산이 투입되므로 민원발생 시 소극적인 대응이 이루어져 갈등이 증폭되거나 교착이 장기화되는 경우가 많다. 본 연구에서는 최근 발생한 도심지 대심도 터널 시공관련 주요 갈등의 진행상황을 분석하여 갈등 발생 원인, 장기화 요인 및 해결방안 등을 검토하고, 일반시민과 터널 전문가를 대상으로 한 설문조사를 통해 대심도 터널건설에 대한 인식, 주요 갈등요인에 대해 분석하고 도심지 대심도 터널의 갈등 최소화를 위한 제언사항을 제시하였다. 본 연구결과는 도심지 대심도 터널건설에 대한 시민 공감대 형성을 위한 다각적인 홍보방안 및 사업추진 절차의 개선사항 등 대안을 수립하고 터널 건설관련 인식 제고방안을 마련하는데 활용될 수 있을 것으로 판단된다.