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

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

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

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

• 한국정보과학회논문지:시스템및이론
• /
• 제30권5_6호
• /
• pp.280-289
• /
• 2003

웜홀 네트웍에서 교착상태의 복구를 기반으로 하는 라우팅 알고리즘은 간단한 하드웨어 구조와 높은 라우팅 적응성으로 인해 관심을 이끌었다. 진보적인 교착상태 복구 방안들은 교착상태에 속한 패킷들을 삭제하는 대신에 소수 전용 리소스들을 통해 전송한다. 교착상태에 속한 패킷은 타임아웃에 의해 선정하는데 다양한 트래픽 형태 및 패킷 길이를 고려하여 가장 바람직한 성능을 가져오는 제한 시간 값을 결정하기는 매우 어려운 일이다. 본질적으로, 타임아웃을 사용하는 현재의 방법들은 네트웍 부하가 심하거나 메시지 길이가 긴 경우에 교착상태의 존재를 잘못 판단할 가능성이 크다. 또한 교착상태가 발생할 경우, 하나 이상의 메시지가 교착상태로 판단되어 복구를 위해 마련된 자원을 과포화시킬 수 있다. 본 논문에서는 타임아웃을 사용하지 않고 보다 정확히 교착상태를 발견하는 방안을 제시한다. 제안한 방안은 교착 상태를 잘못 판단하는 확률을 현저히 낮출 수 있다. 또한 순환 구조를 이루는 대기 상태의 메시지들 중에서 하나만을 교착상태라고 선언함으로써 복구에 따른 부담을 감소시킨다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
• /
• pp.24-29
• /
• 2008

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(C)
• /
• pp.343-346
• /
• 2011

대부분의 퍼즐 게임에서 발생 할 수 있는 중요한 문제 중 하나는 교착상태 문제이다. 본 논문에서는 이러한 교착상태를 해결하기 위해 퍼즐 게임을 그래프 기법으로 나타낸 뒤, 이를 이용한 새로운 교착상태 발견 기법인 Cycle Detection을 제안한다. 기존의 기법들은 알고리즘을 수행하는데 너무 많은 시간이 걸리거나, 패턴에 대한 데이터베이스가 구축되어 있어야 하기 때문에 실시간으로 교착상태를 발견하기엔 문제가 있다. 본 논문에서는 이러한 문제점을 해결하기 위하여 탐색해야 하는 노드의 개수를 최대한 줄이는 Local search 기법과 Pruning 기법을 적용하여 퍼즐 게임을 플레이하는 동안 실시간으로 교착상태를 발견할 수 있는 기법을 제안한다. 본 기법은 성능을 평가하기 위해 실제 퍼즐게임 환경에서 알고리즘을 수행하고, 그 결과로 검색하는 노드의 개수와 검색 시간을 기존의 기법과 비교하여 성능향상을 확인하였다.

• 산업경영시스템학회지
• /
• 제19권39호
• /
• pp.193-204
• /
• 1996

본 연구는 FMC(Flexible Manufacturing Cell)에 있어 상호 간섭이 없는 부품의 흐름을 제어하기 위한 교착제거방법(Deadlock Avoidance Method)에 대한 제안으로서, 이 방법이 주요한 장점은 첫째, FMC의 환경을 쉽게 적용시킬 수 있고 둘째, 공정상의 부품에 대한 dispatching 모듈이 협력하도록 설계되어 있다는 것이다. 교착제거방법은 두 개의 모듈로 구성되어 있는데 이는 순환발견알고리즘(A Cycle Detection Algorithm)과 원료주문 정책으로서, 특이할 만한 사항은 순환발견알고리즘을 채용하더라도 원료주문정책이 잘못될 수 있기 때문에 교착제거방법에 있어서 원료주문정책은 매우 중요하다는 것이다. 이를 위하여 교착전의 N-step 교착을 제거하고, 발견할 수 있는 교착제거방법과 N-step의 사전주무정책을 제시하였다.

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

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

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1992년도 제4회 한글 및 한국어정보처리 학술대회
• /
• pp.105-117
• /
• 1992

교착어(agglutinating language)에서는 다양한 통사정보가 독자적인 형태소에 내재되어 있다. 국어의 경우 형태소의 분석이 통사구조 분석에 선행되어 이루어져야 하는 이유가 바로 국어의 교착어적인 속성에 기인한다. 이 논문의 전반부에서 국어의 교착성을 명확히 보여주는 등위 접속구문을 핵심어 주도 구구조문법(HPSG)에 의하여 분석한다. 후반부에서는 PROLOG로 구현된 국어의 형태소 분석기와 통사구조 분석기(PARSER)를 소개한다.

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

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

• 한국정보과학회논문지:시스템및이론
• /
• 제28권6호
• /
• pp.268-277
• /
• 2001

최소의 다중전송 지연시간을 갖기 위하여 다중 목적지 패킷의 경로 길이와 웜의 초기화 횟수를 최소화한 다중전송 알고리즘을 제안한다. 그 알고리즘은 교착이 탈출 채널에서 복구되면서 단일 전송과 다중전송 메시지에 대하여 완전 적응하며 교착이 발생하지 않게 한다. Disha로 동시에 경로 기반 다중 전송 할 때 교착이 발생하지 않기 위해서는 2개의 교착버퍼가 필요하다. 다중 전송 지연 시간은 메시지 startup 지연시간에 좌우된다. 제안된 시스템은 단지 2번 이하의 메시지 startup 횟수를 가지며 이것은 기존의 어떤 다른 시스템보다 뛰어난 성능을 갖는다.