一种基于本体论的网格服务匹配方法

随着网格规模的不断扩大,如何更好地为用户的请求匹配最佳资源显得尤为重要.本文分析了基于本体论的各种服务匹配技术,提出了一种基于本体论的加权服务匹配方法,描述了服务的基本流程,给出了主要算法.所做工作为网格的服务匹配提供了新的思路.     

基于语义的web服务匹配算法研究与实现

随着Internet信息的迅速增长,快速而有效地查找网络信息成为获取网络信息的基础.为了实现高效查找web服务,提出一种基于语义的三阶段匹配算法,首先对web服务进行基于关键字的分类筛选,然后实现web服务基于语义的功能匹配,最后实现web服务的非功能匹配.实践证明,该算法能够提高web服务匹配效率.     

一种基于服务功能匹配的需求扩展方法

1引言 面向服务的体系结构（SOA）目前已经成为流行的软件设计架构。其中服务的独立性使不同服务提供商提供不同的业务功能。它在软件系统设计中具有较强的灵活性和适应性。     

一种使能异构web资源集成的高效本体匹配算法

为了提高本体匹配过程的性能,提出了一种能够有效减少冗余实体匹配操作的高效本体匹配算法rule-match.通过理论分析和证明,总结出了一组刻画实体匹配结果内在联系的匹配规则.基于这组规则,匹配算法可以在匹配过程中重用2个本体实体的匹配结果来直接确定其邻接实体的匹配结果,避免了对邻接实体所进行的不必要的匹配操作,从而提升整个匹配过程的性能.实验结果表明,相对于其他匹配算法,该算法不仅具有较高的准确率,而且能有效降低整个匹配过程所消耗的时间.该算法适用于解决实际异构web信息资源集成项目中所常见的大规模本体匹配问题.     

一种语义Web服务层次松弛匹配机制策略研究

在传统Web服务的中,基于关键词的Web服务匹配缺乏语义支持,搜索效率低.语义Web技术与Web服务的结合,开辟了语义Web服务的研究领域,本文以所提出的匹配策略为主线,围绕语义Web服务层次松弛匹配机制,依次展开服务类别、服务文本描述、服务功能、服务质量四个层次的匹配研究,实现了从语法相似度、语义相似度和QoS相似度上对Web服务的选择.     

语义web服务发现技术研究进展

在介绍了语义Web服务后,首先对语义Web服务的体系架构和当前比较著名的语义发现研究项目进行了比较,然后介绍了语义Web服务领域比较有代表性的服务发现方法,最后提出了存在的问题,并展望了进一步的研究方向。     

一种基于领域本体的启发式web服务组合方法

为了实现web服务的自动组合,提出了一种基于领域本体的启发式算法.该方法将领域本体与人工智能规划方法相结合,利用领域本体及其推理能力,推理出参数间的语义关系,在此基础上运用人工智能规划的启发式算法将web服务组合问题转化为规划问题加以解决.实验结果表明,该方法弥补了以往人工智能规划方法中缺乏语义的不足,综合考虑了服务语义、服务组合质量和服务组合效率等因素,能高效地自动生成满足用户需求的组合web服务.     

BPM组合服务匹配算法优化研究

智能制造中BPM需要匹配符合要求的服务实现服务组合。目前服务匹配研究主要集中在对单个服务的匹配,而对于组合服务匹配的研究相对较少。如何从服务库中找到满足服务模型要求的服务组合是目前服务匹配研究的难点。为加快匹配搜索速度,引入索引机制,并给出基于索引机制的组合服务匹配算法,再对算法进行模拟并给出对比算法匹配时间结果。实验结果表明,基于索引机制的组合服务匹配算法能显著加快匹配速度、提高匹配效率。     

一种面向业务领域的web服务发现方法以及支撑框架

针对UDDI关键字匹配带来的服务发现精度低,以及难以从功能相同的多个web服务中选择合适服务的问题,提出一种新的面向业务领域的web服务发现方法和相关框架.当用户请求服务时,根据功能请求从实际服务中抽取出服务簇,然后由业务信息属性等非功能性属性进行协商,确定出适合的服务并与用户请求绑定,而整个发现过程对用户来说都是透明的.通过建立一个基于旅游领域的原型系统IPVita来测试和支持此框架.     

基于语义与QoS全局感知的web服务组合

针对服务组合流程,提出了语义与QoS全局感知的服务组合.在全局语义匹配过程中,既考虑了全局匹配,又考虑了从QoS角度进行匹配.当对服务组合有全局语义满足及QoS约束要求时,在全局范围里选择满足整个服务组合流程的QoS约束和语义匹配度要求的具体服务集,并实现服务组合的优化解.建立了全局匹配的QoS模型及其评价方法,基于该模型及评价方法,采用遗传算法实现全局语义匹配度最大化及满足用户的QoS指标需求.实验结果和分析表明,基于语义与QoS感知的服务匹配算法是可行和有效的.     

语义Web服务前提与效果功能匹配研究(英文)

为了解决语义Web服务匹配方法主要针对服务IO描述的匹配, 导致匹配结果较为片面的问题, 提出了一种基于描述逻辑的语义Web服务IOPE描述及匹配方法. 具体使用描述逻辑概念标注服务IO, 以描述逻辑断言库刻画服务PE. 进行服务匹配时, 利用描述逻辑TBox概念包含检测确定服务请求与广告IO之间的包含关系; 利用描述逻辑ABox一致性检测推理, 判断服务请求与广告PE之间的逻辑蕴含关系; 依据此蕴含关系, 将PE匹配情况划分为4种, 即Exact, Perfect, Side-effect和Common匹配, 用以对匹配结果进行有意义的排序. 实验结果表明, 所提方法在召回率与现有方法相当的情况下, 具有更高的查准率.     

自适应服务组合中基于语义相似度及面向任务的服务发现算法(英文)

为了实现自适应和高效的Web服务组合, 提出了一种面向任务的服务发现算法. 将传统的服务组合过程划分为语义上的发现和功能上的匹配, 并将任务作为操作对象, 利用语义相似度从候选服务中寻找与给定任务相匹配的服务, 并生成对应的TWC图, 同时针对新服务设计更新算法. 将该方法应用到服务组合模型中, 搜索TWC图以得到一条最优的路径作为服务组合结果输出, 并能在服务失效时做出实时的更新以完成服务请求. 实验结果证明了算法的可行性和有效性, 也表明当最大搜索半径取2时, 服务数量和质量之间可达到平衡.     

贫困地区农村大龄未婚男性的议婚经历、认知与计划——以冀北调查为基础

在婚姻为常态的中国社会,贫困地区农村的大龄未婚男性为完成婚配面临着沉重压力和诸多困难。议婚是完婚之前的关键环节,它很大程度上直接决定未婚男性能否完成婚配。利用2010年冀北农村调查数据,分析贫困地区农村大龄未婚男性的议婚经历、认知和计划,研究发现:未婚男性严重缺乏包括自主谈对象和被介绍对象在内的议婚机会,议婚经历少,议婚持续时间短;未婚男性认为个体和家庭的经济条件劣势是自身议婚失败的最主要原因;未婚男性的议婚计划与议婚准备之间存在差距,具有"意愿和计划强于行动和准备"的显著特点。年龄因素显著影响议婚计划:年龄越大,有议婚计划的可能性越小。议婚认知结果暗示贫困地区农村大龄未婚男性将失婚归咎于社会并威胁社会安全的可能性较低。     

Function oriented service composition modeling

Formal models for service composition have been proposed with the variation of the requirements of service developers. Some famous models have provided checking and verification techniques and tools for the behavior of service composition. These models generally focus much on the message flow of web services and neglecting the data contained in the exchanged messages among services, which restrict the application range of these models and also the web service techniques. As new kind of services with different protocols and communication methods have appeared, it is needed to model service composition from a new view which is adapted to the new development in service area. In this paper we offer a function oriented model of service composition which treats the composite service as a software system and specify the function of services which can be directly used to the realization by service providers.     

Function oriented service composition modeling

Formal models for service composition have been proposed with the variation of the requirements of service developers.Some famous models have provided checking and verification techniques and tools for the behavior of service composition.These models generally focus much on the message flow of web services and neglecting the data contained in the exchanged messages among services,which restrict the application range of these models and also the web service techniques.As new kind of services with different p...     

基于贝尔曼动态规划的服务恢复决策方法

基于面向服务的架构（SOA）,针对可控分布式信息系统中服务的特点并借鉴服务组合思想,详细分析了信息系统的典型服务过程,提出一种基于贝尔曼动态规划的服务恢复决策算法.通过逻辑层网络自组织和评价标准制定2个步骤,将服务恢复过程中恢复决策问题转化为人工智能领域的规划问题,并对此规划问题使用贝尔曼动态规划算法,解决了确保服务质量（QoS）的前提下,最优服务恢复方案制定与应急响应路径选择问题.仿真实验验证了方法的最优性与合理性,算法复杂性理论分析及与传统方法的性能对比均表明了该方法的高效性.     

知识时态逻辑有界模型检测中的完备性(英文)

为解决限界模型检测的完备性问题,研究了完全界的计算问题,给出了完全界的上近似计算.首先,在线性时态认知逻辑中引入过去时态算子,得到新的时态认知逻辑LTLPK,从而可以紧凑自然地描述系统的可靠性规范;其次,依据图结构理论,设计了一套深度优先算法计算出系统的最大可达深度和最长无循环路径的长度;最后,以定理的形式给出了最大可达深度和最长无循环路径的长度与完全界的关系,得出了完全界的一种上近似估算.所做工作有效地解决了限界模型检测中的完全界计算问题,从而保证了限界模型检测的完备性.     

Adaptive service configuration approach for quality of service management in ubiquitous computing environments

Mobility and resource-limitedness pose challenging issues to service configuration for quality of service （QoS） management in ubiquitous computing environments. Previous configuration approaches, such as static resource reservation, dynamic resource allocation and single service composition are not valid in the environments. In this study, we present an adaptive service configuration approach. Firstly, we reduce the dynamic configuration process to a control model which aims to achieve the variation of critical QoS on minimal level with less resource cost. Secondly, to deal with different QoS variations, we design two configuration strategies--service chain reconfiguration and QoS parameter adjustment--and implement them based on fuzzy logic control theory. Finally, a configuration algorithm is developed to flexibly employ the two configuration strategies in tune with the error of critical QoS in configuration process. The results of simulation experiments suggest that our approach outperforms existing configuration approaches in both QoS improvement and resource utilization.     

否定的逻辑语义解释

从谓词逻辑的角度探讨内部否定的语义实质，发现否定作为一种认知手段其作用对象是命题论元具有的某种属性或论元之间存在的某种关系，而不是表达命题的语句中的句法成分。