分布式多媒体系统的关键问题探讨与研究

依据多媒体时间模型和同步模型，面向对象的并发系统和分布式系统的研究已经取得不少结果。但由于特殊的要求，这些结果已不能满足实际应用的需要，为此，我们就分布式多媒体系统中的同步这一关键问题进行了研究。本文首先论述了形式化规范语言LOTOS的基本概念与约定，对其进行了基于时间的改进和扩充，引入了离散时间域和时间操作算子，然后确定其相应的语法定义和语义规则，通过仔细分析分布式环境下的多媒体同步问题，基于时间扩充的LOTOS，给出了一种特殊的多媒体同步系统以及具体的算法描述，通过实例对分布环境下多媒体信息同步问题在实际中的应用进行了深入的探讨。

RESEARCH ON THE KEY PROBLEM IN DISTRIBUTED MULTIMEDIA SYSTEM

Despite many achievements have been obtained by multimedia timemodel and synchronization model on the research of object-oriented concurrency system and distributed system, this achievements can＇t satisfy applied demand . So the key problems, synchronization in distributed multimedia system, is researched in this paper. Firstly, the basic concept and convention about formalized stand language LOTOS is introduced, and, the language was improved and extended by adding discrete time domain and time operator to confirm its syntax and semantics rules. Then, a special multimedia synchronization system and implement algorithm is proposed by anatomizing multimedia synchronization problems in distributed environment. Also, an example of multimedia information synchronization is illustrated.