【摘 要】
：
随着IPv6的部署，下一代路由协议将会起到越来越重要的作用。本文首先分析了下一代路由协议的特点，分析了包的通用格式，根据字段之间的关联关系将包中字段分成独立的和具有相关度的两部分，然后通过对独立字段给定测试优先级的方法对路由协议测试进行了测试设计，并以BGP4+为例，讨论了它的测试框架构建及测试配置，最后以BGP4+的UPDATE为例验证了该方法。
【机 构】
：
内蒙古大学计算机学院，内蒙古呼和浩特市010021
论文部分内容阅读
随着IPv6的部署，下一代路由协议将会起到越来越重要的作用。本文首先分析了下一代路由协议的特点，分析了包的通用格式，根据字段之间的关联关系将包中字段分成独立的和具有相关度的两部分，然后通过对独立字段给定测试优先级的方法对路由协议测试进行了测试设计，并以BGP4+为例，讨论了它的测试框架构建及测试配置，最后以BGP4+的UPDATE为例验证了该方法。
其他文献
索引技术是数据库及数据仓库系统中的一项很重要的技术，历来受到学术界的重视。高效的索引机制是保证数据库效率的一个及其重要手段。本文提出了一种基于语义的 Bitmap 索引优化选择算法。该算法通过对 Bitmap 序列做语义分析，根据其数值分布的特点来找到代价最小的索引选择策略。
本文应用模型检验方法对软件进行验证要解决软件的无穷状态空间问题，提出的谓词抽象方法将软件无穷的状态空间抽象为基于一组谓词表示的有限状态自动机，抽象过程使用最弱前置条件和定理证明工具直接对软件源代码自动进行，并能保证如果待验证的安全性质在抽象模型中满足，则其在程序中也满足。谓词抽象的精度取决于所选用的谓词集合，验证过程使用了基于反例的抽象精化思想，利用验证产生的伪反例路径推断出新的谓词不断精化模型，
对软件过程进行仿真，可以预测和分析在开发过程中可能遇到的问题，合理规划各种现有资源，协调好各种软件过程要素，避免盲目开发带来的损失。因此，软件过程仿真建模正日益受到重视并应用在软件开发的策略管理、过程改进、软件项目管理培训等领域。传统的方法往往将软件过程看成是软件生命周期中一系列软件过程要素相互作用的单个模型，当软件过程所处的环境及软件过程要素发生变化时，就得对整个模型进行修改，不够灵活。本文论述
对象代理模型的特点决定了其索引机制与现有的关系数据库，对象数据库的索引机制有很大的不同。本文主要根据对象代理模型的特点，考虑并分析了以下几个问题：（1）为代理属性建立索引时，是在当前代理类上直接建立，还是回到最初定义扩展属性的类上建立；（2）当为扩展属性创建索引时，代理该属性的类是否需要加索引标志；（3）索引建立后索引对象迁移以及索引删除等等问题。设计并在系统中实现了对象代理数据库索引机制。
在嵌入式应用中，高性能、低功耗的计算平台至关重要，可重构技术很有希望提供这样的系统。应用程序的特性最终决定了如何使用可重构技术。尽管很多文章分析过程序中的指令级并行特性，但是很少工作针对程序运行期间指令级并行的动态特性进行研究，嵌入式应用领域更是不存在这方面的工作。本文中我们使用仿真环境 SimpleScalar/PISA，测试了MiBench 嵌入式测试程序集的指令级并行的动态特性。测试结果显示
报文分类是网络交换设备的基础操作之一，目前存在大量的报文分类算法，但大多数都是针对小规则集或低维的分类问题。针对网络管理、网络入侵检测、 QoS 等应用需求的日益增长，该文提出了一种新的可扩展的多维快速报文分类算法。该算法通过压缩操作、分割操作和索引操作设计了压缩分割规则表和索引列表结构表这两类数据存储结构，使该算法能支持上万条多维分类规则，并且分类速度快，存储空间需求量小，支持快速更新，适合于软
针对常用的 LSB 信息隐藏，SPA（Sample PairAnalysis）分析方法能以很高的精度检测出图像中隐藏信息的比率。本文通过对隐藏信息后的图像进行动态补偿，提出了一类可抵御 SPA 分析的 LSB 信息隐藏方法。该方法使得即使嵌入比率接近于100﹪，使用SPA方法分析仍将得到一个接近于 0 的低于判决门限的估计值，从而做出错误的判决。同时，将动态补偿的有关参数作为密钥的一部分，可进一步
针对蛋白质色谱-质谱测定实验中，由于酶解反应得到的肽段数量太多，不可避免地有共流出组分，从而蛋白质或多肽混合物不能被有效地分离，同时测得的肽段的氨基酸序列的吻合程度不高、甚至有些含量低的肽片断无法搜寻鉴定出来等现象。本文利用了投影图旋转分析（Projection Graph Rotation Analysis，PGRA）对其进行解析，能在一定程度上提高测定结果的准确性。
节能对于资源受限制的无线传感器网络具有重要意义。研究证明：无线数据传输是无线传感器网络能量开销的主要方面，大大超过用于计算的开销。通过对包的计算处理，减少包的数量，从而降低路由转发次数，降低传输开销。在部分连接的网络中以及分簇的无线传感器网络中，会有大量数据包会在节点的缓冲区逗留，对其进行必要的计算处理，可以换取数据传输的优化。本文介绍了一种数据包的处理方法：数据包的优化拼接。将大量的多种长度的碎
本文讨论了一个用于大规模虚拟战役的编辑和浏览的分布式虚拟想定推演系统的设计与实现。该系统在基于场景图的分布式虚拟环境架构下支持大规模场景数据的渐进传输，并运用构件化的思想实现了虚拟场景的动态组装。受限语言解释器的应用使系统的交互式战役编辑推演及其可视化更加简单和灵活。实例表明，本系统可以用于军事作战仿真的想定推演以及动画游戏的交互编辑和制作。