多媒体系统的数据模型

,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,第八章 多媒体系统的数据模型,多媒体系统数据模型概述,超文本系统的形式化模型,信息元模型,表现与同步模型,8.1 多媒体系统数据模型概述,数据模型,就是在计算机数据世界中建立的计算机能接受的对现实世界中所要研究对象的抽象描述,。,多媒体系统的数据模型的主要任务：,表示各种不同媒体数据构造及其属性特征;,指出不同媒体数据之间的相互关系,。,多媒体数据时空关系的建模是多媒体系统研究的重要特色，这种时空关系主要由多媒体系统表现,模型,刻划。,多媒体系统表现模型,多媒体表现是多媒体数据的合成再现。,多媒体合成主要包括空间和时间合成。,空间合成是同一表现空间域中共存的一系列媒体对象之间的空间特性、位置关系的描述。,时间合成是在某一时间域内并发(包括顺序和并行)表现的一系列媒体对象之间的时序关系的描述。,多媒体同步是指采用进程来协调时序关系的机制,亦即实现时间合成方法的描述。,多媒体系统数据模型的层次结构,应用层,信息元层,数据元层,脚本同步,合成同步,系统同步,内容,表现,表现模型从“表现”入手, 根据多媒体表现强烈的时空特性, 往往以时间为线索来组织安排多媒体活动。,同步指对多个对象间的时间关系的协调控制,同步模型是以时间为线索来组织多媒体表现。,同步也是有层次的,一般分为用户级同步、复合对象内部的同步及系统同步。,8.2,超文本系统的形式化模型,形式化描述,就是用数学概念或类数学概念来精确定义和描述信息系统的基本特性的一种方法。,优点,：精确定义和描述; 便于模型性质的分析;有利于研究新模型; 指导系统实现。,形式化语言或工具,:,如,Petri,网、时序逻辑语言。和,Z,语言。,形式化语言既是正规性语言又是描述性语言,在软件的系统建模、概念设计中起着重要作用。,集合论和一阶逻辑,定义,1 序偶,这里,S,是一个集合,R,是从,S,到,S,一种关系。如果,满足下列条件称它为偏序集：,(1),R,是不对称的；,(2),R,是自反的；,(3),R,是传递的。,定义,2 集合,S,一个对象,x,是偏序,R,的最小元素，如果：,sS(R(s,x)=(s=x),定义,3 偏序集,中, 集合,S,的元素,X,覆盖,S,的元素,Y(X),可记为,covers(X,Y,),满足：,R(Y,X),ZS(R(Y,Z)R(Z,X)=(Z=X)(Z=Y),定义,4 偏序集,中,S,中对象的高度是一个从,S,到自然数集合的函数, 其定义为:,(1) 如果,X,是,最小元素,则,height(X)=1;,(2),如果,covers(X,Y,),则,height(X)=height(Y)+1,定义,5 一个超文本,是这样一个集合, 它包括:,(1) 域对象集,D,0,和信息对象集,I,0,;,且有,D,0,I,0,=, D,0,I,0,=O,其中,为空集,O,是对象集。,(2) 谓词集合,;,(3),属性(性质)集合,A。,对超文本, D,0,表示,的域对象集,I,0,表示,的信息对象集,A,表示,中的属性集,表示,中的谓词集合。,定义6,谓词集,合,合,由以下3个子,集,集组成:,(1),1,:,一元谓,词,词,表,示,示对象,的,的特征,。,。,SET(X),(2),2,:,二元谓,词,词,表,示,示对象,的,的关系,。,。,P(X1,X2),(3),3,:,三元,谓,谓词,表,示,示对,象,象的,某,某种,属,属性,的,的取,值,值。,ATR(X,Y,Z),定义7,D,0,是一,个,个表,示,示,的域,对,对象,的,的独,有,有符,号,号的,集,集合,I,0,是表,示,示信,息,息对,象,象符,号,号的,集,集合,集,集合,O=D,0,I,0,被称,为,为对,象,象集,合,合。,信息,对,对象(,I,0,),与域,对,对象(,D,0,),的关,系,系可,以,以通,过,过函,数,数,INSTANCE,OF,和,INSTANCES,来建,立,立。,INSTANCE,OF,(X)=Y,表示,X,是一,个,个信,息,息对,象,象,它,它是,域,域对,象,象,Y,的一,个,个实,例,例。,INSTANCES(X)=X,1,X,2,则等,价,价于,INSTANCE,OF,(X,1,)=X,INSTANCE,OF,(X,2,)=X,。,定义8,超文,本,本,是一,个,个强,定,定义,的,的超,文,文本,当,当且,仅,仅当,X(XI,0,)=(,Y(INSTANCE,OF,(X)=Y),所有,的,的信,息,息对,象,象都,通,通过,它,它们,的,的域,对,对象,定,定义,。,。,信息,结,结点,的,的信,息,息内,容,容由,对,对象,的,的,INFO,属性,表,表示,。,。,INFO,是一,个,个二,元,元组,Position,Value,其中,Position,指明,在,在信,息,息对,象,象中,Value,的位,置,置。,定义9,序列,对,对象,O,q,是有,限,限个,对,对象,的,的集,合,合,且,且,有,有:,(1)谓,词,词,SEQUENCE,X(,SEQUENCE,(X)(X,O,q,);,(2),函数,LENGTHLENGTH,(X)=X,中所,含,含对,象,象的,个,个数;,(3)函,数,数,LISTLIST,(X)=X,中对,象,象的,一,一个,有,有序,排,排列,用,用,X,1,X,2,表示;,(4)谓,词,词,in,当对,象,象,X,是序,列,列,Y,的一,个,个元,素,素时,in,(X,Y),或(,X,in,Y),为真;,如,如果,X,不是,Y,的一个元,素,素,即,X,不在,Y,中,则,in,(X,Y),为假。,定义10,聚集对象,O,aggregate,是一个序,列,列对象,且,且须满足,下,下述公理:,(1),聚,聚集对象,具,具有唯一,的,的成分。,X,YAGGREGATE(X),AGGREGATE(Y)(LIST(X)=LIST(Y)=(X=Y),(2),若一聚集,对,对象是域,对,对象,该,对,对象所有,成,成分必是,域,域对象。,X(AGGREGATE(X)(XD,0,)=,Y(YinLIST(X)=(Y,D,0,),(3),聚集对象,的,的实例由,其,其成分对,象,象的实例,构,构成。,X,Y(AGGREGATE(X)(X,INSTANCES(Y),= (AGGREGATE(Y),(YD,0,),Z(ZinLIST(X),= (,Z inLIST(Y),T(TinLIST(Y),ZINSTANCES(T),定义11,归纳定义,为,为对象集,合,合,O,中的一种,关,关系.若,GENERALIZATION(X,Y),则称,X,是,Y,的归纳。,归,归纳满足,下,下述公理,：,：,(1)关,系,系,GENERALIZATION,是不对称,的,的,非自,反,反的和传,递,递的。,(2)如,果,果,X,是一信息,对,对象,它,是,是域对象,Y,的实例,则,则,Y,是,X,的归纳。,(,INSTANCE,OF,(X)=Y) = GENERALIZATION(Y,X),(3),如果,X,是,Y,的归纳,并,并且,Y,是一个域,对,对象,则,X,必是域对,象,象。,X,Y(GENERALIZATION(X,Y),YD,0,)=(XD,0,),(4),如果,Y,是,X,的归纳,并,并且,X,是一个信,息,息对象,Y,是一个域,对,对象,则,X,在,Y,的实例集,中,中。,X,YGENERALIZATION(Y,X),(XI,0,)(Y,D,0,)=,(XINSTANCES(Y),引理1,如果,X,是,Y,的归纳并,且,且,Y,m,在,Y,的实例集,中,中，则,Y,m,在,X,的实例集,中,中。,引理2,定义关系,GENERAL(X,Y)=(X=Y)GENERALIZATION(Y,X),序偶,是一个偏,序,序集。,定义12,一个对象,XO,的归纳级,定,定义为在,偏,偏序集,中对象的,高,高度。,8.3,信,信息元模,型,型,信息元模,型,型考虑的,是,是信息元,构,构造模型, 目的,是,是提供一,个,个标准,使,使“信,息,息元”公,共,共化、通,用,用化,成,成为上层,各,各类多媒,体,体应用(,或,或模型),都,都可“调,用,用”的东,西,西, 这,将,将会大大,方,方便多媒,体,体数据与,信,信息之间,的,的交互和,通,通信,多媒体信,息,息元是具,有,有一定语,义,义的组成,信,信息系统,应,应用的信,息,息子块,多媒体信,息,息元是一,个,个或多个,媒,媒体数据,元,元经过一,定,定的添加,与,与包装而,合,合成的超,数,数据元,多媒体信,息,息元3个,基,基本特性,：,：,(1)数,据,据元本身,的,的组织附,加,加其表现,属,属性基,本,本对象的,内,内容与表,现,现/单媒,体,体对象的,表,表现。,(2)多,个,个数据元,的,的时空同,步,步关系描,述,述复合,对,对象的同,步,步/多媒,体,体的同步,。,。,(3)成,分,分之间的,链,链接描述,基本的,链,链接功能,。,信息元的,大,大小,就是上述3项内容,之,之和。,信息元的,合,合成,主要指多,个,个数据元,之,之间的时,空,空合成,亦,亦即时,空,空关系的,描,描述。,面向对象,一,一些特点,如封装,、,、继承、,聚,聚合等,恰,恰好适,合,合于为复,杂,杂多媒体,数,数据和信,息,息提供强,有,有力的抽,象,象机制。,多媒体信,息,息元模型,更,更是利用,了,了面向对,象,象的方法,。,。,MHEG,标准,由,ISO/IECJTC1/SC29/WG12,专家组(,MHEG),来制定超,文,文本信息,元,元标准。,主要集中,在,在以下几,个,个方面:,交互性,和,和多媒体,同,同步;,实,实时表示;实时,交,交换;,对,对象格式,变,变换 。,分两个部,分,分来完成,标,标准化工,作,作:第一,部,部分是概,念,念/原理,性,性定义,第,第二部分,主,主要是超,媒,媒体信息,对,对象及,MHEG,链的表示,。,。,采用面向,对,对象的方,法,法来分析,设,设计模型,。,。,MH,对象,的分类,输出内容(,Output Content),对象,一般输入(,GenericInput),对象,(1)按,钮,钮(,Button),(2)菜,单,单选择(,Menuselection),(3)多,项,项选择(,Multipleselection),(4)字,符,符串(,Character string),(5)位,置,置(,Location),(6)数,值,值(,Numberical value),投射器(,Projector),对象,基本(,Basic),对象,合成(,Composite),对象,条件与动,作,作,MHEG,的同步机,制,制,(1),脚本同步,(2)条,件,件同步,(3)空,间,间时间,同,同步,(4)系,统,统同步,8.4,表现与同,步,步模型,表现,是把各种,媒,媒体信息,展,展示给用,户,户的活动, 是多,媒,媒体数据,的,的合成再,现,现。,多媒体表,现,现因多种,媒,媒体并存,而,而成为复,杂,杂活动,以,以时间,顺,顺序和空,间,间关系来,安,安排多种,媒,媒体的合,成,成表现,即,即是,多媒体同,步,步,问题。,空间合成,确定各种,媒,媒体在画,面,面空间上,位,位置变换,和,和安排,时间合成,确定媒体,对,对象在时,间,间上的顺,序,序,时空合成,的,的概念描,述,述,定义,1 角,色,色是多媒,体,体表现环,境,境中的资,源,源, 它,分,分为视角,色,色和听角,色,色。视角,色,色对应一,块,块显示区,域,域(窗口), 听,角,角色对应,扬,扬声器或,声,声卡(声,音,音通道),。,。,定义,2场景是各,种,种媒体对,象,象占用角,色,色活动的,多,多媒体空,间,间表现环,境,境。,定义,3场景运算,是,是对角色,施,施加的操,作,作, 它,分,分为一元,运,运算和二,元,元运算。,场景运算,场景运算,一元运算,二元运算,视角色,定位(,Loc),变比(,Scale),剪裁(,Cut),旋转(,Rotate),邻接(,Abut),覆盖(,Overlay),镶嵌(,Mosaic),交叠(,Overlap),听角色,增益(,Gain),混声(,Mix),定义,4场景表达式,由,由角色,经,经场景运算,而,而产生的结,果,果。它可递,归,归定义为:,(1) 角,色,色本身是场,景,景表达式；,(2) 若,Q,为场景表达,式,式,则,Q,一元运算结,果,果为场景表,达,达式；,(3) 若,Q1,和,Q2,为场景表达,式,式,则,Q1,和,Q2,二元运算结,果,果为场景表,达,达式；,(4) 若,Q,为场景表达,式,式, 则(,Q),也是场景表,达,达式；,(5) 场,景,景运算优先,级,级由高到低,为,为：(),一,一元运算,二,二元运算；,(6) 场,景,景表达式经(1)-(5)确定的,规,规则复合而,成,成。,定义5,情节 表,示,示多媒体表,现,现环境中所,发,发生的事件,即媒体对,象,象的活动。,情节可分为,原,原子情节和,复,复合情节,原,原子情节是,由,由一个媒体,对,对象连续完,成,成的活动,复,复合情节是,由,由原子情节,或,或复合情节,经,经情节运算,构,构造而成。,定义6,设,X1、X2,为多媒体表,现,现中的2个,情,情节,情节,运,运算定义为,：,：,(1) 并,发,发运算,X1X2, X1X2,X1,X2,同时开始执,行,行, 都完,成,成时,X1X2,完成(称最,后,后并行)；,X1,或,X2,有一个完成,时,时,X1X2,完成(称首,先,先并行)。,(2) 顺,序,序运算,X1;X2,先执行情节,X1,再执行情节,X2,X2,完成时,X1;X2,完成。,(3) 循,环,环运算,X*m,循环,m(m1),次执行情节,X, X,每次执行有,不,不同对象参,与,与。,(4) 重,复,复运算,X+m,重复,m(m1),次执行情节,X, X,每次执行都,同,同一对象参,与,与。,定义7,情节表达式,定,定义为：,(1) 情,节,节本身是情,节,节表达式；,(2) 若,X,为情节表达,式,式, 则,X*m,X+m,也是情节表,达,达式；,(3) 若,X1,和,X2,为情节表达,式,式, 则,X1X2, X1X2,和,X1;X2,运算结果也,为,为情节表达,式,式；,(4) 若,X,为情节表达,式,式, 则(,X),也是情节表,达,达式；,(5) 情,节,节运算优先,级,级为: ()优先级高, 其余运,算,算优先级相,同,同；,(6) 情,节,节表达式所,有,有形式可经(1)-(5)确定的,规,规则复合而,成,成。,定义8,多媒体节目,脚,脚本是一个,情,情节表达式,。,。,时间合成,时间关系一,般,般可用,before、meets、overlap,、,、during、starts、finishes,和,equals,及其逆关系,来,来表示,共,共有13种,。,。,多媒体对象,在,在时间上的,并,并行、顺序,、,、独立关系,在对象时,间,间表现控制,上,上分别对应,于,于并发、串,行,行、异步(,任,任意)执行,。,。,同步的层次,与,与类型,用户级同步,与,与脚本模型,最上层同步,又称表现,级,级同步或交,互,互同步,合成同步,中层同步,系统同步,底层同步,是,是媒体内部,同,同步,时间同步模,型,型的功能需,求,求,表达能力,对象间的同,步,步，对象内,的,的同步,用户交互/,不,不确定性,不确定性管,理,理，高级交,互,互功能（倒,带,带、快进、,）,规约生成,支,支持,规约可维,护,护性，规,约,约重用性,，,，不一致,性,性检测,其中有些,特,特点是模,型,型必须支,持,持的，如,对,对象间同,步,步；,有些特点,，,，模型尽,量,量予以支,持,持，如不,一,一致性检,测,测。,目前所提,出,出的同步,模,模型主要,有,有4大类,：,：,图模型,基于,Petri,网的模型,面向对象,的,的模型,基于语言,的,的模型。,图模型,图模型把,时,时序场景,表,表示为一,个,个图,G=(V,E),其中,结点,n,V,表示合成,场,场景的对,象,象/事件;,边,e,E,表示时序,场,场景构件,之,之间的相,互,互关系。,以,Firefly,模型为例,介,介绍图模,型,型, 使,用,用记号如,下,下：,方结点,表示多媒,体,体对象的,开,开始和结,束,束时间；,圆结点,表示对象,内,内的同步,点,点,它们,被,被放置于,对,对应对象,的,的开始和,结,结束事件,之,之间；,边,表示事件,之,之间的时,间,间关系。,每个边标,记,记上它所,连,连接的事,件,件之间关,系,系。例如,标,标记为：,同,同时(,sim.with),或先于10秒(,before 10s)。,Firefly,模型支持,两,两种约束,：,：,时间等式,，,，它要求,两,两个事件,同,同时发生(如,sim.with),或一个事,件,件超前于,另,另一事件,确,确定时间,量,量,t(,如,before t),；,时间不等,式,式,它支,持,持不确定,性,性的表达,。,。例如一,个,个事件超,前,前于另一,个,个至少某,个,个确定时,间,间,t(,如,before at leastt),或至少时,间,间,t,至多时间,s,(,before at leastt and nomore thans,)。,start,start,end,end,start,start,end,end,start,start,end,end,sim.with,Music-Start,Logo-start,sim.with,sim.with,Car,Text,before t1,sim.with,sim.with,sim.with,sim.with,Music-end,Logo-end,Petri,网模型,时间,Petri,网描述多,媒,媒体同步,基,基本思路: 将时,序,序场景中,媒,媒体对象,的,的布局表,示,示为,Petri,网中的库,所,所, 时,间,间关系表,示,示为变迁,。,。,对象合成,Petri,网(,OCPN),模型为例,介,介绍基于,Petri,网的多媒,体,体同步形,式,式描述模,型,型。,OCPN,模型是在,常,常规,Petri,网基础上,增,增加了延,时,时值和资,源,源值等扩,充,充而成的,。,。,定义1,Petri,网(,PN),记为,C,PN,=,T,P,F,其中,T,=,t,1,t,2,t,n,表示变迁,的,的集合,n,0;,P,=,P,1,P,2,P,m,表示库所,集,集合,m,0,且,P,T,=,；,F,TP,PT,代表库所,与,与变迁之,间,间有向弧,的,的集合。,定义2,标记,Petri,网(,MPN),定义为,C,MPN,=,T,P,F,M,其中,T,P,F,的定义同,PN,中的定义,而,M: P,I,I=,0,1,2,定义3,OCPN,的定义为,C,OCPN,=,T,P,F,D,Re,M,其中,T,P,F,M,的定义同,MPN,定义,而,D: P,R,(,实数集),Re:P,r,1,r,2,r,k,D,是从库所,集,集合到实,数,数(持续,时,时间)的,映,映射,Re,是从库所,集,集合到资,源,源集合的,映,映射。,Car,Delay,Text,T1,R1,Tc,Rc,T2,R2,面,向,向,对,对,象,象,的,的,模,模,型,型,时,序,序,场,场,景,景,被,被,建,建,模,模,成,成,相,相,互,互,联,联,系,系,的,的,对,对,象,象,集,集,合,合,。,。,同,同,步,步,多,多,媒,媒,体,体,对,对,象,象,时,时,间,间,信,信,息,息,通,通,过,过,对,对,象,象,属,属,性,性,的,的,方,方,式,式,来,来,建,建,模,模,。,。,合,成,成,对,对,象,象,是,是,建,建,模,模,时,时,序,序,场,场,景,景,强,强,有,有,力,力,工,工,具,具,。,。,可,可,把,把,时,时,序,序,场,场,景,景,建,建,模,模,成,成,一,一,个,个,合,合,成,成,对,对,象,象,其,其,中,中,每,每,个,个,组,组,元,元,是,是,合,合,成,成,场,场,景,景,的,的,对,对,象,象,。,。,建,建,模,模,以,以,及,及,合,合,成,成,场,场,景,景,的,的,对,对,象,象,的,的,属,属,性,性,和,和,方,方,法,法,一,一,般,般,用,用,来,来,表,表,达,达,同,同,步,步,需,需,求,求,。,。,ODA,是,由,由,ISO/ITU/ECMA,联,合,合,开,开,发,发,的,的,标,标,准,准,化,化,文,文,档,档,结,结,构,构,用,用,于,于,管,管,理,理,开,开,放,放,分,分,布,布,式,式,办,办,公,公,文,文,档,档,。,。,ODA,基,本,本,版,版,本,本,不,不,能,能,处,处,理,理,音,音,视,视,频,频,类,类,数,数,据,据,类,类,型,型,考,考,虑,虑,的,的,文,文,档,档,仅,仅,由,由,文,文,本,本,、,、,图,图,形,形,和,和,图,图,象,象,组,组,成,成,。,。,有,有,人,人,提,提,出,出,了,了,对,对,ODA,结,构,构,的,的,扩,扩,充,充,加,加,强,强,ODA,框,架,架,处,处,理,理,时,时,间,间,信,信,息,息,的,的,能,能,力,力,。,。,Hoepner,在,ODA,框,架,架,内,内,提,提,出,出,多,多,媒,媒,体,体,对,对,象,象,同,同,步,步,通,通,用,用,模,模,型,型,。,。,每,个,个,时,时,序,序,场,场,景,景,可,可,建,建,模,模,成,成,情,情,节,节,的,的,集,集,合,合,。,。,情,情,节,节,在,在,某,某,些,些,给,给,定,定,的,的,对,对,应,应,于,于,特,特,殊,殊,事,事,件,件,的,的,时,时,间,间,点,点,进,进,行,行,合,合,成,成,。,。,合,合,成,成,在,在,该,该,模,模,型,型,中,中,仅,仅,能,能,出,出,现,现,在,在,每,每,个,个,情,情,节,节,的,的,开,开,始,始,和,和,结,结,束,束,点,点,。,。,同步需求通,过,过路径表达,式,式来进行描,述,述, 路径,表,表达式由路,径,径算子组合,原,原子情节而,形,形成。,Hoepner,定义的路径,算,算子如下:,(1),最后并行,(,AB),情节,A,和,B,起始于一个,公,公共起点,并,并行执行。,当,当所有参与,情,情节(,A,和,B),都结束时,合,合成情节才,结,结束。,(2),首先并行,(,AB),情节,A,和,B,起始于一个,公,公共起点,并,并行执行。,当,当其中某一,情,情节首先结,束,束时,合成,情,情节即结束,。,。,(3) 串,行,行,(,A;B),只有,A,先执行完后,才,才有可能执,行,行,B。,(4),可选的,(,A|B),执行,A,或,B,都是允许的,。,(5),重复,(,A,i,*),情节,A,将重复,i,次,。,(6),并发,(,N:A),情节,A,将被许可同,时,时并发执行,N,次,。,例如，算子,路,路径,PathA;(B,C)(DE);F* end,含义是:,A,开始启动,A,刚结束,4,个,个情节,B、C、D,、,、E,同时启动,在,在,B、C,结束或,D、E,结束时,F,开始执行(0次或多次)。,基于语言的,模,模型,利用同步原,语,语扩展传统,的,的并发程序,设,设计语言建,模,模多媒体同,步,步需求,基,基于,LOTOS,、,、Hytime,和,TCSP,等语言的模,型,型。,TCSP,是,CSP,语言的时间,扩,扩充。,TCSP,作为一种描,述,述语言，它,使,使用了下述,记,记号：,SKIP,进程(不做,任,任何事情),立,立即结束;,STOP,终止;,WAIT,t,延迟时间,t,后结束；|,异步并行；,P Q,由环境决定,的,的外部选择,；,；,PQ,内部,选,选择,；,；,a,P,事件,a,发生,时,时控,制,制传,给,给,P；,a,P,事件,a,发生,后,后时,间,间,t,控制,传,传给,P；,PQ,超时,操,操作,如,果,果时,间,间,t,之前,无,无与,P,的通,信,信发,生,生,把,把控,制,制从,P,传到,Q；,P;Q,顺序,合,合成,；,；等,等,等。,t,t,TCSP,功能,强,强大,足,以,以描,述,述,Allen,定义,的,的13种,关,关系,。如,：,：,equals(x,y)=(x.ready,(y.ready,E1)(synch-error,SKIP),(y.ready,(x.ready,E1)(synch-error,SKIP),E1=x.present,y.present;,(x.free,(y.free,SKIP)(synch-error,SKIP),(y.free,(x.free,SKIP)(synch-error,SKIP),描述,规,规范,生,生成,后,后必,须,须要,检,检查,其,其正,确,确性,。,。验,证,证正,确,确性,分,分两,步,步：,首,首先,有,有必,要,要给,出,出规,范,范必,须,须满,足,足的,性,性质,；,；然,后,后证,明,明描,述,述规,范,范满,足,足了,定,定义,的,的性,质,质。,利,利用,TCSP,描述,的,的同,步,步规,范,范可,用,用,TCSP,证明,理,理论,来,来检,查,查其,是,是否,满,满足,安,安全,性,性、,活,活性,等,等性,质,质。,多媒,体,体表,现,现的,脚,脚本,语,语言,脚本,及,及脚,本,本语,言,言,和基于,表,表现,对,对象,间,间及,表,表现,对,对象,与,与时,钟,钟间,的,的时,间,间关,系,系模,型,型而,开,开发,的,的一,种,种脚,本,本语,言,言:,(1)语,法,法描,述,述;,(2)节,目,目编,程,程举,例,例.,本章,小,小结,首先,分,分析,多,多媒,体,体系,统,统数,据,据模,型,型的,层,层次,结,结构;,简要,介,介绍,了,了基,于,于集,合,合论,和,和一,阶,阶逻,辑,辑的,超,超文,本,本系,统,统的,形,形式,化,化描,述,述方,法,法,还,还,对,对信,息,息元,模,模型,进,进行,了,了讨,论,论;,讨论,了,了表,现,现与,同,同步,的,的有,关,关概,念,念,时,时,间,间同,步,步方,法,法,在,在,多,多媒,体,体系,统,统建,模,模中,有,有影,响,响的,同,同步,模,模型,;,本章,内,内容,属,属多,媒,媒体,技,技术,的,的基,础,础研,究,究部,分,分,目,目前,还,还不,够,够系,统,统化,希,望,望通,过,过本,章,章介,绍,绍对,读,读者,进,进一,步,步研,究,究或,应,应用,多,多媒,体,体系,统,统有,所,所帮,助,助。,9,、静夜四,无,无邻，荒,居,居旧业贫,。,。1月-231月-23,Thursday, January 5,2023,10,、,雨,雨,中,中,黄,黄,叶,叶,树,树,，,，,灯,灯,下,下,白,白,头,头,人,人,。,。,。,。20:39:4320:39:4320:39,1/5/20238:39:43PM,11,、以,我,我独,沈,沈久,，,，愧,君,君相,见,见频,。,。1月-2320:39:4320:39,Jan-2305-Jan-23,12,、故,人,人江,海,海别,，,，几,度,度隔,山,山川,。,。20:39:4320:39:4320:39,Thursday,January5,2023,13,、乍见,翻,翻疑梦,，,，相悲,各,各问年,。,。1月-231月-2320:39:4320:39:43,January 5, 2023,14,、,他,他,乡,乡,生,生,白,白,发,发,，,，,旧,旧,国,国,见,见,青,青,山,山,。,。,。,。05,一,一,月,月20238:39:43,下,下,午,午20:39:431,月,月-23,15,、比,不,不了,得,得就,不,不比,，,，得,不,不到,的,的就,不,不要,。,。一月238:39,下,下,午,午1月-2320:39,January5,2023,16,、行,动,动出,成,成果,，,，工,作,作出,财,财富,。,。2023/1/520:39:4320:39:43,05January2023,17,、做前,，,，能够,环,环视四,周,周；做,时,时，你,只,只能或,者,者最好,沿,沿着以,脚,脚为起,点,点的射,线,线向前,。,。8:39:43 下,午,午8:39 下,午,午20:39:431月-23,9,、没有失,败,败，只有,暂,暂时停止,成,成功！。1月-231月-23,Thursday, January 5,2023,10,、很多,事,事情努,力,力了未,必,必有结,果,果，但,是,是不努,力,力却什,么,么改变,也,也没有,。,。20:39:4320:39:4320:39,1/5/20238:39:43 PM,11,、成功,就,就是日,复,复一日,那,那一点,点,点小小,努,努力的,积,积累。,。,。1月-2320:39:4320:39,Jan-2305-Jan-23,12,、,世,世,间,间,成,成,事,事,，,，,不,不,求,求,其,其,绝,绝,对,对,圆,圆,满,满,，,，,留,留,一,一,份,份,不,不,足,足,，,，,可,可,得,得,无,无,限,限,完,完,美,美,。,。,。,。20:39:4320:39:4320:39,Thursday,January5,2023,13,、不知香积,寺,寺，数里入,云,云峰。1月-231月-2320:39:4420:39:44,January 5,2023,14,、,意,意,志,志,坚,坚,强,强,的,的,人,人,能,能,把,把,世,世,界,界,放,放,在,在,手,手,中,中,像,像,泥,泥,块,块,一,一,样,样,任,任,意,意,揉,揉,捏,捏,。,。05,一,一,月,月20238:39:44,下,下,午,午20:39:441,月,月-23,15,、楚,塞,塞三,湘,湘接,，,，荆,门,门九,派,派通,。,。一月238:39,下,下,午,午1月-2320:39,January5,2023,16,、少年十,五,五二十时,，,，步行夺,得,得胡马骑,。,。2023/1/520:39:4420:39:44,05 January 2023,17,、空,山,山新,雨,雨后,，,，天,气,气晚,来,来秋,。,。8:39:44,下,下午8:39,下,下,午,午20:39:441月-23,9,、杨柳散和,风,风，青山澹,吾,吾虑。1月-231月-23,Thursday,January 5,2023,10,、,阅,阅,读,读,一,一,切,切,好,好,书,书,如,如,同,同,和,和,过,过,去,去,最,最,杰,杰,出,出,的,的,人,人,谈,谈,话,话,。,。20:39:4420:39:4420:39,1/5/20238:39:44PM,11,、越,是,是没,有,有本,领,领的,就,就越,加,加自,命,命不,凡,凡。1月-2320:39:4420:39,Jan-2305-Jan-23,12,、越是,无,无能的,人,人，越,喜,喜欢挑,剔,剔别人,的,的错儿,。,。20:39:4420:39:4420:39,Thursday,January5,2023,13,、,知,知,人,人,者,者,智,智,，,，,自,自,知,知,者,者,明,明,。,。,胜,胜,人,人,者,者,有,有,力,力,，,，,自,自,胜,胜,者,者,强,强,。,。1,月,月-231,月,月-2320:39:4420:39:44,January5,2023,14,、意,志,志坚,强,强的,人,人能,把,把世,界,界放,在,在手,中,中像,泥,泥块,一,一样,任,任意,揉,揉捏,。,。05,一,一,月,月20238:39:44,下,下午20:39:441月-23,15,、最具挑战,性,性的挑战莫,过,过于提升自,我,我。一月 238:39,下,下午1月-2320:39,January 5,2023,16,、业余生,活,活要有意,义,义，不要,越,越轨。2023/1/520:39:4420:39:44,05 January 2023,17,、一个,人,人即使,已,已登上,顶,顶峰，,也,也仍要,自,自强不,息,息。8:39:44 下,午,午8:39 下,午,午20:39:441月-23,MOMODA POWERPOINT,Lorem ipsum dolor sit amet, consectetur adipiscing elit. Fusce id urna blandit, eleifend nulla ac, fringilla purus. Nulla iaculis tempor felis ut cursus.,感谢您,的,的下载,观,观看,专家告,诉,诉,