面向多服务交互的相容性分析与适配器生成

针对已有服务适配方法大多只考虑两个服务交互的简单场景且不支持BPEL代码的自动生成的问题,提出了一种面向多个服务交互的适配器自动生成方法。在通过对有限自动机进行扩展以建模服务的签名和行为信息的基础上,给出了分析多个服务之间相容性的方法。对于不相容的情况,定义了适配器模型的语法和操作语义,给出了适配器模型的自动生成算法,并对得到的适配器模型进行约简以支持适配器BPEL代码的自动生成。通过一个实例分析说明本文所提方法的可行性。     

面向粗粒度需求的服务组合优化方法

针对用户缺乏专业知识,往往只能给出粗粒度的需求,提出了一种基于粗粒度需求的服务组合优化方法.该方法把满足用户某一粗粒度需求的服务实例抽象为一类服务集合,依照业务流程关系将不同集合联系起来形成可行解;结合用户具体的功能需求,将不同服务集合内的服务实例科学地组合起来,形成满足功能需求且具有最优QoS指标的服务集合,并与具备复合功能的服务进行比较,最后形成优化解.实验结果表明:与传统方法相比,该方法综合考虑了用户的现实需求与系统的负载,合理地实现了服务组合的优化,满足了用户的需求,符合现实情况.     

基于任务类知识需求模板和用户模型的知识需求研究

为了解决企业知识共享和再利用过程中遇到的困难,首先利用ontology将异构知识源进行有效的集成,给出了基于ontology的异构知识源集成框架.然后利用任务类知识需求模板和用户模型的相互作用,建立了用户知识需求模型,实现知识的自动供给,为企业员工提供个性化服务.还给出了任务类知识需求模板和用户模型的自学习算法.最后给出了一个验证实例.     

隐私感知的Web服务信任模型

为了统筹考虑web服务中信任评估与隐私保护的要求,提出了一种隐私感知的web服务信任模型,并给出了基于该信任模型的web服务选择机制,从而帮助用户在满足服务质量的基础上选择能更好地保护隐私的服务实例;设计了基于相关性的属性选择和权值确定方法,以使web服务信任模型更加通用,适应不同的应用环境;基于实测数据上的实验结果验证了所提信任模型的有效性.     

基于活动序列的服务二元行为模式及操作语义

组合E-服务是电子商务开发部署中被广泛关注的问题,行为需求的刻画、建模是服务设计开发的重要步骤,分析和验证服务行为满足用户特定需求则是保证服务可信的关键工作.已有分析服务行为研究中,行为需求都是LTL类逻辑规范或MSC类图式规范,前者基于活动的,后者基于场景的.现在提出一种新颖的基于活动序列的行为规范概念,该概念的粒度介于活动和场景概念之间,目的是便于直接表达某些行为需求,针对活动序列设计了"序列前提、序列因果和序列嵌入"二元行为模式,用模式来刻画基于活动序列的活性和安全性,其结果是行为需求表达更为简洁,将这些模式映射标记传递系统LTS,精确刻画了行为模式的操作语义,为需求验证提供基础,最后给出实例分析.     

基于智能体的OWL-S过程模型验证

为保证基于OWL-S的web服务组合的正确性和可靠性,对OWL-S过程模型进行时态和认知属性的验证.将原子过程视为单个服务作为Agent,将组合过程抽象为多智能体系统,把对OWL-S过程模型的验证转换成对多智能体系统的验证.提出了OWL-S语言的形式化模型OWL-S2FSM,设计从OWL-S2FSM到模型检测工具MCTK输入语言之间的转换算法,并应用MCTK对多智能体系统的规范进行验证.实验结果表明,该方法可以有效地验证多智能体系统的时态属性和认知属性.     

基于接口自动机的服务组合方法

基于接口自动机(Interface Automata,简称IA)的原理,提出了基于IA的Web服务组合设计方法,每一个Web服务对应一个IA模型,并使用IA的组合表示服务组合,当用户需求发生变化时,可以重新构建IA和组合IA,当需求稳定后,通过查找IA组合使用的路径就可以找到Web组合的方法,使用本文的方法可以快速生成满足用户需求的新应用系统。     

一种惯导观测数据仿真的实现方法

为了满足惯性导航和GNSS/INS组合导航对性能测试和算法验证的需求,提出一种简便的惯导观测数据仿真的方法,用于在室内仿真生成运动载体上的惯导器件的测量值。运用数学仿真的方法,在分析载体运动特点的基础上,给出了载体轨迹和姿态参数的计算方法,建立了惯导器件的观测数据及主要误差项的数学模型,并说明了惯导观测数据仿真方法在硬件平台上的具体实现过程。采用惯导软件接收机进行闭环测试,实验结果表明,该方法能生成正确的惯导观测数据。     

面向语用Web服务的QoS评价模型研究

QoS在语用Web服务提供过程中担负着重要的角色.该文提出了一种语用Web服务质量评价模型,在满足服务的功能需求同时,满足其QoS要求;给出了模型的基本定义,并采用QoS评价树的方法描述QOS评价属性之间的关系.为了反映不同属性在QoS评价中所占的比重,对QoS评价属性引入权重概念,给出一种基于信息熵的样本统计计算权重值的算法.     

基于加权多特征参数模型的动态频谱接入方法

为尽可能满足认知网络系统对认知用户多种类型业务的传输需求,提出了一种基于信道加权多特征参数模型分组聚类的动态频谱接入技术. 通过建立可接入信道的加权多特征参数模型,采用多目标聚类实现信道的频谱池分组划分,以实现认知用户频谱的动态接入,满足认知用户业务传输对频谱性能的需求. 通过多特征参数组合、动态频谱仿真实验验证,结果表明该方法可有效地实现信道的性能划分,提高认知用户的频谱接入效率和业务传输性能.     

User preferences-aware recommendation for trustworthy cloud services based on fuzzy clustering

The cloud computing has been growing over the past few years, and service providers are creating an intense competitive world of business. This proliferation makes it hard for new users to select a proper service among a large amount of service candidates. A novel user preferences-aware recommendation approach for trustworthy services is presented. For describing the requirements of new users in different application scenarios, user preferences are identified by usage preference, trust preference and cost preference. According to the similarity analysis of usage preference between consumers and new users, the candidates are selected, and these data about service trust provided by them are calculated as the fuzzy comprehensive evaluations. In accordance with the trust and cost preferences of new users, the dynamic fuzzy clusters are generated based on the fuzzy similarity computation. Then, the most suitable services can be selected to recommend to new users. The experiments show that this approach is effective and feasible, and can improve the quality of services recommendation meeting the requirements of new users in different scenario.     

一种多用户MIMO/OFDMA系统的资源分配和调度方案

针对下行多用户多入多出／正交频分复用系统,提出了一种适合多业务类型的资源分配和调
度算法. 综合考虑了不同业务类型的服务质量需求,根据用户的信道条件、吞吐量和队列状
态确定调度优先级;结合用户信道的空间相关性进行用户选择、功率分配和比特加载. 通过
充分利用空、时、频多用户分集增益,在保证实时业务最小时延要求和非实时业务最小速率
要求的同时,最大化系统的吞吐量. 仿真结果说明,所提算法在系统吞吐量、丢包率及最
小速率满足率方面得到了改善.     

基于令牌的单点登录协议及其形式化分析

提出一种新的适用于分布式网络的单点登录协议，利用令牌将身份认证和服务授权结合起来由一个验证服务器实现，授权校验的同时进行密钥分配，实现了用户和应用服务器的双向认证，令牌使用户只需在登录网络时进行一次身份认证即可接入各应用服务器。从而提高了网络认证效率，同时使验证服务器不需要保存用户的状态，有效提高验证服务器的性能，采用BAN逻辑对该协议进行形式化分析表明，协议达到了认证和密钥分配的目标，具有较强的安全性。     

Web服务组合中基于QoS的自底向上服务替换

 为了适应开放环境中动态变化的Web服务资源,保证组合Web服务持续满足业务需要,提出一种支持QoS约束、基于自底向上的服务替换方法.从组合中需要被替换的单个服务出发,基于合成模式迭代地选出可以作为整体被替换的服务子图.使用历史数据及QoS约束对这些服务子图的备选替换服务进行筛选,并基于多属性决策方法（MADM）进行效能评估,最终选出满足全局QoS约束且使效能最大化的服务.实验结果表明,该方法能够有效扩大替换服务的选择范围,替换结果优于传统服务替换方法的结果,可以更好地保证组合服务的整体QoS指标得到维持和优化.     

LBS中面向K-匿名服务资源约束的匿名度调节算法

针对基于位置的服务(LBS)中的K-匿名机制以固定的最小匿名度为服务质量（QoS）指标,不能在计算资源允许的条件下为用户提供更高匿名度的问题,提出定义新的QoS指标——匿名结果集势指标R*,用于度量和约束匿名服务和LBS为用户的每次查询所平均消耗的计算资源,在此约束下选择可接受的匿名度. 从理论上分析匿名结果集势与匿名度的估算函数关系,据此构造相应的匿名度调节算法. 模拟实验的结果与上述理论函数关系吻合很好,证明本文的匿名度调节算法能够将匿名结果集势约束在给定值附近,实现了定义的QoS指标.     

认知无线网络中基于业务区分的多信道MAC协议

为了满足认知无线网络中认知用户的业务服务质量需求,提出了一种基于业务区分的多信道媒体接入协议(SD-MAC).根据授权用户的信道使用模型以及认知用户的业务类型,实时业务采用基于预约的接入机制,而非实时业务则通过采用基于竞争的接入算法实现信道共享.理论分析和仿真结果表明,所提出的MAC协议能够有效提高实时业务的吞吐率,保证较低的接入时延,从而有效地提升系统性能.     

基于服务组链的Web服务组合方法

针对带有分支和汇合结构的并发服务组合问题,提出了一种Web服务组(WSC)模型。WSC模型除了能够描述多个前驱服务或多个后继服务同时需要被组合的并发组合关系和顺序组合关系外,还能保证被组合服务的可执行性。在此基础上,扩展基于服务链组合方法,提出一种基于服务组链的服务组合方法。该方法能够采用统一的方式处理顺序服务组合问题和并发服务组合问题。最后通过实验和实例证明了本文方法的有效性。     

事件驱动的电信业务过程建模方法

通过分析电信业务过程中涉及的动作和事件的关键概念,提出一种基于扩展UML活动图的方法. 该方法通过事件驱动机制将动作和事件进行组合,使业务逻辑能正确响应来自网络的各种异步事件,而且能满足对电信业务过程建模的需求. 重点研究了UML活动图的扩展、事件驱动机制的模型描述和业务过程模型的执行机制.     

客户端上下文感知的Web服务QoS预测方法

识别用户客户端的上下文特征的差异性,有助于为新用户预测Web服务QoS,但现有研究缺乏对影响用户QoS体验的上下文特征的系统分析。提出了一种客户端上下文感知的Web服务QoS预测方法,该方法通过量化分析客户端的上下文特征,应用模糊层次分析法计算历史用户与当前用户的上下文相似度,并以该相似度结果为指导,结合协同过滤技术,以特征加权合成方法预测Web服务的QoS值。通过实验对比和分析可知,该方法能有效解决“新用户问题”,并提高Web服务QoS预测的精度。     

多阶段可用性Web服务组合管理框架

为提高Web服务组合的可用性,更好地满足用户的服务需求,提出一种基于多阶段可用性的服务组合框架。该框架通过对可用性管理进行阶段划分,为每个阶段设定可用性的度量参数和度量方法,并从整个服务组合生命周期出发,以实现可用性的验证。相关实验表明,该框架能够尽早发现服务组合中存在的错误,降低服务错误对用户产生的影响。