检索结果-内蒙古大学图书馆

第六届中国计算机学会服务计算学术会议

作者：王新颖何克清吴钊熊伟彭珍连湖北文理学院数学与计算机科学学院湖北襄阳441053 武汉大学软件工程国家重点实验室湖北武汉430072 湖北文理学院数学与计算机科学学院湖北襄阳441053 武汉大学软件工程国家重点实验室湖北武汉430072

服务发现能力是有效应用Ad Hoc网络的基本要求.在分析现有的Ad Hoc网络服务发现方法基础上,提出一种基于路由和位置感知的Ad Hoc网络服务发现方法.该方法基于AODV路由协议,将服务发现和路由发现合并为一个过程,在路由发现的同时进行服... 详细信息

服务发现能力是有效应用Ad Hoc网络的基本要求.在分析现有的Ad Hoc网络服务发现方法基础上,提出一种基于路由和位置感知的Ad Hoc网络服务发现方法.该方法基于AODV路由协议,将服务发现和路由发现合并为一个过程,在路由发现的同时进行服务发现,能提高服务发现效率,降低消息开销;又由于在服务回复消息中引入了经纬度位置信息,可以帮助请求节点感知发现距离自己最近的服务提供者,达到快速救援目的.实验结果表明,与同类的服务发现方法相比,该方法在时延、消息开销方面具有较大的优越性.

关键词： Ad Hoc网络服务发现能力路由位置感知

来源：评论

学校读者我要写书评

暂无评论

基于标注的业务过程合规性验证方法

引用

计算机应用 2014年第7期34卷 2115-2123页

作者：龚平冯在文福建师范大学数学与计算机科学学院福州350007 软件工程国家重点实验室(武汉大学) 武汉430072

当前,企业的业务活动受到越来越多的来自政府法律法规、行业标准及自身内控制度的规范约束。如何确保支撑企业业务活动的过程感知系统是合规的已成为信息系统(IS)研究领域的热点问题。确保过程模型的合规性是实现过程感知系统的合规性... 详细信息

当前,企业的业务活动受到越来越多的来自政府法律法规、行业标准及自身内控制度的规范约束。如何确保支撑企业业务活动的过程感知系统是合规的已成为信息系统(IS)研究领域的热点问题。确保过程模型的合规性是实现过程感知系统的合规性的重要前提。针对过程设计阶段过程模型的合规性,扩展前期关于语义标注过程模型的可执行性分析的工作,提出了基于标注的合规性验证方法。方法包括:合规性规则模式的标注表达式生成和基于合规性标注的过程模型的可执行性分析方法。合规性标注表达式描述了规则所关联的活动及其相应的合规性约束,对合规性验证的调试及运行时合规性检测评估能起到有效的支持作用;合规性标注的过程模型的可执行分析方法是利用满足性求解器对合规性信息标注后的过程模型是否可执行进行求解。通过银行开户的流程案例,证明了上述方法的有效性。

关键词：业务过程管理合规性验证标注表达式过程模型满足性求解

来源：评论

学校读者我要写书评

暂无评论

基于语义和改进BM算法的Web服务发现

基于语义和改进BM算法的Web服务发现

引用

第五届中国计算机学会服务计算学术会议

作者：王新颖何克清熊伟彭珍连湖北文理学院数学与计算机科学学院湖北襄阳 441053 武汉大学软件工程国家重点实验室湖北武汉 430072 武汉大学软件工程国家重点实验室湖北武汉 430072

随着面向服务计算模式的快速应用,越来越需要高效准确的Web服务发现机制.针对目前基于关键字和语义匹配的服务发现方法存在查全率和查准率不高的情况,提出了一种基于语义和改进BM算法的Web服务发现方法.该方法首先进行语义Web服务发现,... 详细信息

随着面向服务计算模式的快速应用,越来越需要高效准确的Web服务发现机制.针对目前基于关键字和语义匹配的服务发现方法存在查全率和查准率不高的情况,提出了一种基于语义和改进BM算法的Web服务发现方法.该方法首先进行语义Web服务发现,当语义匹配结果为空时,采用改进的BM算法进行模式匹配作为补充,弥补了单纯语义服务发现不足的缺点,有效解决了由于Web服务的名称、输入、输出和功能描述在概念上存在字面上的歧义而导致语义服务匹配失效的问题.实验结果表明,该方法在查全率和查准率方面具有较大的优越性.

关键词：网络服务发现机制 BM算法语义相似性

来源：评论

学校读者我要写书评

暂无评论

基于概念层次的业务流程本体化

基于概念层次的业务流程本体化

引用

第五届中国计算机学会服务计算学术会议

作者：黄颖何克清冯在文黄贻望赣南师范学院数学与计算机科学学院赣州市中国341000 武汉大学软件工程国家重点实验室计算机学院武汉市中国430072 武汉大学软件工程国家重点实验室计算机学院武汉市中国430072

业务流程的敏捷性和持续有效性对企业的竞争力的影响很大.但是对现有业务流程管理系统的检测发现,目前业务流程之间缺乏足够的语义信息,尚不能满足需要.本文提出结合概念层次作为背景知识,将业务流程本体化.在构建流程本体的时候结合背... 详细信息

业务流程的敏捷性和持续有效性对企业的竞争力的影响很大.但是对现有业务流程管理系统的检测发现,目前业务流程之间缺乏足够的语义信息,尚不能满足需要.本文提出结合概念层次作为背景知识,将业务流程本体化.在构建流程本体的时候结合背景知识有以下两大优势:(1)加速了OWL本体的构建,减少了转换代价;(2)背景知识可以指导用户从数据库中提取何种知识.为了验证本文方法,使用金本位方法,以SAPR/3部分销售订单流程参考模型为例,验证了本文提出的业务流程本体方法创建切实有效.

关键词：企业管理业务流程本体化模式概念层次

来源：评论

学校读者我要写书评

暂无评论

基于Google Earth API的典型GIS功能开发方法

引用

地理空间信息 2014年第4期12卷 55-57,9页

作者：喻静敏游兰吴华意武汉大学测绘遥感信息工程国家重点实验室湖北武汉430079 湖北大学数学与计算机科学学院湖北武汉430062

探讨了基于Google Earth API开发部分典型GIS功能的方法,并进行了原型系统开发。该方法在原始Google Earth API基础上扩展实现了几何查询、地图要素的创建和编辑、矢量栅格数据浏览等典型GIS功能,能够满足用户对地图数据的操作需求,用... 详细信息

探讨了基于Google Earth API开发部分典型GIS功能的方法,并进行了原型系统开发。该方法在原始Google Earth API基础上扩展实现了几何查询、地图要素的创建和编辑、矢量栅格数据浏览等典型GIS功能,能够满足用户对地图数据的操作需求,用户体验良好。

关键词： Google Earth API GIS开发 JavaScript

来源：评论

学校读者我要写书评

暂无评论

复杂软件系统的软件网络结点影响分析

引用

软件学报 2013年第12期24卷 2814-2829页

作者：汪北阳吕金虎软件工程国家重点实验室(武汉大学) 湖北武汉430072 长江大学计算机科学学院湖北荆州434023 中国科学院数学与系统科学研究院系统控制重点实验室北京100190

目前一些研究利用复杂网络理论揭示了软件网络的特性,为人们从系统的角度了解软件的结构提供了方法.但这些研究的一些结论却与软件的实际表现有着较大的差异.分析了软件网络结点的特性,揭示了产生上述差距的部分原因;并提出一种加权软... 详细信息

目前一些研究利用复杂网络理论揭示了软件网络的特性,为人们从系统的角度了解软件的结构提供了方法.但这些研究的一些结论却与软件的实际表现有着较大的差异.分析了软件网络结点的特性,揭示了产生上述差距的部分原因;并提出一种加权软件网络模型,以更准确地描述软件网络结点间的依赖关系;在这个加权软件网络模型的基础上,分析了软件的实际依赖关系及几个统计特性;分析了各统计特性与软件网络结点影响的关系;进一步提出了软件网络关键结点的概念;同时,在分析各种结点影响的基础上,提出了4个合理的假设;最后,通过对两款软件的实验来验证这4个假设的有效性.

关键词：加权软件网络复杂软件系统软件结构软件缺陷传播软件维护

来源：评论

学校读者我要写书评

暂无评论

基于模型聚类算法的领域问题本体构建

引用

小型微型计算机系统 2013年第1期34卷 29-33页

作者：余敦辉何克清李兵武汉大学软件工程国家重点实验室武汉430072 湖北大学数学与计算机科学学院武汉430062

基于领域目标模型语义相似性计算,对领域资产库中的领域目标模型进行相似性聚类,然后根据领域中角色、目标、过程以及服务这四类模型之间的关联关系实现角色模型、过程模型以及服务模型的聚类.从而将一些在业务上存在因果联系、或者在... 详细信息

基于领域目标模型语义相似性计算,对领域资产库中的领域目标模型进行相似性聚类,然后根据领域中角色、目标、过程以及服务这四类模型之间的关联关系实现角色模型、过程模型以及服务模型的聚类.从而将一些在业务上存在因果联系、或者在功能上相互依赖、相互制约的模型组织在一起,形成一个领域问题.最后抽取每个聚类中的模型的基本信息生成领域问题本体,从而为利用领域问题本体实现对领域模型进行有效组织和管理奠定了基础,为云计算环境下面向服务的应用系统的构建提供了更便利的支撑.

关键词：网络化软件领域模型语义相似性模型聚类算法领域问题本体

来源：评论

学校读者我要写书评

暂无评论

一类基因表达式程序设计的若干收敛定理及其推广

引用

小型微型计算机系统 2013年第3期34卷 606-610页

作者：陈明丁立新余建平湖南师范大学数学与计算机科学学院长沙410081 武汉大学软件工程国家重点实验室武汉430072

基因表达式编程算法(或称基因表达式程序设计)的基因型/表现型双实体为之带来许多不同于传统演化算法的优势,但建立其Markov模型时,我们须在两者之间作出权衡.为简化遗传算子概率结构的分析,本文以基因型空间为搜索空间,研究一类GEP在... 详细信息

基因表达式编程算法(或称基因表达式程序设计)的基因型/表现型双实体为之带来许多不同于传统演化算法的优势,但建立其Markov模型时,我们须在两者之间作出权衡.为简化遗传算子概率结构的分析,本文以基因型空间为搜索空间,研究一类GEP在宽松条件下的收敛性.首先,针对由基因型-表现型映射所致的多峰适应值函数,重构带精英保留策略的GEP的Markov链模型转移矩阵.然后,通过建立依概率收敛速度的精确表达式、估计其上界,证明了算法依均值收敛、几乎必然收敛甚至完全收敛至全局最优值.与之前的严格假设下的若干结论相比,本文的模型更匹配算法的特性,收敛性结论更强且最优状态子集更小.另外,上述精确表达式也可以推广至自适应演化算法.

关键词：基因表达式程序设计完全收敛几乎必然收敛依均值收敛依概率收敛有限Markov链

来源：评论

学校读者我要写书评

暂无评论

BM算法中函数shift的研究

引用

计算机应用 2013年第8期33卷 2379-2382页

作者：韩光辉曾诚武汉商业服务学院信息工程系武汉430056 湖北大学数学与计算机科学学院武汉430062 软件工程国家重点实验室(武汉大学) 武汉430072

建立BM算法中函数shift及其构造算法的严格的形式理论,对于BM算法及其各种变形的研究与改进是十分必要的。给出了shift的一个清晰的形式定义,引入模式串后缀的特征集及其最小值函数,通过特征集描述了shift的构造,从而严格建立了shift及... 详细信息

建立BM算法中函数shift及其构造算法的严格的形式理论,对于BM算法及其各种变形的研究与改进是十分必要的。给出了shift的一个清晰的形式定义,引入模式串后缀的特征集及其最小值函数,通过特征集描述了shift的构造,从而严格建立了shift及其构造算法的理论基础。根据shift的构造定理与最小值函数的迭代计算方法,给出了shift的一个新的构造算法,证明了该算法具有线性的时间与空间复杂度。理论分析和计算结果表明,该算法比已有算法更简单,计算复杂度更低,因而更适合硬件实现。

关键词：串匹配 BM算法好后缀规则 shift函数复杂度分析

来源：评论

学校读者我要写书评

暂无评论

基于RGPS服务本体交互建模分析与验证

引用

小型微型计算机系统 2013年第3期34卷 461-465页

作者：黄贻望何克清李征黄颖袁科武汉大学软件工程国家重点实验室计算机学院武汉430072 铜仁学院数学与计算机科学系贵阳铜仁550025 南开大学信息技术科学学院天津300071

在动态、异构和自治的互联网服务环境中,对WEB服务组合的形式化分析与验证是保证按需服务应用的有效途径,寻找有效的形式化分析方法和工具是热点领域.针对现有研究主要是集中于服务组合流程和静态结构方面,而在动态反映用户需求的服务... 详细信息

在动态、异构和自治的互联网服务环境中,对WEB服务组合的形式化分析与验证是保证按需服务应用的有效途径,寻找有效的形式化分析方法和工具是热点领域.针对现有研究主要是集中于服务组合流程和静态结构方面,而在动态反映用户需求的服务组合及支持服务的动态耦合存在不足.本文从服务本体的语义层面,通过对OWL-S进行RGPS属性扩充,研究SOA架构模型映射到Pi演算的进程模型,对动态耦合的按需服务组合进行形式化分析并用Pi演算验证工具MWB进行验证.实验结果表明方法的可行性,为按需动态服务组合的有效性分析提供了一种验证方法.

关键词： RGOWL-S Pi演算进程 RGPS

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：