论文部分内容阅读
针对面向IPv6的边界网关协议BGP4＋进行了互操作性测试研究。讨论了BGP4＋与BGP4的区别，给出了BGP4＋协议测试的有限状态机模型。运用形式化与非形式化相结合的方法生成了BGP4＋的测试例，并给出了运用测试例对具体的协议实现测试的结果。
互操作性测试研究——BGP4＋测试
【摘 要】
：
针对面向IPv6的边界网关协议BGP4＋进行了互操作性测试研究。讨论了BGP4＋与BGP4的区别，给出了BGP4＋协议测试的有限状态机模型。运用形式化与非形式化相结合的方法生成了BGP4＋的测试
【机 构】
：
内蒙古财经学院计算机信息管理系
【出 处】
：
微型机与应用
【发表日期】
：
2011年15期
其他文献
简要介绍了网络编码和线性网络编码的基本原理。回顾了网络编码的提出、发展和现状，并且提出了一种基于有环网络的改进代数构造算法，有效地解决了网络中存在环路时的编码问题。
设计了一种基于ADuC7028的LD（激光二极管）泵浦的掺钕钒酸钇固体激光器（Nd：YVO4）的控制系统。采用积分分离的数字PID温度控制，并结合功率反馈控制，根据LD驱动电流、激光工作温度与输
针对图像中存在的对数螺旋线形状,提出了一种有效的对数螺旋线拟合方法。首先根据螺旋线的性质将已知图像中螺旋线的中心点约束在一个较小的区域内进行搜索,然后将从图像中获取的直角坐标系下的数据点通过坐标变换转换为能用直线形式表示的数据点,将对对数螺旋线的拟合转换为对直线的拟合。这一方法能快速、准确地拟合出图像中存在的对数螺旋线。
为了提高MIMO-OFDM系统的数据传输率和频谱利用率,提出一种新的自适应算法。该算法在保证信道质量所需误码率和总发射功率的前提下,按照各个子载波衰落程度动态地分配比特和
从Web服务质量入手，将QoS参数属性作为图的权重，提出了基于图的Web服务组合建模，并介绍了用不同的算法分别在模型上寻找解决方案。
介绍了MLX90316的内部结构和应用特性,设计了以LPC2136为CPU、MLX90316为位置反馈、具备1路光电隔离RS485通信输出的位移传感器,给出了位移计算策略和计算方法,详细分析了接口电路原理图和接口时序。
针对帧差法和光流法两种运动目标检测方法,给出了相应的细胞神经网实现方式。采用不同视频图像序列进行了仿真,结果证明了所提出方法的有效性。
随着集成电路特征尺寸进入纳米级，高能粒子造成的软错误已对电路的正常工作构成严重威胁。流水线电路具有工作频率高、时序单元数量多的特点，易受软错误影响。本文对时序单元进
设计了一种指挥调度通信系统，该系统基于一种由单色单模双芯光缆和XTYL120光传输多通道数据网络硬件设备，能够提供灵活的机动组网方案，在应急或野战条件下可以利用现场的有线电