多媒体系统中基于Petri网的同步模型

本文主要介绍了多媒体系统中的媒体同步技术和基于Ｐｅｔｒｉ网的多种同步模型,并讨论了交互式同步模型ＩＳＰＮ。该模型支持用户交互的多媒体同步关系描述,是一种灵活的动态规范。     

多媒体同步的Petri网模型

多媒休系统中通常包括各种媒休类型,例如,文本、语音、图象、音频和视频。保持和维护各种媒对象的同步关系是多媒体技术的一个重要研究领     

基于时间Petri网的多媒体同步模型

多媒体同步是多媒体应用的一个重要需求，这已为众多研究人员所共识。多媒体同步的一个主要问题是多媒体同步时间需求的描述和建模。本文在克服当前多媒体同步模型局限性的基础上，提出了一个新的基于时间Ｐｅｔｒｉ网的多媒体同步模型－－ＭＳＴＰ模型，它能使多媒体系统依据实际运行时的延迟和多媒体动脉同步类型。以更准确、高效的方式来保持多媒体同步。     

分布多媒体系统的多媒体动态同步模型

在分布多媒体系统中，多媒体具有动态同步特性，同时关键媒体的同步要求在应用中享有优先权．现有的多媒体同步模型无法满足这些要求，现提出一个新的基于时间Ｐｅｔｒｉ网的多媒体动态同步模型——ＤＳＰＮ模型．它不仅能使分布多媒体系统依据实际运行状况和新提出的同步类型，以更准确、高效的方式来保持多媒体同步，而且允许用户对多媒体表现过程进行交互操作．     

基于同步时间Petri网的细粒度多媒体同步模型研究

多媒体同步是分布式多媒体信息系统的关键问题。在分析和比较几种已有的典型的多媒体同步模型的基础上．本文提出了一种新的模型：同步时间Petri网(简记为STPN)。STPN不仅能完整、准确地对媒体流内和媒体流间的时间层次行为进行形式化描述,而且解决了时间流Petri网中存在的死托肯问题。特别地,通过引入抑止弧,STPN有效地克服了随机延迟、阻塞、丢包等因素的不良影响。尤其当丢失率较高时．STPN更能体现其优越性和鲁棒性。     

基于同步合成的结构复杂Petri网的行为描述

首先分析了一类结构简单的Petri网--S-网的语言性质,得到了它们的行为描述方法.拓展了Petri网同步合成的概念,证明了给定一个结构复杂的Petri网都可通过一组S-网的同步合成运算而得到,并给出了相应的求解算法.引入语言的同步交运算,分析了结构复杂的Petri网与其同步合成子网之间的行为关系,给出了结构复杂Petri网的行为描述算法,为利用网语言分析实际系统的行为特征提供了可靠的理论依据和方法.     

一种新的基于Petri网的多媒体同步模型

多媒体信息的同步是分布式多媒体信息系统的关键技术。本文在对国外几个典型多媒体同步模型进行分析、比较的基础上,提出一个新的多媒体同步要模型。该模型不但可以充分、准确、形式化地描述和规模多媒体信息流的时间行为,而且还考虑到了分布式环境中多媒体信息的时间特性（如抖动）,并且有人机交互功能。     

模糊时间Petri网及扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时间间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性。本文详细地介绍了模糊时间Petri网及可扩展的时间Petri网,可扩展的时间Petri网的网精简方法,使用design／CPN仿真,及使用EFTN对多媒体同步建模,并探讨了进一步研究的方向。     

基于Petri网的分布式多媒体同步模型研究

Petri网作为一种描述系统行为的形式化工具,在各类多媒体系统中有着较多的应用,尤其擅长于描述多媒体的同步问题,出现了诸如OCPN（对象组合Petri网）等多媒体同步模型,然而,这些模型却不足以处理分布式环境中的多媒体同步问题。本文提出了一种新的扩充Petri网模型并分析了其模型化的能力和性质,利用该模型可以较好地解决分布式环境中的多媒体同步问题。     

基于时间Petri网的AADL模型

随着嵌入式系统设计日益复杂,对系统的描述也提出了越来越高的要求,特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中,线程的时间属性影响着系统的实时性,因此在设计早期利用AADL描述线程,但是AADL只是一种半形式化的语言,不够精确,并可能产生二义性。因此,把AADL模型转化为时间Pe砸网,但是时间Petri网不能很好地表示AADL的时间属性。故在研究AADL模型的时间属性的基础上,针对时间Petri考虑区域值延时与固定延时,并把固定延时当作区域值时延的一种特殊情况。最后给出针对AADL模型转化为时间Petri网的相应规则。     

一种扩展的基于Petri网的多媒体同步模型

多媒体应用的一个主要问题是对多媒体同步时间的描述和建模。文章通过引入全局时钟和对输入事件进行优先级分类,同时借鉴了TSPN的动态同步语义以及DTPN的用户交互思想,使模型可以准确描述多媒体同步时间要求,有效克服网络随机延迟和阻塞等影响。     

多媒体同步模型研究

多媒体同步模型主要研究多媒体系统中各种媒体对象之间时态关系的规范问题。本文综述了国内外关于多媒体同步模型的研究现状,包括时间线模型、层次模型及参考点模型,并指出了进一步的研究方向。     

分布式多媒体同步事务规划

文章针对分布式多媒体应用所含的复杂时态关系和分布性特性,利用同步代理构建了一个基于代理的分布式多媒体同步规划系统。并通过对传统Ｐｅｔｒｉ网的扩展,对分布式同步Ｐｅｔｒｉ网（ＤＳＰＮ）进行了定义,并利用ＤＳＰＮ对同步代理进行建模。最后通过对多媒体应用实例的分析,简要说明系统的操作流程。     

离散事件系统的同步诊断算法

针对传统系统建模方法需要假设模型完备的缺点,提出一种通过同步各部件模型的方法来解决不完备建模所导致的不完全诊断。对于离散事件系统的动态诊断进行优化,利用分布式的思想与Petri网的性质,使得各部件可以独立、并行地进行诊断,提高了诊断的速度。同时对提出的同步方法进行了可行性分析和简单实现,得到了较好的结果。     

基于面向方面的Petri网在实时系统中的应用

Petri网作为一种图形化的建模方法,具有直观易用的特点,是业务流程建模常用方法。面向方面建模的基本思想是按系统特征划分程序模块。传统的实时系统与时间密切相关。我们分离实时系统时间方面,然后用时间Petri网来建模,最后通过实例来简单地说明建模过程。     

Petri网的组合并运算及性质

1 引言 Petri网作为系统模拟与分析的工具已在众多领域得到应用。通过一些较为简单的小网利用某种运算或组合而得到较为复杂的大网,且在组合过程中保持网的某些性质不变,对于合成复杂系统提供了很好的途径。文[1,2]首次提出了Petri网的加法、笛积、广义笛积运算,研究了一系列重要性质。文[3,4]定义了     

面向组合的Web服务间数据关联定位方法研究

Petri网因其在描述和分析并发、分布式系统方面的优势,越来越多地被用于Web服务组合中。在基于Petri网描述的Web服务组合中,如何确定各个子服务参数之间的关联关系,并以此为基础得到Web服务组合的Petri网,是对Web服务组合性质进行分析的前提与基础。首先给出Web服务的Petri网描述和基于Petri网的Web服务注册系统,定义了Web服务参数间的数据关联及定位算法,并通过例子说明数据关联在自动生成Web组合服务Petri网中的应用。