网络融合关键技术研究--会话控制、业务适配和电信软件建模
| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第一章 绪论 | 第9-12页 |
| ·研究工作的背景和意义 | 第9页 |
| ·项目背景和主要研究内容 | 第9-10页 |
| ·论文的结构和主要内容 | 第10-11页 |
| ·论文研究的创新点 | 第11-12页 |
| 第二章 电信网络的演进和网络融合 | 第12-46页 |
| ·电信网络的演进 | 第12-26页 |
| ·智能网 | 第12-14页 |
| ·Internet的成功和对电信网络的挑战 | 第14-15页 |
| ·电信网络和Internet的比较分析 | 第15-17页 |
| ·下一代网络方面的研究 | 第17-26页 |
| ·下一代网络的结构 | 第26-41页 |
| ·下一代网络的组织模型 | 第27-30页 |
| ·下一代网络的分层模型 | 第30-41页 |
| ·固定和移动融合(FMC) | 第41-42页 |
| ·本章小结 | 第42-43页 |
| ·参考文献 | 第43-46页 |
| 第三章 支持多媒体和移动业务的会话控制技术 | 第46-105页 |
| ·支持多媒体和移动业务的软交换系统 | 第47-49页 |
| ·支持多媒体和移动业务的软交换控制器 | 第49-58页 |
| ·软交换控制器软件设计思路 | 第49-51页 |
| ·支持多媒体和移动业务的软交换系统的功能结构 | 第51-58页 |
| ·支持多媒体和移动业务的会话控制模型研究 | 第58-100页 |
| ·呼叫控制模型的研究现状 | 第59-60页 |
| ·支持多媒体和移动业务的会话控制分析 | 第60-84页 |
| ·支持多媒体和移动业务的会话控制模型 | 第84-96页 |
| ·会话控制模型分析和比较 | 第96-100页 |
| ·切换控制技术 | 第100-102页 |
| ·业务适配技术 | 第102页 |
| ·本章小节 | 第102-103页 |
| ·参考文献 | 第103-105页 |
| 第四章 软交换系统业务适配设计 | 第105-135页 |
| ·智能网业务控制架构 | 第105-110页 |
| ·智能网的介绍 | 第105-107页 |
| ·智能网的业务提供架构 | 第107-108页 |
| ·智能网中的业务控制模式 | 第108-110页 |
| ·PARLAY业务控制架构 | 第110-118页 |
| ·PARLAY简介 | 第110-112页 |
| ·PARLAY网络业务接口 | 第112-114页 |
| ·PARLAY框架接口 | 第114-115页 |
| ·PARLAY中的业务控制 | 第115-118页 |
| ·软交换系统业务支持方案 | 第118-132页 |
| ·半呼叫和全呼叫的信令冲突 | 第118-123页 |
| ·半呼叫视图和全呼叫视图的媒体冲突 | 第123-125页 |
| ·支持全呼叫和半呼叫的业务控制 | 第125-132页 |
| ·本章小结 | 第132-133页 |
| ·参考文献 | 第133-135页 |
| 第五章 会话控制模型形式化分析研究 | 第135-179页 |
| ·形式化建模技术介绍 | 第135-142页 |
| ·mCRL简介 | 第136-142页 |
| ·电信软件形式化建模和分析方法 | 第142-158页 |
| ·面向数据的电信软件建模方法 | 第142-151页 |
| ·基于进程代数的软件功能性分析 | 第151-157页 |
| ·优缺点分析 | 第157-158页 |
| ·会话控制模型形式化建模分析 | 第158-177页 |
| ·会话控制模型系统定义和功能分析 | 第159页 |
| ·会话控制模型子系统划分 | 第159-164页 |
| ·形式化建模和分析 | 第164-177页 |
| ·本章小结 | 第177页 |
| ·参考文献 | 第177-179页 |
| 第六章 结束语 | 第179-182页 |
| ·论文总结 | 第179-180页 |
| ·下一步的研究工作 | 第180-182页 |
| 附录A: 会话控制模型和协议验证模型的形式化描述 | 第182-199页 |
| 攻读博士学位期间发表的论文 | 第199-200页 |
| 致谢 | 第200页 |
