共查询到20条相似文献,搜索用时 203 毫秒
1.
多媒体系统的交互式同步模型 总被引:1,自引:1,他引:0
媒体同步是多媒体系统中的核心技术之一,目前已出现了多种同步模型。文章提出了一种基于petri网的同步模型,该模型扩展了OCPN模型,支持受用户影响的多媒体同步关系描述,是一种动态规范。 相似文献
2.
结合缓存技术和移动数据库技术,在现有的同步模型的基础上,提出了一个改进的同步模型--基于Web内容和数据集同步的同步复制模型,满足了移动计算的要求.客户端缓存部分数据和网页,允许在网络断连的情况下仍可以在客户端操作,通过同步模型的同步,保持客户端与服务器之间的数据的一致性. 相似文献
3.
为了在系统协同工作过程中使异构数据库的数据同步,基于agent技术给出了一个数据同步模型。在该模型中,agent的局部代理利用数据同步监听器对数据的变化进行实时监听,全局代理利用数据同步检测器对数据是否同步进行定期检测,并生成相应的同步命令由全局代理分发执行,解决了协同系统中异构数据库的数据同步问题。最后,该模型应用到一个"项目控制管理系统"中,说明了该模型的可用性和有效性以及数据同步机制的正确性和实时性。 相似文献
4.
文中旨在研究基于MPEG-4技术的面向对象多媒体同步。所采用的方法是在分析现有多媒体同步模型的基础上,结合MPEG-4系统同步机制和高级同步模型(FlexTime),设计面向对象的多媒体同步模型,以实现MPEG-4中各媒体对象间同步。由此方法设计的层结构同步模型是一种有效可行的多媒体间同步的实现方法。和其它的多媒体间同步方法相比,这种方法在基于对象的多媒体的传输过程中携带较少的时间信息来完成对象间的同步,并且增强了基于对象内容交互的灵活性。 相似文献
5.
基于Petri网的分布式多媒体同步模型研究 总被引:3,自引:0,他引:3
Petri网作为一种描述系统行为的形式化工具,在各类多媒体系统中有着较多的应用,尤其擅长于描述多媒体的同步问题,出现了诸如OCPN(对象组合Petri网)等多媒体同步模型,然而,这些模型却不足以处理分布式环境中的多媒体同步问题。本文提出了一种新的扩充Petri网模型并分析了其模型化的能力和性质,利用该模型可以较好地解决分布式环境中的多媒体同步问题。 相似文献
6.
7.
8.
9.
10.
作为多媒体系统模型的时间Petri网的同步合成 总被引:1,自引:0,他引:1
本文用一种以出现网为基网的时间Petri网作为多媒体系统模型。这种模型便于描述和分析并行媒体流间的同步问题。文中提出了时间层次同步和同步时间差阈值等概念。同步时间差同步是时间层次同步性能的一个度量。根据实现时间层次同步的可能性,一个时问Petri网中的同步变迁可划分为三种类型:理想同步变迁、可实现有效同步的变迁和不可能实现有效同步的变迁,一个好的多媒体系统的时间Petri网模型不应存在第三类同步变迁。文中给出了这三类变迁的判定条件。 相似文献
11.
目前,移动环境中的数据同步技术众多,本文在对数据同步基本问题的分析与对主流同步技术方案分析比较基础上,预测了数据同步技术的可能发展方向,归纳整理了在多种平台下进行SyncML客户端应用开发所需要的共同能力,并对SyncML的交互控制与同步的概念模型进行了整理设计。 相似文献
12.
本文提出了一种新的多媒体同步模型--交互式多媒体动态同步Petri网模型(IMDSPN)。IMDSPN能够准确地描述多媒体对象的各种同步时态关系,可以克服其表现过程中的同步失败问题,并可以保证在用户交互控制下同步关系的全局一致性,它有效地描述了多媒体的动态特性。 相似文献
13.
14.
多媒体同步是多媒体应用的一个重要需求。本文对OCPN模型进行了扩展,提出了一种基于时间Petri网的多媒体同步模型XOCPN,以对具有时间约束关系的多媒体合成进行规范描述,并具有支持灵活用户交互的能力。文中给出了处理异步用户交互的算法,并用示例说明。 相似文献
15.
16.
Java存储模型是Java语言和Java虚拟机研究中的核心关键部分,目前Java语言规范中的存储模型不能保证Java技术所必需的语义特性,而且不利于Java虚拟机的性能优化.提出了一种新的Java存储模型,该模型取消了规范中Java存储模型中对存储密致性的要求,保证了Location一致性;同时根据Java语义的要求,对Java语言中不同类型的变量详细规定了多线程存储操作的行为规则.该模型不仅能保证Java程序的正确性,同时能有效提高Java程序的运行效率.最后通过仿真实验验证了该存储模型的关键特性. 相似文献
17.
Recent accounts of accidents draw attention to “automation surprises” that arise in safety critical systems. An automation surprise can occur when a system behaves differently from the expectations of the operator. Interface mode changes are one class of such surprises that have significant impact on the safety of a dynamic interactive system. They may take place implicitly as a result of other system action. Formal specifications of interactive systems provide an opportunity to analyse problems that arise in such systems. In this paper we consider the role that an interactor based specification has as a partial model of an interactive system so that mode consequences can be checked early in the design process. We show how interactor specifications can be translated into the SMV model checker input language and how we can use such specifications in conjunction with the model checker to analyse potential for mode confusion in a realistic case. Our final aim is to develop a general purpose methodology for the automated analysis of interactive systems. This verification process can be useful in raising questions that have to be addressed in a broader context of analysis. 相似文献
18.
19.
分布式多媒体系统中的同步问题研究 总被引:8,自引:0,他引:8
金涛 《计算机研究与发展》1999,36(12):1510-1516
文中首先给出基于进程代数的LOTOS形式化规范语言的基本概念,通过对传统LOTOS进行基于时间的扩充,引入时间算子,并给出其相应的语法定义和形式语义。通过对分布式环境下的多媒体同步问题进行系统的分析,利用基于时间扩充的LOTOS,给出了基本的同步问题和严格的多媒体唇同步问题的算法描述。同时给出一个实例系统,进一步描述了基于时间扩充的LOTOS,对分布环境下多媒体信息同步问题在实际中的应用,并与传统 相似文献