多媒體系統(tǒng)的數(shù)據(jù)模型-展示頁
2025-04-12 12:47本頁面
【正文】 Oq))。 ? 信息結(jié)點的信息內(nèi)容由對象的 INFO屬性表示。INSTANCES(X)={X1,X2,…} 則等價于 INSTANCEOF(X1)=X, INSTANCEOF(X2)=X,… 。 ? 信息對象 (I0)與域?qū)ο?(D0)的關(guān)系可以通過函數(shù) INSTANCEOF和 INSTANCES來建立。 P(X1,X2) (3)π3:三元謂詞 ,表示對象的某種屬性的取值。 ? 定義 6 謂詞集合 π,由以下 3個子集組成 : (1)π1:一元謂詞 ,表示對象的特征。 (3) 屬性 (性質(zhì) )集合 A。 且有 D0∩I0 =φ, D0∪ I0=O 其中 φ為空集 , O是對象集。 ? 定義 2 集合 S一個對象 x是偏序 R的最小元素，如果： ?s∈ S(R(s,x)=(s=x)) ? 定義 3 偏序集 S,R中 , 集合 S的元素 X覆蓋 S的元素 Y(≠X)可記為 covers(X,Y,S,R), 滿足： R(Y,X)∧ ? Z∈ S[(R(Y,Z)∧ R(Z,X))=(Z=X)∨ (Z=Y)] ? 定義 4 偏序集 S,R中 , S中對象的高度是一個從 S到自然數(shù)集合的函數(shù) , 其定義為 : (1) 如果 X是 S,R最小元素 ,則 height(X)=1。 集合論和一階邏輯 ? 定義 1 序偶 S,R, 這里 S是一個集合 ,R是從 S到 S一種關(guān)系。和 Z語言。 指導(dǎo)系統(tǒng)實現(xiàn)。 便于模型性質(zhì)的分析 。 超文本系統(tǒng)的形式化模型 ? 形式化描述 就是用數(shù)學(xué)概念或類數(shù)學(xué)概念來精確定義和描述信息系統(tǒng)的基本特性的一種方法。 ? 同步指對多個對象間的時間關(guān)系的協(xié)調(diào)控制 ,同步模型是以時間為線索來組織多媒體表現(xiàn)。 ? 多媒體同步是指采用進程來協(xié)調(diào)時序關(guān)系的機制 ,亦即實現(xiàn)時間合成方法的描述。 ? 空間合成是同一表現(xiàn)空間域中共存的一系列媒體對象之間的空間特性、位置關(guān)系的描述。 多媒體系統(tǒng)表現(xiàn)模型 ? 多媒體表現(xiàn)是多媒體數(shù)據(jù)的合成再現(xiàn)。 ? 指出不同媒體數(shù)據(jù)之間的相互關(guān)系 。第八章 多媒體系統(tǒng)的數(shù)據(jù)模型 ? 多媒體系統(tǒng)數(shù)據(jù)模型概述 ? 超文本系統(tǒng)的形式化模型 ? 信息元模型 ? 表現(xiàn)與同步模型 多媒體系統(tǒng)數(shù)據(jù)模型概述 ? 數(shù)據(jù)模型 就是在計算機數(shù)據(jù)世界中建立的計算機能接受的對現(xiàn)實世界中所要研究對象的抽象描述 。 ? 多媒體系統(tǒng)的數(shù)據(jù)模型的主要任務(wù)： ? 表示各種不同媒體數(shù)據(jù)構(gòu)造及其屬性特征 。 ? 多媒體數(shù)據(jù)時空關(guān)系的建模是多媒體系統(tǒng)研究的重要特色，這種時空關(guān)系主要由多媒體系統(tǒng)表現(xiàn) 模型刻劃。 ? 多媒體合成主要包括空間和時間合成。 ? 時間合成是在某一時間域內(nèi)并發(fā) (包括順序和并行 )表現(xiàn)的一系列媒體對象之間的時序關(guān)系的描述。 多媒體系統(tǒng)數(shù)據(jù)模型的層次結(jié)構(gòu) 應(yīng)用層 信息元層 數(shù)據(jù)元層 腳本同步 合成同步 系統(tǒng)同步 內(nèi)容 表現(xiàn) ? 表現(xiàn)模型從“表現(xiàn)”入手 , 根據(jù)多媒體表現(xiàn)強烈的時空特性 , 往往以時間為線索來組織安排多媒體活動。 ? 同步也是有層次的 ,一般分為用戶級同步、復(fù)合對象內(nèi)部的同步及系統(tǒng)同步。 ? 優(yōu)點 ：精確定義和描述 。有利于研究新模型 。 ? 形式化語言或工具 : 如 Petri網(wǎng)、時序邏輯語言。 ? 形式化語言既是正規(guī)性語言又是描述性語言 ,在軟件的系統(tǒng)建模、概念設(shè)計中起著重要作用。如果 S,R滿足下列條件稱它為偏序集： (1) R是不對稱的； (2) R是自反的； (3) R是傳遞的。 (2) 如果 covers(X,Y,S,R),則 height(X)=height(Y)+1 ? 定義 5 一個超文本 η是這樣一個集合 , 它包括 : (1) 域?qū)ο蠹?D0和信息對象集 I0。 (2) 謂詞集合 π。 對超文本 η, D0[η]表示 η的域?qū)ο蠹?, I0[η]表示η的信息對象集 , A[η]表示 η中的屬性集 , π[η]表示 η中的謂詞集合。 SET(X) (2)π2:二元謂詞 ,表示對象的關(guān)系。 ATR(X,Y,Z) ? 定義 7 D0是一個表示 η的域?qū)ο蟮莫氂蟹柕募?, I0是表示信息對象符號的集合 , 集合 O=D0∪ I0被稱為對象集合。 INSTANCEOF(X)=Y表示 X是一個信息對象 ,它是域?qū)ο?Y的一個實例。 ? 定義 8 超文本 η是一個強定義的超文本 , 當且僅當 ?X(X∈ I0) = (?Y(INSTANCEOF(X)=Y)) 所有的信息對象都通過它們的域?qū)ο蠖x 。INFO是一個二元組〈 Position,Value〉 , 其中Position指明在信息對象中 Value的位置。 (2)函數(shù) LENGTH LENGTH(X)=X中所含對象的個數(shù) 。 (4)謂詞 in 當對象 X是序列 Y的一個元素時 , in(X,Y)或 (X in Y)為真 。 ? 定義 10 聚集對象 Oaggregate是一個序列對象 ,且須滿足下述公理 : (1) 聚集對象具有唯一的
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1