免费论文
收费论文
发表论文
我要投稿
设为首页 招标网
联系我们
经济学|管理学|法学|计算机|医学|教育|文学|政治|艺术|哲学|更多 经济学|管理学|法律|计算机|医学|教育|文学|政治|艺术|哲学|更多
 论文搜索
  推荐服务: 论文发表 收费论文
期刊论文格式
毕业论文格式
期刊论文范文
毕业论文范文
论文致谢
毕业论文答辩
开题报告
论文选题
英文摘要书写
面向服务的新一代网络体系结构及其形式化建模的研究
中文名称: 面向服务的新一代网络体系结构及其形式化建模的研究
全文提供: 购买充值卡,就可下载本篇论文全文  
论文编号: 3116903收藏本论文】【我的收藏】【我要投稿
英文名称: Research on Service-Oriented New Generation Network Architecture and Its Formal Modeling
学位类型: 博士毕业论文
作者: 涉及隐私,隐去***  作者本人请参看权力声明>>
导师: 涉及隐私,隐去***
毕业学校: 涉及隐私,隐去***
专业: 计算机应用技术
毕业年份: 涉及隐私,隐去***
关键字: 下一代网络 新一代网络体系结构 面向服务 交互 需求目标 设计原则 形式化建模 INSA INSADL
简介目录: 点击此处 免费索取本论文简介和目录>>
全文提供: 购买充值卡,就可下载本篇论文全文  

       论文发表:快速、低价、包过!发表论文就找论文天下

论文简介:本论文以研究和建立满足下一代网络发展需求的新一代网络体系结构为研究出发点,重点展开了关于面向服务的新一代网络体系结构及其形式化建模的相关研究。论文首先对网络体系结构这一概念的内涵和外延进行了宏观剖析,提出了“网络体系结构认知框架”,并对传统网络体系结构进行了分析和评述。着重对互联网体系结构进行了关注,采用从矛盾分析入手的方法对以互联网体系结构为代表的传统网络体系结构的优劣利弊进行了深入剖析。然后对面向服务的新一代网络体系结构进行了深入研究,通过总结近年米研究界在改造传统网络体系结构和探索新型网络体系结构等方面的种种努力,全面分析了在研究满足下一代网络发展需求的新一代网络体系结构时所需考虑的种种因素,并对下一代网络的概念进行了明确界定。在此基础上,总结概括了新一代网络体系结构的需求目标,并研究提出了与新一代网络体系结构的需求目标相适应的若干体系结构设计原则,在这些设计原则的指导之下,从宏观角度入手研究并建立起了满足下一代网络发展需求的新一代网络体系结构INSA参考模型。 论文还重点关注了新一代网络体结构的形式化建模问题。分析了对新一代网络体系结构进行形式化建模的必要性和可行性,提出了对新一代网络体系结构进行形式化建模具有指导意义的“INSA形式化建模框架”,研究并归纳出了若干形式化建模目标,并依据这些目标对相关形式化理论与技术进行了分析和选取。在此基础上,借助于CSP理论上完备、形式上简洁、概念和符号清晰易懂等特点,以及它在分布并发系统描述方面的天然优势,以新一代网络体系结构INSA参考模型的构件化思想和全方位交互观点作为建模基础,研究并建立起了新一代网络体系结构的INSA抽象形式化模型,并对该抽象形式化模型的相关性质进行了深入研究。论文还在INSA抽象形式化模型的基础上,借鉴了软件体系结构等相关领域的研究成果和研究方法,将新一代网络体结构的形式化建模研究进一步推向深入,提出了一种新一代网络体系结构描述语言INSADI。论文对INSADL的设计思想和主要特色、INSADL语法的类EBNF定义、INSADL主要语法单位等进行了介绍,并且探讨了基于INSADL的网络体系结构分析与检查等内容。 最后论文还关注了新一代网络体系结构形式化建模技术的应用,将前面提出的新一代网络体系结构描述语言INSADL,在典型网络体系结构实例的形式化建模、以及分布式流媒体服务DSMS的体系结构建模、规约和分析这两个方面进行了实际应用。前一方面主要以传统的OSI网络体系结构和近年来正日渐成为计算机网络研究热点的Web Service体系结构这两个典型网络体系结构实例为研究对象,分别介绍了对它们所进行的INSADL,形式化建模研究。后一方面主要以我们依据OMG音/视频流规范自主开发实现的分布式流媒体服务DSMS为例,介绍了在分布式流媒体服务DSMS的设计和开发过程中.对分布式流媒体服务体系结构所进行的INSADL建模、规约和分析等研究。 论文对于面向服务的新一代网络体系结构及其形式化建模的研究,为下一代网络及其相应网络体系结构的研究提供了崭新的思路和方法,相关研究结论具有较大的指导意义和参考价值。
本类相关论文:
·基于非合作博弈模型的QoS分配中关键技术的研究
·重端口交换结构及其调度算法
·Web传输的性能优化
·高性能IP路由查找和分组分类技术的研究
·P2P流媒体分发技术研究
·基于复杂网络理论的对等计算系统关键技术研究
·对等网络的社区模型及其在搜索中的应用
·基于流量平衡的BGP出口选择优化技术的研究
·基于对等计算的信息共享相关技术研究
·语义网格体系结构中若干关键技术及应用研究
下一代网络论文 面向服务论文
·EBAS的通用协议接入系统的设计与实现
·我国下一代网络的市场准入管制
·NGN网络安全性和网络优化方式的研究
·下一代网络的媒体网关研究与设计
·甘肃省高速公路通信系统现状分析与优化
·面向服务的网格中间件框架研究
·跨平台综合自动化监控通讯处理系统的研究与实现
·基于WCF的空间信息网络服务安全机制研究与实践
·基于SOA的旅游信息服务平台的研究与设计
·电网多数据源在线诊断方法研究
交互论文 设计原则论文
·基于自然语言理解的中文搜索引擎
·交互式电子白板在小学数学中的应用研究
·图形用户界面中影响用户认知的图标设计因素研究
·数字化背景下的城市公共艺术及其交互设计研究
·基于虚拟现实技术的印刷机拆装训练系统
·儿童木制玩具设计之研究
·助老产品设计理论研究
·邮政行业职业装的设计应用与研究
·旅行自行车附件产品的设计研究
·论改装商务车的设计研发
形式化建模论文  
·面向服务的任务关键网络系统安全态势形式化建模与
·智能建筑火灾报警控制系统的设计与研究
·基于STATEMATE的无线闭塞中心数据流生成
·任务关键系统生存性形式化建模与分析
·ASIP体系结构形式化建模与验证方法研究
 
  推荐期刊投稿
·辽宁广播电视大学学报
·上海社会科学院学术季刊
·电脑知识与技术.经验技巧
·水利天地
·毛纺科技
·电大理工
·哈尔滨商业大学学报(社会科学版)
·山东医科大学学报(社会科学版)
·陕西教育(教学版)
·组合机床与自动化加工技术
 
·数理化解题研究(高中版)
·江苏大学学报(医学版)
·中国卫生检验杂志
·延边大学学报(社会科学版)
·德语学习
·河南商业高等专科学校学报
·Electricity
·出版参考
·河北师范大学学报(自然科学版)
·广西农村经济
 
·贵州大学学报(自然科学版)
·钢铁技术
·广西农学报
·游泳季刊
·报刊荟萃
·昆明医学院学报
·中国卫生质量管理
·新疆农业科技
·数理化学习(初中版)
·民族文学研究
   免费论文
公共管理 | 法学 | 理学 | 医药学
政治 | 社会学 | 文学 | 艺术 | 哲学
工学 | 计算机 | 文化 | 英语论文
经济学 | 财政 税收 | 证券金融
管理学 | 会计审计 | 工商管理 | 教育
财务管理 | 论文写作指导 | 应用文
   收费论文
马列毛邓 | 哲学宗教 | 社会科学
政治法律 | 军 事 | 经 济
文化科学教育体育 | 语言文字
文学 | 艺术 | 历史地理 | 自然科学
数理化 | 天文 | 生物科学 | 医药卫生
农业科学 | 工业技术 | 交通运输
航空航天 | 环境安全
   浏览历史

联系论文网 | 收费论文 | 发表论文 | 论文翻译 | 友情链接 | 全部分类 | 网站地图 | 期刊导航
版权所有 2008-2018 论文天下 www.lunwentianxia.com 京ICP备08104503号