个性化信息检索方法研究

个性化信息检索是十分有用的检索方法,用户模型能够表示用户个人的爱好与兴趣,有许多研究工作以各种方式使用用户模型扩充问句.提出一种新的基于一元语言模型的方法.它通过对包含多个主题域的长期用户模型的学习得到相关的语义内容,对问句进行扩展后进行检索,得到更接近用户兴趣的结果,然后再与伪相关反馈模型相结合,进一步提高检索性能.通过实验证明,该方法取得了较好的效果.     

路由协议的符号化测试生成

协议一致性测试用于验证协议实现的正确性.文中根据路由协议的消息复杂特点,提出基于on-the-fly策略符号测试生成与动态执行的算法:建立了一种新的统一符号语义模型,该模型把数据操作和控制都抽象为动作行为;以该语义模型为基础,扩展了行为之间的关系以及一致性测试关系;给出了基于on-the-fly策略符号测试生成与符号动态执行的算法,在符号动态执行中,使用了统计的聚类算法来进行符号的数据选择.论文最后用具体的测试例说明该算法在OSPFv3协议一致性测试上的应用.     

面向WLAN的移动IPv6 AAA系统研究与实现

针对无线局域网需要对移动IPv6的移动节点（MN）在数据链路层进行访问控制的特点，设计并实现一个支持移动漫游的认证、授权和记账（AAA）系统。该系统由支持802.1x协议的前台无线访问点（AP）、后台EAP认证服务器和Web记账管理服务器，以及在前台和后台之间传递AAA消息的Diameter对等端构成。系统支持多种EAP认证方式、管理域间漫游、以及按流量或时间记账等。     

基于时间特征的网络流量预测模型

本文设计一种基于时间特征的网络流量预测模型,并采用该流量模型预测网络流量。文章提出网络流量预测误差的数学定义,根据测试实验表明,我们的流量模型具有更高的可用性,并适用实际运行的网络环境。     

IPv6网络环境中的多约束QoS路由算法

充分利用IPv6支持QoS的潜能,设计了一种基于扩散的多约束QoS路由算法。算法中利用IPv6数据包基本报头中的流标签字段唯一标识业务流并加速数据流的包分类,利用扩展报头中的逐跳扩展头记录业务流需求并完成接入控制,利用路由头记录扩散包的转发路径并实现及时反馈,解决民IPv4扩散算法很难同时支持多度量参数、很难及时反馈等问题,提高了实时流数据包的转发效率。     

MANET网络激励节点协作的信任评估路由协议

针对移动自组网(MANET)中自私节点可能不愿意协作并拒绝为其他节点转发数据这一问题,提出一种基于信任评估的路由协议(TDSR)以激励节点协作并参与数据转发。信任值被用于评估节点的转发行为,低转发率的节点将被信任评估机制排除出网络,并被屏蔽一定时间后才能复活。仿真结果显示,在存在不协作节点的网络中,TDSR仅付出一定的延时开销就可具备明显高于DSR的数据分组转发率。     

IPv6邻居发现协议的形式化验证

采用模型检查技术,对IPv6的邻居发现协议的属性进行了形式化验证.该协议的模型由目前广泛用于设计和描述通信协议的MSC(message sequence charts)来描述,并通过线性时序逻辑说明该协议的属性.还提出了由MSC模型的线性化自动抽取协议属性的方法.     

BT协议的形式化建模与测试生成

B itTorrent(BT)是基于Peer-to-Peer(P2P)技术的比较流行文件共享软件,BT protoco l是其相关软件实现的一个基本协议.本文对BT协议进行深入的分析,采用有限状态机(FSM,F inite S tate M achine)对BT协议进行形式化建模,描述了正常的共享流程及部分异常处理.然后使用U IO方法生成了BT协议基于FSM模型的一致性测试序列,包括各个状态的U IO序列及各个变迁的测试序列,最后是本文的结论及下一步将要做的研究工作.     

OSPF协议互操作性测试建模方法研究

随着互联网的快速发展,稳定可靠的路由协议变得越来越重要。OSPF协议作为中型网络最常用的路由协议。文章对互操作性测试的关键问题例如协议形式化建模及协议的不确定性进行了深入的分析。采用扩展Petri网对OSPF协议进行建模,并依此模型分析了OSPF协议的互操作性测试中存在的不确定性。同时,依据Petri网模型和MSC消息序列图,给出了交互模型的生成算法,最后为全文总结及未来的研究工作。     

网络协议的一种数据流测试方法

本文提出从一个Ｌｏｔｏｓ说明（ｓｐｅｃｉｆｉｌａｔｉｏｎ）中有选择地产生可执行测试序列的数据流的一种方法，这种方法是以Ｐｅｔｒｉ网为模型，采用最大的输入输出定义链标准来给出产生测试序列的一组算法，并且我们把这个测试选择方法应用到ＡＢＰ（ｔｈｅａｌｔｅｒｎａｔｉｎｇｂｉｔｐｒｏｔｏｃｏｌ）协议上。