多并发流无线网状网中的机会路由算法

现有机会路由选择未考虑数据流的分布,可能使候选节点空闲或过载,导致网络吞吐量提升有限.本文将多并发流的机会路由描述成一个凸优化问题,基于对偶和子梯度方法,提出分布式联合候选节点选择和速率分配的多流机会路由算法(Opportunistic Routing for Multi-Flow,ORMF).该算法迭代进行流速率分配,并在速率分配过程中完成候选节点选择.实验结果表明,与基于期望传输次数和期望任意传输次数指标的机会路由相比,ORMF平均可提高33.4%和27.9%的汇聚吞吐量.     

非定态路径测试问题的分析与一种转换算法

测试数据生成中使用静态分析法的主要问题之一是难以处理程序变量的不确定性.本文对软件测试数据生成中的变量"不确定"问题进行了分析,认为该问题的实质是程序中变量本身的符号不确定性和程序的动态性,根据这个思路提出非定态路径、变符号变量、程序状态变量等概念,并将问题进行了形式化的描述,证明了非定态路径约束解空间可进一步划分为多个子空间.在此结论的基础上,本文给出了一个将非定态路径测试转换为定态路径测试的算法,对非定态路径测试问题的理论分析和解决途径进行了有益的尝试.     

一种基于失效检测器的快速异步系统共识算法*

异步系统下的共识问题是容错方向中的关键问题。首先分析了几种基于失效检测器的共识算法,然后考虑减少响应时间,对现有算法提出改进。改进后的算法满足异步系统下共识问题的两阶段最低限度,并且在特定条件下可以在第一阶段快速作出响应。经实验证明,改进后的算法具有更快的响应时间和较少的通信量。     

软件项目人员流动风险的定量评估和分析*

提出了一种评估软件项目人员流动风险的定量模型,示例了该模型的使用,使用该模型不但可以直观地得到软件项目的人员流动风险值,而且可以利用该模型的各项及其系数分析人员流动风险产生原因,找到其控制策略。     

面向应用层的流媒体性能测量指标*

介绍了一种从流媒体接收者的角度对流媒体性能进行测量的方法,提出了相应的应用层评价指标。利用已有的商业化流媒体服务软件,通过改变网络环境在不同的条件下对指标进行测量,最后通过实验数据来验证这些指标的有效性。     

DTN中基于节点价值的效用路由算法

为了解决延迟容忍网络(DTN)中传统路由算法中消息被分配的网络资源不均衡及节点负载不均衡问题,结合消息效用值提出了一种基于节点价值的效用路由算法。算法根据动态改变的消息效用值选择最高优先级的消息(具有最小TTL和到目的节点最短距离的消息)进行转发,以使得为每个消息分配的网络资源相对均衡;同时,根据节点的价值(与节点速度和剩余缓存有关)选择下一跳节点,以平衡每个节点的负载;另外,算法还采用了一定的消息管理机制及时清除缓存空间。通过仿真实验及性能分析表明,该算法在传输成功率、传输延迟和网络开销上都有明显的改善。因此,通过充分利用网络资源提高了算法的整体性能。     

多射频无线mesh网中的联合协作路由与信道分配算法

现有的协作路由算法没有考虑多射频无线mesh网中的信道分配问题.为了给多并发业务流提供更优质的网络服务,本文结合多射频多信道技术和协作通信技术来降低同信道干扰并获得协作分集增益.基于协作通信模块虚拟化的方法,本文将联合协作路由和信道分配问题简化为联合直接路由和信道分配问题,将其建模为一个混合整数线性规划问题,并证明该问题为NP-hard问题.为了解决该问题,提出了一种宽松的联合协作路由选择和信道分配算法(Loose Joint Cooperative Routing and Channel Assignment algorithm,L-JCRCA).仿真实验结果表明,L-JCRCA可以有效提升网络整体吞吐量.     

基于计数布鲁姆过滤器的集合调和算法

提出了一种基于计数布鲁姆过滤器的集合调和方法,该方法将远程节点A和B上的数据集合SA和SB分别用计数布鲁姆过滤器表示,设为CBF(SA)和CBF(SB),节点A将CBF(SA)发送给节点B,节点B进行计数布鲁姆过滤器减运算,得到差过滤器CBF(SB)CBF(SA),然后利用CBF(SB)CBF(SA)查询并获得集合SB中的差集元素SB SA,并返回SB SA给节点A,最后节点A用差集SB SA和自身集合SA进行集合并运算,完成集合调和。由于计数布鲁姆过滤器支持集合元素的删除操作,因此,该方法非常适合应用于数据集合更新频繁的分布式系统。理论分析和仿真实验结果表明,该方法既具有精确集合调和,能得到全部SB SA元素的优点,也具有近似集合调和仅需单轮消息交换的优点。     

基于Gilbert丢包机制的TCP吞吐量模型

 丢包机制是推导TCP吞吐量模型的关键,直接影响模型的准确性.本文利用四状态Gilbert丢包机制来描述端到端路径上的丢包行为,对TCP的拥塞控制过程进行建模,在此基础上提出了一种更精确的TCP吞吐量模型.实验表明,改进的模型能较好的与实际值相拟合,可以更精确地预测实际TCP数据流的吞吐量性能.     

Chwa & Hakimi故障模型方程诊断的理论基础

针对基于对称比较的系统级故障模型———Chwa&Hakimi模型 ,建立起“方程诊断”的有关概念 ,把该模型等价地转换为一个方程 (或方程组 )。对于一类特殊的Chwa&Hakimi模型找到了求全体相容故障模式的具体算法 ,该算法为寻求一般情形下Chwa&Hakimi模型的全体相容故障模式奠定了理论基础和算法基础。