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

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

面向GPU并行编程的线程同步综述

并行计算已成为主流趋势. 在并行计算系统中, 同步是关键设计之一, 对硬件性能的充分利用至关重要. 近年来, GPU (graphic processing unit, 图形处理器)作为应用最为广加速器得到了快速发展, 众多应用也对GPU线程同步提出更高要求. 然而, 现有GPU系统却难以高效地支持真实应用中复杂的线程同步. 研究者虽然提出了很多支持GPU线程同步的方法并取得了较大进展, 但GPU独特的体系结构及并行模式导致GPU线程同步的研究仍然面临很多挑战. 根据不同的线程同步目的和粒度对GPU并行编程中的线程同步进行分类. 在此基础上, 围绕GPU线程同步的表达和执行, 首先分析总结GPU线程同步存在的难以高效表达、错误频发、执行效率低的关键问题及挑战; 而后依据不同的GPU线程同步粒度, 从线程同步表达方法和性能优化方法两个方面入手, 介绍近年来学术界和产业界对GPU线程竞争同步及合作同步的研究, 对现有研究方法进行分析与总结. 最后, 指出GPU线程同步未来的研究趋势和发展前景, 并给出可能的研究思路, 从而为该领域的研究人员提供参考.     

一种按需多径的无线传感器网络簇头路由协议

针对分簇无线传感器网络中簇头之间通信联通难以保证,由簇头构成的多跳网络拓扑频繁变化的特点,提出了一种按需多径的簇头路由(OMCHR)协议.对比现有按需路由协议,其创新之处在于:(1)利用层ID限制路由控制消息的广播转发,并控制传输路径的跳数;(2)在路由发现过程中根据需要任命部分成员节点充当路由节点,保证簇头间的通信联...     

SimHPC:一种基于执行驱动的大规模并行系统模拟器

模拟实验方法对高性能计算机系统的性能评价和优化设计有着重要的意义,然而由于目标系统规模庞大,传统的体系结构模拟器难以满足模拟性能方面的要求.文中提出了一种专门用于高性能计算系统的模拟器——SimHPC,该模拟器采用执行驱动的全系统模拟方法,支持操作系统和应用程序的模拟运行.通过采用与目标系统同构的节点作为宿主节点以及并行模拟的方法,使得模拟性能相比传统的体系结构模拟器大幅提高,与现有的几种大规模并行系统模拟器相比,SimHPC在通用性和模拟性能方面也具有一定的优势.     

支持上下文感知服务的中间件原型*

提出了基于传感器网络环境的上下文感知应用开发中间件原型的体系结构MidCASE,重点阐述了中间件的体系结构设计和软件运行时基于服务的分布式运行架构.讨论了上下文感知过程中的两个关键问题,包括上下文信息建立的方法和感知过程中上下文信息与高层通信的调度模型.最后,以该中间件原型为基础,通过在医疗护理的场景下实现上下文感知应用并证明了其易用性与支撑作用.     

Softnet——一个基于移动代理的主动网络

在服务质量单一的互连网上为不同的服务提供一个可选择的平台,已是目前运行开发产所面临的最大的难题,无论是物理隔离的SDH通道、智能光网络和互连网中的虚拟网络,目的都是为不同的用户提供不同的服务平台。该文提出了一种基于移动代理的主动网络－－Softnet.Softnet是叠加在IP网上、中间节点可编程的虚拟网络。Softnet采用包含代码和数据的主动包,以主动节点上动态驻留的移动代理实现网络的动态服务,通过虚电路连接移动代理实现可编程虚拟网。Softnet为不同的服务提供可选择的虚拟平台,达到综合服务（VoIP、数据等服务）的目的。Softnet在提高协议效率,加速协议、服务的开发和部署,高效利用网络资源等方面都有较好的潜力。该文以实例说明了Softnet的动态性和可编程性。     

并行虚拟文件系统客户端缓存技术研究与实现

缓存技术是一种提高文件系统性能的关键性技术．在并行文件系统中实现客户端缓存，既能够减轻集群服务器系统的通信负载，又能有效地提高文件系统的性能．对PVFS并行文件系统进行了分析，建立了客户端缓存模型，就客户端缓存实现的一些关键性问题，如一致性、查找、替换等进行了研究，给出了解决方案，并在此基础上实现了一个客户端缓存的原型系统．测试结果表明，加入缓存后，PVFS整体性能有明显的提高．     

网络传输时延的测量方法

介绍了网络传输时延的基本概念，分析了影响网络传输时延的因素，给出了测量传输时延的3种方法，并对各种方法作一综合比较。     

网络管理中Push机制的研究

随着网络技术的迅速发展，网络管理的重要性在网络建设中变得越来越突出，网络管理协议SNMP也从版本1.0发展到了版本3.0但到目前为止，SNMP协议还主要是一种请求/应答式协议，由于SNMP协议的这个特性，当它被用在大规模网络管理时，就会造成带宽浪费和管理实时性的缺乏，本文针对这个问题，提出一种基于Push技术的解决方案，该方案包括两部分：Push协议操作的设计和Push-MIB的设计，Push协议操作定义了Push-PDU，它用于Push数据的封装；Push-MIB用于Push操作的相关参数的定义，本文提出的Push技术是对传统网络管理协议SNMP协议的很好的扩充，在网络管理中能得到很好的应用。