摘要
就分布式多媒体系统DMS中同步问题进行了分析与探讨 ,首先论述了形式化规范语言LOTOS的约定与基本概念 ,然后对其进行了基于时间的扩充 ,引入时间操作算子 ,确定了相应的语法定义和语义规则 .通过基于时间扩充的LOTOS ,对分布式环境下的多媒体同步问题进行分析 ,给出了一种复杂的多媒体严格同步系统和具体的算法描述 .
The synchronization problem in the distributed multimedia system is studied in this paper. The basic concept and convention about formalized stand language LOTOS are introduced,and the language is improved and extended by adding discrete time domain and time operator for establishment of its syntactic and semantic rules. Then, a special multimedia synchronous system and implementation algorithm are proposed by anatomizing multimedia synchronization problems in the distributed environment.
出处
《河海大学学报(自然科学版)》
CAS
CSCD
北大核心
2001年第2期61-65,共5页
Journal of Hohai University(Natural Sciences)
基金
江苏省自然科学基金!资助项目 (BK9910 3)