无线接入网络中TCP流的上下行信道公平算法

在无线接入网络中,上行TCP流会极大地压制下行TCP流,导致严重的上下行信道TCP流不公平问题.本文指出TCP流的ACK包在接入节点下行缓存中的侵占性是上下行TCP不公平问题的直接原因,从限制缓存大小的新角度提出了MBA(Maximum Buffer for ACKs)算法.MBA算法基于上下行TCP流的不公平比例和缓存大小的关系,自适应地调节ACK包的最大缓存空间.理论分析和仿真实验结果表明MBA算法不但能通过限制ACK包的缓存空间实现上下行TCP流公平,还能通过减少无线信道ACK包传输概率提高网络总有效吞吐率.     

T-组合Petri网的活性和公平性分析

同步合成是研究复杂Ｐｅｔｒｉ网系统性质的有效途径．文中通过引入可引发变迁序偶的概念,研究了Ｔ－组合（同步合成）Ｐｅｔｒｉ网对子网的活性和公平性继承关系,给出了一组Ｔ－组合Ｐｅｔｒｉ网活或公平的充要条件和充分条件．这些结果对网组合同步设计具有重要的指导意义     

P2P网络行为学研究

对等网络结构不断发展,网络中节点的行为逐渐成为影响网络效率的重要因素.激励、信誉和公平性已经成为对等网络中的三大难题,然而这三者都属于网络行为学的范畴.针对P2P网络行为学中的难题,提出了解决方法即在设计P2P系统的同时要兼顾激励.信誉和公平性.并对这三者分别进行了分析比较,针对当今不同P2P结构中的节点行为进行了评价.最后进一步展望了P2P网络行为学的研究方向.     

一种分析安全协议的新逻辑

提出了一种分析安全协议的新逻辑,既能有效地分析认证协议的认证性,又能分析电子商务协议的可追究性和公平性。该方法对认证协议的分析,不需要协议理想化,避免了因理想化而导致的各类问题。能够有效地分析电子商务协议的可追究性和公平性,用于分析实用协议。分析过程简单直观,便于实现机器自动验证。     

云环境下基于偏好的资源公平分配策略

资源分配策略是云计算领域的一个重要研究热点,其主要目标是同时考虑云用户和云提供商双方的利益,有效满足系统用户和任务的公平性,同时尽可能达到系统资源的充分利用。考虑到云环境中的用户需求各异,每个用户的任务请求数量不同,各个任务的资源需求也不同,设计了一种基于偏好的公平分配策略FABP,并给出了用户优先级和任务优先级的定义。实验分析表明,该算法不仅能缩短平均任务调度时间,而且还可以保证任务调度过程中用户和任务的公平性,实现综合资源利用率的最大化。     

基于能量优化G2连续插值三次样条曲线

给出了一种在能量优化意义下构造G2连续保形插值三次参数样条曲线的方法.具体步骤如下:(1)以曲线应变能最小为目标构造目标函数,通过解线性方程组,求出优化意义下的每个插值点处的最优切矢方向;(2)用文中给出的简易公式求出各插值点的曲率,进而计算出插值点处的切矢模长,使曲线满足G2连续、保形插值的条件;(3)用Hermite插值方法求出相邻两插值点间的曲线.实验结果显示了方法的有效性.     

一种保证远近比例公平的连接接纳控制策略

提出一种远近比例公平的接纳控制机制NFPF,通过控制距离基站较远和较近两类用户的接入概率,保证了两类用户连接接入的比例公平性.对NFPF机制进行了建模和性能分析.最后提出改进的远近效用比例公平接入控制算法UNFPF,实现了用户连接的效用公平性,并给出了简化的UNFPF算法,以降低运算复杂度.仿真表明,NFPF(UNFPF)机制能有效保证用户间的接入公平性,灵活性高,能够实现系统效用与接入公平的较好折衷.     

小区间动态干扰协调的改进方案

对下一代移动通信系统的小区间动态干扰协调算法进行研究,通过分析干扰水平,负载状况,基站的调节能力以及用户的位置,通过负载因子变化来接纳控制,提高边缘用户的数据传输速度,保证小区用户的公平性。通过上行功率控制及接纳算法改进方案;同时对小区用户划分区域设定,提出了小区间干扰协调的改进算法(ICPF), 并进行系统仿真计算分析,结果表明和以往传统算法相比,系统性能得到有效改进,进一步提高了系统公平性并增加小区边缘用户的吞吐量。     

一种基于高速弹性分组环的线性逼近公平算法

弹性分组环(RPR)中最关键的技术之一是环路分布式公平算法.IEEE802.17工作组制定的RPR草案中关于公平算法存在一些待完善的问题,比如在高速的网络中存在较长的收敛时间,同时对于非平衡流带来的永久性震荡现象也无法消除.本文针对上述这些问题提出了一种新的公平算法.仿真结果表明算法不仅能够消除非平衡流问题,而且能够公平地控制站点之间带宽的分配.     

Symbolic Model Checking and Analysis for E-Commerce Protocol

The widely use of networks and e-commerce has brought great convenience to our daily life. The basis of normal e-commerce transaction between the seller and customers is the secure e-commerce protocols which must also include the two important properties, namely, non-repudiation and fairness, in addition to those basic properties such as secrecy, security, authentication and integrity[1]. So there are special and higher demands of the performance and function of the e-commerce protocol. To att…