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

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

• 한국항해항만학회지
• /
• 제29권8호
• /
• pp.723-733
• /
• 2005

본 논문은 AGV 주행 영역을 그리드 단위로 나누어 관리하는 자동화 컨테이너 터미널에서 AGV들 간의 교착을 방지할 수 있는 방안과 목적지까지의 예상 소요 시간이 짧은 경로를 효율적으로 선정할 수 있는 방안을 함께 제안한다. AGV들 간의 교착을 방지하기 위하여 그리드를 노드로 하여 AGV 주행 중 점유 순서의 선후를 연결한 그래프에서 교착 발생 가능성이 있는 강결합 요소를 파악한다. 운행 시에는 강결합 요소에 해당되는 그리드들에 AGV들이 진입하는 것을 통제함으로써 교착 발생을 방지한다. 이와 함께 AGV들 간의 간섭에 의한 지연까지 고려하여 목적지에 보다 일찍 도착할 수 있는 경로를 실시간에 추정할 수 있도록 주행 소요 시간을 추정할 수 있는 회귀 분석 함수를 생성하고 활용하는 방안을 함께 소개한다. 제안한 방안을 시뮬레이션 한 실험 결과 48시간동안 교착 발생 없이 AGV들을 운행할 수 있었으며, 회귀분석 함수를 이용하여 선정한 경로 이용 시 QC별 AGV 방문 횟수를 $2\~10$회 향상시킬 수 있었다.

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

본 연구는 컨테이너 터미널에서 사용될 수 있는 교착방지를 위한 알고리즘 개발을 목표로 하였다. 기존의 교착방지 알고리즘은 많은 계산시간을 소요한다는 단점을 극복하기 위하여 본 연구에서는 하나의 경로에 대해서 예약스케줄을 작성하여 두고 반복적으로 사용하는 예약 스케줄 표 방식을 제안하였다. 시뮬레이션 실험 결과 예약 스케줄 표 방식은 그때그때의 주행경로에 대한 예약스케줄링을 위하여 계산시간이 필요 없기 때문에 AGV의 실시간 운영을 위하여 유용한 방식임을 알 수 있었다.

• 한국정보통신학회논문지
• /
• 제20권11호
• /
• pp.2131-2136
• /
• 2016

산업 4.0 이전의 많은 제조 방식들이 단순히 생산 라인의 단점을 극복하는 것이 목적이라면, 산업 4.0은 생산 설비 스스로 작업 방식을 결정하여야 한다. 이러한 과정 속에서 FMS, AMS, MAS 등의 제조 방식들이 발전하여 왔으나, 이러한 제조방식들은 기계, agent, 자원 공유 등의 이유로 교착상태가 발생할 수 있다. 이를 해결하기 위해 여러 연구가 진행되어 왔지만, 사람의 개입으로 인해 제조 방식이 동적으로 재구성되는 상황에서 발생되는 교착상태를 방지하는 연구는 미비하다. 본 논문에서는 동적으로 재구성되는 상황의 모델을 제시하며, 이러한 상황에서 발생하는 교착상태를 방지하는 기법을 제안한다. 제안하는 기법은 사람이 개입한 기계의 제조 시간이 변경될 경우 주변 기계들에게 오차 시간 메시지를 브로드캐스트함으로써 생산 제조 시간을 조절한다. 이를 통해 생산 라인의 상황이 변화하더라도 교착상태는 방지할 수 있을 것이라 예상된다.

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

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

• 한국시뮬레이션학회논문지
• /
• 제19권4호
• /
• pp.67-75
• /
• 2010

교착이란 일반적으로 병행과 자원공유 모듈에 의한 서브 시스템에서 발생한다. 사이폰과 트랩은 패트리 넷의 교착 상태를 잘 나타낸다. 사이폰은 많은 연구자들에게 교착을 감지하고 방지하는데 사용되어진 개념이다. 그러나 모든 사이폰 서브넷을 감지하는데는 많은 시간과 노력이 필요하다. 추이적 행렬은 플레이스와 트랜지션간의 관계를 표현하므로 추이적 행렬과의 관계를 분석하여 모든 사이폰 서브 넷을 감지하는 알고리즘을 제안한다. 또한 제안한 알고리즘의 성능을 사례를 들어 검증한다.

• 전자공학회논문지CI
• /
• 제48권3호
• /
• pp.76-81
• /
• 2011

침입방지시스템은 내부 시스템 보안 또는 외부 공격의 문제를 해결하기 위한 중요한 솔루션이다. 이러한 침입방지시스템을 도입 시 가장 우선적으로 고려해야 될 사항으로는 다양한 기능보다 안정성이다. 본 논문은 침입방지시스템 보안모델의 사용자 인증기능에 대한 안정성 검증을 위하여 칼라 페트리 네트를 이용하였다. CPN은 분산되어있고, 동시 발생적이며, 결정적 또는 동기화 방식의 비결정적인 시스템들에 대하여 그래픽적인 모델링 언어로 표현이 가능하다. 이런 칼라 페트리 네트는 각 처리 단계에 대하여 모든 가능한 상태와 발생 그래프로 표현된다. 침입방지시스템 보안 모델의 안정성은 칼라 페트리 네트를 이용한 모든 상태표현과 발생그래프의 분석결과가 무한반복 혹은 교착상태가 없으므로 검증되었다.

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

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

• 한국정보과학회논문지:시스템및이론
• /
• 제27권3호
• /
• pp.255-263
• /
• 2000

다단계 상호 연결망은 대규모 멀티컴퓨터의 대표적인 연결망 구조이다. 브로드캐스트와 멀티캐스트 통신은 캐쉬 관리, 리덕션, 베리어 동기화와 같은 협동 통신을 지원하기 위한 기반 기술이다. 본 논문은 대규모 멀티컴퓨터 시스템을 구성하기에 적합한 웜홀 스위칭하는 양방향 베니언 망에서 동작하는 멀티캐스트 기법을 제안한다. 제안하는 기법은 간단한 하드웨어하에서 교착상태를 일으키지 않고 두 번의 전송 단계를 거침으로써 멀티캐스트와 브로드캐스트를 수행한다. 또한, 원하는 목적 노드의 주소를 큐브로 병합하고, 헤더는 단일 큐브로 인코딩된다. 출력 링크에 경쟁이 발생하면 가장 상위 입력 링크로 부터 들어온 플릿에게 우선 순위를 줌으로써 교착상태를 방지한다. 제안하는 기법을 시뮬레이션을 통해서 통신지연 시간의 관점에서 다른 기법과 비교 평가함으로써 제안하는 멀티캐스트 기법의 성능이 우수함을 보였다. 또한, 제안하는 브로드캐스트 기법은 팬아웃이 $2^m({\geq} {\sqrt{N}}$ 인 최소의 정수, N 은 시스템 크기)인 멀티캐스트의 성능과 유사한 월등한 성능을 낸다는 것을 보였다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2023년도 춘계학술대회
• /
• pp.59-60
• /
• 2023

컨테이너 터미널의 자동화는 항만 경쟁력을 좌우하는 중요한 요소로 글로벌 선진항만은 컨테이너 터미널 자동화를 통해 경쟁력을 강화하는 추세이다. 자동화 터미널의 필수 이송 장비인 AGV의 운영 효율화는 자동화 터미널의 생산성을 제고할 수 있다. 자동화 컨테이너 터미널에서의 AGV 운영은 기존 컨테이너 터미널의 이송 장비 운영과는 다르게, 지정된 경로에 따라 주행하는 등 자동화 시스템을 기반으로 운영되어 작업부하 및 교착, 충돌 등과 같은 문제들을 고려하여야 한다. 이러한 요소들을 방지하고 AGV 운영 효율화를 지향하기 위해서는 보다 정교한 모델이 필요하다. 따라서, 본 논문에서는 터미널 내 AGV 주행경로 및 작업 배정 상황을 고려한 AGV 스케줄링 모형을 제안한다. 해당 모형은 교착 상황에 대한 문제를 예방하고 AGV 대수 및 작업 개수 변경으로 다양한 Case를 생성해 AGV 주행상황을 만들어 알고리즘과 최적해 분석을 통해 제안한 알고리즘을 평가한다.