自动信任协商的形式化描述与验证研究

首先提出了自动信任协商的通用形式化框架,并将典型的信任协商策略规约到上述框架内;其次,基于上述形式化框架对自动信任协商的形式化验证问题进行了定义,确定了形式化验证的目标以及一般流程;再次,研究了典型信任协商策略的形式化验证问题,讨论了相关问题的计算复杂性并得到系列结论;最后,利用逻辑编程方法和模型检测方法实现了自动信任协商的形式化验证。实验结果表明,规则数是影响形式化验证系统运行时间的关键因素,逻辑编程方法和模型检测方法在规则较少时效率较高,但逻辑编程方法的可扩展性不及模型检测方法。     

支持软件重用的面向模式的软件开发方法

软件模式作为一种有效的重用手段正日益得到开发组织和学术界的广泛关注．目前对软件模式的研究侧重于利用非结构化的方法构建和描述模式，开发者很难对模式进行维护和重用．本文提出了一个支持软件重用的面向模式的软件开发过程，它将基于体系结构的建模方法与软件过程有机地结合在一起．面向模式的软件开发过程包括四个阶段：业务分析、需求分析、构件设计和构件实施．模式用于描述各个阶段的丁作产品，同时也是开发经验的表示．不同模式之间的可跟踪性是随着开发过程自动产生的，软件构件具有可跟踪性，其可重用性得到提高．     

IPv4/IPv6协议过渡机制的实验研究

从IPv4向IPv6的过渡是网络发展的一大趋势，但存在很多技术问题亟待解决。为了使这一过渡尽可能地平滑，人们提出了很多解决方法。本文研究了几种主流的过渡机制，并就一个基于隧道代理的过渡方案给出其具体实现方法，并进行了实验。实验证明，该方案有效地实现了对现有IPv4网络向IPv6的升级，并保证了IPv6网络与IPv4网络的互联互通。     

无线Mesh网QoS研究

无线Mesh网由于无线链路自身的不稳定性以及多跳传输带来的隐藏/暴露终端等问题,使得提供QoS保障带来更大挑战.对Mesh网各协议层为支持QoS所做的研究进行归纳,总结分析了已有的支持Mesh网QoS的跨层设计方案.指出了无线Mesh网络提供QoS保障的进一步研究方向.     

一种可容错的覆盖网节点合作激励策略

为了促进覆盖网节点之间的合作,以任意相邻的两个节点为博弈参与者,用纯策略博弈建立了问题模型,证明了静止状态下的节点相互转发博弈是典型的囚徒困境,以及在无限重复囚徒困境博弈情况下,基于针锋相对策略的合作均衡是脆弱的,偶然的网络故障会引发惩罚行为,从而导致节点间的不合作.提出一种可容错的针锋相对策略TTFT（Tolerant Tit-for-tat),使节点能够在一定时间内容忍网络故障的发生.证明了使用该策略可以在发生网络故障的情况下,在有限时间内使节点达到稳定的合作状态,并证明了作弊节点的收益增量相对较低,能够有效降低节点作弊的可能性.模拟试验表明,在多个节点交互的环境下,该策略可以容忍一定比率的故障,促进节点合作,显著提高全体节点的收益总额,并可以降低作弊节点的收益,有效防止作弊.     

云计算环境中差异化数据采集方法研究（英文）

In a growing number of information processing applications,data takes the form of continuous data streams rather than traditional stored databases.Monitoring systems that seek to provide monitoring services in cloud environment must be prepared to deal gracefully with huge data collections without compromising system performance.In this paper,we show that by using a concept of urgent data,our system can shorten the response time for most 'urgent' queries while guarantee lower bandwidth consumption.We argue that monitoring data can be treated differently.Some data capture critical system events;the arrival of these data will significantly influence the monitoring reaction speed which is called urgent data.High speed urgent data collections can help system to react in real time when facing fatal errors.A cloud environment in production,MagicCube,is used as a test bed.Extensive experiments over both real world and synthetic traces show that when using urgent data,monitoring system can lower the response latency compared with existing monitoring approaches.     

一种硬件事务存储系统中的事务嵌套处理方案

事务存储是一种旨在改善多核处理器可编程性的技术,高效的事务嵌套处理是硬件事务存储系统面临的挑战性问题之一.为了在不显著增加硬件复杂性的前提下实现高效的事务嵌套处理,提出了一种支持有条件部分回滚的事务嵌套处理方案CPR,该方案为各层嵌套事务维护统一的数据集合,通过增加少量硬件状态位以记录各层嵌套事务对数据的读/写状态,实现了满足特定条件时事务进行部分回滚,在不显著增加硬件复杂性的前提下,提高了闭合嵌套模型的处理效率.基于模拟器Simics与多核扩展包GEMS进行了模拟实验和性能评价,结果表明,CPR方案在复杂性显著低于nested LogTM的情况下,获得了与其基本一致的性能,同时性能相对于传统的扁平模型有显著提升.     

移动Sink传感网中基于IEEE 802.15.4的拓扑控制与路由

针对查询驱动的移动Sink无线传感器网络,基于IEEE 802.15.4标准,提出了一个联合簇树组网和移动路由的跨层协议设计方案。以能耗、网络连通度、负载均衡和子树深度等指标为评价因子,在多目标优化模型下定义了一个拓扑综合评价函数,构建稳定的最优簇树网络结构;改进了IEEE 802.15.4 MAC中基于信标帧调度的分布式睡眠同步算法,维护较低占空比下的网络同步与拓扑修正;利用拓扑形成过程中依"最早信标帧"、"最好链路"、"最小层次"3种准则确立的父子关系,建立移动Sink与N-Hop范围内节点的双向路由路径。最终将上述MAC层的拓扑控制方案与网络层的查询路由方法完整实现于TinyOS协议栈中。实验结果表明,评价函数能够有效地反映组网质量,N-Hop后验式路由结合睡眠同步机制,在"最好链路"拓扑下表现出较高的能量效率。     

结合集成服务、差分服务和MPLS实现端到端QoS保证

文章论述了当前流行的多种Qos（服务质量）解决方案，详细分析了这些方案的优缺点。最后综合这些方案优点．提出了一种新的端到端的QoS解决方案。该方案通过在MPLS（协议标签交换）的基础上结合集成服务、差分服务以及流量工程的思想，在实现端到端QoS保证的同时实现了优化路由和负载均衡。