排序方式: 共有3条查询结果,搜索用时 8 毫秒
1
1.
随着信息技术的快速发展,信息和通信技术(ICT)系统被广泛使用,因而其可靠性非常重要.本文采用时序逻辑的形式化方法对ICT系统进行可靠性检测讨论,主要从3种时序逻辑的语法、语义及它们的异同进行比较分析,为ICT的可靠性检测分析提供了理论借鉴. 相似文献
2.
文章介绍了RIP协议的基本特点,描述了RIP协议原理与距离向量,允许路由器与其他路由器通信以更新和维护自己的路由表,并确定最佳路径,比较了RIPv1与RIPv2的区别,同时对RIPv1和RIPv2的原理以及如何进行传播、RIP协议的使用等进行论述. 相似文献
3.
OSPF路由协议是一种典型的链路状态的动态路由协议.本文从协议的数据包头部类型、数据包格式、LSDB数据包结构几方面进行分析,指出OSPF是一种广泛应用的协议,然后提出一种基于LSU数字签名的可信路由协议. 相似文献
1