共查询到10条相似文献,搜索用时 156 毫秒
1.
为屏蔽制造资源的复杂性和异构性,实现异地、异构的制造资源整合与共享,向用户提供统一资源服务调用接口,分析云制造资源池业务流程和云制造资源组织模式,并提出以模块化的方式描述资源管理信息.在此基础上,构建制造资源的本体语义模型,使用OWL(Contology Web Language for Services),进行形式化描述;使用描述模版库和资源—服务映射器,实现资源服务化封装操作的简单化、自动化和规范化;使用OWL-S对制造云服务进行形式化描述,提供简便的服务注册、发布操作.采用基于语义相似度的服务搜索和匹配方法,并将云制造服务语义细分为功能语义、服务质量语义、数据语义和执行语义,使服务匹配快速、准确. 相似文献
2.
服务发现是联系服务提供者和服务请求者的重要环节,因此,服务发现机制的优劣是整个服务应用的关键.为了提供满足服务请求者服务质量需求的Web服务,在通过注册一组表示QoS分类信息的tModel来描述服务质量的信息的基础上,提出了一种支持QoS量化的服务发现模型.该模型利用混合多属性决策的方法,实现对功能相同或相似Web服务的QoS量化和区别.在此基础上利用平均绝对误差算法实现服务的匹配,选择出性能最好的服务返回给服务请求者,最大程度上满足服务请求者的需求,改善服务查找的性能. 相似文献
3.
4.
5.
为解决采用静态框架描述故障案例存在的问题,提出一种基于知网的软件故障案例语义表示方法.通过分析案例的语义匹配准则,给出表示方法的具体语法描述规范.在此基础上,结合实际案例,分析软件故障领域中实体、事件、属性和属性值4类义原及其相互关系,并用KDML语言进行统一描述.实验表明,与传统基于关键字的模糊匹配方法相比,采用基于... 相似文献
6.
7.
UML是一种可视化的图形语言,已成为面向对象方法中事实上的工业标准,得到了广泛应用.但是UML缺乏精确的语义描述,不便于使用工具对其进行分析和验证.形式化B方法基于严格的数学理论,按照抽象机的方式理解系统.为了使UML表达的语义更加明确,同时发挥形式化方法的优势,采用B方法对UML中的顺序图进行描述. 相似文献
8.
9.
视觉传感器在无人机室内定位中发挥着重要作用。传统基于特征点的视觉里程计算法通过底层亮度关系进行描述匹配,抗干扰能力不足,会出现匹配错误甚至失败的情况,导航系统的精度及鲁棒性有待提升。由于室内环境存在丰富的语义信息,提出了一种基于语义信息辅助的无人机视觉/惯性融合定位方法。首先,将室内语义信息进行因子建模,并与传统的视觉里程计方法进行融合;然后,基于惯性预积分方法,在因子图优化中添加惯性约束,以进一步提高无人机在动态复杂环境下的定位精度和鲁棒性;最后,通过无人机室内飞行试验对算法的定位精度进行了分析。试验结果表明,相较于传统的视觉里程计算法,该方法具有更高的精度和鲁棒性。 相似文献