Multimedia synchronization is the essential technology for the integration of multimedia in distributed multimedia systems. The multimedia synchronization model has been recognized by many researchers as a premise of ...Multimedia synchronization is the essential technology for the integration of multimedia in distributed multimedia systems. The multimedia synchronization model has been recognized by many researchers as a premise of the implementation of multimedia synchronization. In distributed multimedia systems, the characteristic of multimedia synchronization is dynamic, and the key medium has the priority in multimedia synchronization. The previously proposed multimedia synchronization models cannot meet these requirements. So a new multimedia dynamic synchronization model-DSPN,based on the timed4etri-net has been designed in this paper. This model can not only let the distributed multimedia system keep multimedia synchronization in a more precise and effective manner according to the runtime situation of the system, but also allow the. user to interact with the presentation of multimedia.展开更多
模型的模拟能力一直是系统建模方面的一个重要研究课题。本文先用一个直观的“零检验”例子说明时间Petri 网的模拟能力比传统 Petri 网要强,并首次证明了时间 Petri 网与计算科学的最高模型——图灵机有相等的模拟能力;最后给出了另外...模型的模拟能力一直是系统建模方面的一个重要研究课题。本文先用一个直观的“零检验”例子说明时间Petri 网的模拟能力比传统 Petri 网要强,并首次证明了时间 Petri 网与计算科学的最高模型——图灵机有相等的模拟能力;最后给出了另外一种含时间因素的时延 Perri 网向时间 Petri 网的转换方法,这说明了时间 Petri 网虽然形式上较为简单,但其模拟能力却并不比其它合时间因素的 Petri 网逊色,同时为时延 Petri 网的研究提供了另外一种有效方法。展开更多
文摘Multimedia synchronization is the essential technology for the integration of multimedia in distributed multimedia systems. The multimedia synchronization model has been recognized by many researchers as a premise of the implementation of multimedia synchronization. In distributed multimedia systems, the characteristic of multimedia synchronization is dynamic, and the key medium has the priority in multimedia synchronization. The previously proposed multimedia synchronization models cannot meet these requirements. So a new multimedia dynamic synchronization model-DSPN,based on the timed4etri-net has been designed in this paper. This model can not only let the distributed multimedia system keep multimedia synchronization in a more precise and effective manner according to the runtime situation of the system, but also allow the. user to interact with the presentation of multimedia.
文摘模型的模拟能力一直是系统建模方面的一个重要研究课题。本文先用一个直观的“零检验”例子说明时间Petri 网的模拟能力比传统 Petri 网要强,并首次证明了时间 Petri 网与计算科学的最高模型——图灵机有相等的模拟能力;最后给出了另外一种含时间因素的时延 Perri 网向时间 Petri 网的转换方法,这说明了时间 Petri 网虽然形式上较为简单,但其模拟能力却并不比其它合时间因素的 Petri 网逊色,同时为时延 Petri 网的研究提供了另外一种有效方法。
