期刊文献+

多元网管协议的设计验证及其仿真 被引量:2

Design and validation of the multiplex network management protocol and its emulation
下载PDF
导出
摘要 分析了传统的网络管理协议对卫星综合信息网络管理的非适应性,提出了一种新型的卫星综合信息网网络管理协议,利用Petri网验证了其逻辑正确性,完成了其协议实体、转换网关的设计,并在仿真平台上进行了协议测试,测试表明该协议的PDU(协议数据单元)具有长度小、响应时间短的性能,因此适应卫星网络的高延迟、低带宽的特性。 Analyzed that the current satellite network management protocols are both unsuitable for SEIN (space-earth integrated network)and a new SEIN network management protocol was proposed, the logical correctness of the protocol was verified using Petri net and the design of the protocol entity and the transition gateway was completed. The simulation showed the merit of a short-length PDU and speedy response time, which is adapted to the high delay and limited bandwidth of the SEIN.
出处 《通信学报》 EI CSCD 北大核心 2005年第4期1-6,29,共7页 Journal on Communications
基金 国家高技术研究发展计划基金资助项目(2003AA712032)
关键词 网络管理 多元化网络管理协议 PETRI网 性能测试 network management MNMP Petri net performance test
  • 相关文献

参考文献8

  • 1罗军舟,seu.edu.cn,沈俊,顾冠群.从Petri网到形式描述技术和协议工程[J].软件学报,2000,11(5):606-615. 被引量:41
  • 2RFC1157, Simple Network Management Protocol (SNMP)[S]. 1990.
  • 3ISO/IEC 9596-l,Lnformation Processing,Open System Interconnection,Common Management Information Protocol (CMIP) [S]. 1990.
  • 4RAOUF B, SIMON Z. An architectural approach for integrated network and systems management[J]. Computer Communication Review, 1997, 27(1): 13-33.
  • 5JONATHAN W, RAJIV T. An object-oriented approach to the management of distributed application systems[J]. Computer Networks and ISDN Systems, 1997, 29(3):1869-1879.
  • 6SCHWABE D.Formal specification and verification of a connection establishment protocol[A].Proc Seventh Data Comm Symp[C].Mexico City, 1981.11-26.
  • 7于小红,朱祥华,吕洪涛.面向对象技术在电信网络资源管理系统中的应用[J].通信学报,2002,23(12):41-46. 被引量:4
  • 8OLIVIER D. ASN.I-Communication Between Heterogeneous Systems[M].Morgan Kaufmann Publishers, 2000.

二级参考文献6

共引文献43

同被引文献10

引证文献2

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部