• 제목/요약/키워드: 페트리 네트워크 모델

검색결과 9건 처리시간 0.035초

논스톱 포워딩 기능을 지원하는 네트워크 시스템에 대한 다중화 모형의 가용도 분석 (Availability Analysis of Redundancy Models for Network System with Non-Stop Forwarding)

  • 심재찬;류홍림;류호용;박재형;이유태
    • 한국정보통신학회논문지
    • /
    • 제19권12호
    • /
    • pp.2828-2835
    • /
    • 2015
  • 본 논문에서는 다양한 다중화 모형과 논스톱 포워딩 기능이 네트워크 서비스의 가용도에 미치는 영향을 비교 분석한다. 다중화 모형 중 no redundancy, 2N redundancy, N-way redundancy, N-way active redundancy 모형에 대한 확률적 리워드 네트(Stochastic Reward Net, SRN) 모델을 설계하고, 각각의 모형에 대해 논스톱 포워딩 기능을 추가한 SRN 모델을 설계한다. 확률적 페트리 네트 패키지(Stochastic Petri Net Package, SPNP)를 활용하여 설계한 SRN 모델의 가용도를 구한다.

클라우드 시스템의 가상 스위치 모델링 (Modeling of Virtual Switch in Cloud System)

  • 노철우
    • 디지털융복합연구
    • /
    • 제11권12호
    • /
    • pp.479-485
    • /
    • 2013
  • 가상화는 다중의 온라인 서비스를 소규모의 컴퓨팅 자원에 배치하는 혁신적인 접근방식이다. 가상화된 서버 환경은 가상머신 (virtual machine: VM)으로 불리는 플랫폼의 다중 성능사이에 공유되는 컴퓨팅 자원들을 허용한다. 서버 가상화를 통해 응용 서버는 가상머신 으로 인캡슐 되었으며 CPU나 메모리 자원 풀에 API와 함께 재배치되었다. 네트워킹과 보안은 네트워크 가상화라는 새로운 소프트웨어 추상화 계층으로 이동하기 시작했으며, 가상 네트워크를 생성함으로써 여러 응용에 대하여 네트워킹과 보안을 빠르게 배치할 수 있게 되었다. SRN은 추계적 페트리 네트의 확장형으로 시스템 분석을 위한 함축된 모델링 기능을 제공한다. 본 논문에서는, 가상 스위치를 기반으로 한 네트워크 가상화 SRN 모델을 개발하고 모델에서 관심 있는 성능지표인 스위칭 지연과 처리율에 대한 수치결과를 가상 스위치 용량과 실행 중인 가상머신 수에 따라 구한다. 이들 성능지표는 SRN 모델에서 적절한 보상율을 제공하는 함수의 기댓값으로 표현되어 그 해가 구해진다.

시간 페트리 넷을 이용한 상황인지 모델링 기법 (Context-Awareness Modeling Method using Timed Petri-nets)

  • 박병성;김학배
    • 한국통신학회논문지
    • /
    • 제36권4B호
    • /
    • pp.354-361
    • /
    • 2011
  • 스마트 홈 분야에 대한 관심의 증가와 기술적인 발전은 상황인지 서비스와 베이시안 네트워크 알고리즘, 트리 구조 알고리즘 그리고 유전자 추측 알고리즘과 같은 예측 알고리즘에 대한 연구가 활발히 이루어지고 있다. 상황 인지 서비스는 개별적인 사용자의 패턴을 고려한 맞춤형 서비스를 제공하는 것은 사용자의 삶의 질을 향상시키는 데 도움 주는 것을 의미한다. 하지만 상황인지 서비스를 구현 하는 것은 상황정보와의 부합성 문제와 예외적인 상황 처리가 고려하는데 어려움을 겪고 있다. 이 문제를 해결하기 위해서, 본 연구에서는 지능형 순차적 매칭 방식 알고리즘(Intelligent Sequential Matching Algorithm : ISMA)을 제안하고, 페트리 넷에 시간 개념을 추가하여 시간 페트리 넷(Timed Petri-net : TPN)으로 모델링한다. 제안한 지능형 순차적 매칭 알고리즘의 유효성을 증명하기 위하여 시나리오를 제시하고, 그것을 모델링 한다. 또한 동일한 실험 조건 아래, 기존의 예측 알고리즘과 비교를 통하여 과 제안된 알고리즘의 예측 정확도가 4~6% 우수함을 보인다.

컨테이너터미널의 하역 데이터베이스 분석에 의한 하역시뮬레이션 모델 구축에 관한 연구 - 일본의 HICCT를 중심으로 - (Study on Construction of Simulation Model based on Analysis of Container Handling Database - A case of HICCT in Japan -)

  • 김화영
    • 한국항해항만학회지
    • /
    • 제31권8호
    • /
    • pp.717-723
    • /
    • 2007
  • 최근의 컨테이너 수송환경은 컨테이너 선사간 인수합병, 동맹화, 컨테이너선의 대형화와 하주의 요구에 대응하기 위한 복합수송체계 등 급속하게 변화하고 있다. 이에 컨테이너터미널에 요구되어지는 서비스로서 항만의 대수심화, 하역의 신속화, 이용료의 저가격화 등을 예로들 수 있고, 이러한 서비스가 제공되지 않을 경우 컨테이너 선사는 컨테이너터미널의 기항을 기피하게 된다. 따라서, 본 연구에서는 컨테이너터미널에 있어서 하역의 효율화와 기능성 평가를 위해 실제 컨테이너터미널의 하역 데이터 분석을 통하여 하역기기, 야드샤시 및 외부트럭의 관리에 대한 프로세스 정보를 추출하여 하역 효율화에 저해가 되는 하역기기 운전원의 스킬과 트러블 등의 요인을 분석하였다. 또한, 추출한 프로세스 정보를 활용하여 페트리 넷을 이용해 컨테이너 하역시뮬레이션 모델을 구축하고 하역기기의 컨테이너 하역작업을 시뮬레이션하여 그 유효성을 확인하였다.

신호 전송을 위한 ATM 망에서의 ABR 체증제어 (ABR Congestion Control for Signal Transmissions in ATM Networks)

  • 정준영;양현석;계영철;고인선
    • 한국통신학회논문지
    • /
    • 제28권5B호
    • /
    • pp.448-456
    • /
    • 2003
  • 본 논문에서는 음성신호 전송을 위한 ATM 서비스 중 ABR에 대한 새로운 체증제어 알고리즘을 제시한다. 제시하는 알고리즘에서는 기존의 방법들과는 달리 네트워크의 혼잡 정도를 측정하기 위하여 스위치의 버퍼레벨뿐만 아니라 버퍼레벨의 변화율을 측정하여 보다 유연하게 네트워크의 상황에 대처하도록 하였다. 또한, 음성신호 송신원의 셀 전송속도가 다른 음성신호 송신원에 비해 상대적으로 작아지거나 커지는 불평등을 해소하기 위하여 Loading Factor를 도입하여 전송속도의 증감율을 조정하였다. 본 논문에서 제시하는 알고리즘이 기존의 다른 방법에 비해 우수하다는 것을 입증하기 위하여 7개의 음성 신호 송신원과 4개의 스위치를 갖는 네트워크 모델을 제시하여 모의실험 하였다. 네트워크 모델은 페트리 네트를 통해 구현하였으며 모의실험 도구로는 ExSpect가 사용되었다. 모의실험 결과 본 논문에서 제안하는 알고리즘을 사용하면 기존의 방법에 비해 네트워크의 효율과 음성신호 송신원들의 불평등이 많이 개선됨을 알 수 있다.

안정적인 서비스를 위한 2N 이중화 모델의 가용도 분석 (Availability Analysis of 2N Redundancy System Using Stochastic Models)

  • 김동현;이유태
    • 한국정보통신학회논문지
    • /
    • 제18권11호
    • /
    • pp.2634-2639
    • /
    • 2014
  • 시스템 및 네트워크의 안정적인 서비스를 위한 기본적인 구조로 다양한 이중화 방식이 있다. 또한 시스템 및 네트워크의 성능을 분석하기 위하여 페트리네트에서부터 Stochastic Reward Net(SRN)에 이르기까지 다양한 성능 분석 모형이 존재한다. 본 논문에서는 정상 상태에서 하나의 액티브 서비스 유닛과 하나의 스탠바이 서비스 유닛을 가진 2N 이중화 방식을 SRN으로 모형화 한다. 성능 분석 소프트웨어인 추계적 페트리네트 패키지 SPNP를 사용하여 2N 이중화 방식의 가용도를 분석한다.

모바일 환경에서 페트리넷을 이용한 멀티미디어 동기화 (Multimedia Synchronization using PetriNet in Mobile Environment)

  • 이근수
    • 한국산학기술학회논문지
    • /
    • 제9권2호
    • /
    • pp.449-454
    • /
    • 2008
  • 멀티미디어 네트워크상의 응용의 요구가 빠르게 증가함으로써 모바일 환경의 서비스를 제공하는 것이 중요하다. 모바일 환경에서 동기화의 제약조건을 만족하는 멀티미디어 서비스를 얻고 미디어 스트림 사이에서 지연시간과 서비스 품질을 개선시키기 위해서는 새로운 규격 모델이 제안되어져야 한다. 본 논문에서는 효율적인 서비스 품질과 지연시간을 서술할 수 있는 새로운 규격 모델로써 모바일 동기화 모델을 제안한다. 또한 적응적인 전송지연 시간의 효과를 최소화할 수 있는 동적인 동기화 방법인 멀티미디어 동기화 알고리즘을 제안한다. 제안된 모델은 기존의 연구보다 손실율과 재생률과 같은 서비스 품질을 향상시켰다.

컬러드 페트리 네트를 기반으로 한 FTP 프록시 보안 모델의 안전성 검증 (Security Verification of FTP-Proxy Security Model Coloured Petri Net)

  • 이문구;전문석
    • 한국정보과학회논문지:정보통신
    • /
    • 제28권3호
    • /
    • pp.369-376
    • /
    • 2001
  • 기존의 호스트 기반 보안 시스템에서 네트워크 기반의 보안 시스템으로 침입차단 시스템을 설치하지만 침입차단 시스템은 보안에 대하여 최소 권한을 가지므로 사용자에게 투명한 서비스를 제공해 주지 못한다. 따라서 침입차단 시스템에 프록시를 두어서 서비스의 투명성을 제공하고 보다 강화된 보안 기능을 갖는 FTP 프록시 보안 모델(FTP-PSM:FTP-Proxy Security Model)을 설계하였다. FTP-PSM은 한 개의 명령어가 입력되고 실행이 끝나는 것이 아니라 계속적으로 사용자 인증 기능 강제적 접근제어 기능 임의적 접근제어 기능 그리고 그룹별 명령어 사용권한 인증 등과 같은 보안 기능을 실행한다. 이러한 보안 기능이 실행되기 위해서 입력된 데이터는 어떤 상황에서도 손실되지 않아야 하므로 실행과정이 무한 루프가 되어 계속 순환하거나 교착 상태가 되는 등의 문제에 대한 안정성을 검증하여야만 한다. 따라서 본 논문에서 제안하는 FTP-PSM은 CPN을 기반으로 한 상태 불변식으로 안정성을 검증하였다.

  • PDF

RFID 비즈니스 이벤트 데이터셋의 생성을 위한 시뮬레이션 기법 (A simulation technique to create dataset of RFID business events)

  • 류우석
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국정보통신학회 2013년도 추계학술대회
    • /
    • pp.289-291
    • /
    • 2013
  • RFID는 비접촉식 물품 인식 기술로서, 무선 인식의 장점에 따라 물류, 의약품, 병원 등 다양한 응용 분야에서 활용 범위를 넓혀가고 있다. RFID의 도입은 하드웨어 장비, S/W, 인력 등 비교적 높은 도입 비용을 요구한다. 이에 따라 응용 환경의 타당성 평가 및 EPC정보서비스(EPCIS)등과 같은 핵심 RFID S/W의 성능 및 적합성 평가가 선행되어야 하며, 이를 위해서는 다양한 종류의 테스트 데이터 셋이 필수적으로 요구된다. 본 논문에서는 RFID 응용환경을 시뮬레이션하는 접근방법을 통해 보다 실제와 유사한 RFID 비즈니스 이벤트 데이터셋을 생성하기 위한 방법을 제안한다. 제안하는 방법은 페트리넷을 기반으로 하여 다양한 RFID 응용 환경을 네트워크 모델 형태로 추상화시키고 이에 기반하여 실제와 유사한 데이터셋을 생성하는 특징이 있다. 이를 통해 본 연구는 RFID 시스템의 평가는 물론 시뮬레이션을 통해 특정 응용 분야에서의 RFID 도입여부 검토에서도 유용하게 활용될 수 있다.

  • PDF