11、超链接多媒体文档的形式化时间模型

超链接多媒体文档的形式化时间模型

1. 引言

如今，像 HTML5 这样的网络技术让创建包含图像、视频、音频和文本等多种链接多媒体元素的演示变得轻而易举。用户不仅能与之互动、探索内容、查找额外信息，甚至还能添加自己的内容。随着互联网带宽的增加以及智能手机、平板电脑等终端设备性能的提升，同步且交互式的多屏幕演示也成为了现实。比如，用户可以在电视上观看体育赛事直播，同时在智能手机上追踪自己喜爱的运动员，还能在屏幕上按需查看统计数据和当前排名。

然而，尽管技术上能够实现超链接单设备多媒体演示或同步多设备服务，但它们并未广泛普及。该领域的主要挑战在于确保播放过程中避免设备间的卡顿和同步问题，从而为用户提供优质的体验。未来，需要通过预取或调整超链接或同步环境中的多媒体元素来优化用户体验。

为了帮助研究人员创建和优化多媒体演示中的时间同步算法，下面将介绍可用于计算的模型。以 HTML5 标准化过程中的视频中心超视频为例，虽然大部分标准已在常用浏览器中实现，但标准定义和浏览器实现不断变化，使得开发的算法难以实现和测试。而使用形式化时间模型和定义，能以平台无关的方式描述算法，并在测试框架中实现。待 HTML5 标准完成并在浏览器中实现后，研究结果可轻松转换以适应标准约束，并在 HTML5 和 JavaScript 中重新实现。

为了说明多媒体文档的基本部分和概念，下面以一个超视频为例。该超视频展示了房屋一楼的游览过程，房间之间的导航通过用户选择事件实现。视频场景是在房屋房间内从一扇门到另一扇门的拍摄路径，观众在特定点可选择自己的游览路线。场景结构定义了一个场景图，视频的 16 个场景用标注的矩形表示，菱形表示观众可选择场景的分支点。场景的可能目标包括其他场景、分支点或视频结束