基于SIP的视频会议服务器的设计、实现与分析
| 第一章 概述 | 第1-10页 |
| ·研究背景 | 第7-8页 |
| ·国内外研究现状 | 第8页 |
| ·研究目标和内容 | 第8-10页 |
| 第二章 视频会议相关技术 | 第10-21页 |
| ·会话初始化协议-SIP | 第10-12页 |
| ·SIP实体 | 第10-11页 |
| ·SIP消息 | 第11-12页 |
| ·SIP协议栈 | 第12-17页 |
| ·基于JAVA平台的SIP协议栈 | 第12-13页 |
| ·基于C／C++平台的SIP协议栈 | 第13-17页 |
| ·多点会议系统的类型 | 第17-18页 |
| ·多点会议控制单元 | 第18-19页 |
| ·会议服务器的容量 | 第19-20页 |
| ·容量的定义 | 第19页 |
| ·影响服务器容量的参数分析 | 第19-20页 |
| ·小结 | 第20-21页 |
| 第三章 多点控制器的设计与形式化分析 | 第21-53页 |
| ·多点控制器 | 第21-22页 |
| ·MC在视频会议系统中的位置 | 第21页 |
| ·MC单元的功能需求 | 第21-22页 |
| ·多点控制器的设计 | 第22-28页 |
| ·媒体信道建立方法的设计 | 第22-23页 |
| ·媒体流管理的设计 | 第23-24页 |
| ·客户端和会议服务器的媒体订阅协议 | 第24-28页 |
| ·媒体订阅协议形式化建模 | 第28-39页 |
| ·形式化概述 | 第28-29页 |
| ·时间自动机介绍 | 第29-31页 |
| ·媒体订阅协议形式化模型设计 | 第31-39页 |
| ·媒体订阅协议形式化验证 | 第39-52页 |
| ·UPPAAL介绍 | 第39-41页 |
| ·系统建模 | 第41-46页 |
| ·系统仿真运行 | 第46-47页 |
| ·需求形式化定义与验证 | 第47-49页 |
| ·无死锁状态机建模与验证 | 第49-52页 |
| ·小结 | 第52-53页 |
| 第四章 会议服务器的设计 | 第53-63页 |
| ·视频会议系统的总统设计 | 第53-56页 |
| ·实体结构 | 第53-54页 |
| ·需要实现的逻辑实体 | 第54-55页 |
| ·视频会议系统的媒体结构 | 第55-56页 |
| ·客户端与会议服务器的交互 | 第56页 |
| ·会议服务器的功能需求 | 第56-58页 |
| ·会议管理 | 第56-57页 |
| ·会话管理 | 第57-58页 |
| ·与会者管理 | 第58页 |
| ·MIM(聊天室)管理 | 第58页 |
| ·会议服务器的设计 | 第58-62页 |
| ·整体结构说明 | 第58-59页 |
| ·会议服务器流程 | 第59页 |
| ·会议服务器单个会议的设计 | 第59-61页 |
| ·与会者管理模块设计 | 第61-62页 |
| ·小结 | 第62-63页 |
| 第五章 会议服务器的实现 | 第63-72页 |
| ·系统的整体流程 | 第63页 |
| ·系统的消息处理机制 | 第63-64页 |
| ·主要的类 | 第64-69页 |
| ·会议类CConfClient | 第64-66页 |
| ·会议管理类CConfManage | 第66-67页 |
| ·媒体会话状态类CConnectSignal | 第67页 |
| ·媒体会话列表类CMediaSession | 第67-68页 |
| ·事件接收类CRTCEvents | 第68-69页 |
| ·用户类VideoConferee | 第69页 |
| ·应用程序的运行结果 | 第69-71页 |
| ·小结 | 第71-72页 |
| 第六章 结论 | 第72-73页 |
| 参考文献 | 第73-75页 |
| 致谢 | 第75页 |
