基于服务分组和调用轨迹的Web服务组合验证方案

针对Web服务组合的有效性验证问题,提出了一种基于服务分组和调用轨迹的Web服务组合形式化验证方案。首先,基于服务调用顺序,利用提出的Web服务集分组(WSSG)算法将候选Web服务划分为几个子集,并结合调用轨迹编排这些子集组成WSSG图,作为系统的抽象模型;然后,推理出系统所需的预期交互规范,并利用线性时序逻辑(LTL)来描述交互规范;最后,通过检测模型是否符合交互规范来验证组合模型的可行性。实验结果表明,该方案能够有效验证Web服务组合的正确性,且避免了死锁现象。     

基于BPEL的Web服务组合仿真

介绍了Web服务组合实际应用中存在的问题,提出了基于工作流引擎的Web服务组合仿真思想.在分析BPEL的Web服务组合机制的基础上,利用开源的Active BPEL Designer工具建立BPEL流程, 实现了对智能卡注册过程业务中服务组合的仿真.     

基于XCFG的BPEL数据流属性分析与验证

 BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证方法,利用XCFG对BPEL流程进行形式建模,设计相应的算法来分析和验证典型的数据流属性,如定义-使用一致性,无死锁和可达性.理论分析和实验均表明该方法是有效的.     

一种基于消息的网格与Web服务调试机制

本文提出了一种新的服务调试机制,给出了相关的服务调试规则和调试器结构.这一机制采用标准的服务消息协议处理调试命令请求和响应,采用具有服务行为操作语义的控制逻辑管理服务执行状态和行为断点,采用元级表示法处理相关服务调用执行过程中的上下文元素.在服务调试过程中,这种方法通过自标识检测有效地避免了多个服务调用调试可能产生的相互影响,为网格与Web服务提供了一种多对多在线调试方法.服务行为迁移调试处理方法扩展了常规调试技术和工具的使用范围,并使其更方便有效地用于服务行为的源码级调试.本文还介绍织女星服务调试器(Vega Service Debugger)原型系统组成及其特点.     

基于 K-means 的云化分布式 BPEL 引擎放置机制

针对分布式BPEL引擎在云中的放置问题开展研究,提出了一种基于K-means的分布式BPEL引擎放置机制,该机制将BPEL引擎放置问题模型化为相关最优化数学模型,并且将该模型映射到K-means算法进行求解。该机制还讨论了算法在不同网络拓扑随机图、树形网络拓扑的应用。最后利用统计软件R进行了相关实验仿真,仿真结果显示该放置机制可优化服务调用所占用的带宽资源。     

基于BPEL和Drools的车间调度研究

现代企业的应用程序和信息已成为公司相当重要的资产,大多数企业都希望此应用能够提供业务流程全面的支持.这就意味着应用程序和业务流程应该紧密结合,然而,应用程序的每次修改都会减少其结构对其未来变化的鲁棒性.基于对业务流程通信便捷性的目的,本文采用实例验证的方法,结合Drools优化车间调度问题,用Web Sevices 和BPEL加以实现,并以机械加工流程为例加以验证,得出了BPEL和Drools结合能够较好实现加工流程的多服务调用和交互和通信的结论.     

一种基于与或关系的Web服务组合算法研究

Web服务组合的有效性取决于实时的网络环境,若仅提供一种较优的Web服务组合结果,在组合失效时需要重新提出服务组合请求.采用基于与或关系的Web服务组合算法,在筛选和匹配相关服务的同时,逐步生成以与或形式描述多种组合结果的Web服务组合图.通过对图的访问,可获取尽可能多的组合结果.若一种组合不可用,可有条件地选择其他的组合替代,提高了服务组合的请求与生成的效率.通过一个实例演示了这种方法的有效性.     

基于SOA的毕业信息管理系统的设计与实现

以SOA为系统架构指导思想,对毕业信息管理系统进行系统设计,根据对系统的功能分析,提出了系统的业务架构模型、逻辑架构模型,并对系统具体业务流程进行设计,在设计的基础上以JSP为平台、以JAVA作为编程语言开发了毕业信息管理系统,探讨了基于JSP的Web服务的实现和调用以及服务的编排,最终以服务集成的方式完成系统的开发。     

Web服务提供方安全模型的分析与设计

讨论了Web服务提供方的安全问题,通过对Web服务调用方式的分析,为Web服务的提供方设计了安全模型.所设计的模型不依赖于服务提供方选用的安全策略,方便策略的更改和安全检查机制的更新.该模型同样适用于Web服务的需求方.     

基于SPARQL-DL的语义Web服务查询

语义Web服务发现是当前Web服务研究领域的热点,其核心研究内容是服务描述及相应的发现方法.服务描述分为请求描述与发布描述,发布描述具有描述完整,信息丰富的特征,而服务请求描述仅关注服务的部分特征,通常不构成一个完整的服务描述.现有方法使用相同机制进行请求描述与发布描述,以比对请求与发布中对应部分的同一性或相似性作为匹配依据.构建假想的完整服务描述作为服务请求既不合理也难以实施,从而限制了方法的实用性.本文提出以语义Web查询语言SPARQL-DL作为服务请求描述语言,以OWL-S作为服务发布描述语言,将服务发现问题转化为知识库的查询,从而进行有效的服务发现.通过实验,证实了该方法具有实用性强,简单可靠的特点.     

一种基于图立方体的移动对象网络压缩算法

针对大规模移动对象网络在构建图立方体的过程中产生的大量浓缩图,引入了图压缩的思想,提出了进一步压缩浓缩图的算法MC-compress,用来合并浓缩图中顶点和相应的边.通过将图中相邻的两个顶点进行合并,再比较两条边合并后权重的最大差异度,从而找出最优的合并顶点对,最终产生构建压缩图的超级顶点和超级边.通过压缩图结构,加快了在图立方体上查询图结构的显示过程,减少了构建图立方体过程中存储大量浓缩图的空间.     

基于图卷积网络的手指静脉识别方法研究

针对传统手指静脉识别方法往往存在识别率低或者计算量大等问题，本文提出一种基于轻量型图卷积网络的手指静脉识别方法。首先用一个加权图描述一张手指静脉图像，图的顶点特征和加权边集分别由指静脉图像的局部方向能量特征和特征间相关性确定。图数据作为输入，经过基于切比雪夫多项式的图卷积层和由图粗化协助的快速池化层，然后全连接层进行特征整合，再进行分类识别。实验结果显示，该方法识别效率远高于传统算法，并在实验室自制手指静脉数据库达到96.80%的识别率，在不同数据库有较好的普适性。      

加权T图的几种化简运算

本文首先给出加权Ｔ图的几种化简运算，然后证明这几种运算于网的某些结构性质保持不变，从而为加权Ｔ图的化简及综合提供了有效途径。     

由Signless Laplacian谱确定的一类奇单圈图

为了探讨一类奇单圈图的Signless Laplacian谱惟一的的问题,利用图与其线图之间的关系,图与其多项系数之间的关系以及图与其同谱图之间的关系,证明了Signless Laplacian同谱图的一个重要的的结构,即:恰含一个奇单圈图的Signless Laplacian同谱图也是一个连通奇单圈图。在此基础上证明了一类奇单圈图的Signless Laplacian谱惟一性,确定了此类奇单圈图的结构。     

基于图论的人脸图像数据降维方法综述

近几年基于图论的降维方法越来越得到人们的关注,本文针对人脸识别中的核心问题即对高维数据进行降维的目的,首先介绍了有关图论的基本概念,通过总结各种人脸图像降维的方法,将这些方法统一到图嵌入框架中。然后结合线性与非线性的角度分析了各种算法的优缺点,得出了非线性图嵌入算法在挖掘人脸图像中的非线性特征以及在数据降维方面均优于传统的方法。最后针对现有的构图方式所存在的问题对今后的研究与发展方向进行了讨论。     

有向图上k步可达查询处理

给定一个有向图,一个k步可达查询u→?kv用来回答在该图中是否存在一条从顶点u到顶点v且长度不大于k的有向路径。k步可达查询是一种基本的图操作并在过去十年间被广泛地研究。已有的k步可达查询算法仍存在许多弊端,例如不可达查询效率低,索引规模大和索引构建时间长等。本文针对上述问题提出了2种优化方法,分别是基于互逆拓扑序号以及基于等价顶点的图压缩方法.前者提高了不可达查询的效率,后者减少了索引规模和索引构建时间。实验结果表明,本文提出的方法可以有效地处理k步可达查询,并支持大规模数据的处理。     

任意有向图的最小K边连通扩充

本文研究了以最小边集扩充一个任意有向图为K边连通有向图这一优化问题。提出了一个复杂度O(|V|5)的有效算法。该算法为可靠网络的计算机辅助设计打下了基础。     

图嵌入方法与应用:研究综述

图模型越来越广泛地应用于数据管理、知识发现和信息服务等问题中,图嵌入作为图分析和应用的重要技术手段,成为了人工智能领域研究的热点之一.本文从图嵌入研究中面临的挑战出发,主要介绍了基于矩阵分解、基于随机游走和基于深度学习的图嵌入方法.接着,介绍了图嵌入方法常用的测试数据集、评测标准和典型应用.最后,总结了图嵌入未来研究的趋势和方向.     

基于图染色思想的RFID防冲突算法研究

针对射频识别技术(RFID)存在多个阅读器同时传输数据容易产生冲突的问题,提出了一种基于图染色理论的防止冲突的算法。该算法利用图的染色算法将可能存在冲突的阅读器染成不同的颜色,使得每种不相同的颜色不能同时获得相同的时隙,降低了多个阅读器同时传输数据产生冲突的可能性。分析表明:采用该算法明显地降低了阅读器之间的冲突率,同时得到最小的时隙数,提高了信道利用率,为RFID防冲突算法提供了一种新的解决方案,同时为基于TDMA的广播调度模式也提供了一种新的时隙分配方式。     

基于图分割的流应用多处理器映射算法

为了充分利用多处理器平台所提供的计算资源,需要将应用以适当的方式映射到不同处理器,从而最大程度地挖掘应用所提供的并发性以满足应用严格的实时性要求。提出了并发图来量化、建模应用任务间的并发性,提出了一种基于自同步调度的并发图构建算法,并将任务映射问题转换成图分割问题,然后将并发图分割问题建模为纯0-1整数线性规划模型并采用ILP求解器获得最优解。采用了大量随机生成的同步数据流图以及一组实际应用对所提方法进行性能评估,实验结果表明所提方法性能优于已有算法。