首页> 中文期刊> 《兰州理工大学学报》 >基于有色Petri网模型的OSPF路由性能分析

基于有色Petri网模型的OSPF路由性能分析

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

在对OSPF协议作详细非形式化的基础上,用有色Petri网对其"呼叫"协议和"可靠泛洪"机制进行形式化的描述,利用有色Petri网的可达树对协议的活性、完整性和前进性等性质进行验证,确定协议的逻辑正确性.

著录项

来源
《兰州理工大学学报》 |2007年第2期|97-99|共3页
作者
王继曾; 曹志强; 周隽;
展开▼
作者单位

兰州理工大学,计算机与通信学院,甘肃,兰州,730050;

兰州理工大学,计算机与通信学院,甘肃,兰州,730050;

兰州理工大学,计算机与通信学院,甘肃,兰州,730050;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
有色Petri网; 呼叫协议; 可靠泛洪;

相似文献

中文文献
外文文献
专利

1. 基于Petri网模型的OSPF路由算法的测试序列生成 [J] . 王红霞 ,叶新铭 . 内蒙古大学学报：自然科学版 . 2001,第3期
2. 一个基于OSPF虚链路、路由聚合与路由引入的典型实例 [J] . 魏勇 ,赵开新 ,邵明珠 . 河南机电高等专科学校学报 . 2007,第004期
3. 基于路由器解析式模型的NoC网络性能分析方法 [J] . 赖明澈 ,王志英 ,戴葵 . 计算机辅助设计与图形学学报 . 2009,第003期
4. 一个基于图邻接矩阵模型的多跳Ad Hoc网络路由协议及网络性能分析 [J] . 余根坚 ,郑宝玉 . 计算机科学 . 2006,第011期
5. 基于周期性对数流量模型的路由器性能分析 [J] . 谢高岗 ,闵应骅 ,张大方 . 计算机学报 . 2002,第012期
6. OSPF与EIGRP路由算法仿真研究及性能分析 [C] . 沈洋 ,于全 . 中国电子学会第八届青年学术年会暨中国电子学会青年工作委员会成立十周年学术研讨会 . 2002
7. 基于OSPF路由协议的路由欺骗分析 [A] . 夏云峰 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号