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

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

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

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

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

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

基于内存混合复制方式的虚拟机在线迁移机制

虚拟机VM(Virtual Machine)在线迁移技术(Live Migration)充分利用虚拟化技术的灵活性和封装性,有利于实现大规模虚拟化环境中负载的动态调整以及应用的灵活部署.已有的在线迁移机制存在内存迭代收敛、迁 移数据冗余以及客户操作系统不透明等问题.文中结合内存推送复制以及按需复制两种方式,提出了...     

开放的限制理论

本文基于开放逻辑理论，建立了一阶谓词限制理论的知识增长、更新及理论进化的开放的限制理论，给出了谓词限制理论中新假设、事实反驳及伪事实反驳、Ｃ－重构、Ｃ－认识进程及其极限的定义，讨论了它们的性质并证明了有关的定理，进而描述了限制理论的动态特征－Ｃ－认识进程，证明了其极限定量，并比较了它与一般认识进程及限制理论的关系。     

开放的缺省理论

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

基于角色的群体感知模型

群体感知理论的研究与应用是计算机支持协同工作的重要研究内容之一.在研究分析了当前群体感知模型研究工作现状的基础上,提出了一种基于角色的群体感知模型.该模型通过分解群组任务,把群组成员扮演的角色细化,对成员的具体活动进行基于角色的集合划分,并根据角色之间的差别程度来确定成员对不同活动的感知强度.最后对该模型的实现机制和应用领域进行了分析,并讨论了下一步研究中需要解决的若干问题.     

基于SAML的协同电子商务安全服务系统

如何提高跨企业边界的安全信息互操作性,为电子商务交易提供协同安全服务,是目前电子商务安全服务研究的重点和难点。针对该问题,给出了一种基于SAML的安全数据交换服务和基于该服务的面向企业应用协作的协同电子商务安全服务系统。该系统采用了统一的基于XML的安全数据描述、服务访问接口定义和安全上下文传递;首次提出了基于SAML的数据交互服务,并以此为基础,构造了协同电子商务安全服务,不仅能够提供以企业为边界的关键资源保护,还可为跨企业的电子商务应用提供协同安全服务;基于SAML的安全数据交换服务提供了丰富的编程接口,企业遗留安全系统经过少许编程,就可以在其提供的服务的基础上,实现与其他安全系统间的数据互操作。     

基于有穷自动机的网络扫描检测算法研究与实现

网络扫描通常是入侵的前奏，准确的检测网络扫描可以对网络入侵起到重要的预警作用．现有的网络扫描检测机制都过于简单且易于被攻击者逃避．提出了一种基于有穷自动机模型检测网络扫描的入侵预警算法（FSA-based intrusion pre—alert algorithm，SBIPA），用自动机状态迁移图表达扫描报文序列，同时设计了3种不同的机制基于自动机模型对扫描事件进行检测，并讨论了算法实现中的关键技术．实验表明，该算法能在更准确的检测普通扫描的同时，对分布式、多类型混杂扫描等现有技术难以检测的隐蔽扫描也有很好的检测效果。有效弥补了现有同类技术的不足．     

NDBS：一个非单调数据库系统

1.引言自七十年代末期,Gallair等人首先从一阶谓词逻辑角度给出了关系数据库的模型论和证明论模型,奠定了逻辑成为数据库的理论基础。根据模型论观点:查询和完整性限制被视为在真值语义下的解释环境中的求值;根据证明论观点:查询和完整性限制均为待证明的定理。而且基于逻辑的数据库研究促进了人工智能与数据库的相互渗透,推动了数据处理与知识处理的统一。