开放的缺省理论

本文基于开放逻辑理论，给出了缺省理论Ｔ＝＜Ｄ，Ｗ＞扩充Ｅ的新假设，事实反驳、ｅ－重构、ｅ－认识进程及其极限等概念的意义，讨论了Ｗ变化时新扩充的变化规律，并证明了相关的定理，本文还建立了缺省理论的一个动态描述过程，证明了其极限是某一特定问题的经验公式集，最后与相关工作进行了比较。     

多自治域协同环境中群组通信的安全访问控制

支持多自治域协作的安全通信环境是大规模分布式应用的基础,群通信由于高效、可伸缩等特点,成为这种协作环境的一种基本通信方式．然而,由于没有集中的控制中心,实体分别隶属于异构的自治域且动态变化,引发了大量新的安全访问控制问题．针对多域协作的异构性和动态性特点,提出一套基于角色的分布式信任管理的解决方案,重点解决了动态联合授权以及基于属性的委托授权．在此基础上建立了一套较完整的安全通信体系,包括安全策略的协商、信任证的颁发、信任证与安全策略的一致性验证以及用户访问权限论证等．它为多域协作环境的群通信提供了更加灵活、可靠、安全的访问控制模式．     

DTM:一种面向网络计算的动态信任管理模型

在开放的互联网中,信任关系的建立是实现跨自治域资源共享与协同的前提.然而,网络计算环境的分布自治特性,使得各类复杂系统中应用不同的信任管理机制,容易导致信任定义的不一致问题,特别是很多系统为支持多域协作,直接假设实体间信任具有传递特性,而在模型中缺乏该性质成立的条件;此外,网络计算环境中的动态演化特性,使得驱动实体间协作的信任关系随需而变,而现有信任管理模型仅仅关注于系统功能结构,缺乏对这种动态性的描述.文中提出了一种动态信任管理模型DTM,基于信念公式形式化定义了主体间的信任公式,并将信任的传递特性(信任链)解释为模型的一条性质.在该模型中,针对信任关系的动态特征,以时间为参量刻画主体公式集,以事件为触发条件刻画主体间信任的变化,并基于正则事件序列描述信任管理的资源授权过程,可刻画主体间信任的建立过程.最终,设计、实现了一个信任管理系统CROWN-TM,并进行了初步实验分析.     

一种支持端到端QoS的服务网格体系结构

随着网格技术研究和应用的不断深入,缺乏服务质量保证已成为制约网格应用的瓶颈之一.如何建立一个开放的、可扩展的体系结构,是当前支持端到端服务质量的服务网格体系结构研究的重要问题.提出了支持服务质量的服务网格层次体系结构(QESA),并通过对网格服务容器、信息服务与调度服务的服务质量扩展实现了该体系结构,设计了基于资源能力管理与服务预留的服务质量保证方法,讨论了服务质量感知的服务发现和服务调度的实现机制.通过中尺度天气系统降水量预报的网格应用(AREM)对其进行了性能评价,结果表明,基于QESA的服务网格中间件可为网格作业提供确定的服务质量保证能力.     

Web Service运行管理平台的研究与实现

Web Service技术为异构应用之间的集成和互操作提供了有效的解决手段,目前多数Web Service平台仅支持SOAP消息的解析,尚未考虑SOAP的多种绑定方式、安全扩展保证和多种功能实现方式的集成等共性处理需求。因此,提出并研制一个层次化的Web Service运行管理平台,通过抽象出运行时对象作为Web Service共性问题处理的基础,设计可配置、可扩展的链式处理结构满足Web Service处理需求的变化,并提供集成不同业务功能的统一接入方式,成为支撑基于Web Setvice应用的基础和关键。