基于故障敏感图的回卷算法和故障恢复

扩充的面向图结构的分布式程序设计模型(extended graph-oriented model,简称ExGOM)提供了一个支持动态配置的系统框架.系统的动态配置包括系统运行时的伸缩、运行时的升级以及出现故障后的重配置.故障后的重配置所涉及的问题之一是如何恢复系统原状态,该文着重就此问题进行了讨论,给出了基于故障敏感图的异步检查点回卷算法和故障恢复策略.该算法和策略考虑了在暂时性主机故障中单个主机上有多个故障进程的情况.与其他异步回卷及故障恢复算法相比,该算法将故障区域局部化,仅对故障敏感节点进行回卷,从而有效地降低了系统开销.     

一种面向图的分布Web应用架构技术

提出一种面向图的软件体系结构描述和实现技术(称为WebGOP)来支持分布Web应用系统的架构，开发者通过定义图的拓扑结构来描述体系结构，并可以根据需要定制图的类型以更好地表达特定的体系结构风格。同时，这个图实现为一个分布共享对象，显式地存在于应用系统之中，为各个构件的执行提供了一个面向图的上下文，也为体系结构的实现和动态演化提供了依托．该技术直观性强，有助于缩小体系结构描述与实现之间的距离，特别是可为系统动态重配置提供良好的支持．该文还利用edNCE图文法对WebGOP进行了形式化处理，设计实现了一个WebGOP原型系统，并对这个原型系统的关键性能指标进行了测试以表明该技术的可行性。     

一种基于移动Agent的复合Web服务容错模型

现有的Web服务容错侧重于通过扩展Web服务标准来提供容错能力．由于Web服务标准体系本身不断发展变化,并且标准之间的兼容性问题依然存在,使得这些研究成果的可实施性较弱．文章提出一种基于移动Agent的复合Web服务容错模型——MAFTM模型,从系统层次而非标准层次来解决复合Web服务的容错问题．首先说明基于移动Agent的工作流与复合Web服务的关系．在此基础上,给出MAFTM模型,包括故障类型、复制机制、“exactly once”语义和一致性算法,并证明MAFTM模型的正确性．     

图像分割的熵方法综述

对图像分割的熵方法进行较全面地分析和综述,其中包括一维最大熵、最小交叉熵、最大交叉熵图像分割方法等。对Shannon熵、Tsallis熵及Renyi熵之间的关系等进行分析与评述。对二维(高维)熵及空间熵等进行分析与评述。最后指出一维熵与其它理论的有机结合、高维熵模型的计算效率等未来研究方向。     

车联社交网络：机遇、挑战和应用

对车联社交网络根据研究侧重点做了分类,并对车联社交网络中的一些机遇和挑战进行了探讨;提出了一种利用社交网络分享的实时交通信息为车联网进行最短路径规划导航的解决方案.实验数据表明该方案在导航效率上超越了现有的静态路径规划方案.     

无线传感器网络多重覆盖问题分析

传感器网络由大量能量有限的微型传感器节点组成.因此,如何保证在足够覆盖监测区域的同时延长网络的寿命,是一个需要解决的重要问题.为了达到这一目标,一种广泛采用的策略是选出部分能够足够覆盖监测区域的节点作为工作节点,同时关闭其他冗余节点.提出了一个数学模型,使得只要已知监测范围和节点感知半径的比值,就可以计算出达到服务质量期望所需要的节点数量.需要指出的是:与大部分研究覆盖的文献不同,该研究不基于节点的位置信息,因此可以极大地降低硬件成本,并且减少节点获得和维护位置信息的开销.模拟实验结果表明:在随机部署条件下,服务质量期望与实验所得到的实际覆盖度的误差不大于服务质量期望的2%;而对于相同的服务质量期望和实际覆盖度,计算所得的工作节点数量与实验所得的工作节点数量的误差小于计算数量的5%,这表明推导出的节点数量与服务质量期望之间的关系与模拟实验的结果相吻合.该结果可以广泛应用于传感器网络的节点部署、拓扑控制等领域中.     

内容传递网络处理能力受限代理放置贪婪算法

提出了旨在提高内容传递网络服务性能的代理放置策略CCSP(capacity-constrained surrogate placement).CCSP在保证最大化系统吞吐量的条件下,以最小化系统通信开销为目标,求解最优的代理放置方式.与通信网络中的资源分配问题现有求解策略不同,CCSP通过模拟内容传递网络的请求路由机制,考虑了代理服务器的负载分布及处理能力约束,从而保证系统具有最低的资源消耗、最大的吞吐能力和良好的负载均衡.提出了高效的贪婪算法用以求解树型网络条件下的CCSP问题,并通过仿真实验系统地分析了算法的有效性.     

Optimal Relay Assignment and Power Allocation for Cooperative Communications

Cooperative communication for wireless networks has gained a lot of recent interest due to its ability to mitigate fading with exploration of spatial diversity. In this paper, we study a joint optimization problem of jointly considering transmission mode selection, relay assignment and power allocation to maximize the capacity of the network through cooperative wireless communications. This problem is much more challenging than relay assignment considered in literature work which simply targets to maximize the transmission capacity for a single transmission pair. We formulate the problem as a variation of the maximum weight matching problem where the weight is a function over power values which must meet power constraints (VMWMC). Although VMWMC is a non-convex problem whose complexity increases exponentially with the number of relay nodes, we show that the duality gap of VMWMC is virtual zero. Based on this result, we propose a solution using Lagrange dual decomposition to reduce the computation complexity. We do simulations to evaluate the performance of the proposed solution. The results show that our solution can achieve maximum network capacity with much less computation time compared with exhaustive search, and our solution outperforms existing sub-optimal solutions that can only achieve much lower network capacity.     

SR-MAC: A Low Latency MAC Protocol for Multi-Packet Transmissions in Wireless Sensor Networks

Event detection is one of the major applications of wireless sensor networks (WSNs). Most of existing medium access control (MAC) protocols are mainly optimized for the situation under which an event only generates one packet on a single sensor node. When an event generates multiple packets on a single node, the performance of these MAC protocols degrades rapidly. In this paper, we present a new synchronous duty-cycle MAC protocol called SR-MAC for the event detection applications in which multiple packets are generated on a single node. SR-MAC introduces a new scheduling mechanism that reserves few time slots during the SLEEP period for the nodes to transmit multiple packets. By this approach, SR-MAC can schedule multiple packets generated by an event on a single node to be forwarded over multiple hops in one operational cycle without collision. We use event delivery latency (EDL) and event delivery ratio (EDR) to measure the event detection capability of the SR-MAC protocol. Through detailed ns-2 simulation, the results show that SR-MAC can achieve lower EDL, higher EDR and higher network throughput with guaranteed energy efficiency compared with R-MAC, DW-MAC and PR-MAC.     

面向图结构的分布式程序设计模型GOM

很多分布式程序由一组分散在不同处理器结点上的松散耦合的进程协作完成某项任务。这些进程底层的逻辑结构可以用一个图来表示，进程间的通信和同步关系可以用图上的操作来表示。该文描述面向图结构的模型ＧＯＭ以及它的实现ＧＯＳ。在ＧＯＭ层，一个分布式程序由一个概念图以及由消息激活的若干函数构成。