基于Pi-演算的Web服务可替换性验证

通过使用交互服务集合的概念归纳出一个适用范围较广的Web服务可替换的充分条件,并基于Pi-演算对可替换条件中的兼容性条件进行建模,从Web服务可替换性和兼容性的关系入手,用求逆的方法证明了弱互模拟在语法兼容等条件下可保证服务兼容性和可替换性的结论.最后建立了一个关于投诉处理流程的实际模型,展示了如何应用Pi-演算的弱互模拟方法和形式化辅助工具对服务的可替换性进行判定.     

基于多元Pi-演算的Web服务组合描述与验证

验证问题是Web服务发展中亟待解决的关键问题之一,类型系统的加入以及Web服务动态的体系结构给问题的解决增添了很多难度。针对上述问题,在多元Pi-演算的基础上给出Web服务的描述模型和子类型关系定义,并对Web服务的相客性进行细化,给出Web服务可替换性定义;基于这些模型和定义,给出Web服务构造时类型正确性的判定规则和运行时可替换性的判定方法;最后用1个例子说明上述规则和方法的可行性结果表明上述模型、定义和方法为解决动态的、类型化的Web服务验证问题提供了理论依据和基础。     

基于PI演算的软件人通信形式化与建模研究

本文主要通过PI演算对软件人的通信中信息流和控制流进行形式化表述和建立模型,基于该通信模型,实现对软件人之间的协作.自律等行为以及软件人群体结构演化等方面抽象分析的目的.     

基于π演算的软件人群体形式化建模

在参考多智体系统的基础上,根据大系统控制论的分解协调思想,提出一种软件人群体体系结构,并对其关键技术如本体库、知识库、任务库、通信协议、角色模型、交互模型等进行了描述. 描述了对该系统从分析到设计的整个构建过程,并采用π演算形式化方法对整个系统的信息流和控制流,以及任务之间的4种协作方式进行了建模. 对于不同的应用领域,通过定义相应领域的本体库和所需的角色以及任务分解,即可快速构建相应的应用系统,为分布式系统提供了一种解决方案.     

P2P技术及其应用

首先介绍P2P技术的概念、特征及和现有互联网的关系，然后讨论P2P技术的应用和所面临的困境，最后讨论P2P技术的未来。     

ELNF归约演算

ＥＬＮＦ演算是在ＬＮＦ演算的基础上扩充而成的函数／逻辑归约演算系统，扩充的主要工作包括逻辑变量、谓词名的引进。提出并描述了逻辑函子ＳＯＬＵＴＩＯＮ和ＰＲＯＶＥ及其归约规则．讨论了ＥＬＮＦ演算的基本概念。为表征ＨＯＲＮ子句提供了一种有效方式。     

物联网服务的π-演算建模与验证

针对物联网服务建模和验证问题,用π-演算理论对物联网服务和环境实体进行动态交互行为建模,并引入μ-演算刻画物联网服务能力,将其描述为物联网服务和环境实体动态交互行为的执行序列.针对特定的应用场景,使用π-演算定义了物联网服务和环境实体,利用μ-演算对物联网服务能力进行建模,使用检测工具MWB验证了模型的安全性、活性和时...     

网格与P2P的综合应用研究

P2P与网格都是新型的分布式计算模型，但各自都有自己的优缺点。本文分析了P2P与网格的优缺。设想了二者结合利用的可能性，并提出了一种P2P与网格互补综合利用的想法。     

计算机对等网P2P技术综述

计算机对等网络（Peer-to-peer networking）技术是目前新一代网络技术研究的活跃领域。它是一种完全对等网络模式,克服了传统C/S网络模式的弊端,引导网络计算模式从集中式向分布式偏移,网络应用的核心从中央服务器向网络边缘的终端设备扩散。本研究从定义、特点、关键技术等多方面对P2P技术进行了介绍,并对P2P技术以后的发展进行了展望。     

生态网格平台上的网格服务突现

利用自然生态系统的原理, 结合移动Agent技术, 设计一种生态网格计算平台, 并在此平台上实现了具有移动Agent和生物个体特点的生物实体及其行为算法, 该生物实体能够通过服务突现和进化有效地构造各种网格服务和应用, 能更好地适应网格计算的智能性、 灵活性、 自扩充性和自适应性.     

网格搜索引擎技术研究

网格中有许多可利用的资源，网格系统的可用性依赖于搜索引擎的搜索能力。首先介绍了网格资源管理和传统的搜索引擎技术，然后在P2P搜索引擎技术的基础上，提出了一种更加有效的网格搜索引擎技术——网格对等搜索。     

基于P2P技术的高性能计算平台

给出了一个基于对等网络的高性能计算平台———P2HP的设计与实现技术.构建了该平台的总体结构,它由Portal,Datapool,工作台和工作组组成,给出了这些组成单元的设计方法和实现技术,并在此基础上分析了平台的性能.由于具有全新的通信方式,平台扩展了程序级并行应用的范围.通过对该平台的设计分析,提出了一种利用Internet中的计算资源进行高性能计算的新方法.实验证明该平台具有良好的扩展性和容错性.     

网格技术在图像处理中的应用研究

简要介绍了网格技术在图像方面的应用,并且遵循WSRF规范、基于GT4开发工具包设计和实现了一个方便快捷的开发平台GBuilder.同时,在给出了网格环境下的图像处理时序图的基础上,实现了图像填充和着色处理两个应用实例.通过这两个应用,验证了基于GBuilder平台网格环境下网格应用开发的实用性和网格技术在分布式高性能计算中的优势.     

基于Internet的网格计算模型研究

为了实现在地理上分散的计算资源共享,降低计算成本,提出了基于Internet的网格计算模型I－GRID及其实现方法。I－GRID是可以作为虚拟的整体而使用的广域异构计算环境,支持节点的动态加入,通过元数据信息实现异构节点之间的透明通信,利用对象技术实现单一映像文件系统,并提供与流行的并行编程软件的接口。雅戈比迭代的性能证明,I－GRID具有很好的可用性和较好的实时性。通过I－GRID的研究,将为校园网络用户提供统一编程接口的高性能计算环境。     

中国网格向纵深发展

介绍了国外超级计算机的开发和应用概况，论述了我国在超级计算机、网格及网格计算技术领域的研究、应用以及国际交流与合作的现状，指出了未来超级计算机的发展方向。     

计算网格质量评估方法

文章在总结消化了大量国内外有关计算网格质量评估研究成果的基础上,简要地介绍了和提出了二维和三维网格的质量评估方法,对提高计算效率的相关问题进行了一定的讨论．     

网格计算平台GBuilder下图像处理应用研究与实现

OGSA(开放网格服务体系架构)规范、OGSI(开放网格服务基础架构)技术标准以及基础平台GT3(Globus Toolkit 3.x)的研究实现使得开发网格应用成为可能,但是当前网格计算应用快速开发问题仍是困扰网格应用的关键问题之一.所提及的网格开发平台GBuilder正是基于此而构建的一个方便快捷的开发平台.网格计算的一个重要特点就是对强大计算能力的支持,通过网格节点对图像的快速计算处理和对实现结果的分析验证了基于GBuilder网格平台在网格环境下实现网格的可操作性和实用性.     

网格计算中的安全分析与实现

该文分析了网格计算中的安全问题与策略,并介绍了网格环境下典型的安全解决途径——GSI所涉及到的安全技术。