• 한국멀티미디어학회논문지
• /
• 제7권2호
• /
• pp.194-203
• /
• 2004

본 논문에서는 전송 지연 시간을 최소화하기 위해 서비스 품질 파라미터를 포함한 새로운 규격모델로 모바일 페트리넷 모델을 제안한다. 그리고 미디어의 재생시 끊어짐이 없는 유연한 재생을 처리하기 위한 재생 시간 알고리즘을 제안한다. 제안한 모델은 기존 연구보다 재생 시간과 같은 서비스 품질의 보장을 향상시키는 결과를 나타내었다.

• 산업공학
• /
• 제17권2호
• /
• pp.200-207
• /
• 2004

Because the designed workflow may contain potential errors which may result in deadlocks, livelocks and so on, it is important to analyze the correctness of a workflow definition before it is put into the run time environment. Proposed in this paper is a transformation procedure of an UML activity diagram into a Petri net for the analysis of a workflow. By combining the strengths of easy-to-use functionality of an activity diagram and the analysis power of a Petri net, workflow analysts in the enterprise can model and analyze various kinds of workflow definition more easily and accurately.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2001년도 춘계학술발표논문집
• /
• pp.181-184
• /
• 2001

문법적으로 정확한 한국어 음성을 합성하려면 표준어 규정의 '표준 발음법'을 준용해야 한다. 따라서 한국어 음가 합성 시스템에 사용되는 한글을 음성으로 변환하여 주는 규칙은 '표준 발음법'을 완전하게 반영하며 또한 무결해야 한다. 기존의 연구에서는 표준 발음법을 검증없이 적용하여 왔고, 표준 발음법자체에 모순이 있는가의 여부에 대해서도 체계적인 분석을 위한 시도가 전무하였다. 본 논문에서는 한국어 음가 생성의 기본 규칙으로 준용할 표준 발음법을 페트리넷으로 모델링하여 표준 발음법의 일관성을 검증하였다. 그리고, 음운 변동 현상을 설러 단계로 나누어 차례로 적용한다든지, 변동된 단어에 대하여 처음부터 다시 변환 작업을 재수행하는 기존의 음가 생성 방법의 문제점을 해결하기 위하여 한번의 테이블 탐색으로 모든 음운 변동이 완료되는 한국어 음성 합성을 위한 음가 변란 테이블을 구현하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년 학술대회 논문집 정보 및 제어부문
• /
• pp.181-183
• /
• 2006

This paper proposes an intelligent decision framework for update of the environment model using GSPN(generalized stochastic petri nets). The GSPN has several advantages over direct use of the Markov Process. The modeling, analysis, and performance evaluation are conducted on the mathematical basis. By adopting the probabilistic approach, our decision framework helps the robot to decide the time to update the map. The robot navigates autonomously for a long time in dynamic environments. Experimental results show that the proposed scheme is useful for service robots which work semi-permanently and improves dependability of navigation in dynamic environments.

• 전자공학회논문지C
• /
• 제34C권5호
• /
• pp.9-18
• /
• 1997

The petri net is a graphic model which is adaptable in modeling a complex concurrent parallel ssystem, and it is widely used in the fields of industrial enginering, computer science, electric engineeringand chemistry. Recently, the net is applied to the communication protocol, and extended to represent complex systems. There are several extended petri nets named as TPN (timed petri net), SPN (stochastic petri net), FPN(fuzzy petri net) and TFPN(timed fuzzy petri net). Accodingly, this SPN (stochastic petri net), FPN (fuzzy petri net) and TFPN(timed fuzzy petri net). Accodingly, this paper proposes an advanced communication protocol modeling method using the fuzzy value of the transition and firing delay time as the arguments of the function. The proposed method can produce clearer firing rules, and it is supposed to be used to design and analyse communication protocols in great effection.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2001년도 제13회 한글 및 한국어 정보처리 학술대회
• /
• pp.193-198
• /
• 2001

본 논문에서는 개정된 국어의 로마자 표기법에 근거한 로마자 표기 변환기를 생성하기 위하여 한글-로마자 표기 변환시스템을 설계하였다. 한글-로마자 표기의 규칙변환을 위하여 로마자 표기법중 표기의 변환에 관련된 항과 그렇지 않은 항으로 분리하여 규칙 변환을 위한 로마자 표기법을 정리하였으며, 로마자 표기법의 근간이 되는 표준 발음법을 페트리넷으로 모델링 후 분석하여 표기-음가 변환표를 생성하고, 표기-음가 변환표에서 로마자 표기법에 해당하지 않는 부분을 제거하여 한글 - 로마자 표기 변환표를 생성하고 이를 바탕으로 한글-로마자 변환 시스템을 구현하였다.

• 한국통신학회논문지
• /
• 제18권2호
• /
• pp.169-177
• /
• 1993

본 논문에서는 실험용 소형위성에 사용될 패킷프로토콜을 개발하기 위해 패킷무선 프로토콜의 하나인 AX.25 프로토콜의 규격을 기본으로 하고 프로토콜의 모델링 도구로서 시간 기능과 계수기능을 추가하여 마든 확장된 페트리넷으로 프로토콜을 모델링하고 도달성 나무 분석에 의하여 프로토콜의 정확성, 복구성, 제한성, 데드록 등을 검증한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.400-400
• /
• 2000

This paper purposed that verify the validity of Petri Net method for control progressive increase of system complexity, before extend the realized single robot system to multi-robot system. An autonomous mobile robot(AMR) needs decision making, motion control, path planning, tracking a path, obstacle avoidance, and sensor fusion, to complete its task. An AMR integrates and operates these technics through a consistent command system. An error in a command hierarchy which is like duplication or omission of a control command hierarchy for each module results in serious problems. This paper minimizes the error by modeling each module and whole system using Petri Net graphical representation and applies it to the exploration task of an AMR

• 한국컴퓨터산업학회논문지
• /
• 제3권5호
• /
• pp.585-594
• /
• 2002

본 논문에서는 음성인식의 후처리를 위한 음가-표기 변환표의 생성과 구현에 관한 연구를 수행하였다. 음절 단위 음가를 인식하는 음성인식 시스템을 위한 후처리를 위하여 인식된 음가로 발음되는 표기 집합을 생성하는 표기 집합 생성기를 설계 구현하였다. 표준 발음법을 페트리넷으로 모델링하여 생성된 표기-음가 변환표를 기반으로 음가표기 변환표를 생성하였다. 음가-표기 변환표가 올바른 표기 집합을 생성함을 보이기 위하여 표기 집합 생성기를 설계 구현하고, 표준 발음법 예제와 발음법 사전에서 무작위로 추출된 단어에 대하여 실험한 결과 발성 이전의 표기가 포함된 올바른 표기 집합이 생성됨을 입증하였다.

• 한국게임학회 논문지
• /
• 제20권1호
• /
• pp.133-142
• /
• 2020

디지털 기능성 게임 시장은 스마트폰, 태블릿 PC등의 스마트 플랫폼으로 급격히 확대되면서 중요성이 커지고 있다. 게임이 디지털화되면서 교실 안에서 이루어지는 일방향적 교수법에서 양방향성이 가능한 단계로 발전해 가고 있다. 본 논문에서는 스마트 기기에 익숙한 초등학생들이 디지털 보드 게임을 통해 음악가와 연관된 음악적 지식을 습득하는 게임을 설계 및 개발하였다. 음악가와 연관된 음악가의 업적 카드를 수집하며 해당 음악가에 대한 정보를 얻어 학습하며, 초등학생들은 게임이 끝날 때까지 반복적으로 연관된 음악 지식을 얻게 된다. 개발된 게임은 게임 플레이의 흐름이 원활히 작동이 되는지 페트리넷을 활용하여 시뮬레이션을 진행한다.