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

검색결과 137건 처리시간 0.025초

데이터베이스 시스템 신뢰도를 위한 페트리 네트 모델링 (Petri Net Modeling of Database System Reliability)

  • 노철우;김경민;김티나
    • 한국콘텐츠학회:학술대회논문집
    • /
    • 한국콘텐츠학회 2005년도 춘계 종합학술대회 논문집
    • /
    • pp.315-319
    • /
    • 2005
  • 컴퓨터 시스템의 성능분석을 위하여 페트리 네트 기반 모델이 널리 사용되어 왔으나, 신뢰도와 가용도 분석을 위한 페트리 네트 모델링은 폭넓은 관심을 갖지 못했다. 본 논문에서는 페트리 네트를 이용한 데이터베이스 시스템의 신뢰도 분석과 모델링 기법에 대하여 논의한다. 공유 메모리(Shared Memory), 프로세서, 버스, 데이터베이스(디스크)의 구성요소를 갖는 고장감내형(fault-tolerant) 데이터 베이스 시스템의 신뢰도 분석을 위한 페트리 네트 모델을 개발한다. 각 구성요소에 대한 고장을 고려하며, 데이터베이스 시스템이 동작중일 조건은 데이터베이스가 동작하고 컴퓨터 구성요소인 프로세서, 메모리, 버스가 동작중인 경우로 한다. 각 구성요소는 개별적으로 고장이 날 수 있으며, 시스템이 동작하는 한 복구할 수 있다. 이러한 고장 및 복구 조건을 고려한 시스템의 신뢰도 분석을 페트리 네트의 확장 모델이며 모델링 기능이 풍부한 마르코프 reward 모델을 이용하여 수행한다. Stochastic Reward Net(SRN)이 갖고 있는 variable cardinality, enabling 함수, 시간천이 우선순위 등의 기능을 이용하여 신뢰도 모델을 개발하는 기법을 제시한다.

  • PDF

페트리 네트를 이용한 멀티미디어 동기화 모델의 설계 및 검증 (Design and Verification of Multimedia Synchronization Model using PetriNet)

  • 오명관;이근왕
    • 한국산학기술학회논문지
    • /
    • 제11권2호
    • /
    • pp.584-589
    • /
    • 2010
  • 본 논문에서는 만족스런 서비스 품질을 제공하는 페트리 네트 기반의 멀티미디어 동기화 모델을 제안한다. 제안한 모델은 실시간 특징을 나타내는 데이터의 서비스 품질을 보장할 수 있는 가변적 버퍼를 적용하였다. 본 논문에서는 페트리네트를 확장하여 새로운 멀티미디어 동기화 규격 모델을 표현할 수 있는 PBMSM을 제안하고, 제안한 모델의 검증을 위하여 페트리 네트의 두가지 분석방법에 의해 증명을 하였다. 그리고 기존의 모델과 비교하여 성능이 우수함을 보였다. 제안한 모델은 양질의 서비스 보장을 요구하는 시스템에 적합하다.

퍼지페트리네트와 신경망을 이용한 의식.무의식 통합 시스템 (The combined system of consciousness and unconsciousness using Fuzzy Petri net and Neural Network)

  • 박경숙;박민용
    • 한국인지과학회:학술대회논문집
    • /
    • 한국인지과학회 2000년도 춘계 학술대회
    • /
    • pp.311-321
    • /
    • 2000
  • 본 논문에서는 정신분석과 두 종류의 정서이론, 인공지능과 신경회로망 그리고 퍼지 페트리 네트 등을 사용하여 사람의 인지과정을 모방한 인지모형시스템을 개발하였다. 먼저 프로이트의 정신분석을 사용하여 정신의 구조를 그래프로 표현한 후 이것을 '마음의 지도'라 명명하였다. 인지모형시스템을 구현하기 위한 첫 번째 작업으로 동적인 추론을 할 수 있는 지능 모델인 KNBN(Kohonen Network based Belief Network)을 제안하였다. KNBN으로 표현한 마음의 약도 내에서 연결강도 값으로 사용할 상대적 데이터를 만들기 위한 근거로서는 '정서'를 사용하였는데, 플라칙의 진화론에 근거한 정서이론과 오토니의 인지적 정서이론을 결합하여 데이터로 만든후 이 수치를 연결강도로 사용하였다. 이 두 개의 정서이론을 결합하는 알고리즘을 만들기 위해 페트리네트를 변형한 퍼지 페트리네트를 제안하였다. 또한 오토니가 주장하는 정서의 인지구조를 사람들이 그대로 이해하는지 여부를 알기 위해 대학생 100명을 대상으로 설문지를 사용해 정서의 인지구조에 대해 조사하였고 그 결과 값에 근거하여 두 개의 정서이론 결합 알고리즘을 만들었다. 이것으로 정서 발화에 대한 상대적인 수치가 산출되었고, 이것을 KNBN으로 표현한 마음의 약도에 결합하기 위해 0과 1사이의 수치로 정규화 하였다. 이렇게 정규화된 데이터를 이용해 인지 모형 시스템을 개발하였다.

  • PDF

페트리네트 기반 플레이어 타입 분석을 이용한 게임 캐릭터 성장 시스템 (Game Character Growing System using Player Type Analysis based on Petri-Net)

  • 이신구;강민수;이상준
    • 한국게임학회 논문지
    • /
    • 제15권6호
    • /
    • pp.131-140
    • /
    • 2015
  • 많은 장르의 게임들에서 타 플레이어의 캐릭터와 다르게 특성화된 플레이어 고유의 캐릭터는 게임의 주된 흥미 요소 중 하나이다. 현재 보통의 경우, 이러한 요소를 제공해주기 위한 시스템은 대부분 유저들이 직접 특성 항목에 캐릭터 성장에 따라 주어지는 포인트를 할당하여 캐릭터에 고유한 특성을 부여하는 형태로 이루어져 있다. 이러한 시스템에서 개개의 유저 스스로에게 합리적인 캐릭터 특성화를 제공하기에 많은 어려움과 제약이 따른다. 이 연구에서는 유저의 플레이 타입에 입각한 성장 시스템을 제안한다. 플레이어의 행동이나 타입에 의해 결정되는 성장 형태는 페트리네트에 의해 생성되며, 실험 결과와 분석을 통해 제안된 방식이 캐릭터 성장 시스템에 적합함을 보인다.

가중 퍼지 페트리네트를 이용한 가중 퍼지 후진추론 (Weighted Fuzzy Backward Reasoning Using Weighted Fuzzy Petri-Nets)

  • 조상엽;이동은
    • 인터넷정보학회논문지
    • /
    • 제5권4호
    • /
    • pp.115-124
    • /
    • 2004
  • 본 논문에서는 가중 퍼지 페트리네트에 기반을 둔 규칙기반시스템을 위한 가중 퍼지 후진추론 알고리즘을 제안한다. 규칙기반시스템에 있는 퍼지 생성규칙은 가중 퍼지 페트리네트로 모형화된다. 여기에서 퍼지 생성규칙에 나타나는 퍼지 명제의 진리값과 규칙의 확신도는 퍼지 숫자로 표현한다. 그리고 규칙에 나타나는 퍼지 명제의 가중값도 퍼지 숫자로 표현하다. 제안한 가중 퍼지 후진추론 알고리즘은 목표노드에서 초기노드까지 후진추론 통로를 생성한 후 목표노드의 확신도를 계산한다. 우리가 제안한 알고리즘은 규칙기반시스템이 더 유연하고 사람과 같은 방법으로 가중 퍼지 후진추론을 하는 것을 가능하게 한다.

  • PDF

페트리네트의 계층화를 통한 시퀀스제어계의 설계(I) - SFC에 근거한 페트리네트의 분할 (Design for Sequential Control System Using Petri Nets with Hierarchical Expression(I) - Division of Petri Nets Based on SFC)

  • 정석권;양주호
    • 한국해양공학회지
    • /
    • 제13권3B호
    • /
    • pp.106-115
    • /
    • 1999
  • Modeling a discrete event system such as a sequential control system is difficult compared with a continuous system. Petri nets have been introduced as an analyzing and design tool for the discrete systems. One of the problems in its applications is that the model can not be analyzed easily in the case of large scale or complicated systems because of increase of the number of components of the system. To overcome this problem, some methods for dividing or reducing Petri nets have been suggested. In this paper, an approach for a hierarchical expression of Petri nets based on Sequential Function Chart(SFC) is proposed. A measuring tank system will be described as a typical kind of discrete systems. The system is modeled by sub Petri nets based on SFC in order to analyze and visualize efficiently about the dynamic behaviors of the system. Some numerical simulations using state equations are performed to prove the validity of the proposed method.

  • PDF

페트리네트를 이용한 분해경로 생성에 관한 연구 (A Study on Disassembly Path Generation Using Petri Net)

  • 이화조;주해호;경기현
    • 한국정밀공학회지
    • /
    • 제17권2호
    • /
    • pp.176-184
    • /
    • 2000
  • Possible representation methods for the product structure have been compared and analyzed to determine optimal disassembly path of a product. Petri net is selected as the most optimal method to represent disassembly path of the product. In this method, a reachability tree for the product is generated and disassembly time for each path is calculated. A path with the smallest disassembly time is selected as the optimal path. A software far DPN(Disassembly Petri Net) has been developed and applied to search the optimal disassembly path for a ballpoint pen disassembly process as an example.

  • PDF