基于时态描述逻辑的Web服务行为匹配

来源 :高技术通讯 | 被引量 : 0次 | 上传用户:menhuitou89
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
服务的行为匹配在服务自动发现中扮演重要角色,本文分析了Web服务的行为描述要求和服务行为自动发现的特点,建立了服务行为的语义标注和描述框架;给出了服务行为的语义建模方法;通过使用描述逻辑时态扩展的方法匹配服务行为,实现了基于服务行为语义描述和匹配的Web服务自动发现。
其他文献
在四元数方法的基础上建立了一种非线性捷联惯导系统(SINS)误差模型。该误差模型无需对姿态误差角进行小角度假设。在该SINS误差模型中,采用四元数表示姿态矩阵,速度误差模型为非
从MODIS影像数据中提取归一化差值植被指数(NDVI)和条件植被覆盖率(VCR),并将其与研究区域内的相同空间位置实测地下水数据进行对比分析,在此基础上对黄河中上游区域适宜于植被生长的地下水位埋深进行了研究。结果表明:研究区适宜于植被生长的地下水位埋深范围为0.8~4.5m,最佳水位是1.2m。在干旱地区,在研究大尺度地下水与地表植被环境关系上,用此研究方法可取得较好的效果。
从有助于实现Web服务的自动发现及最优选择的角度,从聚类分析和关联挖掘两个方面研究了数据挖掘技术在Web服务组合领域中的应用。仿真研究表明:根据服务之间的语义相似性,包括基
【摘 要】在平时的课堂中,我们往往会发现也许我们的课堂上会出现很多的突发事件,而我最欣赏的就是不但能够化解危机,更能够因势利导更好的转入课堂,从而对学生进行适时教育。我们思政课也应该多多学习,打破死气沉沉的满堂灌模式,打造机智课堂,发挥学生的主体地位。  【关键词】老师;学生;主体;引导;课堂  在平时的课堂中,我们往往会发现也许我们的课堂上会出现很多的突发事件,而我最欣赏的就是不但能够化解危机,
介绍了谱消除法、小波变换和数学形态学滤波三种信号处理方法进行消噪的基本原理,并分别采用这三种方法对微机械陀螺的静态漂移信号和动态仿真信号进行了去噪声处理,对处理前
基于C形转向的仿生学研究和简化物理模型,建立了鱼形机器人快速转向的运动学方程,分析了体干中线运动步态和鱼体质心的运动规律。计算了鱼形机器人的转动惯量、驱动力矩和阻
提出了一种由计算力矩控制器和神经网络补偿控制器相结合的机器人控制方案,探讨了用线性神经网络补偿机器人计算力矩不确定性误差的方法。推导了网络权值的自适应调整律,并证
利用苏家屯地震台的电磁辐射数字化分钟值资料研究了地震前电磁辐射前兆异常现象。发现地震前观测到的电磁辐射超低频电场与磁场出现明显的短期日变异常;超低频电场幅度从120m