• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2005년도 춘계 종합학술대회 논문집
• /
• pp.315-319
• /
• 2005

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

• 한국산학기술학회논문지
• /
• 제13권11호
• /
• pp.5512-5517
• /
• 2012

본 논문에서는 만족스런 서비스 품질을 제공하는 페트리 네트 기반의 멀티미디어 동기화 모델을 제안한다. 제안한 모델은 실시간 특징을 나타내는 데이터의 서비스 품질을 보장할 수 있는 가변적 버퍼를 적용하였다. 본 논문은 동기화 구간 조정을 처리하기 위해 지연 지터를 적용함으로써 트래픽 증가로 인한 미디어 데이터의 손실 시간 및 지연시간의 변화로 인한 데이터 손실을 감소시켰다. 그리고 스무딩 버퍼의 대기 시간을 가변으로 처리함으로써 지연시간의 변화로 인한 불연속을 감소시켰다. 제안된 논문은 고품질 서비스의 보장을 요구하는 시스템에 적합하며, 재생율 증가와 손실율 감소 등 서비스 품질을 향상시켰다.

• 물과 미래
• /
• 제28권6호
• /
• pp.203-215
• /
• 1995

본 연구는 도시유역에서 내수에 의한 침수를 경감시키기 위하여 유수지 및 빗물펌프장을 운영함에 있어 배수펌프를 효율적으로 조작할 수 있는 모형을 개발, 제시하였다. 유출량을 산정하기 위하여 설계강우의 재현기간을 10, 20, 30년으로 선정하였으며, 유수지로 유입되는 유출수문곡선은 SWMM모형을 이용하여 구하였고, 펌프의 동작확인을 위하여 페트리네트도 (Petri net diagrams)를 사용하였다. 또한 종합평가지표를 이용하여 펌프의 안정성과 효율성을 평가하였으며, 서울 시내 3개의 유수지에 모형을 적용하여 모형의 적용성을 확인하였다. 설계강우와 실적강우에 대한 수치실험 결과 본 연구에서 제시한 모형 중 모형 3은 기존의 배수펌프 조작모형보다 내수방재 측면에서 우수하였으며, 실시간 펌프운영조작에도 효과적으로 사용될 수 있다고 판단된다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권4호
• /
• pp.467-471
• /
• 2010

블로그는 가장 널리 퍼지고 있는 개인화 웹 서비스로서 전세계의 많은 사람들이 이용하고 있다. 이런 블로그의 내용은 대부분 일상 생활에서 겪은 경험이나 감정을 표현하고 있는 것들이다. 따라서 모바일 기기로 수집된 개인의 생활에 대한 정보를 모아 자동으로 블로그를 만든다면 그것을 바탕으로 보다 쉽게 자신만의 블로그를 만들수 있을 것이다. 이미 모바일 상황정보를 바탕으로 블로그를 자동으로 만들기 위한 몇몇 연구가 이루어지고 있다. 본 논문에서는 모바일 기기에서 수집된 정보를 바탕으로 사용자의 상태를 추론한다. 그리고 추론된 결과를 바탕으로 페트리 넷 스크립트를 이용하여 스토리 형태로 텍스트를 생성한 후, 최종적으로 사진과 지도상의 이동 패턴을 합쳐 사용자의 생활을 보여주는 블로그를 구성한다.

• 한국전자거래학회지
• /
• 제14권1호
• /
• pp.35-56
• /
• 2009

프로세스 설계에는 Petri-net, EPC, UML Activity Diagram 등 다양한 모델 기법이 사용되고 있다. 업무 프로세스 내에 복잡한 업무 규칙이 다수 결합되어 있거나, 유비쿼터스 컴퓨팅과 같이 분산 환경에서 복합한 상호운용 규칙이 산재되어 있는 경우에는 정형적인 프로세스 모델링 기법이 비효율적이므로 규칙 기반의 분산 프로세스 설계를 사용할 수 있다. 본 연구는 유비쿼터스 환경에서의 규칙 기반 프로세스 설계 방법을 분석한다. 특히, 이벤트-조건-액션(ECA) 형태의 능동형 규칙을 이용한 프로세스 설계를 대상으로 분석하며, ECA 스키마는 웹 서비스 기술을 위해 개발된 WS-ECA 언어를 사용한다. ECA 규칙을 이용한 여러가지 프로세스 통제 흐름 표현 방법을 분석하기 위하여 워크플로우 패턴을 활용하였다. 워크플로우 패턴에 따라 ECA 규칙 기반 프로세스 표현법을 제공함으로써 규칙 기반 프로세스를 설계하기 위한 가이드라인을 제시하였다는 데 연구의 의의가 있다.

• 한국지능시스템학회논문지
• /
• 제14권4호
• /
• pp.487-492
• /
• 2004

본 논문은 Crisp Discrete Event System(CDES)에서 다룰 수 없는 특성을 가지는 의료진단이나 교통제어와 같이 애매하거나 불확실한 판단 그리고 관련성이 모호한 판단의 근거들에 의해 결정되어지는 사건들로 이루어진 Fuzzy Discrete Event System(FDES)의 모델링 방법과 그 응용에 대하여 연구하였다. 일반적인 CDES는 모델링 방법이 많이 연구되어져 왔으나, FDES는 발생되어지는 사건들의 정성적인 특성과 적용되어지는 경우가 드문 이유로 거의 연구되어져 있지 않다. 본 논문에서는 Fuzzy Timed Transition Petri Net(FTTPN)으로 FDES인 교통 시스템을 모델링하고 교통 신호제어기를 설계하였다.

• 한국정보통신학회논문지
• /
• 제17권11호
• /
• pp.2609-2614
• /
• 2013

물류, 의약품, 병원 등 다양한 환경에서 RFID의 도입이 확산되고 있다. RFID의 도입을 위해서는 EPC정보서비스(EPCIS)등과 같은 핵심 RFID S/W의 성능 및 적합성 평가가 선행되어야 하며, 이때 다양한 종류의 비즈니스 이벤트 데이터셋이 필수적으로 요구된다. 본 논문에서는 RFID 응용환경을 시뮬레이션하는 접근방법을 통해 보다 실제와 유사한 RFID 비즈니스 이벤트 데이터셋을 생성하기 위한 기법을 제안한다. 제안하는 모델은 페트리넷을 기반으로 하여 다양한 RFID 환경에 대한 유연한 표현이 가능한 특징이 있다. 또한, 실제 RFID 환경의 시뮬레이션이 가능함에 따라 RFID 도입여부 검토에서도 유용하게 활용될 수 있다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1996년도 춘계공동학술대회논문집; 공군사관학교, 청주; 26-27 Apr. 1996
• /
• pp.314-314
• /
• 1996

We investigate the scheduling problem for periodic job shops with blocking. We develop Petri net models for periodic job shops with finite buffers. A buffer control method would allow the jobs to enter the input buffer of the next machine in the order for which they are completed. We discuss difficulties in using such a random order buffer control method and random access buffers. We thus propose an alternative buffer control policy that restricts the jobs to enter the input buffer of the next machine in a predetermined order. The buffer control method simplifies job flows and control systems. Further, it requires only a cost-effective simple sequential buffer. We show that the periodic scheduling model with finite buffers using the buffer control policy can be transformed into an equivalent periodic scheduling model with no buffer, which is modeled as a timed marked graph. We characterize the structural properties for deadlock detection. Finally, we develop a mixed integer programming model for the no buffer problem that finds a deadlock-free optimal sequence that minimizes the cycle time.

• 정보교육학회논문지
• /
• 제7권3호
• /
• pp.309-317
• /
• 2003

웹 기반 교육 시스템은 정보의 일방적인 전달방식에서, 사용자와의 양방향적인 정보교환방식으로 변화되었다. 이에 따라, CGI(Common Gateway Interface)와 같은 서버측 언어와 데이터베이스를 이용하여 각 기능분리에 따른 3-계층 모델로 구현되어왔다. 그러나, 최근 CBSD(Component Based Software Development)기법이 많은 관심을 받으며, 이를 적용하려는 노력들이 나타나고 있다. 이에 따라, 본 연구에서는 컴포넌트 기반의 문제풀이 시스템을 구현하였다. 이를 위하여, 웹 서버측 컴포넌트 모델인 EJB(Enterprise Java Beans)를 이용하였으며, 컴포넌트들 사이의 메시지 흐름에 대한 정형적인 명세를 위하여 페트리 넷을 이용하였다.

• 한국정보통신학회논문지
• /
• 제16권3호
• /
• pp.626-634
• /
• 2012

양식 환경의 과학적이고 체계적인 관리와 양식어민을 위해 실시간 수질 및 급이 정보 이외에도 자료의 종합적인 판단과 변화 이력을 확인하고 관리할 수 있는 시스템이 필요하다. 따라서 본 연구에서는 양식장의 수질, 급이의 현재 상태를 제시하고 이력 정보를 기반으로 시뮬레이션 가능하며 상태 변화를 단계 별로 확인 가능한 시스템을 비주얼 C++를 이용하여 구현하였다. 또한 수질, 급이 상태 정보를 수산지식을 기반으로 종합적으로 분석할 수 있고 제시할 수 있는 엔트로피 모델을 제안하였다. 이는 추후 질병 및 다양한 연구 결과를 반영한 고차원의 양식 환경 모델을 생성할 수 있는 토대가 될 수 있다.