• 전자공학회논문지SC
• /
• 제42권3호
• /
• pp.1-10
• /
• 2005

본 논문에서는 기구학적 구속조건을 고려한 육각 보행 로봇의 새로운 내고장성 걸음새를 제안한다. 본 논문에서 고려하고 있는 고장은 관절고착고장으로 로봇 다리의 관절 하나가 어떤 위치에 고착되어서 보행이 끝날 때까지 움직일 수 없는 상태를 말한다. 본 논문에서는 먼저 육각 보행 로봇의 직선 보행을 위한 기존의 내고장성 걸음새가 고장 난 다리의 기구학적 구속조건에 따라서 교착 상태에 빠질 수도 있음을 해석적으로 증명한다. 그런 다음 이러한 교착 상태를 회피하기 위해서 새로운 내고장성 걸음새 계획을 제안한다. 제안하는 내고장성 걸음새는 다리의 궤적을 변경함으로써 고장 난 다리가 야기하는 교착 상태에서 벗어날 수 있으며, 기존 내고장성 걸음새의 다리 움직임 순서와 보폭을 그대로 유지한다. 제안한 걸음새 계획의 우수성을 입증하기 위해서 평탄 지형에서 정상적인 걸음새로 걷고 있는 육각 보행 로봇이 고장이 일어난 후 제안한 걸음새 계획을 이용하여 교착 상태에서 벗어나 내고장성 걸음새로 전이하는 사례 연구도 기술한다.

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

워크스테이션들의 네트워크(NOWs)와 같은 스위치 기반의 비정규적 네트워크는 고속 스위치를 이용하여 프로세서 노드나 네트워크 호스트들을 특정 위상에 구애받지 않고 연결한 것으로 우수한 유연성(flexibility)과 확장성(scalability)의 장점이 있다. 그러나 메쉬와 같은 정규적인 위상에 비해 교착 상태(deadlock)에 빠지지 않는 효율적인 다중 전송을 수행하는 것은 용이하지 않다. 본 논문에서는 전송 트리의 루트 노드에 무리를 주지 않고 할당받은 서비스에 따라서 전송 단계와 적응성에 차별성을 부여하며 스위치의 채널 사용의 불균형을 개선하고 네트워크 부하 분포의 조정이 가능한 단일 단계 차별적 다중 전송(Single Phase Differential Multicast; SPDM) 기법을 제안한다.

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

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

• 한국시뮬레이션학회논문지
• /
• 제20권4호
• /
• pp.59-66
• /
• 2011

본 연구에서는 시뮬레이티드 어닐링 알고리즘에 기반한 다중 RUN(multi-RUN: m-RUN) 교착 제어 정책 생성 알고리즘 설계에 대해 제안하였다. 이 방법은 단순한 RUN DAP를 m개 생성한 후 이들의 합성에 의해 초기 m-RUN DAP를 정의하고 이를 점차적으로 개선시켜 나가는 것이다. 이 때 이웃(Neighbor) m-RUN은 현재 m-RUN에서 오직 한 개의 성분 RUN만을 랜덤하게 수정하여 생성하는 지역 탐색 기법을 적용하여 선택하였다. 또한 몇 가지 기본적인 시스템 구성을 가정하고 수치 실험을 적용하여 제안된 교착 제어 정책 성능의 우수성을 평가하였다.

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

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

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

• 한국통신학회논문지
• /
• 제24권7B호
• /
• pp.1313-1321
• /
• 1999

이단계 라킹 규약은 다수의 트랜잭션들의 수행이 병행되는 데이터베이스 환경에서 데이터의 논리적인 일관성을 보장하기 위하여 널리 사용되는 동시성 제어 기법이다. 이단계 라킹 규약을 사용하는 시스템에서는 두 개 이상의 트랜잭션들이 락을 잡은 상태를 서로 다른 트랜잭션이 가진 락을 무한정으로 상호 대기하는 교착 상태가 발생할 수 있다. 교착 상태 검출기는 트랜잭션들 간의 락 대기 정보를 기반으로 시스템 내에 교착 상태가 발생하였는가를 주기적으로 검출하는 기능을 제공한다. 데이터베이스 시스템에서는 트랜잭션들과 교착 상태 검출기의 수행이 병행되며, 이들은 각각의 수행을 위하여 락 대기 정보를 공통으로 읽고 쓰게 된다. 이와 같이, 락 대기 정보는 공유 정보에 해당되므로 상호 배제 기법을 이용한 락 대기 정보의 물리적 일관성을 보장하는 기법이 요구된다. 특히, 고성능의 주기억장치 데이타베이스에서는 이러한 상호 배제 기법의 성능이 전체 시스템에 큰 영향을 미치게 되므로 효율적인 상호 배제 기법은 매우 중요하다. 본 연구에서는 락 대기 정보의 물리적 일관성을 효과적으로 보장하는 새로운 상호 배제 기법을 제안한다. 제안\ulcorner는 기법은 상호 배제를 위한 처리 오버헤드를 극소화하고, 전체 시스템의 동시성을 극대화하는 것을 주요 목표로 한다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1993년도 춘계공동학술대회 발표논문 및 초록집; 계명대학교, 대구; 30 Apr.-1 May 1993
• /
• pp.19-19
• /
• 1993

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 1993년도 추계학술대회발표논문집; 서강대학교, 서울; 25 Sep. 1993
• /
• pp.112-112
• /
• 1993

• 한국정보처리학회논문지
• /
• 제5권4호
• /
• pp.995-1004
• /
• 1998

본 논문은 LTS 프로세스 명세 검증을 위해 프로토콜의 행위와 상태에 대한 deadlock, livelock, reachability, liveness 검증을 위한 모델 검증기 구현에 대해 기술하였다. Modal mu-calculus를 사용하여 구현된 모델 검증기는 modal logic으로 표현된 프로토콜 특성이 LTS 명세하에서 만족하는지를 자동적으로 검증해 주는 model checking 도구이고 LTS 명세의 Safety와 Liveness 검증에 매우 강력한 성능을 보이는 것을 구현을 통해 실험적으로 증명하였다. 제시된 도구는 Windows NT 환경하에서 IBM PC로 $C^{++}$언어를 사용하여 구현되었다.