带路径探索检测的RCN路由抖动抑制算法

路由抖动抑制机制在稳定Internet路由方面扮演着重要角色。针对路由原因通告(RCN)路由抖动抑制算法没有控制无效路径探索而产生大量更新消息量的问题,利用RCN表和路径探索路由特点提出了一种带路径探索检测的RCN路由抖动抑制算法,该算法正确区分路由抖动和路径探索并对无效路径探索进行控制。实验结果表明,该算法大量减少了更新消息量,提高了算法性能。     

基于布尔过程论的波形和波形空间的性质及应用

本文在布尔过程论的基础上运用布尔运算定义了波形空间,波形空间中的每一个元素为一波形,定义了波形的距离和极限,从数学角度推导出了波形与波形空间的许多性质,进一步完善了布尔过程论.并在此基础上定义了延迟算子,推导了延迟算子的性质,论证了定义的距离的连续性和给出通路敏化的条件,展示了布尔过程论的应用前景.     

一种自动化模型检测ANSI-C程序的实用方法

模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。为了利用模型检测技术,通常的办法是手工构建一个抽象模型,然而这个方法存在一些不足,如成本过高、易引入建模错误等。本文提出了一种自动化模型检测ANSI-C程序的方法,并开发了模型提取工具C2Spin,它能够分析ANSI-C源代码,并生成对应的PROMELA验证模型,从而显著降低了建模的开销。利用C2Spin,模型检测工具SPIN可以自动地检测使用C语言编写的应用程序中的多种错误,如死锁等。在初步实验中,依靠C2Spin生成的模型,我们发现了SPIN4.3.0的一个语义错误,以及Holzmann对两个经典互斥算法的实现程序中的活锁错误。这些结果表明,C2Spin能够帮助人们更加快速有效地测试C程序。     

一种面向高速网络的模式匹配算法的设计与实现

本文在对Boyer-Moore(BM)算法及其改进的算法BoyerMoore-Horspool(BMH)算法进行分析的基础上,提出了一种更加快速的模式匹配算法-HPMA(High-Speed-Pattern-Matching-Algorithms,高速模式匹配算法)。该算法采用从模式两端向中间位置交替的匹配顺序,减少了模式的一部分后缀与文本匹配,而模式的前缀却不匹配情况下不必要的比较,同时考虑字符串后一位字母的唯一性,提高最大位移的出现概率。     

一种基于随机波束天线的自组网拓扑控制协议

定向天线能显著提高无线系统的性能和容量,但采用定向天线的自组网拓扑构建问题比全向天线网络复杂.拓扑控制是一种保证网络连通和节能的有效手段.文中通过对随机波束自组网连通问题定性和定量的分析研究,运用样方统计法推导保证拓扑图高概率连通的临界邻居数;在此基础上,提出了一种基于邻居数的分布式拓扑控制协议,节点独立确定天线波束的...     

基于预测的传感器网络副本自适应控制机制

最小跳数路由无线传感器网络具有自动倾向于路径最短、时延最小、能量最省的潜在优点,但已有机制尚不能保证这些优点的充分发挥.为充分发挥最小跳数路由无线传感器网络的潜在优势,在传统的最小跳数路由无线传感器网络数据汇聚机制的基础上,引入基于预测的自适应数据副本保证与抑制机制,形成MHR-DC网络模型.MHR-DC网络在基本不增加数据分组汇聚全程转发跳数的前提下,通过同跳节点代传以保证所有源生负载的高可靠传输、通过抑制数据分组的重复传送程度以提高网络能量效率、通过避开转发负载重的节点区域以达到负载均衡,优化网络综合性能指标,并增强网络时延最小的潜在优势.理论及仿真分析表明,该机制能保证网络数据传输的高可靠性和能量有效性以及优越的网络综合性能.     

一种基于速率的PI主动队列管理机制

PI(proportional integral)主动队列管理机制是应用控制理论中的比例积分控制器设计的主动队列管理机制,其性能优于RED(random early detection)算法,能有效地消除稳态误差.但PI算法默认参数在目标队列长度较小情况下收敛速度较慢;而参数整定上的试凑法,无法同时保障系统的瞬态和稳态性能.研究拥塞产生的原因及其表现形式,提出一种基于报文到达速率的PI算法(Rate based Proportional and Integral,RPI).它根据报文到达速率和队列长度,即拥塞瞬间状况和持续状况计算出合适的丢弃率.通过NS2模拟表明,相对于PI,RPI具有更快的收敛速度和更小的队列抖动.     

对Java并发程序进行模型检测

随着多核处理器的发展,多线程并发程序成为现代程序设计的趋势.但并发线程的执行存在不确定性,传统的测试方法很难发现这类错误.针时这个问题,提出了一种直接分析Java源代码,从中提取并发程序模型的方法;并以此方法为基础开发了工具JTS(Java to SPIN),实现了对Java并发程序的自动化分析和模型检测.实验表明JTS能够成功地检测出Java并发程序中存在的错误并给出相应的错误路径.这项工作给Java并发程序的测试与验证提供了新的途径.     

移动IPv6切换性能测量研究*

在分析移动IPv6切换过程的基础上,设计了移动切换性能测量指标,提出了移动IPv6切换性能测量方法,基于该方法设计并实现了移动IPv6切换性能测量原型系统.该系统能测量从网络层到应用层的移动切换性能,解决了现有测量工具部署繁琐的问题.用该系统在实际的测试网上进行测试实验,实验发现移动IPv6切换对各种网络应用造成了不良影响,而且切换性能随着网络层次的增加越来越差,从网络层往上到应用层切换对网络性能的影响呈不断扩大的趋势.     

Channel Aware Opportunistic Routing in Multi-Radio Multi-Channel Wireless Mesh Networks

Opportunistic routing （OR） involves multiple candidate forwarders to relay packets by taking advantage of the broadcast nature and multi-user diversity of the wireless medium. Compared with traditional routing （TR）, OR is more suitable for the unreliable wireless link, and can evidently improve the end to end throughput. At present, there are many achievements concerning OR in the single radio wireless network. However, the study of OR in multi-radio wireless network stays the beginning stage. To demonstrate the benefit of OR in multi-radio multi-channel network, we propose a new route metric -- multi-channel expected anypath transmission time （MEATT）, which exploits the channel diversity and resource of multiple candidate forwarders for OR. Based on the new metric, a distributed Mgorithm named Channel Aware Opportunistic Routing （CAOR） is proposed. The simulation results demonstrate that MEATT improves 1.14 and 1.53 times of the average throughput than existing expected anypath transmission time （EATT）and metric of interference and channel switching cost （MIC） respectively. The average delay of MEATT is 17% and 40% lower than those of EATT, MIC, respectively.