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

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

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2007년도 추계학술대회 및 제23회 정기총회
• /
• pp.226-227
• /
• 2007

항만 물동량의 증가로 자동화 항만 시스템에 대한 연구가 활발히 진행되고 있다. 본 연구는 선형 모터 기반 이송 장비인 LMTT 시스템의 자동화 운용에 있어 충돌 및 교착상태를 방지하기 위해 Random Access Sequence Dynamic Programming(RAS DP)를 이용한 최적 경로 탐색 알고리즘을 제안한다. 제안하는 알고리즘은 실시간으로 각 shuttle car의 최적 경로를 탐색한다.

• Journal of Communications and Networks
• /
• 제16권4호
• /
• pp.385-396
• /
• 2014

In this paper, we present a formal method for modeling and checking an enhanced version of the carrier sense multiple access with collision avoidance protocol related to the IEEE 802.11 MAC layer, which has been proposed as the standard protocol for wireless local area networks. We deal mainly with the distributed coordination function (DCF) procedure of this protocol throughout a sequence of transformation steps. First, we use the unified modeling language state machines to thoroughly capture the behavior of wireless stations implementing a DCF, and then translate them into the input language of the UPPAAL model checking tool, which is a network of communicating timed automata. Finally, we proceed by checking of some of the safety and liveness properties, such as deadlock-freedom, using this tool.

• 한국지능시스템학회논문지
• /
• 제18권5호
• /
• pp.592-598
• /
• 2008

본 논문에서는 AGVS(Automated Guide Vehicle System)의 충돌 및 교착 상태를 예측 및 회피하는 방법을 제안하고 회피에 따른 AGV의 지연 시간을 분산시킬 수 있도록 경로 점유권(PO: right of Path Occupying)을 제안한다. 이를 위해 먼저, AGV의 복잡한 작업 환경을 AGVS의 필요한 요소로 분류하는 모델을 제시한다. 이후, AGV의 최단 경로 탐색 알고리즘을 그래프 탐색 기법인 A* 알고리즘을 이용하여 구현하고 경로의 소요 시간, 방향 및 방향 전환 벡터를 얻은 뒤 이를 시뮬레이션 프로그램의 입력 데이터 사용하였다. 시뮬레이션 수행은 충돌 예측과 회피를 평가하기 위해 사용되었으며 그 결과 본 논문에서 제안한 방법이 지연시간을 최소화하는데 효과적임을 입증하였다.

• 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.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.751-754
• /
• 2007

본 연구에서는 유연생산시스템에서의 교착상태 확인 및 회피 알고리즘을 추이적 행렬을 이용하여 제안한다. 추이적행렬은 플레이스와 플레이스간의 관계를 표현함으로 마킹의 흐름을 플레이스와 트랜지션간의 관계형에서 상태와 상태간의 관계를 표현함으로 상태의 변화 검증에 편리하다. 교착상태 확인 및 회피 알고리즘을 제시하고, 기존에 발표되어진 siphon과 DAPN알고리즘간의 비료 검토를 통하여 제안한 알고리즘의 유용성을 검증하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 제39회 하계학술대회
• /
• pp.1833-1834
• /
• 2008

본 논문에서는 다수의 AGV를 운용하는 물류자동화창고에서 최단경로가 배정된 AGV의 주행도중 발생하는 충돌 및 교착 상태를 예측하고 이를 회피하는 알고리즘을 개발하고자 한다. 충돌 및 교착 상태는 최단 경로와 경로 점유시간을 비교함으로써 예측하고 이를 경로 선입에 따른 우선권 및 지연시간에 따른 우선권에 따라 회피할 AGV를 선정함으로써 충돌 회피에 따른 AGV의 총 운행시간을 최소화한다.

• 대한교통학회지
• /
• 제12권3호
• /
• pp.49-64
• /
• 1994

The development of a mathematical modular framework based on Petri Network theory to model a traffic network is the subject of this paper. Traffic intersections are the primitive elements of a transportation network and are characterized as event driven and asynchronous systems. Petri network have been utilized to model these discrete event systems; further analysis of their structure can reveal information relevant to the concurrency, parallelism, synchronization, and deadlock avoidance issuse. The Petri-net based model of a generic traffic junction is presented. These modular networks are effective in synchronizing their components and can be used for modeling purposes of an asynchronous large scale transportation system. The derived model is suitable for simulations on a multiprocessor computer since its program execution safety is secured. The software pseudocode for simulating a transportation network model on a multiprocessor system is presented.

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

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

• 한국정보처리학회논문지
• /
• 제7권8호
• /
• pp.2484-2496
• /
• 2000

네트워크 연결을 위한 고속 스위치는 계속해서 발달하여 왔으며, 스위치가 필요한 성능을 내는가를 여러 조건으로 분석하는 것은 중요한 일이다. 하지만, 복잡한 구조를 가진 시스템을 모델링하여 그 성능을 측정하는 것은 쉬운 일이 아니다. 큐잉이론을 이용한 모델링은 큰 상태 공간을 고려해야 됨은 물론이고 성능평가에 있어서도 복잡한 계산과정을 수행해야 하지만, SAN(Stochastic Activity Networks)에 의한 모델링과 성능평가는 그에 비해 간단하다는 장점이 있다. 본 논문의 목적은 출력포트에 큐를 갖는 고속 ATM 스위치를 확장된 SPN(Stochastic Petri Net)인 SAN을 이용해 모델링하고, 셀 도착 과정은 실제 트래픽과 유사한 특징을 가지고 있는 MMPP(Markov Modulated Poisson Process)로 모델링하여 그 성능을 평가하는데 있다. MMPP 모델을 이용한 버스티 트래픽을 고겨한 성능측정과 아울러 SAN의 장점을 이용한 확장이 용이한 스위치 모델을 보이고자 한다. 제한된 버퍼 크기를 갖는 출력 큐잉 ATM 스위치에 도착하은 셀은 포아송 도착 과정에서는 정확히 표현할 수 없는 버스티 특징을 표현할 수 있어 좀더 실제 트래픽에 가까운 MMPP로 모델링한다. SAN 모델은 UltraSAN 소프트웨어 패키지를 이용해 대기행렬의크기, 지연시간 그리고 셀 손실률에 대한 성능을 측정한다.