• 제목/요약/키워드: 동적경로

검색결과 670건 처리시간 0.034초

동적 기호 실행을 이용한 그래프 기반 바이너리 코드 실행 경로 탐색 플랫폼 (Graph based Binary Code Execution Path Exploration Platform for Dynamic Symbolic Execution)

  • 강병호;임을규
    • 정보보호학회논문지
    • /
    • 제24권3호
    • /
    • pp.437-444
    • /
    • 2014
  • 본 논문에서는 그래프 기반의 바이너리 코드 동적 실행 경로 탐색 플랫폼을 제안한다. 바이너리 코드의 조건 분기 명령어를 노드(Node), 그 외의 명령어를 에지(Edge)로 구성된 그래프를 정의하며, 이 그래프를 기반으로 하여 실행 경로 탐색을 수행하는 방안을 제안한다. 실험을 통해 제안하는 그래프 기반 바이너리 코드 실행 경로 탐색 플랫폼의 프로토타입이 실행 경로 탐색을 올바르게 수행함을 확인하였으며, 본 논문에서 제안하는 방안을 통해 소프트웨어 테스팅을 보다 효과적으로 수행하여 소프트웨어 보증, 시큐어 프로그래밍 및 악성 프로그램 분석 등을 보다 효과적으로 수행할 수 있을 것으로 기대한다.

분산 공유메모리 환경의 다단계 버스망에서 트래픽에 적응하는 동적 라우팅 알고리즘 (A Dynamic Routing Algorithm Adaptive to Traffic for Multistage Bus Networks in Distributed Shared Memory Environment)

  • 홍강운;전창호
    • 정보처리학회논문지A
    • /
    • 제9A권4호
    • /
    • pp.547-554
    • /
    • 2002
  • 본 논문은 분산 공유메모리 환경의 다단계 버스망을 위한 동적 라우팅 방범을 제안한다. 제안된 라우팅 방법의 특징은 다단계 버스망이 제공하는 잉여경로를 활용하고 스위치 트래픽에 따라 적응적으로 경로를 결정하여 스위치의 트래픽을 분산시키는 것이다. 구체적으로는 잉여경로 상의 다음 단계 스위치의 트래픽 정도가 높고 낮음을 판단하여 트래픽 정도가 낮은 스위치로 패킷을 전달한다. 그 결과 평균 응답시간과 스위치상의 평균 대기패킷수를 줄이는 효과를 얻는다. 프로세서수와 스위치 크기를 변화시키면서 시뮬레이션을 하여 제안된 알고리즘이 잉여경로를 고려하지 않는 기존의 알고리즘에 비하여 평균 응답시간은 약 9%, 스위치 상의 평균 대기패킷수는 21.6% 정토 향상시킨다는 것을 보여준다

이륜구동로봇의 최단거리계획과 강인제어 (Shortest Path Planning and Robust Control of Two-wheeled Mobile Robot)

  • 김학경
    • 동력기계공학회지
    • /
    • 제10권4호
    • /
    • pp.172-180
    • /
    • 2006
  • 본 논문은 Dijkstra 알고리즘에 기초한 최단거리 경로계획을 하며 이 경로를 추적하기 위한 슬라이딩 모드 제어를 제시한다. 슬라이딩 모드 제어기는 동적매개변수 불확실성과 입력외란이 존재 시에도 강인 점근적으로 계획된 경로를 추적하도록 한다. 더불어 작업장 내의 이동로봇의 위치를 USB 카메라에 의해 감지하며, Pin-hole 카메라모델로 하여 카메라에 의해 관측되는 작업장 내의 이륜구동로봇의 위치좌표를 결정하였으며, 이 위치를 정확히 감지하기 위해 Tsai법을 사용하여 카메라 보정한다. 시뮬레이션 결과는 슬라이딩 모드 제어기의 성능을 검증하기 위해 보였다.

  • PDF

가상실행에 기반을 둔 SW의 이해에 관한 연구 (A Study on SW Understanding based on Virtual Execution)

  • 정양재;박성옥;이문근
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
    • /
    • pp.579-581
    • /
    • 2000
  • 다양한 실행경로가 존재하는 실시간 시스템을 이해하기 위해 정적 정보와 함께 동적 정보의 이해가 필요하다. 본 논문은 매개언어 SRL을 사용하여 정적 정보와 동적 정보를 모두 표현할 수 있는 방법을 제안했다. SRL을 통해 표현된 정적 정보와 동적 정보는 많은 시스템 이해 도구에 사용될 수 있다. 또한 동적 정보를 얻기 위한 방법으로 실제 시스템이 아닌 가상기계를 통한 가상실행을 수행함으로써 안전성이 중요한 시스템을 검증이전에 위험부담 없이 검사할 수 있다.

  • PDF

HMD 환경에서 스마트 디바이스를 이용한 동적/정적 증강현실 콘텐트 저작 시스템 (Dynamic/static Augmented Reality authoring system using smart device in HMD)

  • 전진우;우운택
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2016년도 춘계학술발표대회
    • /
    • pp.706-707
    • /
    • 2016
  • 본 논문은 HMD 환경에서 스마트 디바이스를 입력장치로 이용하여 증강 객체의 동적 / 정적 속성을 부여하는 증강현실 콘텐트 저작 시스템을 제안한다. 본 논문에서는 2D 터치 스크린을 이용하여 증강 객체의 3차원 위치, 자세, 크기를 변경하는 방법을 제안한다. 또한 증강 객체를 이용해 객체의 동적 경로를 설정하여 객체의 움직임을 표현한다. 제안하는 시스템을 통해 비전문가도 현장에서 즉석으로 동적 / 정적 속성을 갖는 증강 객체 콘텐트 저작이 가능하다.

동적 경로안내시스템에서 벡터 지오데이터의 관리를 위한 다중 해상도 모델 (A Multi-Resolution Database Model for Management of Vector Geodata in Vehicle Dynamic Route Guidance System)

  • 주용진;박수홍
    • 대한공간정보학회지
    • /
    • 제18권4호
    • /
    • pp.101-107
    • /
    • 2010
  • 본 연구의 목적은 벡터 도메인 안에 대규모 도로 선형 사상을 대상으로 실시간 데이터 변경, 관리가 가능한 네트워크의 다중 표현 데이터베이스 모델을 구축하는 것이다. 즉, 최상위 레벨의 네트워크 데이터로부터 이에 대응하는 하위 베이스 네트워크 데이터로 순차적으로 데이터 통합과 자동 매칭을 수행하는 상의하달 방식(top-down)을 기초로 하는 프레임워크를 제시하며, 이를 통해 변화 가능한 축척(variable-scale)의 지도를 생성하는 모델을 제안하였다. 구현된 MRDB(Multi-Resolution Database) 모델을 차량 항법 서비스에 적용하여 실제 동적 경로 안내 시스템에 활용 가능함을 확인할 수 있었다.

선호의식 Panel Data를 이용한 동적 경로선택 행동분석 (Behavioral Analysis of Dynamic Route Choice with Stated Preference Panel Data)

  • 성수련;남궁문
    • 대한교통학회지
    • /
    • 제17권3호
    • /
    • pp.47-60
    • /
    • 1999
  • 본 연구에서는 운전자의 동적 경로선택 행동은 현재의 교통환경 조건뿐만 아니라 과거의 교통환경 및 행동이 현재와 미래에 영향을 미친다는 가정 하에 전주시에 제공될 교통정보를 가상으로 설정하여 선호의식 조사방법에 의해 동일 개인 운전자에게 다시점 반복조사를 실시하였으며, 구조방정식 모델을 구축하여 분석하였다. 그 결과 여행시간정보 변수의 추정계수 및 t 통계 값이 크게 나타나 경로선택에 큰 영향을 미침을 알 수 있었으며, 도심을 관통하는 기린로는 경로선택에 부정적인 반면 도심의 우회도로의 성격을 지닌 천변로는 경로선 택에 긍정적으로 나타남을 알 수 있었다. 구축된 모델에서 가장 적합도가 높은 모델은 상태의존과 계열상관의 개념을 모두 적용한 모델로 나타나 동적모델의 적용 타당성이 보여짐을 알 수 있었으며, 계열상관과 상태의존 추정계수 값을 보면 시간간격이 길수록 추정계수 값이 작게 나타나고 있어 계열상관과 상태의존은 시간간격에 반비례함을 알 수 있었다.

  • PDF

무선 ad-hoc 네트워크 환경에서 동적다중경로 유지 기법 (Route Maintenance Scheme for DSMR Protocol in Wireless Ad-hoc Network Environments)

  • 김문정;엄영익
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2003년도 춘계학술발표논문집 (중)
    • /
    • pp.1421-1424
    • /
    • 2003
  • 무선 ad-hoc 네트워치 환경이란 유선망 하부구조를 갖지 않고 이동 호스트들만으로 구성되는 임시적 네트워크 환경을 말한다. 이러한 환경에서는 저대역폭 저전력, 잦은 오류 등의 특성에도 불구하고 이동 호스트들이 라우팅 기능을 수행해야 하므로, 보다 효율적인 라우팅 프로토콜이 요구된다. 본 논문에서는 무선 ad-hoc 네트워크 환경에서 이동 호스트들이 라우팅을 위한 주기적 라우팅 정보 방송을 하지 않도록 하면서 경로를 필요로 하는 호스트가 자발적으로 경로를 찾는 과정을 시작하여 하나 이상의 경로 응답을 밭고 그 중에서 하나의 경로를 선택하도록 하는 프로토콜을 제안한다. 경로 응답을 받은 나머지 경로는 예비경로가 되어, 라우팅 역할을 하는 이동 호스트들의 이동으로 데이터 전송 경로가 실패하는 경우에 빠른 경로 재 설정을 가능하게 한다. 이러한 기법은 데이터의 송수신 패턴이 지역성을 갖는 경우에 매우 유용한 기법이다.

  • PDF

시뮬레이티드 어닐링을 이용한 제궤도 위성망에서의 링크할당 (Link Assignment in Low-Earth Orbit Satellite Networks using Simulated Annealing)

  • 장홍성
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
    • /
    • pp.568-570
    • /
    • 1998
  • 본 논문은 위성간 링크를 이용하여 저궤도 위성망을 구성할 때 발생하는 링크 할당 문제를 효율적으로 풀기 위한 기법을 제안한다. 제안된 기법은 먼저 위성 궤도 운동의 주기성에 기반하여 저 궤도 위성망을 유한 상태기계로 모델링한 후에, 유한 상태기계의 각 상태에서 최적의 링크 할당을 구하기 위해서 조합형 최적화 문제에 많이 쓰이는 시뮬레이티드 어닐링을 이용한다. 제안된 기법의 잇점은 저궤도 위성망을 유한 상태기계로 모델링함으로써 동적인 움직임을 보이는 저궤도 위성망에서의 링크할당 문제를 고정된 위상을 가지는 망에서의 링크할당 문제로 단순화 시키고 이를 토대로 최적화 기법을 적용할 수 있다는 것이다. 시뮬레이티드 어닐링에 의하여 최적화된 링크할당의 성능은 정규링크 할당과의 비교.분석을 통해서 평가된다. 또한, 각 링크할당에 대하여 정적경로배정과 동적경로배정 기법이 적용된다. 시뮬레이션을 통한 실험결과는 정적경로배정을 적용한 최적링크할당 기법이 음성호의 봉쇄확률 측면에서 최고의 성능을 보임을 알려준다.

  • PDF

모바일 에드 혹 네트워크에서 노드의 방향성을 고려한 에너지 효율적 라우팅 알고리즘 연구 (Energy conserving routing algorithm based on the direction for Mobile Ad-hoc network)

  • 오영준;이강환
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국정보통신학회 2013년도 춘계학술대회
    • /
    • pp.870-873
    • /
    • 2013
  • 본 논문에서는 이동 에드 혹 네트워크(Mobile Ad-hoc network: MANET)에서의 상황인식 기반의 스케쥴링 기법인 DDV(Dynamic Direction Vector)-hop 알고리즘을 제안한다. 기존 MANET에서는 노드의 이동성으로 인한 동적 네트워크 토폴리지, 네트워크 확장성 결여의 대한 취약성을 지니고 있다. 또한 노드들의 이동성에 따라 에너지 소모율이 다르며, 에너지 소모율을 최소화하는 라우팅 기법을 선택하는 것이 중요하다. 따라서 본 논문에서는 계층적 클러스터 단위의 동적이 토폴로지에서 노드가 이동하는 방향성 및 시간에 따른 노드의 이동 속성 정보를 고려하여 클러스터를 생성 및 유지하는 DDV-hop알고리즘을 제안한다. 또한 주어진 노드의 위치정보를 이용하여 토폴로지를 형성함에 있어 보다 에너지 효율적인 경로를 탐색하여 최적화된 경로를 제공함에 연구의 목적이 있다. 주어진 모의실험환경에서 노드의 방향성 및 시간에 따른 이동성을 반영함으로써 에너지 효율적인 클러스터링 및 라우팅 경로 알고리즘이 제공되어 네트워크의 최적화된 에너지 소모 결과를 보여주었다.

  • PDF