收藏本站
《兰州理工大学》 2009年
收藏 | 手机打开
二维码
手机客户端打开本文

基于广义随机Petri网理论的SIP的研究

杨鹏  
【摘要】:鉴于会话初始化协议(Session Initiation Protocol,SIP)在网络和通信领域所占的重要地位和目前表现出来的广阔前景,对SIP研究有一个总体上的把握,建立SIP的形式化模型,正确进行SIP特性及性能的分析和评价,从而更合理地设计、扩充和优化协议,这具有十分重要的理论意义和应用价值。 广义随机Petri网(Generalized stochastic Petri Net,GSPN)是一种基于图形化的语言,具有描述、分析复杂系统强大功能。基于广义随机Petri网过程建模分析技术不但可以在协议服务流程和资源分配期间了解系统的性能,而且为系统实施到最优性能和逻辑结构改变提供了分析方法。 目前SIP的研究主要集中在SIP服务网络性能的提高和SIP组件服务质量的改进。SIP的服务过程是一个复杂的活动,状态、过程转移交织网络,本文主要针对SIP本身分析研究,对信令交换细节进行分析,建立了SIP的随机Petri网模型,利用随机Petri网的基本性质和分析技术完成对SIP的分析验证。 论文主要从SIP的广义随机Petri网模型入手,从数学分析技术和仿真分析技术两个方面对SIP进行了系统、深入的研究。构造与广义随机Petri网模型同构的马尔可夫链,基于马尔可夫链稳定状态概率对模型进行计算和分析,研究分析系统的性能指标。针对协议随机Petri网模型,对系统运行性能瓶颈进行分析。根据协议GSPN模型特点简化GSPN模型,对其吞吐量上界进行分析研究。把建模分析和仿真分析相结合来分析和研究提高SIP的服务质量,为SIP的服务质量相关指标的提高提供重要的指导和参考。 论文的主要创新成果如下: (1)针对SIP本身的信令交换细节分析研究,运用随机Petri网理论对SIP进行了建模和分析验证,为协议的求解分析和仿真研究奠定了基础,对现有协议的评价和改进提供了一种途径。 (2)基于协议的广义随机Petri网模型和软件仿真的方法,对SIP的服务质量进行了仿真及分析研究,仿真的结果表明:优化的结果可以降低协议呼叫建立延时,改善系统吞吐量。 (3)运用广义随机Petri网数学分析技术对协议各项性能指标进行求解,进行协议性能分析,评价协议性能。
【学位授予单位】:兰州理工大学
【学位级别】:博士
【学位授予年份】:2009
【分类号】:TP301.1

【参考文献】
中国期刊全文数据库 前10条
1 林松;戴宗坤;;电子支付安全协议的Petri网模型及分析[J];大连理工大学学报;2005年S1期
2 李志淮;周晓玮;;网络通信中自定义协议的一种制定方法[J];大连理工大学学报;2005年S1期
3 林闯,李雅娟,王忠民;性能评价形式化方法的现状和发展[J];电子学报;2002年S1期
4 刘千里,于全,戴浩;TCP在无线ATM环境下的性能分析[J];电子学报;2003年09期
5 洪志国,吴凤鸽,范植华,李磊,孙富春;基于PETRI网模型的LEO/MEO/GEO三层卫星网络的性能分析[J];电子学报;2005年02期
6 张载龙;孙建;李君;张顺颐;;一种优化的SIP信令网过载控制算法[J];电子与信息学报;2008年10期
7 石曙东;一种安全协议的形式化验证方法[J];湖北师范学院学报(自然科学版);2004年01期
8 张建东,高晓光,吴勇,朱岩;GSPN的分析方法及其应用[J];火力与指挥控制;2005年05期
9 刘进;陈丹;肖德宝;;基于着色petri网的安全协议验证方法[J];华中师范大学学报(自然科学版);2006年03期
10 侯峻峰,张磊,黄连生;一种新的安全协议形式化验证方法[J];计算机研究与发展;2004年08期
中国博士学位论文全文数据库 前5条
1 赵志刚;基于Petri网理论的计算机网络性能分析和电子商务模型设计[D];浙江大学;2002年
2 洪志国;基于随机Petri网模型的卫星网络性能分析研究[D];中国科学院研究生院(软件研究所);2005年
3 詹惠琴;测试系统的Petri网建模和性能分析研究[D];电子科技大学;2005年
4 胡红革;网络化控制系统Petri网建模与分析[D];电子科技大学;2005年
5 焦燕鸿;基于SIP/NMA的IP移动网络关键技术研究[D];哈尔滨工程大学;2005年
中国硕士学位论文全文数据库 前1条
1 冯陟;SIP协议研究与应用[D];西北工业大学;2003年
【共引文献】
中国期刊全文数据库 前10条
1 凌庆华;石志强;程伟明;;基于SIP的网络视频监控系统的设计与实现[J];安防科技;2007年03期
2 杜旭;刘杉杉;余江;;视频监视系统中的资源控制策略[J];安防科技;2007年06期
3 徐晓;;在线邮寄系统的设计与验证[J];安徽电子信息职业技术学院学报;2010年02期
4 朱中仁;;基于Petri网的工作流模型构建[J];安徽电子信息职业技术学院学报;2012年01期
5 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期
6 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期
7 金莹;丁峰;;广义随机Petri网在工作流建模中的应用研究[J];安庆师范学院学报(自然科学版);2010年01期
8 邵志芳;钱省三;刘仲英;;基于Petrinet的半导体代工系统建模及案例研究[J];半导体技术;2006年11期
9 王永翔;王立德;;基于广义随机Petri网的MVB网络吞吐性能分析[J];北京交通大学学报;2008年05期
10 汪亚男,王明哲;赋时着色Petri网在建模仿真中的应用[J];兵工自动化;2005年01期
中国重要会议论文全文数据库 前10条
1 夏阳;刘金红;胡友志;杨国正;;计算机主机脆弱性评估发展现状研究[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
2 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
3 岳昊;李文杰;陈宝兴;;Petri网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年
4 阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量,努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集(下册)[C];2008年
5 葛丹;郑会颂;姚国章;;应急管理工作流模型的研究[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年
6 马玉琨;陆彦辉;杨守义;;OFDMA系统中接纳控制的Petri网模型[A];第十届中国科协年会论文集(三)[C];2008年
7 张兆心;方滨兴;张宏莉;;基于BAN逻辑的SIP网络中认证协议安全性分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
8 华骏;黄志球;周华;;一种基于SIP事务层扩展的安全模型[A];第13届全国计算机、网络在现代科学技术领域的应用学术会议论文集[C];2007年
9 王夙娟;马炳先;曲守宁;;OWL-S服务的Petri网自动建模方法研究[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
10 聂晓峰;荆继武;向继;;一种混合式的SIP-based VoIP安全实施方案[A];全国计算机安全学术交流会论文集(第二十二卷)[C];2007年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年
3 车建华;虚拟计算系统性能与可用性评测方法研究[D];浙江大学;2010年
4 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
5 刘思华;电网故障诊断方法的研究[D];山东大学;2010年
6 赵亮;Web服务组合性能建模与分析[D];武汉大学;2009年
7 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
8 吕继东;列车运行控制系统分层形式化建模与验证分析[D];北京交通大学;2011年
9 梅樱;城轨车辆新型网络控制系统的调度、建模及优化[D];北京交通大学;2011年
10 杨斯淇;危险货物运输管理流程优化与系统实现[D];吉林大学;2011年
中国硕士学位论文全文数据库 前10条
1 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年
2 刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年
3 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年
4 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年
5 孙海春;C_net到可编译表达式的映射方法[D];山东科技大学;2010年
6 周月明;保险索赔系统的协同容错层次模型研究[D];山东科技大学;2010年
7 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年
8 吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年
9 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
10 林红昌;基于UML的软件系统的功能性验证和非功能性度量[D];浙江理工大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 张东红;并行系统分叉和交汇操作过程的Petri网控制器[J];安康师专学报;2000年02期
2 桂志波,王庆林;基于扩展Petri网的控制器设计与分析[J];北京理工大学学报;1996年03期
3 王环球,高金钟,许凤璋;基于Petri网的系统可靠性分析[J];北京轻工业学院学报;1998年02期
4 赵海,王光兴;Fieldbus网络中轮询协议的性能研究[J];东北大学学报;1994年06期
5 李赣湘,张端金;模糊 Petri 网与 C~3I 信息融合[J];弹道学报;1997年04期
6 杨秀珍,鞠传文,蔡芳,潘泉;有色Petri网在C~3I系统建模中的应用[J];电光与控制;1998年04期
7 曾成碧,陈光;可达树分析法及其在测试中的应用[J];电子科技大学学报;1999年05期
8 潘成胜;Petri网在C~3I决策系统建模中应用的若干问题[J];电脑开发与应用;1996年01期
9 熊远生,俞立,徐建明;网络控制系统的滑模变结构预估控制器的设计[J];电气传动自动化;2003年04期
10 庄振运,戴晓慧;软交换技术及其标准[J];电信技术;2001年04期
中国博士学位论文全文数据库 前2条
1 庞文尧;基于C/S模式的远程控制系统研究开发[D];浙江大学;2003年
2 林娜;基于软交换技术的下一代网络体系结构及相关技术的研究[D];东北大学;2005年
【相似文献】
中国期刊全文数据库 前10条
1 刘莉莉,傅铅生;应用Petri Net方法建模分析制造企业ERP的实施工程[J];航空工程与维修;2002年06期
2 谭宁;;基于Petri网的办公自动化系统结构模型设计[J];硅谷;2009年12期
3 林绍森;李晓兰;;采用Petri技术构建高校应急预案管理模型[J];硅谷;2010年24期
4 林群,关志超,杨东援;区域性枢纽城市物流公共信息平台体系结构Petri网研究[J];计算机工程与应用;2005年06期
5 郑怡文;;基于时延Petri网的肯定型工程关键工序的求解[J];福建电脑;2008年07期
6 刘峻;;药品批发分销网络的petri网建模[J];科学决策;2008年10期
7 赵相安;陈洪辉;何明;姜志平;;基于Petri网的武器装备体系能力需求仿真验证方法[J];系统仿真学报;2009年04期
8 王岚;张国宁;;维修保障仿真模型的HLA兼容性改造[J];计算机与网络;2009年19期
9 金涛;闻立杰;王建民;;行为因果关系的分类与判定[J];系统仿真学报;2011年S1期
10 修少驹;描述数字系统中并行过程与控制的理论模型——Petri-网[J];计算机工程与应用;1980年05期
中国重要会议论文全文数据库 前10条
1 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
2 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
3 吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
4 王志坚;蔡自兴;;基于Petri网的企业信息化系统统一建模研究[A];第二十六届中国控制会议论文集[C];2007年
5 叶阳东;贾利民;;列车运行对象Petri网系统的仿真[A];2001系统仿真技术及其应用学术会议论文集[C];2001年
6 王小梅;李新明;刘东;韩星晔;;基于Petri网的网络传输协议建模与性能分析[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];2010年
7 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
8 韩亚欣;罗明宇;谭跃进;;主生产调度过程的随机Petri网模型[A];'2000系统仿真技术及其应用学术交流会论文集[C];2000年
9 张春雷;孙志挥;陈淼;;一种基于PETRI高级网的工作流动态建模方法[A];第十七届全国数据库学术会议论文集(研究报告篇)[C];2000年
10 刘玉君;张帆;李瑞;;基于Petri网理论的造船项目工作流建模研究[A];2011中国造船工程学会造船工艺学术委员会造船企业精益生产学术研讨会论文集[C];2011年
中国重要报纸全文数据库 前10条
1 北京邮电大学国际学院 肖嘉隆;新方法增强SIP协议的安全性[N];计算机世界;2009年
2 龚文菲;SIP技术催生3G新应用[N];人民邮电;2001年
3 陈聪;SIP设备基本过关[N];中国计算机报;2001年
4 本报记者 沈仕卫;省内IT专家研发“SIP守护神”成功[N];贵州日报;2009年
5 本报记者 朱杰;SIP协议让企业通信更统一[N];中国计算机报;2009年
6 ;为什么是H.323[N];网络世界;2001年
7 ;值得注意的免费安全工具[N];网络世界;2004年
8 本报记者 尤志卉;“非凡城市SIP”惊艳上海[N];苏州日报;2010年
9 长电科技SiP产品工程部 李宗怿 陈一杲;小型化趋势凸显SiP优势 构建完善产业链是关键[N];中国电子报;2008年
10 李春喜;汤姆逊要做消费电子中国魁首[N];中国计算机报;2003年
中国博士学位论文全文数据库 前10条
1 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
2 李绍勇;基于信标迭代控制的Petri网死锁预防策略[D];西安电子科技大学;2011年
3 陈玉峰;柔性制造系统最大许可行为Petri网控制器设计[D];西安电子科技大学;2011年
4 刘改云;自动制造系统的Petri网结构分析和控制器设计[D];西安电子科技大学;2011年
5 孔令东;基于模糊Petri网的瓦斯突出空间预测模型研究[D];中国矿业大学;2011年
6 李海凌;基于Petri网工作流技术的工程项目群管理研究[D];西南交通大学;2012年
7 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
8 王玉英;基于赋时有色Petri网的Web服务组合建模验证与测试技术研究[D];西安电子科技大学;2012年
9 秦萌;存在不可控与不可观变迁的Petri网活性控制器设计[D];西安电子科技大学;2011年
10 胡核算;自动制造系统的Petri网控制器设计及优化[D];西安电子科技大学;2010年
中国硕士学位论文全文数据库 前10条
1 王东敏;基于Petri网的SIP协议一致性测试套的设计与实现[D];北京邮电大学;2011年
2 李亚南;基于区域理论的Petri网活性控制器优化设计[D];西安电子科技大学;2010年
3 何秀霞;基于Petri网的车站调度模型的研究[D];太原科技大学;2010年
4 王慧;基于Petri网的物流配送业务流程优化与仿真研究[D];武汉理工大学;2011年
5 翟维维;基于Petri网的工作流模型在并行审批系统的研究[D];北京林业大学;2011年
6 杨雪;基于高级Petri网的住院医师培训工作流系统建模与实现[D];沈阳工业大学;2010年
7 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
8 赵冬霞;基于面向对象时间Petri网的物流配送业务流程优化与仿真[D];哈尔滨工业大学;2010年
9 李桂枝;皮带机群控系统的Petri网建模与规则化描述[D];合肥工业大学;2011年
10 高峰;组合式Petri网对PI演算的转换与验证[D];吉林大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026