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

被引:12
作者
金涛
机构
[1] 武汉大学计算机科学与技术学院!武汉国家多媒体软件工程技术研究中心教育部多媒体软件开放研究实验室武汉
关键词
分布式多媒体系统; 同步; LOTOS;
D O I
暂无
中图分类号
TP37 [多媒体技术与多媒体计算机];
学科分类号
080201 [机械制造及其自动化];
摘要
文中首先给出基于进程代数的LOTOS形式化规范语言的基本概念,通过对传统LOTOS进行基于时间的扩充,引入时间算子,并给出其相应的语法定义和形式语义.通过对分布式环境下的多媒体同步问题进行系统的分析,利用基于时间扩充的LOTOS,给出了基本的同步问题和严格的多媒体唇同步问题的算法描述.同时给出一个实例系统,进一步描述了基于时间扩充的LOTOS,对分布环境下多媒体信息同步问题在实际中的应用,并与传统方法进行了比较
引用
收藏
页码:1510 / 1516
页数:7
相关论文
empty
未找到相关数据