【摘 要】
：
路由协议的形式化描述能够使得路由协议的测试者和实现者对于协议规范有一个清晰一致的理解。本文将介绍形式化描述的特征,目前已有的几种形式化方法和形式化描述语言,主要是
论文部分内容阅读
路由协议的形式化描述能够使得路由协议的测试者和实现者对于协议规范有一个清晰一致的理解。本文将介绍形式化描述的特征,目前已有的几种形式化方法和形式化描述语言,主要是有限状态机和SDL语言,然后通过OSPF路由协议来介绍形式化的过程和形式化的结果。
The formal description of the routing protocol enables the tester and implementer of the routing protocol to have a clear and consistent understanding of the protocol specification. This article will introduce the characteristics of formal description, several formal methods and formal description languages, mainly finite state machine and SDL language, and then introduce formal process and formal result through OSPF routing protocol.
其他文献
作为金属切削机床的新型产品数控金属切削机床,其的校验问题直接影响着机床的精度和效率,对数控金属切削机床的校验问题进行深入探讨,供同行参考。
As a new type of metal
疾病预防控制机构是承担疾病防控、科学研究和社会服务三大职能的公共卫生专业机构,其专业学科涉及预防医学及其各分支学科的科学知识体系,研究型疾病预防控制机构的业务建设
随着新巴塞尔协议将操作风险纳入风险管理框架,操作风险日益成为全球银行业风险管理的重要研究领域.本文在借鉴国内外先进管理方法的基础上,结合中国银行业操作风险的实际情
我国的古镇开发面临是否开发、怎样开发的困惑,发展旅游是古镇开发的最好形式,也是古镇保护的手段。周庄和平遥的不同开发思路,对国内古镇开发具有实际意义。
China’s anci
目的 分析老年人心律失常的特点以及与伴随疾病的关系,并对治疗效果做进一步评价,以方便临床医师参考.方法 回顾性分析2007年6月到2011年6月在本院进行住院治疗或体检确认的
文章简要介绍了变电站综合自动化系统的重要性和发展趋势,提出了变电站综合自动化基本概念,并对系统结构、通信方式和能实现的基本功能及变电站自动化的发展前景进行分析。
通过观察健脾益气、通络散结、消肿解毒中药在肝癌术后抗复发转移的临床疗效,探讨凌耀星教授学术经验在抗肝癌复发转移治疗中的临床价值.采用前瞻性队列研究设计,选取60例接
新时期高校武装保卫工作面临着许多新情况、新问题,为此高校安全保卫工作必须与时俱进,牢牢抓住武装保卫队伍建设这一核心,努力提高武装保卫人员的综合素质,使之在维护高校安
本文结合“银川绕城高速公路N7合同段”混凝土现浇箱梁桥工程,介绍了钢筋混凝土现浇箱梁的裂缝产生原因,并提出了处理方法和预防措施,供同行交流讨论。
In this paper, the
本文阐述了DSP/BIOS环境下提供的传输数据的实时分析工具(RTDX)的基本工作原理及实现。
This article describes the basic working principle and implementation of real-