第8章多媒体系统的数据模型 多媒体系统数据模型概述 ■超文本系统的形式化模型 ■信息元模型 ■表现与同步模型
第8章 多媒体系统的数据模型 ◼ 多媒体系统数据模型概述 ◼ 超文本系统的形式化模型 ◼ 信息元模型 ◼ 表现与同步模型
8.1多媒体系统数据模型概述 数据模型就是在计算机数据世界中建立的计算机能 接受的对现实世界中所要研究对象的抽象描述 多媒体系统的数据模型的主要任务: ■表示各种不同媒体数据构造及其属性特征 指出不同媒体数据之间的相互关系。 多媒体数据时空关系的建模是多媒体系统研究的重 要特色,这种时空关系主要由多媒体系统表现模型 刻划
8.1 多媒体系统数据模型概述 ◼ 数据模型就是在计算机数据世界中建立的计算机能 接受的对现实世界中所要研究对象的抽象描述。 ◼ 多媒体系统的数据模型的主要任务: ◼ 表示各种不同媒体数据构造及其属性特征; ◼ 指出不同媒体数据之间的相互关系。 ◼ 多媒体数据时空关系的建模是多媒体系统研究的重 要特色,这种时空关系主要由多媒体系统表现模型 刻划
多媒体系统表现模型 ■多媒体表现是多媒体数据的合成再现。 ■多媒体合成主要包括空间和时间合成 空间合成是同一表现空间域中共存的一系列媒体 对象之间的空间特性、位置关系的描述 ■时间合成是在某一时间域内并发(包括顺序和并行) 表现的一系列媒体对象之间的时序关系的描述。 ■多媒体同步是指采用进程来协调时序关系的机制, 亦即实现时间合成方法的描述
多媒体系统表现模型 ◼ 多媒体表现是多媒体数据的合成再现。 ◼ 多媒体合成主要包括空间和时间合成。 ◼ 空间合成是同一表现空间域中共存的一系列媒体 对象之间的空间特性、位置关系的描述。 ◼ 时间合成是在某一时间域内并发(包括顺序和并行) 表现的一系列媒体对象之间的时序关系的描述。 ◼ 多媒体同步是指采用进程来协调时序关系的机制, 亦即实现时间合成方法的描述
内容 表现 应用层 脚本同步 信息元层 合成同步 数据元层 系统同步 图8.1多媒体系统数据模型的层次结构
图8.1 多媒体系统数据模型的层次结构 应用层 信息元层 数据元层 脚本同步 合成同步 系统同步 内容 表现
■表现模型从“表现”入手,根据多媒体表现强 烈的时空特性,往往以时间为线索来组织安排 多媒体活动。 ■同步指对多个对象间的时间关系的协调控制 同步模型是以时间为线索来组织多媒体表现 同步也是有层次的,一般分为用户级同步、复 合对象内部的同步及系统同步
◼ 表现模型从“表现”入手, 根据多媒体表现强 烈的时空特性, 往往以时间为线索来组织安排 多媒体活动。 ◼ 同步指对多个对象间的时间关系的协调控制, 同步模型是以时间为线索来组织多媒体表现。 ◼ 同步也是有层次的,一般分为用户级同步、复 合对象内部的同步及系统同步
8.2超文本系统的形式化模型 ■形式化描述就是用数学概念或类数学概念来精 确定义和描述信息系统的基本特性的—种方法。 ■优点:精确定义和描述;便于模型性质的分析; 有利于研究新模型;指导系统实现 ■形式化语言或工具(如Peti网、时序逻辑语 和Z语言)被引进到超文本的研究之中。形式化语 言既是正规性语言又是描述性语言,在软件的系 统建模、概念设计中起着重要作用
8.2 超文本系统的形式化模型 ◼ 形式化描述就是用数学概念或类数学概念来精 确定义和描述信息系统的基本特性的一种方法。 ◼ 优点:精确定义和描述; 便于模型性质的分析; 有利于研究新模型; 指导系统实现。 ◼ 形式化语言或工具(如Petri网、时序逻辑语言。 和Z语言)被引进到超文本的研究之中。形式化语 言既是正规性语言又是描述性语言,在软件的系 统建模、概念设计中起着重要作用
集合论和一阶逻辑 定义8.1一个序偶,这里S是一个集合,R是从 S到S一种关系。如果满足下列条件称它为偏序 集: (1)R是不对称的; (2)R是自反的; (3)R是传递的。 ■定义8.2集合S一个对象x是偏序R的最小元素,如果: Vs∈S(R(Sx)=>(s=x)
集合论和一阶逻辑 ◼ 定义8.1 一个序偶, 这里S是一个集合,R是从 S到S一种关系。如果满足下列条件称它为偏序 集: (1) R是不对称的; (2) R是自反的; (3) R是传递的。 ◼ 定义8.2 集合S一个对象x是偏序R的最小元素,如果: s∈S(R(s,x)=>(s=x))
n定义8.3偏序集中,集合S的元素X覆盖S的 元素Y(≠X)可记为 covers(X,Y,),满足 R(Y,)∧Vz∈S[(R(Y2∧R(z,)=(z=X∨(Z=1) 定义8.4偏序集中,S中对象的高度是一个从 S到自然数集合的函数,其定义为: (1)如果X是最小元素,则heih(X=1 (2)如果 covers(X,,),则 height(X)= heigh(Y)+1
◼ 定义8.3 偏序集中, 集合S的元素X覆盖S的 元素Y(≠X)可记为covers(X,Y,),满足: R(Y,X)∧ Z∈S[(R(Y,Z)∧R(Z,X))=>(Z=X)∨(Z=Y)] ◼ 定义8.4 偏序集中, S中对象的高度是一个从 S到自然数集合的函数, 其定义为: (1) 如果X是最小元素,则height(X)=1; (2) 如果covers(X,Y,),则height(X)=height(Y)+1
■定义8.5一个超文本n是这样一个集合,它包括: (1)域对象集D和信息对象集l0;且有 Dolo=o, DoUlo=O 其中为空集,O是对象集 (2)谓词集合兀; (3)属性(性质)集合A。 对超文本n,Doη表示n的域对象集,o表示m的 信息对象集,A表示m中的属性集,π表示m中 的谓词集合
◼ 定义8.5 一个超文本η是这样一个集合,它包括: (1) 域对象集D0和信息对象集I 0; 且有 D0∩I 0 =φ, D0∪I 0 =O 其中φ为空集, O是对象集。 (2) 谓词集合π; (3) 属性(性质)集合A。 对超文本η, D0 [η]表示η的域对象集, I 0 [η]表示η的 信息对象集, A[η]表示η中的属性集, π[η]表示η中 的谓词集合
定义8.6谓词集合兀,由以下3个子集组成: (1)x1;一元谓词,表示对象的特征。SE7(X。 (2)2:二元谓词,表示对象的关系。P(X1,X2) (3)x;三元谓词,表示对象的某种属性的取值。ATR(Xy么)。 定义87D是一个表示m的域对象的独有符号的集合,l是表示信 息对象符号的集合,集合O=DUl被称为对象集合。 信息对象()与域对象(D)的关系可以通过函数 STANCE和 INSTANCES来建立。 NSTANCE(X)=表示X是一个信息对象,它 是域对象Y的一个实例。 MSTANCES(X)={X1,K2…}则等价于 INSTANCEOF(X=X, INSTANCEORX2)=X
◼ 定义8.6 谓词集合π,由以下3个子集组成: (1)π1:一元谓词,表示对象的特征。SET(X)。 (2)π2:二元谓词,表示对象的关系。P(X1,X2)。 (3)π3:三元谓词,表示对象的某种属性的取值。ATR(X,Y,Z)。 ◼ 定义8.7 D0是一个表示η的域对象的独有符号的集合, I 0是表示信 息对象符号的集合, 集合O=D0∪I 0被称为对象集合。 ◼ 信息对象(I 0 )与域对象(D0 )的关系可以通过函数INSTANCEOF和 INSTANCES来建立。INSTANCEOF(X)=Y表示X是一个信息对象,它 是域对象Y的一个实例。INSTANCES(X)={X1 ,X2 ,…}则等价于 INSTANCEOF(X1 )=X,INSTANCEOF(X2 )=X,…