基于扩展RED图的概率时间自动机可达性分析

RED图可以表示一个完整的时间自动机上的状态集,包括其连续时间部分和离散部分.在它基础上实现的模型检测工具RED,在时间自动机模型检测中表现出了优良的性能.另一方面,现有的概率时间自动机模型检测工具仍然使用不同的方法来分别表示概率时间自动机状态的连续时间和离散部分.我们在复用原始RED图的数据结构的基础上,对其做出了扩展,以令其支持概率状态的表达,同时保持其性能方面的优势.我们又为此实现了一个概率时间自动机可达性分析工具原型,并将其与两个概率模型检测工具（PRISM和Modest）就概率时间自动机可达性分析作实验对比,来评估该工具原型的性能.实验结果显示,我们的集成表示概率状态空间的方式,确实提高了概率时间自动机模型检测的时间效率和延展性.     

基于RED的带宽分配算法

实现带宽资源的分配对于QoS控制来说是非常重要的。常见的带宽分配算法如WFQ、DRR等分组调度算法存在着诸如计算复杂度高、需在路由器进行每流状态的管理等不足。该文在前人的基础上,提出了一种基于RED的带宽分配算法,避免了上述问题,从而提高了算法的可扩展性。     

RED物以类聚 红以族分

提到“红色”,相信你的脑海中会浮现出很多相关的内容,红旗、红灯笼、红双喜、红蜡烛、红对联……甚至红包、红头文件都是以“红”为代表,足见红色在我们生活中的位置。虽说东西方世界对不同颜色的解读并不完全相同,但是红色都具有相同的含义,代表着热情、兴奋、鼓舞、喜庆等。     

RED的网络性能研究*

在很多网络中, 支持新的拥塞避免机制( 如RED 和ECN) 的节点将会和支持传统丢尾缓存( Drop-Tail) 的节点共存。研究含有两个拥塞节点的混杂网络中TCP 流集的性能, 比较了几种控制算法的数据流公平性, 仿真结果显示采用Adaptive 算法并不能增加数据流的公平性; 仿真也显示混杂网络中单个RED 参数的设置情况会影响整个网络的性能, 具体可以从网络吞吐量、响应时间等判断。RED 的参数设置在双瓶颈情况下再次变得重要, 正如在单瓶颈的情况下一样。     

RED及CSFQ的性能比较研究

介绍了RED及CSFQ两种队列管理机制 ,分析比较了这两种队列管理机制的各自优缺点。通过大量的仿真试验比较了吞吐量 (Throughput)、延迟 (Delay)、延迟变化 (DelayVariation)、队列长度等性能指标 ;同时进一步讨论了两者不同的适用环境 ,为在网络中的实际应用提供了参考依据     

基于跳数的公平性增强RED及其分类器实现

为了同时兼顾改善不同往返时延(RTT)和多拥塞链路所引发的不公平性问题,在实际网络环境测量结果的基础上,提出了利用数据包所经过的路由器跳数来增强公平性的思路,并构造了一个二维两类分类器来对REI)算法进行简单的修改,实现了一个公平性增强的REI)算法。NS2下的模拟表明,该算法可有效增强公平性,而且具有实现简单、易于在实际网络中部署的优点。     

RED与CSFQ的性能比较研究

介绍了RED及CSFQ两种队列管理机制，分析比较了这两种队列管理机制的各自优缺点。通过大量的仿真试验比较了吞吐量（Throughput)、延迟（Delay)、延迟变化（Delay Variation）、队队长度等性能指标；同时进一步讨论了两者不同的适用环境，为在网络中的实际应用提供了参考依据。     

RED队列稳态误差分析

主动队列管理在保证较高吞吐量的同时,通过在交换节点上主动丢弃数据包来控制队列长度,从而实现对端到端的延时和抖动的控制．RED算法是目前应用最为广泛的主动队列管理(AQM)算法．RED算法以平均队列长度作为衡量网络拥塞的指标,其参数设置对算法性能有较大影响．利用现代控制工程理论,将RED算法看做一种单位反馈控制系统,并将期望队列长度作为系统输入,将瞬时队列长度作为输出,对该系统的稳态误差进行了分析．实验结果表明在稳定状态下,RED队列的波动受分组丢弃概率函数的斜率影响．在稳定条件边界附近,系统的稳态误差急剧增加．     

一种改进的RED算法

针对随机早期检测(random early detection,RED)主动队列管理机制的参数依赖问题,提出一种以网络流量优化理论中“价格”的变化为依据,自适应调节参数的RED改进算法。仿真实验结果表明,该算法明显提高了链路的利用率,降低了丢包率和平均队列长度。     

一种改进的RED算法

本文就目前路上器中如何实现数据流隔离和公平分配带宽进行了探讨，首先研究了Sally等人提出的RED算法，指出其缺陷，并根据TCP的有效吞吐率公式，提出了一种改进的RED算法，它可以实现更好的公平性，仿真结果验证了算法的有效性。     

随机早期检测RED及其改进算法的研究

目前,拥塞控制是Internet的一个研究热点。在网络通信中,仅仅靠端到端的TCP层基于滑动窗口的流量控制已很难满足网络中日益增长的业务量的要求,因此,网络本身必须采用某种手段参与拥塞控制。主动列队管理(AQM)作为目前路由器中广泛采用的拥塞控制策略,在保证较高吞吐量的基础上有效地控制队列的长度,让IP层参与了资源的分配控制工作。该文首先介绍了Internet中的TCP/IP拥塞控制策略,而后针对主动队列管理策略中的RED算法进行了详细的研究,最后提出了几种改进的RED算法。     

APRED：基于Avg和P的RED改进算法

RED算法是IETF推荐的AQM唯一候选算法,但RED中存在Avg对实际队列变化反应较慢,丢弃概率不准确等问题。为了更准确地计算平均队列长度和丢弃概率,对RED算法的平均队列计算方式(Avg)进行动态调整,并且对丢弃概率P进行非线性优化,进而提出一种改进算法APRED。仿真结果表明,改进后的算法在持久流和突发流情况下均能够减小平均队列的抖动,提高瓶颈链路平均吞吐量,降低路由器丢包率,提高了算法的网络适应性。     

面向对象软件度量的统计分析研究

本文介绍了传统度量方法和CK度量方法的几种常用度量指标在面向对象软件度量中的具体应用,并通过统计分析说明各种指标在面向对象系统设计、测试、维护和重用之间的相互影响关系,为开发高质量面向对象软件提供实践指导.     

Dynamics analysis of TCP Veno with RED

This paper studies the dynamics of TCP Veno with the queue management of RED (Random Early Detection). We develop a fluid-flow model to describe the behaviors of TCP Veno in wired/wireless networks. This model is further linearized to study TCP Veno’s stability issue through the linear feedback control theory. The analysis points out how the RED queue oscillates under different network parameters such as link capacity, round-trip time. Simulations are carried to validate our theoretical analysis. Furthermore, based on the analysis results obtained in this paper, we are able to provide guidelines for tuning RED parameters to stabilize the router queue, and improve the co-existence between TCP Veno and TFRC (TCP-friendly Rate Control) flows.     

队列管理算法DropTail和RED研究与仿真

队列管理主要负责路由器内部队列的建立、维护和排队,以决定何时接收或者丢弃某个包。目前Internet普遍采用的拥塞控制机制是DropTail主动队列管理算法,而随机早期检测(RED,Random Early Detection)是IETF推荐使用的队列管理算法。本文利用NS2网络仿真器在队列监视角度对DropTail与RED进行仿真模拟,比较分析得出RED队列管理算法整体性能高于DropTail,为进一步研究RED算法提供了依据。     

北京市平原区平均地下水位变化分析

本文在论述北京市水资源和水环境现状的基础上,通过对北京市平原区地下水位的统计分析,研究了北京市水资源总量、降雨量、入境水量、平原区平均地下水位变化的关系,并进一步分析了影响地下水位变化的自然和人类活动因素。     

Ad Hoc网络的离散时间马氏链建模及分析

Ad Hoc网络是一种非常有前途的自组无线网,该文通过对Ad Hoc网络作出一些合理假设,建立了Ad Hoc网络的离散时间马氏链模型,给出了模型的平稳分布,并进一步分析了节点相邻的概率、节点的平均邻居数、平均泛洪距离等网络重要参数。最后,给出了转移概率矩阵的一个具体定义方法,并得到了相应结果。     

基于视图机制和分组统计实现 SQL 中全称量词的转换

SQL语言不支持全称量词,当查询涉及“全部”语义时,需要将全称量词等价转换为存在量词,转换及量词的使用都是难点,需要有相关的逻辑推理及思维能力,从而使程序员难以理解。基于视图机制和分组统计来实现对全称量词的对应语义的转换,思路清晰,容易掌握。