论文部分内容阅读
本文简要介绍了有关协议一致性测试及ＥＢＥ的基本知识，利用ＥＢＥ模型描述了ＲＩＰ路由协议，并且在此模型的基础上导出了一致性测试例集，最后简单讨论了测试例的选择和执行。
基于EBE描述的RIP协议的一致性测试
【摘 要】
：
本文简要介绍了有关协议一致性测试及ＥＢＥ的基本知识，利用ＥＢＥ模型描述了ＲＩＰ路由协议，并且在此模型的基础上导出了一致性测试例集，最后简单讨论了测试例的选择和执行。
【机 构】
：
内蒙古大学计算机学院
【出 处】
：
计算机工程
【发表日期】
：
2000年S1期
其他文献
讨论了一种基于红外电视法的眼动信号测量系统及其芯片设计。该系统主要用于测量眼球的平滑追随运动。提出一种新的瞳孔中心检测算法。；该处针眼睛的视频信号二值化后，用前后门
小明是典型的QQ自定义表情收藏狂，看到搞笑有趣的自定义表情就把它收藏起来。最近由于业务上的事情，经常使用MSN，但MSN里面的表情非常有限，怎样把自己辛辛苦苦在QQ上收藏的自定义
采用基于密度泛函理论的第一性原理,研究了几种钙钛矿铁电材料的电子结构、弹性系数及光学性质,并且研究了球状和柱状纳米si晶粒的光学性质。具体包括：第一,通过计算铁电相和
随着航运业的迅速发展,国际海事组织对船舶的节能减排提出了新要求。远洋船舶能耗巨大,如何提高船舶的能效、减少有害物质的排放是当前研究的热点。喷射器是一种有效的节能设备,在船舶余热制冷和海水淡化等领域有着广阔的应用前景。但是喷射器内部流体的流动和混合过程非常复杂,其内在工作机理尚不清楚。因此,本文采用数值模拟和可视化实验的方法对喷射器内部的流动和激波特性开展了研究,主要研究内容包括:首先,建立喷射器的
三诺作为国内知名音箱品牌，以超高性价比的音箱产晶得到众多朋友的青睐，今年三诺加大耳机产品的研发力度，并存暑期连续推出多款产品。近日三诺又推出一款高贵典雅的新品耳机——
考虑了广义二次规划问题，基于其鞍点的充要条件，提出了求解它的一个神经网络．运用Lyapunov稳定性理论与LaSalle不变原理证明了该网络是稳定的，并且收敛于一个精确解．模拟实验表明
使用Authorware制作帮助文件,需要设置窗口大小,创建背景图片,制作帮助菜单,设置目标窗口的各个目录项,创建主题窗口和其内容之间的链接,并进行多级弹出窗口设置.
结肠癌是一种好发于直肠与乙状结肠交界处的消化道恶性肿瘤疾病,以40~50岁是结肠癌高发的年龄段,其发病率中女性和男性的比例为1:2~3,在胃肠道肿瘤发病率中位居全球第3位。目