延迟可扩展性与并行执行时间的关系

针对以往关于可扩展性研究中未充分考虑并行执行时间因素,可扩展性与并行执行时间的关系仍未研究清楚的问题,深入和全面研究延迟可扩展性和并行执行时间的关系,得出并证明了不同算法〖CD*2〗机器组合体在相同初始状态下进行延迟扩展后,若执行更快的组合体具有更好的延迟扩展性,则该组合体在扩展后仍将保持更快等重要结论。这些结论丰富了可扩展性和并行执行时间关系的研究内容,为并行计算延迟扩展获得理想扩展性能提供了理论依据。最后,通过对不同算法〖CD*2〗机器组合体进行扩展实验,进一步验证了结论的有效性。     

基于模糊Petri网的服务发现框架研究

现有的主流服务发现方法不支持模糊逻辑推理，无法处理软计算语义，从而缺乏灵活性．为了弥补人类可理解的软计算逻辑和机器能够识别的硬逻辑的差异，提出了面向服务基于模糊Petri网的Multi-Agent服务发现框架．为支持这一框架。设计了一种模糊Petri网服务描述语言，其主要特点是变迁表示一个服务或者请求；变迁的输入库所表示服务执行前应满足的条件，变迁的输出库所表示只有在所需争件满足的情况下服务才能成功执行．变迁相关的CF值（certainty factor value）表示服务消费者对Agent所提供服务的置信度．其次，提出了支持软计算语义的松弛匹配机制，并且给出了模糊松弛匹配算法；借助于本体库（类库），通过计算命题的真实度，在不精确模糊信息情况下，可以实现服务和请求的模糊松弛匹配．     

基于CPi-calculus的网格服务行为研究

当前基于网格服务组合的编排方案（choreography proposals）只给出服务描述层面上的定义,没有提供任何推导方法来保证基于此编排方案的服务的一致性。如何验证组合服务行为的正确性和有效性是当前亟需解决的一个研究课题。形式化方法提供了行之有效的建模、推导和验证机制。本文给出网格服务组合基调,基于此基调分析了网格组合服务的动态交互行为特性,提出基于CPi-calculus（Conditional Pi-calculus）的网格组合服务的行为交互模型（IABM）,并给出组合服务交互行为的形式化描述,最后进行交互行为的模拟验证。该网格服务行为交互模型为今后网格服务的组合优化工作提供了代数推导依据。     

一种非可规约循环的投机并行方法

传统的并行编译器在处理非可规约循环时一般使用结点分割法,但由此带来的代码复制是不可避免的。本文使用投机的方法来挖掘非可规约循环的并行性,该方法在编译时查找程序中的非可规约循环,在运行时使用＂持续引用＂策略预测该循环的入口,进而实现非可规约循环的并行化。     

一种基于信誉机制的二阶段服务资源发现模型

服务资源的不可靠性使得用户难以安全有效的使用网络上的各种服务.参考社会学的人际关系信任模型,利用P2P网络建立基于信誉机制的服务发现模型,并利用Bayesian方法对服务节点的信誉度进行合理评估,从而设计出安全实用的服务发现算法.仿真结果证实,提出服务发现算法能够充分地利用P2P网络的高效性对可信的服务资源进行发现,促进服务节点间的交互,并能有效保障用户在可信方面的服务安全需求.     

数据网格关键技术分析

该文阐述了数据网格与计算网格的关系,并分析了数据网格的基本特征和体系结构。重点研究了构建数据网格的多种关键技术。最后通过一个数据网格工程的实例,探讨了数据网格的应用领域及实践价值。     

OGSA安全体系及其在GT3中的实现

在分析了网格计算环境的特点后，用扩展的P^2DR网络安全模型对网格安全进行了模型分析，总结出了网格安全的特点及实现目标，介绍了OGSA下的安全体系及其在Globus Toolkit3中的实现。     

一种利用UML的Petri网软件实现方法

Petri网既是一种图形化建模工具，又是一种形式化数学工具。Petri网具有对并发、并行、分布、异步系统进行验证仿真的能力。但是，Petri网是用来描述和分析要开发的系统模型的工具。不是计算机的实现工具，必须要通过一定的方法才能将Petri网用软件来实现。由于UML(统一建模语言)具有友善的用户界面，易于编程实现，故提出一种利用UML作为过渡的Petri网软件实现方法。     

一种双匹配动态调度算法

提出了适于异构环境独立任务调度的双匹配动态调度算法（BM算法）．BM算法将任务与处理机实现双匹配，使大部分任务在执行时间最短而且完成时间最早的处理机上执行．对于无法实现双匹配的任务，采用最早完成时间最小者优先的策略进行调度．BM算法可以同时满足负载均衡和高吞吐率两个目标．BM算法与通常用作评测基准的Min-min算法的比较结果表明，BM算法的运行时间远少于Min-min算法，其调度跨度比Min-min算法减少约9％．     

网格环境下二叉树后序遍历的一种并行算法

本文运用网格环境下的并行计算模型G-PRAM来研究二叉树的后序遍历问题,提出了二叉树后序遍历的一种并行算法,并给出示例和说明。