多媒体系统的交互式同步模型

媒体同步是多媒体系统中的核心技术之一,目前已出现了多种同步模型。文章提出了一种基于petri网的同步模型,该模型扩展了OCPN模型,支持受用户影响的多媒体同步关系描述,是一种动态规范。     

移动计算环境下的同步模型研究

结合缓存技术和移动数据库技术,在现有的同步模型的基础上,提出了一个改进的同步模型--基于Web内容和数据集同步的同步复制模型,满足了移动计算的要求.客户端缓存部分数据和网页,允许在网络断连的情况下仍可以在客户端操作,通过同步模型的同步,保持客户端与服务器之间的数据的一致性.     

基于MPEG-4的多媒体同步模型设计

文中旨在研究基于MPEG-4技术的面向对象多媒体同步。所采用的方法是在分析现有多媒体同步模型的基础上,结合MPEG-4系统同步机制和高级同步模型(FlexTime),设计面向对象的多媒体同步模型,以实现MPEG-4中各媒体对象间同步。由此方法设计的层结构同步模型是一种有效可行的多媒体间同步的实现方法。和其它的多媒体间同步方法相比,这种方法在基于对象的多媒体的传输过程中携带较少的时间信息来完成对象间的同步,并且增强了基于对象内容交互的灵活性。     

.面向协同系统集成的数据同步模型*

为了在系统协同工作过程中使异构数据库的数据同步,基于agent技术给出了一个数据同步模型。在该模型中,agent的局部代理利用数据同步监听器对数据的变化进行实时监听,全局代理利用数据同步检测器对数据是否同步进行定期检测,并生成相应的同步命令由全局代理分发执行,解决了协同系统中异构数据库的数据同步问题。最后,该模型应用到一个"项目控制管理系统"中,说明了该模型的可用性和有效性以及数据同步机制的正确性和实时性。     

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

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

基于WEB服务的分布式异构数据同步设计

分析分布式数据同步的方式,解决基于互联网WEB端口的异构数据同步问题,结合SOA架构的特征提出一种分布式异构数据同步模型WLDSS（Web-levelDataSynchronizationSystem）,给出了该模型的设计原理、关键策略,通过分布式太阳能热水系统的控制系统数据同步的应用验证了WLDSS模型稳定性。     

互动多媒体同步机制设计

研究了基于 MPEG-4的面向对象多媒体同步技术。在分析现有多媒体同步技术的基础上，结合 MPEG-4 系统同步机制和高级同步模型(FlexTime)，设计了层结构同步模型，以实现 MPEG-4 中各媒体对象间同步，是一种有效可行的多媒体间同步的实现方法。     

多媒体二级同步模型

本文首先讨论了多媒体的核心技术问题，提出了人机界面设计、多媒体同步模型是多媒体技术的两大关键课题。接着分析了当前最为流行的三种多媒体同步模型，指出了其优缺点。本文从多媒体制作／播放的特点、多媒体外部设备接口的要求以及面向对象技术、可视多媒体编程这四个角度分析了理想的多媒体同步模型的特点，并据此提出了多媒体二级同步模型。最后，对多媒体二级同步模型工作机制和优缺点作了必要的分析。     

基于MPEG-4的多媒体同步模型设计

文中旨在研究基于MPEG4技术的面向对象多媒体同步。所采用的方法是在分析现有多媒体同步模型的基础上，结合MPEG-4系统同步机制和高级同步模型（FlexTime），设计面向对象的多媒体同步模型，以实现MPEG-4中各媒体对象间同步。由此方法设计的层结构同步模型是一种有效可行的多媒体间同步的实现方法。和其它的多媒体间同步方法相比，这种方法在基于对象的多媒体的传输过程中携带较少的时间信息来完成对象间的同步，并且增强了基于对象内容交互的灵活性。     

流媒体同步机制的研究

多媒体同步是多媒体应用中的一个关键问题,介绍了较流行的几种多媒体同步方法,并对这些方法进行了简单的比较,在此基础上提出了一种基于流媒体传输技术和RTP/RTCP协议的同步模型,该模型有机地结合了分层同步法和时间戳同步法,实现了媒体间不同粒度的同步。     

SyncML应用开发库模型设计

目前,移动环境中的数据同步技术众多,本文在对数据同步基本问题的分析与对主流同步技术方案分析比较基础上,预测了数据同步技术的可能发展方向,归纳整理了在多种平台下进行SyncML客户端应用开发所需要的共同能力,并对SyncML的交互控制与同步的概念模型进行了整理设计。     

基于Petri网的多媒体同步通信模型

本文提出了一种新的多媒体同步模型--交互式多媒体动态同步Petri网模型(IMDSPN)。IMDSPN能够准确地描述多媒体对象的各种同步时态关系，可以克服其表现过程中的同步失败问题，并可以保证在用户交互控制下同步关系的全局一致性，它有效地描述了多媒体的动态特性。     

一种并发面向对象同步模型研究

同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构.它不但可以支持一般代码的复用,而且可以全方位地支持对同步代码的复用.     

XOCPN：支持用户交互的多媒体同步模型

多媒体同步是多媒体应用的一个重要需求。本文对ＯＣＰＮ模型进行了扩展，提出了一种基于时间Ｐｅｔｒｉ网的多媒体同步模型ＸＯＣＰＮ，以对具有时间约束关系的多媒体合成进行规范描述，并具有支持灵活用户交互的能力。文中给出了处理异步用户交互的算法，并用示例说明。     

HLA的实时性扩展

高层体系结构（HLA）面临的一个主要问题是其实时性差。不能满足实时分布式交互仿真的需求。文章首先分析了HLA在支持实时分布式仿真方面存在的不足，然后利用硬件时钟同步技术和绝对时戳机制，对HLA的联邦成员规则、接口规范和对象模型模板进行了实时性扩展，并与其它相关的扩展方案进行了对比分析，结果表明文中提出的方案保证了扩展后实时HLA的后向兼容性和联邦成员的高可移植性，并且保持了HLA时间管理服务的透明性。最后，该文提出了相应的网络时钟同步方案和软同步算法，该时钟同步算法在局域网环境中具有很高的精度。     

一种新的Java存储模型L-JMM

Java存储模型是Java语言和Java虚拟机研究中的核心关键部分,目前Java语言规范中的存储模型不能保证Java技术所必需的语义特性,而且不利于Java虚拟机的性能优化.提出了一种新的Java存储模型,该模型取消了规范中Java存储模型中对存储密致性的要求,保证了Location一致性;同时根据Java语义的要求,对Java语言中不同类型的变量详细规定了多线程存储操作的行为规则.该模型不仅能保证Java程序的正确性,同时能有效提高Java程序的运行效率.最后通过仿真实验验证了该存储模型的关键特性.     

Model Checking Interactor Specifications

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.     

基于模型转换实现行为协议的研究

为平台无关的UML模型元素(如类、接口)增加行为协议通常没有有效的解决方法。提出了一种基于模型转换实现行为协议的方法,编写了模型转换规则将状态机描述的行为协议元数据自动转换为UML操作元素的约束,运用OCL验证器和代码生成器对转换后的UML模型进行自动验证和代码生成。该方法为行为协议的自动验证、与模型元素同步和规范的正确实施提供了有效支持。     

分布式多媒体系统中的同步问题研究

文中首先给出基于进程代数的ＬＯＴＯＳ形式化规范语言的基本概念,通过对传统ＬＯＴＯＳ进行基于时间的扩充,引入时间算子,并给出其相应的语法定义和形式语义。通过对分布式环境下的多媒体同步问题进行系统的分析,利用基于时间扩充的ＬＯＴＯＳ,给出了基本的同步问题和严格的多媒体唇同步问题的算法描述。同时给出一个实例系统,进一步描述了基于时间扩充的ＬＯＴＯＳ,对分布环境下多媒体信息同步问题在实际中的应用,并与传统     

基于袁单的业务系统界面逻辑模型获取的研究

为了支持界面设计的自动化，国内外的研究提出了基于语言的设计工具、交互式图形描述工具和基于模型的生成工具。但是这些工具都只是从界面本身考虑设计和编码的自动化，没有从用户需求出发考虑界面的设计。该文从需求模型出发设计用户界面逻辑，使得界面是依据用户需求设计的，并且是可以进行需求验证的。该文给出了从需求模型得到界面逻辑模型的算法，以及从界面逻辑模型反向推导需求模型元素的算法。