【摘 要】
：
为了敏捷、有效地调整动态环境下的组合服务,系统地提出一种面向语义Web的组合服务结构化演化方法EM4CS。EM4CS方法采用OWL-S语言描述的组合式语义Web服务为研究对象,将组合
【机 构】
：
同济大学测量与国土信息工程系,中国水产科学研究院东海水产研究所渔业资源遥感信息技术重点开放实验室,中国人民解放军理工大学全军网格技术研究中心
【基金项目】
：
国家863项目（2007AA092202）, 国家高技术研究发展计划（863计划）（2009AA12Z214）, 国家自然科学基金（40801060）资助
论文部分内容阅读
为了敏捷、有效地调整动态环境下的组合服务,系统地提出一种面向语义Web的组合服务结构化演化方法EM4CS。EM4CS方法采用OWL-S语言描述的组合式语义Web服务为研究对象,将组合服务演化过程划分为3个部分、6个阶段,分别从演化需求获取、演化需求形式化表示、语法一致性维护、语义一致性维护、演化结果确认和演化结果发布与传播6个方面覆盖组合服务演化周期。EM4CS方法从系统工程的角度分析组合服务演化过程,以迭代求精的方式逐步实现演化需求,同时维持服务描述语法和语义的一致性。介绍了遵循EM4CS方法的组合服务
其他文献
现有的非刚体三维运动重建算法很难根据不同的场景、不同的非刚体来寻找不同的形状基,这种情况对重建过程产生了很大的影响,造成模型失真。为了解决这一问题,提出一种基于Murkowski距离连续的非刚体三维运动恢复算法,该算法根据在高速分解的图像序列中帧与帧之间的运动参数与特征点位移变化都呈现连续平缓的物理特性,在Murkowski距离约束的情况下,将运动结构参数通过非线性优化的方法来进行求解,最终得到非
理发师问题是计算机科学中多系统进程间通信和同步的经典问题之一,研究者们多在原始版本基础上进行扩展,形成较多版本,没有考虑问题语义变化产生的新问题。从生活原型和问题
声誉是一种新型的信任建立机制,在P2P网络中,利用基于声誉的信任机制可以孤立劣质节点,选择更为可信的节点进行交互,以规避和减少风险。针对目前研究中存在的与网络结构耦合
从分析现有Vague值之间的相似度量的缺陷出发,给出一种Vague集相似度量新定义,试图解决该问题,并提出Vague集相似度量新公式。应用实例显示,该公式是实用的。
随着网上应用商店规模的高速发展与功能的不断完善,在网上应用商店的基础上建设学习软件分享平台既可以节约大量的成本,又可以更好地利用现有的资源。在整个移动学习软件分享
基于视频图像的火焰检测是火灾预防研究的重要内容。为提高检测效率,首先使用具有自适应背景变化的高斯混合模型(GMM)来检测场景中的运动物体。然后针对运动物体,提取颜色特征和面积变化特征。最后,根据得到的特征来识别场景中是否有火焰发生。该方法不仅可有效检测到视频中的火焰帧,还避免了非火焰场景中对计算时间的浪费。
针对在线学习中的算法效率问题,提出了一种增量式类内局部保持降维算法。该算法综合考虑了基于QR分解的降维算法与保类内Fisher判别分析法的优点,根据训练过程中新增的样本进行投影矩阵在线更新,克服了传统的批量式训练方法在线学习时计算量过分冗余的缺陷。同时,通过兼顾输入样本的局部结构和全局分布状态,使得该算法能够有效地应用于多簇、重叠的数据形态。在ORL人脸库和COIL20图像库上的实验表明,该增量式
整形漏洞（Integer-based vulnerability）是一种存在于C或C＋＋代码中的漏洞,具有极其严重的破坏性。2006年CVE指出缓冲区溢出漏洞呈下降趋势,而其他一些漏洞,如整形溢出、符号转换
提出了一种基于矢量活动轮廓模型的扩散张量脑胼胝体图像分割算法,其利用矢量Chan-Vese模型构造了控制轮廓线演化方向的矢量符号压力函数,并将向量范数形式用于表达脑胼胝体组织的扩散张量各向异性,给出了具有全局与局部分割特性的矢量活动轮廓模型。10组真实大脑扩散张量图像分割结果表明,该算法对脑胼胝体结构的分割精确、稳定。
在标准模型下的适应性选择消息不可伪造攻击（UCMA）安全模型中,Paterson和Schuldt（PS）构造了双线性映射群中基于计算DH难题的基于身份数字签名算法。PS算法直接利用两组独立的Wate