• 한국통신학회:학술대회논문집
• /
• 한국통신학회 1990년도 추계종합학술발표회논문집
• /
• pp.354-357
• /
• 1990

• 한국지리정보학회지
• /
• 제15권2호
• /
• pp.1-11
• /
• 2012

지구 환경 변화에 따른 폭우로 절토 사면 붕괴가 해마다 발생하고 인명과 경제적 손실이 증가하고 있다. 이는 절토 사면의 붕괴의 평가를 요구한다. 경사면이 절토 시행 전에 시뮬레이션 된다면, 절토 사면의 붕괴를 예측 할 수 있고, 붕괴 사고 시 복구 비용을 최소화 할 수 있다. 본 논문은 절토 사면에서 중요한 경사도의 시뮬레이션 방법을 나타낸다. 이것은 패트리넷을 이용하여 모델링되며 디자인되고, ArcGIS를 이용하여 윈도우 XP 환경에서 구현하고자 한다. 그래서 본 논문은 GIS를 이용한 절토와 간척을 시뮬레이션 함으로써 시간과 돈을 절약하는데 기여할 것이다.

• 한국정보처리학회논문지
• /
• 제7권12호
• /
• pp.3785-3793
• /
• 2000

분산 멀티미디어 시스템에서는 미디어들 간에 존재하는 시간 관계성을 정확하게 표현하면서 네트워크의 가변적인 지연으로 인해 유발되는 비동기 문제를 해결할 수 있는 동기화 메카니즘이 필요하다. 본 논문에서는 실시간 분산 환경의 멀티미디어 응용을 지원하기 위해 Petri Net에 기반한 RTPN(Real-Time Petri Net) 동기화 명세 모델을 제안한다. 제한하는 모델은 미디어의 지연관계나 중요도에 의해 주요 키 미디어와 상대 키 미디어를 정의하여 다양한 미디어 객체간의 시간 관계를 유연하게 명세 한다. 그리고 점화 규칙은 비동기 허용율에 기반한 점화 함수에 의해 즉시 발생 되어 미디어 내 및 미디어간 실시간 동기화를 지원한다. 한편 프리젠테이션 레벨의 재동기를 위한 비동기 제어 알고리즘은 보다 효율적인 QoS 보장이 가능하다.

• 한국항행학회논문지
• /
• 제16권1호
• /
• pp.109-115
• /
• 2012

인문학은 컴퓨터를 이용하는 매체로서는 매우 어려운 분야이다. 그러나 최근에는 많은 분야에서 융복합이 확산되고 있다. 본 논문은 인문학의 대중화를 위하여 IT를 이용한 기술적인 방법을 제시하고자 한다. 이를 위하여 인문학에 디지털 스토리텔링을 적용하기 위한 경로를 페트리넷으로 구현하였다. 이는, 문장이나 작품에서 나타나는 예시를 관련된 질문과 연계하기 위하여 각 구성은 디지털스토리텔링으로 구현하였다, 이러한 스토리텔링은 작가, 시놉시스, 배경, 구성, 감상 포인트, 독자의 리뷰로 구성되었다. 또한 본 연구는 이러한 문학적 데이터 경로 분석을 위하여 페트리넷을 이용하였다.

• 정보처리학회논문지B
• /
• 제9B권5호
• /
• pp.615-624
• /
• 2002

하이퍼-프리젠테이션 개념은 하이퍼-미디어 개념을 확장한 것으로, 동적으로 연출되고 있는 상황에서 링크개념을 설정하여 특정시점이나 지점에서 원하는 다음 정보를 보기 위해서 비순차적으로 연출할 수 있도록 하는 연출이다. 이러한 비순차적인 연출방법인 하이퍼-프리젠테이션 개념을 도입함으로써, 자유로운 멀티미디어 연출이 가능하게 되었지만, 이러한 동기화 방법에 의해서 혼합된 여러 프레젠테이션들간에는 일관성 문제가 발생할 수 있다. 본 논문에서는 하이퍼-프리젠테이션 명시 프로그램의 일관성 검증을 위해서 Petri Net을 이용한 하이퍼-프리젠테이션 명시 방법을 제시하고, 그것을 이용한 명시 프로그램의 일관성을 검증하는 방법을 제안한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권1호
• /
• pp.64-88
• /
• 2024

Security and reliability are the utmost importance facts in intelligent networked vehicles. Stochastic Petri Net and Z (SPZN) as an excellent formal verification tool for modeling concurrent systems, can effectively handles concurrent operations within a system, establishes relationships among components, and conducts verification and reasoning to ensure the system's safety and reliability in practical applications. However, the application of a system with numerous nodes to Petri Net often leads to the issue of state explosion. To tackle these challenges, a refinement and abstraction method based on SPZN is proposed in this paper. This approach can not only refine and abstract the Stochastic Petri Net but also establish a corresponding relationship with the Z language. In determining the implementation rate of transitions in Stochastic Petri Net, we employ the interval average and weighted average method, which significantly reduces the time and space complexity compared to alternative techniques and is suitable for expert systems at various levels. This reduction facilitates subsequent comprehensive system analysis and module analysis. Furthermore, by analyzing the properties of Markov Chain isomorphism in the case study, recommendations for minimizing system risks in the application of intelligent parking within the intelligent networked vehicle system can be put forward.

• 정보처리학회논문지C
• /
• 제12C권4호
• /
• pp.559-570
• /
• 2005

ECN 방법은 통신 혼잡 발생 초기에 이 사실을 명백히 알려주기 때문에 통신 혼잡을 판단하는 정확한 방법이다. 그래서, 무선 TCP 분야에서는 ECN 방법이 심도 있게 연구되고 있다. 본 논문은 ECN 마킹을 위한 최적의 임계치(threshold)를 찾는 계산식을 제시하고, ECN 전략을 적용하는 TCP의 페트리 넷 모형을 구축한 다음, 시뮬레이션을 통하여 제시된 식의 타당성을 검증한다. 또한, 제시된 식의 실용화 방안도 제안한다. 본 논문의 주된 공헌은 ECN 마킹을 위한 최적의 임계치를 찾는 공식을 제공하는 것이지만, 본 논문에 소개된 ECN 전략을 적용한 TCP의 페트리 넷 모형도 네트워크 프로토콜을 연구하는 학자에게 도움을 주리라고 믿는다. 소개된 페트리 넷 모형은 기존의 TCP 모형에 ECN 전략을 추가하기 위하여 네트워크 부분을 주로 변형하였으며, 송신자와 수신자도 역시 변형되었다.

• 전자공학회논문지CI
• /
• 제38권5호
• /
• pp.44-57
• /
• 2001

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

• 한국정보처리학회논문지
• /
• 제3권3호
• /
• pp.543-563
• /
• 1996

본 논문에서는 실시간 퍼지 제어를 위한 모형으로서 '시간형 퍼지 패트리넬(TFPN) 모형'을 제시한다. TFPN모형은 시간 패트리넬과 퍼지 패트리넬을 통합한 것으로서 퍼지 추론 뿐 아니라 퍼지 제어에 이용할 수 있다. 또한, 퍼지 제어 규칙의 구문적 명세 언어로서 '시간적 퍼지 제어 언어 '를 정의하고, 이를 TFPN으로 모형화하는 방법을 제시한다. TFPN모형은 퍼지 제어에 대한 패트리넬 포멀리즘에 해당하며 그 수행 규칙은 마킹(퍼지화)과정과 점화(추론 및 비퍼지화) 과정으로 구성된다. 제시된 모형의 사례 연구 결과, 기존의 퍼지제어 모형보다 추론 및 제어 값의 계산 시간을 절약할 수 있으며, 제어 시스템의 불확실성을 자연스럽게 모형화하고 제어규칙의 가시 성을 높일 수 있다.

• 산업경영시스템학회지
• /
• 제28권3호
• /
• pp.36-41
• /
• 2005

페트리 네트(Petri Nets)는 이산 사건 시스템을 모델링할 수 있는 그래픽하고, 수학적인 도구이다. 본 연구는 유연제조 시스템을 확률적인 페트리 네트(Stochastic Petri Nets)중의 하나인 임베디드 마코프 체인(Embeded Markov Chain)에 도입하고, 임베디드 마코프 체인의 방법 중에 하나인 일반화된 확률적 페트리 네트(Generalized Stochastic Perti Nets)에 적용시켰다. 그리고 결과치의 정확성을 알아내기 위하여, 페트리 네트 시뮬레이션과 아레나를 사용하여 실행하였다.