• Journal of information and communication convergence engineering
• /
• v.19 no.1
• /
• pp.42-47
• /
• 2021

Multimedia Authoring Tool is a tool for creating multimedia presentations. With this tool, a user can produce playable multimedia documents. A Multimedia Authoring Tool requires input in the form of a spatial layout and a temporal layout. Users can make many mistakes in creating multimedia presentations and verification is required in the Multimedia Authoring process in order to produce multimedia documents. In this study, two verification phases are proposed: Time Computation and Spatiotemporal Conflict Verification. In the experiment conducted for this study, two kinds of verification were carried out: The use of single-phase verification and the use of double-phase verifications. By using these two types of verification, it became easier to successfully detect errors in the spatial and temporal layouts, and the types of verification have also been successful in increasing the success of error detection.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.39 no.6
• /
• pp.53-67
• /
• 2002

The multimedia synchronization is one of the key issues to be resolved in order to provide a good quality of multimedia related services, such as Video on Demands(VoD), Lecture on Demands(LoD), and tele-conferences. In this paper, we introduce an adaptive multimedia synchronization algorithm using the level of buffers and load of servers, which are modeled and analyzed by ExSpect, a Petri net based simulation tool. In the proposed algorithm, the audio and video buffers are divided to 5 different levels, and the pre-defined play-out speed controller tries to make the buffer level to be normal in different temporal relations between multimedia streams using buffer levels and server loads. Because each multimedia packet is played by the pre-defined play-out speed, the media data can be reproduced within the permissible limit of errors while preserving the level of buffers to be normal. The proposed algorithm is able to handle and support various communication restrictions between providers and users, and offers little jitter play-out to many users in networks with the limited transmission capability. The performance of the developed algorithm is analyzed in various network conditions using a Petri net simulation tool.

• Journal of Korea Multimedia Society
• /
• v.7 no.2
• /
• pp.194-203
• /
• 2004

In this paper we propose a Mobile Petri-net Model (MPM) as a new specification model including the QoS parameter that minimizes the transmission delay time. In MPM, we propose a playing time algorithm for supporting the seamless presentation and the smooth playing. The proposed model has a higher guarantee of QoS such as playing time than the previous work.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.309-311
• /
• 1998

동기화 전략을 명시하는 방법으로 시간 구간 명시, 시간축 명시, 레퍼런스 포인트를 두는 방법, 페트리넷을 이용하는 방법 등 매우 다양한 연구 결과가 소개되었다. 본 논문은 기존의 멀티미디어 시나리오의 동기화 명시를 위한 페트리넷 방법[1-3]을 확장하여, 페트리넷 동기화 명시를 실현한 멀티미디어 시나리오를 재생하여 주는 시스템을 구현하고, 자료구조, 멀티프로세싱, 동기화 기법 등을 중심으로 본 재생 시스템을 소개한다. 본 시스템의 특징은 미디어 단위의 시나리오 진행이 가능한 것이다. 멀티미디어 프로그램이 학습에 많이 이용되므로 물리의 '중력'을 간단하게 설명하는 예제와 더불어 어떻게 실행되는가를 설명한다.

• Annual Conference of KIPS
• /
• 2008.11a
• /
• pp.30-32
• /
• 2008

이 논문에서는 생성시스템 규칙 조건부의 일부만 입력 사실로 주어져도 행동부를 실행하여 유용한 결과를 제시할 수 있는 방법을 제안한다. 규칙 또는 페트리 넷의 변이(transition)의 격발(firing) 규칙을 개선하여 고안된 이 방법은 퍼지 추론이 추구하였지만 이루지 못한 불확실, 불충분한 조건을 통한 결론 도출이라는 과제의 매우 실용적인 해답이 될 것이다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.2
• /
• pp.449-454
• /
• 2008

As demand for the application in multimedia networks is increasing rapidly, it is important to provide these services in Mobile Environments (ME). Obtaining to multimedia services which satisfy synchronization constraints in ME and improving the delay time and Quality of Service(QoS) between media streams to be presented, new specification model has to be proposed. In this paper we propose Mobile Synchronization Model(MSM) as a new specification model for describing efficiently the QoS and the delay time. Also, we propose the multimedia synchronization algorithm where is a dynamic synchronization method that minimizes the effects of adaptive transmission delay time. The proposed model has higher the guarantee of QoS such as the loss rate and the playout rate than it of the previous work.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.05c
• /
• pp.431-436
• /
• 2002

네트워크를 통한 미디어 서비스에 있어 다양한 미디어 서비스의 개발과 사용자들의 요구에 대응하기 위해 사용자와의 상호대화를 할 수 있는 미디어 전달 방법과 연속적인 재생을 보장하기 위한 버퍼정책이 요구된다. 지금까지의 관련된 연구에서는 여러 가지 다양한 방법을 통하여 동기화를 달성하고 있으나 상호대화라는 측면에서는 만족할 만한 해결책을 제시하지 않고 있다. 본 논문에서는 상호대화형 객체(Interactive Object)를 각 미디어 파일에 삽입하고 객체들이 서로의 정보를 이용할 수 있는 함수를 설계하여 동기화와 상호대화성이라는 문제를 해결하며 네트워크에 대한 의존성 때문에 발생하는 불연속적인 재생을 가변 버퍼를 이용함으로써 해결하였다.

• The Journal of the Korea Contents Association
• /
• v.5 no.1
• /
• pp.147-155
• /
• 2005

In this paper, communication channels for the transmission of multimedia packets are modeled and evaluated. The multimedia packet traffic characterized by on-off and MMPP process for voice and data, respectively, dynamic channel allocation, queueing of data packets due to unavailability of channels and dropping of queued data packets over timeout, and guard channel for voice packets are modeled. The performance indices adopted in the evaluation of SRN model includes blocking and dropping probabilities. The SRN uses rewards concepts instead of the complicate numerical analysis required for the Markov chain. It is shown that our SRN modeling techniques provide an easier way to carry out performance analysis.

• Annual Conference of KIPS
• /
• 2001.04b
• /
• pp.977-980
• /
• 2001

본 논문은 멀티미디어 페트리 넷을 분석하는 방법을 제공한다. 멀티미디어 시나리오는 결정적으로 진행됨으로 멀티미디어 페트리 넷은 마크드그래프라야 한다. 또한, 멀티미디어 시나리오는 시작 화면에서 시작하여 멀티미디어를 구성하는 모든 화면을 차례로 출력하고 종료 화면에서 끝나야 함으로 멀티미디어 페트리 넷은 Start place에만 하나의 토큰이 놓인 상태에서 격발을 진행하면 모든 트랜지션을 꼭 한번씩 격발한 다음 End place에만 꼭 하나의 토큰이 놓인 상태에 도달하는 성질이 있다. 본 논문은 이러한 성질들을 바탕으로 멀티미디어 시나리오의 무결성을 검사하는데 도움을 줄 수 있는 멀티미디어 페트리 넷의 분석 방법을 제공한다.

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.34S no.3
• /
• pp.1-11
• /
• 1997

Since the radio spectrum is limited, future wireless system will have micro cellular architecture in order to provide multimedia traffic services on personal communicatons network. The small coverage area of micro cellular systems results in frequent hadnoffs and location updates. We focuse on network load and terminal power due to frequent location updates and propose a location tracking scheme using embedded-pager PCS terminals. The proposed scheme is expected to minimize theconsumption of PCS terminal powr and improve the receiving rate of callee because of the power saving mechanism and the embedded-pager PCS terminal. This paper proposes signaling flows among the network elements for the proposed location tracking scheme. The signaling flows are accomodated to not only the existed network architectures but alsothe ATM backbone network arcitecture. To verify the signaling flows, we used petri-Net model. The resutls show that the signaling flows are suitable to our proposed location tracking scheme.