【摘 要】
：
本文在分析SNMP协议的原理和通信机制的基础之上,用Petri网对协议进行建模.首先用Petri网的库所/变迁系统对SNMP协议的通信过程建模,其次结合协议的Petri网模型对协议的并发机制和存在冲突等特点做出形式化分析,并且通过可达性分析,S_不变量分析和T不变量分析进一步分析验证了协议的有界性、活性、守恒性和循环性等性质.
【机 构】
：
北京航空航天大学,电子信息工程学院,北京,100083
【出 处】
：
第一届中国高校通信类院系学术研讨会
论文部分内容阅读
本文在分析SNMP协议的原理和通信机制的基础之上,用Petri网对协议进行建模.首先用Petri网的库所/变迁系统对SNMP协议的通信过程建模,其次结合协议的Petri网模型对协议的并发机制和存在冲突等特点做出形式化分析,并且通过可达性分析,S_不变量分析和T不变量分析进一步分析验证了协议的有界性、活性、守恒性和循环性等性质.
其他文献
在数据挖掘领域中,聚类技术有着非常重要的应用。DBSCAN是一种基于密度的聚类算法,该算法将具有足够高密度的区域划分为一类,并可以在带有噪声的空间数据库中发现任意形状的聚类.但该算法是直接对整个数据库进行聚类,需要把所有数据载入内存,因此当数据量很庞大时对主存要求较高并且时间性能不高。基于取样技术对DBSCAN算法进行改进,以提高算法的时间性能,并利用遗传算法对聚类结果进行优化以保证聚类的质量,给
ID3算法是决策树中的核心算法。本文论述ID3决策树算法的基本思想；讨论ID3决策树算法的不足。针对原有算法的缺点,引入属性优先关联度对ID3算法予以改进,并通过实验表明改进后的算法是有效的。
为解决现有网络游戏安全系统存在的问题,设计了一种新型的安全系统。该系统采用了移动短信技术,提高了网络游戏的安全性。该系统具有可靠性高、实时性较好等特点。本文介绍了该系统的功能模型及工作流程。
结合数字地球中航空影像的特点,着重解决匹配中的三个问题,提出了基于坡的同名像点自动识别法。该方法以影像中的一行数据为单元,首先根据其灰度波形图将其划分为若干一级坡和二级坡,对一级坡进行精确匹配,然后根据顺序一致性约束对二级坡进行匹配,最后对坡内的点进行匹配.实验结果表明,该方法具有较高的稳定性和较快的匹配速度。
在数据库层一个安全的应用开始于应用正确的存取控制规则.Oracle数据库帮助你完成存取控制规则的一种办法是通过Fine Grained Access(FGA)控制或是虚拟个人数据库-Virtual Private Database(VPD)。本文详尽地描述怎样在Oracle HTML DB中开发一个具有这一特色的应用软件。
保障信息网络的安全需要从建立信息网络的安全控制系统开始,安全控制过程贯穿了系统的整个生命周期。本文描述了信息网络安全控制的整个过程,介绍了各个控制环节所做的主要工作,阐述了安全控制与信息系统开发生命周期的关系,为指导信息网络安全控制系统的分析、设计和开发提供了标准.
研究基于多速率小波变换的CT-MR图像融合方法,对融合的源图像先进行插值放大,再经过小波融合算法生成融合图像,最后通过欠采样恢复图像的大小。利用图像的统计特性、模糊积分进行融合图像效果评价,评价结果与理论分析结果、目视效果吻合.
传送多协议标签交换(T-MPLS)是目前传送技术的研究的热点之一.随着TMPLS的实际应用的增加,在原来的网络中加入TMPLS,需要考虑到与其他协议的对接问题,这就要考虑TMPLS与其他协议的适配.在基于设备应用的基础上,本文介绍TMPLS之间的适配及TMPLS与其他协议之间的适配过程。
随着对企业网络安全关注程度的增加,许多公司已经开始在自己的网络中部署入侵检测系统(DS)来探测黑客入侵行为.而测试/流量接入端口(TAP)的出现,能够提供给IDS透明的网络数据而成为流量检测的一个重要组成部分。本文在介绍了IDS和TAP的基本知识之后,以一个典型的企业网络架构为基础,重点阐述如何应用TAP部署网络IDS.
随着固网智能化改造的进行,固网中引入了越来越多的业务.在业务为运营商带来丰厚收入的同时,业务冲突问题日益明显。本文结合实例介绍了业务冲突的概念,并对其避免、检测、解决和管理技术进行了深入的分析,同时对该问题今后的研究方向进行了探讨。