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

摘要

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