• 제목/요약/키워드: Deadlock free

검색결과 29건 처리시간 0.021초

Mobile Robot Navigation using Optimized Fuzzy Controller by Genetic Algorithm

  • Zhao, Ran;Lee, Dong Hwan;Lee, Hong Kyu
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제15권1호
    • /
    • pp.12-19
    • /
    • 2015
  • In order to guide the robots move along a collision-free path efficiently and reach the goal position quickly in the unknown multi-obstacle environment, this paper presented the navigation problem of a wheel mobile robot based on proximity sensors by fuzzy logic controller. Then a genetic algorithm was applied to optimize the membership function of input and output variables and the rule base of the fuzzy controller. Here the environment is unknown for the robot and contains various types of obstacles. The robot should detect the surrounding information by its own sensors only. For the special condition of path deadlock problem, a wall following method named angle compensation method was also developed here. The simulation results showed a good performance for navigation problem of mobile robots.

웜홀 방식의 네트워크에서 경로전송을 기반으로 하는 효율적인 다중전송 알고리즘 (An Efficient Path-Based Multicast Algorithm in Wormhole-Routed Net works)

  • 김시관
    • 한국산업정보학회논문지
    • /
    • 제6권3호
    • /
    • pp.20-28
    • /
    • 2001
  • 본 논문에서는 웜홀 스위칭 방식을 이용하는 메쉬 구조를 갖는 네트워크에서 경로를 기반으로 하는 효율적인 다중전송 알고리즘을 제안한다. 제안한 다중전송 알고리즘은 웜홀 스위칭 방식의 경로 기반 다중전송이 갖는 특성을 이용하고, 종래의 하나의 해밀톤 경로만 이용한 알고리즘의 단점을 극복한다. 제안한 다중전송 알고리즘은 2개의 각 가상채널에 해밀톤 경로를 사용하여 다중전송 메시지가 트래픽의 양에 따라 임의의 해밀톤 경로를 선택하여 전송하기 때문에 기존의 단일 해밀톤 경로를 사용한 방법보다 링크를 보다 효율적으로 사용하여 전반적인 성능을 향상시킨다. 그리곤 본 논문에서 제안한 다중전송 알고리즘이 교착 상태가 없음을 증명하고 기존의 방법에 비해서 약 15∼20%의 성능 향상을 보임을 시뮬레이션을 통하여 검증하였다.

  • PDF

토러스 네트워크에서 무교착 멀티캐스트 알고리즘의 성능분석 (Performance Analysis of Deadlock-free Multicast Algorithms in Torus Networks)

  • 원복희;최상방
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제27권3호
    • /
    • pp.287-299
    • /
    • 2000
  • 본 논문에서는 양방향 토러스 네트워크와 웜홀 라우팅을 사용하는 다중컴퓨터에 대해 멀티캐스트 통신방법을 트리방식, 경로방식, 그리고 두 방식을 조합한 하이브리드방식으로 분류하였다. 경로방식으로는 동적분할 멀티캐스트 라우팅 알고리즘을 제안하였으며, 하이브리드방식으로는 라우팅의 첫 단계로 트리방식을 사용하고 두 번째 단계로는 경로방식을 사용하는 멀티캐스트 라우팅 알고리즘을 제안하여 성능을 분석하였다. 세가지 멀티캐스트 라우팅 알고리즘간의 성능은 메세지 길이에 따른 평균 지연시간을 사용하여 비교하였다. 그리고 웜홀 라우팅에서 플릿 버퍼 크기의 변화에 따른 성능을 가상 컷-스루와 비교 하였으며, 경로방식의 알고리즘을 사용하여 버퍼 크기의 변화에 따른 지연시간을 기준으로 두 스위칭 방식의 성능관계를 분석하였다.

  • PDF

웜홀 라우팅 망에서의 효율적인 다중 멀티캐스트 알고리즘 (Efficient Multiple Multicast Algorithms in Wormhole - Routed Networks)

  • 김시관;조정완
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제27권4호
    • /
    • pp.373-382
    • /
    • 2000
  • 웜홀망의 성능에 영향을 미치는 가장 중요한 요소는 개시지연시간인데 이는 메시지가 생성되어 망에 투입되기까지의 시간으로 정의된다. 본 논문에서는 다중 멀티캐스트 메시지의 개시지연시간을 단축하기 위하여 노드간의 메시지 충돌을 최소화하는 효율적인 멀티캐스트 전송 알고리즘을 제안한다. 제안되는 3가지의 알고리즘은 사용 가능한 채널들을 되도록 균등하게 사용함으로써 기존 제안된 알고리즘보다 우수한 성능을 보인다. 제안된 알고리즘들이 교착상태가 없음을 증명하고 2차원 메쉬망에서의 여러 가지 조건하에서 제안된 알고리즘의 우수함을 시뮬레이션을 통하여 증명한다. 제안 알고리즘의 전반적인 성능은 기존 알고리즘보다 20% 정도 우수함을 알 수 있다. 제안된 2차원 메쉬 다중 멀티캐스트 알고리즘은 3차원 메쉬망으로 확장이 용이하다.

  • PDF

존재하는 모든 것들의 공존 -미주 이민자 전낙청의 사랑에 관한 한 상상 (Coexistence of Everything that Exists -An Imagination about Love of Korean American Immigrant Nakchung THUN)

  • 전우형
    • 대중서사연구
    • /
    • 제26권2호
    • /
    • pp.191-219
    • /
    • 2020
  • 이 글은 근대 초기에 일어났던 이동과 접촉의 한 양상으로서, 한인 미주 이민자의 소설쓰기의 양상과 서사적 상상력의 의미를 규명하고자 했다. 전낙청이 1930년대 쓴 소설들의 뒤늦은 귀환은 근대 초기 모빌리티의 다양성을 복원하고 기록과 기억에서 배제되었던 이민자들의 역사와 문화를 대면하게 했다는 점에서 의의가 있다. 이 소설들은 단순히 이민지라는 접경의 산물일 뿐만 아니라, 그곳을 새로운 역사와 문화, 제도와 가치 등을 생성하는 공간으로 상상하게 함으로써 지배와 종속, 중심과 주변 등의 이분법적 인식에 균열을 만들어 냈다. 이 소설들은 지적, 정서적, 윤리적으로 탁월한 인물들의 자유연애를 중심 사건으로 다루면서, 서양의 자유연애를 탈신비화하는 것과 동시에, 계급, 인종, 성별을 비롯한 여러 정체성에 의해 구획된 사회에서 벌어지는 분할과 경계에 비판적으로 개입하는 사랑의 공적인 역할을 발견한다. 전낙청의 소설쓰기는 잭이라는 인물을 통해 이민자와 선주민 공동체 사이의 적극적인 교호를 전경화함으로써, 이민자들의 유토피아가 아니라 존재하는 모든 것들이 공존하는 장소로서 헤테로토피아를 상상하게 한다. 이 소설들은 그간 종속되고 주변화된 접경에 관한 일종의 기억전쟁을 선포했다. 이민지라는 접경은 지난 세기 이래로 극심한 갈등과 불화들을 경험하는 공간이면서 동시에 유례없이 다양한 공동체와 지역사회들이 연결되는 장소로 기능하기도 했다. 접경은 분할과 점령의 대상이기 이전에 연대와 창조의 공공재였다. 이 소설들은 접경이 우리의 역사와 문화가 국가, 지역, 민족 사이의 대립항 속에서만 형성되지 않았을 가능성을 시사한다. 국경이나 경계와 먼, 그래서 고정 불변하는 교착상태가 아니라, 중심의 지배로부터 자유로운 세계로서 접경이야말로 다양한 만남을 통해 도래할 역사와 문화를 선취하는 시공간이었으며, 공동체였다.

공유 버스를 사용한 멀티캐스트 Cut-through 스위치의 설계 (Design of Multicast Cut-through Switch using Shared Bus)

  • 백정민;김성천
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제27권3호
    • /
    • pp.277-286
    • /
    • 2000
  • 스위치 형식의 네트워크이 많은 주목을 받고 있다. 그것은 높은 네트워크 성능을 요구하는 환경에 매우 적합하기 때문이다. 일반적인 공유매체 지역 네트워크는 만족할 만한 처리율과 지연시간을 제공하지 못한다. 특히 멀티미디어 어플리케이션이 증가하면서 통신 성능이 보다 중요시 되고 있다. 이러한 환경에서 스위치 형식의 네트워크는 우수한 성능을 보인다.스위치 형식의 네트워크는 높은 대역폭과 낮은 처리 시간을 얻을 수 있다. 따라서 스위치 형식의 지역네트워크를 구성할 때 고속(high-speed)의 스위치가 중요하다. 효율적인 스위치 디자인이 스위치 형식의 네트워크 성능을 향상시키는 중요한 요소인 것이다. 또한 멀티캐스트 메시지 처리의 중요성이 높아지면서, 효과적인 멀티캐스트를 지원하는 스위치의 설계가 필요하다. 기존의 컷-스루(cut-through) 스위칭 기술(switching technique)에서는 스위치 원소(switch element)의 구조를 변경시켜 데드락을 피하면서 멀티캐스팅이 가능하게 하였다. 그러나 처리율의 저하와 스위치 크기의 증가의 문제를 안고 있다. 따라서 하드웨어적으로 유니캐스트와 멀티캐스트를 분리함으로써 효율적인 멀티캐스팅을 가능하게 한다. 본 논문에서는 이러한 구조를 통해 멀티캐스팅에 있어서 성능 향상을 보이는 스위치 구조를 제안한다.

  • PDF

광역망에서의 서비스 위치 탐색 및 다운로드 프로토콜의 개선 (Improvement of Service Location Discovery and Download Protocol in Wide Area Network)

  • 허덕행;김한경
    • 인터넷정보학회논문지
    • /
    • 제12권2호
    • /
    • pp.55-62
    • /
    • 2011
  • 컴퓨팅 장비가 네트워크에 수용되었을 때 이들이 가지는 서비스의 탐색과 위치 정보를 제공하는 프로토콜인 IETF의 SLP의 기능을 광역화하고, 이동통신을 위한 유무선 네트워크를 수용하며, WIF에서 추진하는 서비스의 분산화 경향을 지원할 수 있도록 개선하기 위하여 Liaison Agent와 Forwarding Agent를 추가하고 이들 사이의 정보 교환을 위한 LAAdvert 메시지를 정의한다. LA 엔티티는 광역망에 존재하는 서비스의 위치를 확인해주며, FA 엔티티는 서비스 정보를 전달해주는 역할을 담당한다. 나머지 메시지 즉, SrvRqst, SrvRply, AttrRqst, AttrRply, DAAdvert, SrvReg, SrvAck, SrvDeReg의 사용은 동일하며 하며, 광역 서비스 망에서도 동일한 방식으로 활용한다. 개선된 프로토콜의 동작을 페트리넷으로 모델링하고, 페트리넷의 실행을 통하여 데드락과 라이브락의 문제가 없음을 확인한다.

컨테이너 터미널의 불확실한 환경 하에서의 ALV 주행 계획 수립방안 (Routing of ALVs under Uncertainty in Automated Container Terminals)

  • 김정민;이동균;류광렬
    • 한국항해항만학회지
    • /
    • 제38권5호
    • /
    • pp.493-501
    • /
    • 2014
  • 무인 자가 운반 하역차량(Automated Lifting Vehicle, ALV)은 자동화 컨테이너 터미널에서 컨테이너를 수송하는 무인 차량의 하나로 자가 하역 및 수송 능력을 가지고 있다. 여러 대의 ALV를 이용해 컨테이너를 효율적으로 수송하기 위해서는 ALV가 컨테이너의 이송작업을 시작할 때마다 최소 시간에 주행이 가능한 경로를 실시간으로 찾을 수 있어야 한다. 또한 차량 간의 충돌 및 교착 상태 발생 시 스스로 해결이 불가능한 무인 차량의 특성 상 이러한 충돌 및 교착을 막을 수 있도록 차량이 목적지까지 가기 위해 점유해야 하는 점유 영역과 그 점유 시간을 결정하여 이를 겹치지 않도록 주행 계획을 수립하여야 한다. 하지만 주행 계획 수립을 위한 ALV의 점유 영역에서의 점유 시간 계산은 교통 상황에 따른 주행 시간의 변화나 주행 경로 상에 작업을 수행하는 크레인의 작업 상황의 불확실성 때문에 정확한 추정이 어렵다. 본 논문에서는 개미 집단 최적화 기법을 기반으로 이러한 ALV 도착 시간의 불확실성을 고려한 ALV 주행 계획 수립방안을 제안한다. 시뮬레이션 실험을 통해 제안 방안이 불확실한 환경에서 효율적으로 좋은 경로를 찾아냄을 확인하였다.

OSPF Protocol 표준 및 구현의 대수 정형적 명세 및 정형적 검증 (Algebraic Formal Specification and Formal Validation of the Standard and an Implementation of the OSPF Protocol)

  • 박재현
    • 한국통신학회논문지
    • /
    • 제29권3B호
    • /
    • pp.360-374
    • /
    • 2004
  • OSPF 프로토콜은 가장 보편적으로 사용되고 있는 Interior Gateway Routing Protocol 이다. 그러므로, 초고속 라우터의 동작의 신뢰성 확보를 위해, OSPF 프로토콜의 상호운용성과 안전성의 보장은 중요하다. 본 논문에서는 OSPF 라우팅 프로토콜의 표준 문서를 분석하여, 프로토콜 동작들을 대수 정형 방법을 사용하여 상세 설계 수준으로 명세하고, OSPF 프로토콜의 가용한 원천코드를 참조하여, 표준에 명확하게 명세되지 않은 좀더 상세한 동작까지 표현하도록 이 명세를 보완하였다. 그리고 명세된 프로토콜 상태 기계의 상호운용성과 안전성을 정형적으로 증명하였다. 우리는 먼저 제시한 정형적 명세가 OSPF 프로토콜의 표준 문서에 나타난 모든 상태들과 모든 천이 이벤트들을 표현하고 있어, 명세된 프로토콜 상태기계가 완전성을 가지고 있다는 사실을 보이고, 또한 상호운용성을 가짐을 증명하였다. 그리고 프로토콜의 동작의 안전성을 증명하기 위해, 생존성, 그리고 라이브락 부재를 정형적으로 증명하고, 교착상태 부재 역시 정형적으로 증명하였다. 결과적으로 OSPF 프로토콜이 일관성을 가진다는 사실을 보인다. 본 명세와 검증은 기존외 OSPF Version 2의 프로토콜 메커니즘을 그대로 계승한 OSPF Version 3에서도 유효하다.