基于XYZ的多媒体抽象与建模研究
文献类型：学位论文
| 作者 | 唐小平 |
| 学位类别 | 博士 |
| 答辩日期 | 1998 |
| 授予单位 | 中国科学院软件研究所（北京 100080） |
| 授予地点 | 中国科学院软件研究所（北京 100080） |
| 关键词 | 踪迹 音频 视频 抽象描述 安全性 活性 同步算子 同步表达式 脚本 逐步求精 一致性 |
| 学位专业 | 计算机软件 |
| 中文摘要 | 多媒体技术是近年来的主要研究领域之一。多媒体同步表示媒体对象、数据实体或媒体数据流之间的时序、空间或逻辑关系。媒体包括离散媒体和连续媒体。多媒体同步可分为两种同步：媒体内同步（串行）和媒体间同步（并行）。随着现代计算机和高速网络技术的发展，多种媒体在网络上集成应用变为可能。多媒体同步计算与分布式处理结合，展示了巨大的应用前景，但对同步模型的容错性和实时性的要求提高。分布式多媒体应用的基本特征是要求健壮的多媒体实时同步机制。当今对多媒体技术的研究大致可划分为三个部分，即：抽象表示、同步描述模型以及多媒体数据压缩与网络传输技术。多媒体抽象表示的形式化研究目前较少，但它是系统属性阐述和验证的基础，加以研究很有必要。本文开创性地运用踪迹阐明多媒体数据的抽象表示和多媒体节目的形式语义，着重讨论分布式中的同步模型。我们首先讨论了多媒体表现的概念，运用形式化方法对多媒体数据进行抽象描述，建立了多媒体节目的形式语义和节目的安全性、活性；在时序逻辑语言XYZ／E的基础上建立了基于时序逻辑的多媒体脚本同步模型（TLMS），然后基于此模型，设计实现了多媒体编著语言MAL和可视化的多媒体编著环境XYZ／MAL；最后以一个具体的例子－星际公司介绍节目来说明如何在多媒体节目设计中逐步求精和一致性验证。本文的主要贡献在于：◆ 首次运用踪迹的概念对多媒体数据进行抽象表示。多媒体表现包括音频、视频以及可能的嗅觉或味觉表现。我们对多媒体表现的讨论既有时间上的，也有空间上的。◆ 建立基于时序逻辑的多媒体脚本同步模型。该模型支持时间和空间同步、媒体的不同级别区分、用户交互功能以及对分布式的实时要求，具有较强的容错性。◆ 设计多媒体编著语言。该语言不仅能描述脚本设计，而且能描述节目的结构设计。◆ 设计可视化的多媒体编著环境。该环境以多媒体编著语言MAL为核心，支持人机交互，用户可以进行结构设计、页面设计和节目播放等。◆ 对多媒体节目进行逐步求精设计。逐步求精是由抽象描述到可执行程序的算法实现的逐步细化的过程。最终程序是由描述经过一步步细化得到的，要修改程序，只需要修改相应的描述到算法实现的步骤，而不必改变别的求精过程和算法实现，降低了复杂性。◆ 验证一致性。验证是保证程序正确性的主要手段。我们针对媒体同步表达式，提出了一系列的验证规则，并结合逐步求精的例子，进行一致性验证。 |
| 语种 | 中文 |
| 公开日期 | 2011-03-17 |
| 页码 | 52 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/6400]  |
| 专题 | 软件研究所_中科院软件所_中科院软件所 |
| 推荐引用方式 GB/T 7714 | 唐小平. 基于XYZ的多媒体抽象与建模研究[D]. 中国科学院软件研究所（北京 100080）. 中国科学院软件研究所（北京 100080）. 1998. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。