基于Agent协商的语义Web服务知识模型

在面向服务的应用中引入语义协商的思想,使服务Agent能够在Web服务部署、发布、发现和组合过程中共享服务知识.并且具有足够的自治和理解能力.通过描述抽象和具体的语义Web服务以及分析服务Agent之间的交互过程,提出了适合协商的服务Agent和服务知识模型,并给出了服务Agent之间信念知识修正和更新的方法,形式化描述了协商过程中服务Agent的角色和行为以及针对服务属性的语义协商协议.实验结果表明,在服务发现过程中使用这种服务知识模型及语义协商交互协议,能够显著改善服务Agent的理解能力.随着部署的具体服务数和协商的服务属性数增加,返回服务发现结果的时间有所延长,但其精确度有了明显的提高.     

一种语义Web服务的自动发现算法研究

介绍了一种语义Web服务的自动发现算法.将Web服务匹配过程从对Service Profile的输入和输出的匹配扩展到时Service Profile的前提和效果的匹配,增强了Web服务的功能查询,并为Web服务的自动执行和组合提供了前提条件.     

一种集成网络化与智能化的供应链技术创新模式研究

研究在供应链环境中，应用Web服务和Agent技术的网络化与智能化的集成创新模式．该模式可以及时匹配顾客供需服务，实时地协同供需关系．Agent技术使得Web服务具有一定的智能特性，能够按照任务特点设置意图和承诺，直到完成供需服务；而Web服务技术又使得Agent实现了供应链系统的网络化，Agent无须考虑企业系统平台异构情况，实时地协调Web服务，重置和执行工作流任务，从而达到供应链协同、集成管理的目的。     

一种基于最小覆盖的复杂Web服务组合方法

针对复杂Web服务的组合问题,提出了基于最小覆盖的Web服务组合方法(CWSCM).该方法从需求目标出发,将逻辑理论中的逻辑函数化简的最小覆盖思想运用于基于本体的多层交服务匹配的过程之中,从而建立了最小服务匹配集合,同时构造了优化的有序服务组合图,并将该图的形式化表示保存于扩充的Web服务描述之中,以便复用.实验表明,CWSCM可成功地组合复杂的Web服务,保证服务组合的成功率和效率,当组合满意度接近70%时,组合服务的成功率最高,而满意度对组合效率的影响比较小.     

基于语义Web的地理信息服务自动发现与组合研究

本文研究了基于语义Web的地理信息服务自动发现与组合的关键技术:OWL-S的语义地理信息服务描述、扩展UDDI支持OWL-S地理信息服务描述、几何距离的相似度计算地理信息服务匹配算法和基于多Agent的语义地理信息服务组合。     

基于行为一致性匹配面向组合流程的服务发现

面向组合流程的服务发现是一个组合流程的实例化过程,通过该过程可以得到组合服务.提出了基于行为一致性匹配面向组合流程的服务发现方法.该方法通过行为一致性的概念建立了服务行为与角色行为需求间的行为语义匹配关系.将面向组合流程的服务发现问题转换为以路径识别为基础的树匹配问题.提出了相应问题的求解算法.实验表明,所提出的服务发现方法能够有效地保证所发现服务的业务完整性及服务与组合服务间的行为一致性,且具有良好的时间效率.     

语义Web服务匹配模型的研究与实现

以Web服务为组织形式的软件服务以及不同区域的服务匹配已成为现代化网络的一种主流应用模式,通过现有的研究基础把零散的语义Web服务按照要求进行有效复合、相容组合,可以实现不同组织的业务集成．本文主要结合Web服务的本体语言OWL—S的三个层面,深入到每层的服务匹配、服务质量的研究,提出的语义Web服务多层次匹配模型,旨在实现Web服务从功能、行为和数据结构的匹配．     

基于Web服务组模型组合方法的研究

本文针对带有分支和汇合结构的并发关系的服务组合问题,提出了一种基于语义匹配的web服务组（WSC）模型,该模型能够描述多个前驱服务或多个后继服务同时需要被组合的并发组合关系以及顺序组合关系。在此基础上,扩展基于服务链组合方法,提出一种基于服务组链的服务组合方法,最后通过实验和分析证明本文方法的有效性。     

基于概率时间自动机Web服务质量的形式化建模分析

针对拓展的Web服务体系结构, 利用概率时间自动机（probabilistic timed automata, PTA）对Web服务组合进行形式化建模, 将Web服务组合的过程理解为一个实时系统的运行过程, 进而对Web服务组合的整体服务质量（quality of service, QoS）进行定量分析, 从而克服了已有Web服务质量研究方式主要集中在对单个Web服务分析评估上的局限性, 在整个分析过程中充分考虑Web服务组合执行过程所具有的随机性和不确定性, 具有较高的可信度. 通过实验说明了建模分析方法的可行性, 并证明了采取相应的服务选择策略有助于提高Web服务组合的成功率.     

依赖知识的服务组合算法

针对面向服务的体系结构中Web服务和服务组合技术在下一代互联网和云计算领域中的应用问题,提出了一种依据知识对原子服务进行组合的3步服务组合算法,分为相邻节点连接匹配、断枝节点清理和原子服务组合3个步骤.相邻节点连接匹配就是完成相邻的服务节点之间连接匹配,将所有允许的连接都存入弧的连接链表中.通过断枝节点清理,删除所有没有连接的候选原子服务,因为在候选队列中会存在许多断枝服务节点.通过原子服务组合,从清理过断枝节点之后的剩余候选服务中整理出服务组合实例.实验表明:算法可以实现服务的自动化装配,不需要用户参与服务调用过程,通过原子服务间的可连接性以及知识模型生成服务组合实例,从而实现原子服务数量和检测范围的有效控制.     

WAP（Wireless Application Protocol）应用技术探讨

根据WAP协议的总体开发原则和技术思路,研究WAP的应用模型,在此基础上分析了WAP协议栈的结构及各层提供的服务,探讨WAP在GSM移动通信系统中的应用,并展望其发展前景。     

嵌入式移动IPv6协议栈的设计

下一代网络协议标准是IPv6,为了实现嵌入式设备在IPv6网络中的移动性和不间断通信,设计一种精简的移动IPv6协议栈具有重要意义. 根据国际标准化组织IETF制定的移动IPv6协议的标准RFC 3775,结合嵌入式设备自身的特点,采用模块化思想和精简功能的方法对协议栈进行了设计. 协议栈的整体设计方案符合移动IPv6规范,满足嵌入式设备的性能要求.     

嵌套移动子网路由优化方案与性能分析

IETF在移动IPv6(MIPv6)基础上制定的网络移动性(NEMO)协议规范中,嵌套移动子网的数据传输存在次优路由和多层封装,影响数据包的传输效率.为此,该文在层次移动IPv6(HMIPv6)的基础上,提出了嵌套移动子网的优化方案HRO,引入MAP域优化节点的位置管理,建立优化路由传输数据包.提出路由评估机制,建立了传输开销和传输效率的解析模型.解析结果显示,与NEMO基本支持协议相比,优化后的方案提高了数据包传输效率,更有效地利用了网络资源.     

A Forward Integrity and Itinerary Secrecy Protocol for Mobile Agents

0 IntroductionMobile agents are programs that can autonomously mi-grate from host to host in a network. Mobile agenttechnologies are expectable as distributed processingtechnolo-gy of the next generation. Moreover , many agent systemshave appeared bythe spread of Java. Mobile agents are an ef-fective choice for many applications ,for several reasons[1 ,2],including i mprovements in latency and bandwidth of client-server applications and reducing vulnerability to network dis-connection.When ca…     

一种基于MLD代理的移动组播方法与性能分析

移动组播是移动互联网络技术的一个研究热点,但现有移动组播方案存在着组播中断时间长、协议开销大等问题.针对这些问题,该文提出了一种基于MLD代理的移动组播方法.该方法在家乡代理上实现简化MLD代理功能,减少协议开销;在移动节点上扩展MLD功能,减少组播中断时间.另外,为了解决移动组播隧道聚合问题,还提出了一种隧道合并重构机制.通过理论分析计算了该方法的组播中断时间和协议开销.结果表明,同其他移动组播方法相比,该方法能够缩短组播中断时间,减少协议开销.     

基于数字预畸变的UMTS功率放大器线性化技术

提出了适用于UMTS系统上行线路的基于查阅表数字预畸变的功放线性化技术 .通过仿真和测量可以看出 ,数字预畸变可以将邻道功率比性能改善 10dB .尽管这一性能的改善并不是UMTS标准所必需的 ,但它能减少功率放大器的工作点回退 ,或者降低对功放线性特性的要求 ,从而增加功放的效率 .     

稳定的有领航者的多移动agent群集运动控制

对具有二次积分动态的多移动agent跟随领航者（Leader）取得群集（Flocking）运动编队进行了研究．提出了一个分散控制方法对多移动agent进行分散控制,并通过理论证明得到以下主要结论：a．所有agent速度方向收敛到同一方向并与领航者保持一致;b．所有agent速度大小收敛并与领航者相同;c．互连的agent之间没有碰撞发生;d．所有agent的人工势场函数被最小化．用图论模型表示agent之间的相互作用及通信关系,对固定的网络拓扑,控制互连拓扑是固定的、时不变的,运用传统的李亚普诺夫理论进行了稳定性分析．最后,给出了一个计算机仿真例子对所得结论进行了验证．仿真结果表明,控制策略可以保证所有agent的速度大小和方向收敛到与Leader保持一致,同时避免碰撞,并保持一个紧凑的编队．     

一个基于agent组织的web服务集成框架

针对现有的web服务组合框架和流程缺少智能性及自适应性,无法实现自动组合,建立一种基于agent的web服务组合框架,分析了框架中各层的功能,并详细给出组织agent模型和角色agent设计.通过该框架可以构造开放的、分布式、动态的服务组合系统,初步解决了服务组合中系统效率低和缺乏自适应等问题.与现有的方法相比,该服务框架使得服务组合模型具有适应环境动态变化的能力.     

基于扩展投影时序逻辑的组合Web服务描述与验证

针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成部分的一次不可分割的消息交互抽象为一个原子过程.用扩展投影时序逻辑公式描述原子过程,用扩展投影时序逻辑操作符定义过程组合规则、连接过程描述公式,得到组合Web服务描述公式.通过模拟组合Web执行,可验证组合Web服务满足系统的需求和性质,为提高组合Web服务设计的可靠性提供了依据.     

WAP协议的不同应用

自从WAP论坛在1998年推出了第一版WAP规范后,WAP协议在移动终端上的应用立即得到了长足的发展.在WAP规范中,WAP论坛提出了许多不同的服务,各个移动终端生产厂商在开发自己的产品时各自有不同的策略.这篇文章阐述了Motorola公司和Nokia公司在对WAP协议的应用上的不同.