【摘 要】
：
随着网络信息化的快速发展,可靠的网络协议成为保障网络稳定的重要因素。对网络协议进行验证不仅可以最大限度地检测和纠正协议开发前期的错误和缺陷,还可以对已设计的协议进
论文部分内容阅读
随着网络信息化的快速发展,可靠的网络协议成为保障网络稳定的重要因素。对网络协议进行验证不仅可以最大限度地检测和纠正协议开发前期的错误和缺陷,还可以对已设计的协议进行分析和验证,找出其中潜在的错误。形式化地描述和验证协议是整个协议设计与实现的基础,对协议实现的正确性、完整性和复杂度有重要的影响。形式化的建模工具CPN不但可以提高网络协议验证的自动化程度,而且有效的保证了协议自身的正确性和无歧义性。IS-IS路由协议作为当前内部网关的主流协议之一,采用分层的网络结构,稳定性好、收敛快等优点使得IS-IS路由协议在网络中得到了广泛的应用。但到现在为止还没有关于IS-IS路由协议进行验证的文献,所以本文进行了基于CPN的IS-IS路由协议验证。本文首先通过对IS-IS路由协议的仔细研究,对IS-IS路由协议层次化结构-子网相关功能和子网独立功能模块分别进行了CPN建模；然后通过CPN建模工具的模拟执行和状态空间技术从整体上对IS-IS路由协议的正确性进行了验证；最后对IS-IS路由协议的协议属性DIS选举、LSP/CSNP引发决定进程和最短路径的更新进行了性能验证,从验证结果可以看出IS-IS路由协议符合RFC1142要求。
其他文献
如果科学家们有效地选择科研项目并公平分配荣誉,那么科学界将因此受益。脑力分配模型可以用于研究这个问题。这个问题是由金切尔首先提出并展开研究的。然而,金切尔提出的模型做了很多假设,其中很多假设与实际情况相差甚远。我们在论文中的主要贡献包含三个部分。首先,我们对金切尔提出的模型中的参数的误差对系统的影响提出了理论解释。由于在一般情况下建模的复杂性,我们在论文中主要分析了一些包含少数的科学家和项目的特殊
天文技术的发展对天文领域有着重要的意义,如天文新现象的发现、天文理论模型的论证等都是建立在天文新技术之上。天文新技术的应用都有着极大的计算需求,如何有效满足这
云时代迅猛而来,作为IT产业的下一代体系结构,云计算不仅仅是简单的将应用软件和数据库放到中心化的大规模数据中心,而是具有更大的灵活性,允许任意端点参与云服务交互,这点
作为数据挖掘领域中的一种重要方法,聚类分析能够发现数据对象自然的分布结构。它根据数据对象之间的相似性,把数据对象分割成簇,并保证同一簇内中数据的相似性尽可能大,而不
近年来,随着Internet技术的迅速发展,基于B/S模式的多层Web应用,因为其具有通用性、易用性以及灵活的可扩展性等优点而发展迅速,得到了广泛的应用,正逐渐成为实现企业应用系
地质体三维建模方法研究是目前地质工程中亟待解决的一个突出问题。在此之前，人们对地质体的认识只能从平面图和剖面图来获地质信息，单纯采取平面图或者剖面图的形式往往会
本文的目标是搭建一个可以投入实用的，帮助用户释放心理压力的心理压力宣泄机器人系统。为了达到帮助用户释放心理压力的目的，该类机器人需要能够通过多种方式与用户进行互动，并
最优化问题旨在通过合理的利用系统中的资源,以最小的代价和最佳的解决方案,取得最优的效果。最优化问题具有广泛适用性,它被应用到众多领域当中。群智能优化算法是基于仿生
随着我国城市建设的飞速发展，我国大型公共建筑日益增多，随之而来的大型建筑物室内的人员定位问题也受到更加密切的关注。而这一现状给无线传感器网络技术在室内环境的应用带来
无线传感器网络经常按照丛集式部署,这种铺设方案具有通信效率高和扩展性强等优点。然而,由于丛集部署的协议复杂度高,其理论分析和优化改进仍然是一个难题。本文主要对比研