一种新的网络管理协议——多元化网络管理协议原型设计

未来网络正向大规模、天地一体化的方向发展 ,因此现有的网络管理协议 ,将不适合对这种网络进行管理。本文在仔细研究简单网络管理协议 (SNMP)和通用管理信息协议 (CMIP)的基础上 ,针对卫星网络的特点 ,提出了一种新型的网络管理协议———多元化网络管理协议 (MNMP)原型 ,它的体系结构在兼容现有地面网络管理的基础上 ,设计了新的信息模型和通信模型 ,使之更适用于对卫星网络的管理 ,为空间网络管理的研究奠定了基础。

多元化网络管理协议的Petri网模型及其验证(英文)

介绍了一种新型的卫星网网络管理协议,并阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S_不变量分析和T_不变量分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质,从而减少了协议设计中潜在的错误,为此协议的实现打下了良好的基础。

基于多元化的新网络管理协议原型设计研究

现在网络正在向大规模、一体化方向发展，所以现在的网络协议逐渐不再适合对网络进行管理。笔者在研究了简单（SNMP）管理协议以及（CMIP）信息的管理协议后，对新型的网络管理协议进行了研究，多元化的新网络管理协议体原型的体系结构兼容了现有网络管理，设计信息模型及通信模型，这样更加适合对卫星网络进行管理，对进行空间网络管理方向的研究打下了基础。

多元网管协议的设计验证及其仿真

分析了传统的网络管理协议对卫星综合信息网络管理的非适应性,提出了一种新型的卫星综合信息网网络管理协议,利用Petri网验证了其逻辑正确性,完成了其协议实体、转换网关的设计,并在仿真平台上进行了协议测试,测试表明该协议的PDU(协议数据单元)具有长度小、响应时间短的性能,因此适应卫星网络的高延迟、低带宽的特性。

一种新型卫星网管协议的Petri网描述与验证

介绍了一种新型的卫星网网络管理协议,阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S-不变量分析和T-不变量分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质,从而减少了协议设计中潜在的错误,为此协议的实现打下了良好的基础·