时序媒体间同步控制机制的时态模型

时序媒体间同步控制机制的时态模型 Temporal Logic Model of Sequential Media’s Synchronization Control 刘汉斌 Liu Han\|bin 1 first-author 陈世鸿 Chen Shi\|hong 1 武汉大学国家多媒体软件工程技术研究中心!教育部多媒体软件开放研究实验室/数学与计算机科学学院武汉,430072 武汉大学国家多媒体软件工程技术研究中心!教育部多媒体软件开放研究实验室/数学与计算机科学学院武汉,430072 National Engineering Research Center for Multimedia Software/ The Open Research Lab for Multimedia Software Under the Department of Education/ College of Mathematics Computer Science,Wuhan University National Engineering Research Center for Multimedia Software/ The Open Research Lab for Multimedia Software Under the Department of Education/ College of Mathematics Computer Science,Wuhan University 在大量实际研制、开发多媒体软件产品工作基础上，通过分析现有同步控制方法的优缺点，提出了一个统一的、可适应时序媒体间同步关系定义的时态模型，该模型可满足时序媒体定量定性的同步控制要求，并给出了“唇同步”控制的时态定义实例． On the basis of our researching and developing many multimedia software products,this paper analyses some existing synchronization control method and then presents an unified temporal logic model which can represent sequential media’s synchronization relationship. This model also can meet demand of qualitative and quantitative synchronization control. Finally, an example of “lip synchronization” is presented. 时序媒体 时态模型 同步控制 sequential media temporal logic model synchronization control TP37 国家863 计划资助 1999-05-01 2021-04-01 5