同步模型及分布式多媒体系统同步.ppt

. 信息科学与工程学院 宁波大学 Ningbo University 第11讲 同步模型 及分布式多媒体系统同步 4. 定性间隔型 间隔、定量关联信息、约束传播方案 典型：OCPN(对象合成Petri Net)模型 OCPN模型是一个定时Petri网， 用六元组表示COCPN＝{T,P,A,D,R,M} T={t1, t2, …, tn}为转移点集，ti表示同步点， 在图中用“│”表示 P={p1, p2,…, pm}为位置集， pi表示进程， 在图中用圆表示 A: {T×P}∪{P×T}→I={1,2,…}是有向弧集,在图中用箭头表示 D: P→Re位置集向实数集映射, Re表示OCPN中的时间约束。 R: P→{r1, r2, …, rk} 位置集向资源集{r1, r2, …, rk}的映射 M: P→I, I={1,2,…}表示各位置所含的令牌数 多媒体数据时域特征表示(续) 图片 播音员全景 延时 延时 话音新闻 延时 音乐 节目片头 引导音乐 播音员念第1条新闻 引导音乐 音乐渐消 节目片头 播音员全景 播音员上方图片 时间 话音 音乐 视频 图片 电视新闻广播的OCPN例子 5. 定量间隔型 间隔、定量信息和定性信息、宽度方案 具有一定的表示非确定性时域场景的能力 时域场景 时刻 定性信息＋ [定量信息] 约束传播 方案 间隔