国家重点基础研究发展计划(2007CB310805)
- 作品数：34 被引量：295H指数：8
- 相关作者：陈旺虎陆君安李婧刘晖吕金虎更多>>
- 相关机构：中国科学院武汉大学中国科学院研究生院更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术天文地球理学自然科学总论更多>>
- 最终用户编程中的业务流程相似度计算被引量：5
- 2011年
- 为了改善业务流程推荐的准确性和最终用户编程的效率,提出了一种互联网环境下面向最终用户编程的计算业务流程内容与结构相似度的方法。使用分支限界算法计算业务流程的控制流关系矩阵间的最小编辑距离,得到结构相似度;计算以业务流程为文档的特征向量间的相似度,得到内容相似度;以最终用户编程平台中实际业务流程为例,验证了该方法的有效性。
- 公帅熊锦华刘志勇
- 关键词：最终用户编程相似度计算软件工程软件开发
- 复杂动态网络的有限时间同步被引量：8
- 2009年
- 复杂网络无处不在,同步是自然界中广泛存在的一类非常重要的非线性现象.过去10年,人们对复杂网络的同步开展了系统而深入的研究,包括恒等同步、广义同步、簇同步以及部分同步等.上述大部分结果中对同步速度的刻画往往是渐进的,只有当时间趋于无穷的时候,网络才能实现同步,而对于网络能够在多长时间内可以实现同步却知之甚少.作者以几类典型的非线性耦合的复杂动态网络为例,深入探讨了复杂动态网络的有限时间同步的规律.具体而言,基于上述几类典型的复杂动态网络,证明了在某些合适的条件下,网络能够在有限时间内实现精确同步.此外,用一个典型的数值仿真实例验证了上述有限时间同步的准则.有限时间同步有效地避免了网络只有在无穷时刻才能实现同步的问题,对网络同步的实际工程应用具有基本的现实意义.
- 陈姚吕金虎
- 关键词：复杂网络无向图
- 一种基于自动服务组合的快速流程建模工具
- 设计并实现了一个基于自动服务组合的图形化快速流程建模工具,能够通过分段服务组合查询以及灵活拼接生成可执行的WS-BPEL流程.与其他相关建模原型系统相比,该工具具有更好的易用性.性能评估表明该工具可以明显提高流程建模的效...
- 马环宇姜伟虎嵩林
- 关键词：业务流程建模自动服务组合WS-BPEL
- 文献传递
- 基于抽象服务模型提高Web服务匹配的适应性被引量：2
- 2009年
- 为提高Web服务匹配方法对业务需求变化性和服务差异性的适应性,提出一种抽象服务模型以及该模型驱动的Web服务匹配方法。模型通过对多样性和具有差异性的服务的统一描述,刻画了影响服务具体能力的接口和行为属性,可基于模型检验思想,有效支撑适应性的服务匹配。本方法已应用于构建面向科学计算领域的问题求解环境。实验和应用表明基于本模型可以提高服务匹配的适应性。
- 陈旺虎李婧
- ARCA：一种应用可靠性及补偿代价敏感的Web服务选取方法
- 2009年
- 提出了一种应用整体可靠性和补偿代价敏感的Web服务选取方法。该方法基于应用的逻辑特性来评估应用的交互点对于应用整体可靠性和补偿代价的影响,并获取相应的影响因子。在此基础上,结合反映用户偏好的服务质量向量的规约完成Web服务的选取。分析及实验结果表明,该方法从服务使用者和应用系统两个角度出发,在保证服务使用者偏好的基础上,可弥补现有方法在保证应用整体可靠性和降低系统补偿代价方面的欠缺。
- 陈旺虎李婧
- 关键词：可靠性
- 复杂网络的同步：理论、方法、应用与展望被引量：27
- 2008年
- 复杂网络随处可见,如互联网、电力网络、商业网络、生物神经网络、社会关系网等.这些复杂网络与我们的生活息息相关,对它们的深入研究不但会促进许多重要科学分支的发展而且可能引起人类社会生活方式的根本变革.同步是自然界中广泛仔在的一类非常重要的非线性现象,复杂网络展示了丰富多彩的网络同步现象.在过去10年里,不同研究领域的学者从不同的角度广泛而深入地开展了复杂网络同步的研究.本文简要的回顾国内外过去10年在复杂网络同步领域的主要研究进展,包括理论、方法、应用与展望,试图推进国内复杂网络同步的研究.
- 吕金虎
- 关键词：复杂网络
- 企业集成模式组合建模方法被引量：3
- 2011年
- 针对先进制造领域中业务系统集成和服务快速封装问题,提出了一种企业集成模式的组合建模方法。定义企业集成模式单元以描述企业集成模式,支持业务系统功能的调用和模式化的消息处理;采用企业集成模式组合方法实现业务系统间的消息路由功能;使用Petri网描述模式组合,并给出组合的正确性验证算法;实现了企业集成模式建模工具MixEIP,支持以配置的方式构建企业集成模式组合。实验结果表明,该方法不仅提高了集成系统的建模效率,还具有较快的消息处理速度。
- 陈皓梁英唐皓虎嵩林
- 关键词：消息处理企业服务总线
- MINI--一种可减小变更影响范围的本体演化算法被引量：19
- 2008年
- 本体演化会影响依赖本体的服务,使其重新修订和重新部署.面对同一变更需求,不同演化实现方法造成的影响范围差别很大.当前的本体演化研究主要集中在如何实现变更需求以及维护变更前后本体的一致性,对于如何降低演化影响范围关注甚少.文中提出了一种可以有效减小变更影响范围的本体演化算法MINI.该算法首先分析了本体实体和服务之间的依赖关系并提出了量化变更影响范围的数学公式.根据这一公式,MINI算法将本体演化过程转变为图的启发式搜索过程,通过搜索一条影响值最小的变更路径来减小本体演化的影响范围.实验结果表明,MINI算法导致的平均变更影响范围大大小于现有的本体演化算法.该算法已在某实际项目中得以应用和验证.
- 刘晨韩燕波陈旺虎王建武
- 关键词：本体演化
- 异结构动力网络的脉冲控制及其优化
- 近几年来,复杂网络的脉冲控制已经成为研究热点之一。目前一般都是给出稳定域的充分条件,然而,究竟在稳定域中怎样选择优化的稳定点,目前还没有看到这方面的研究。本文研究了单个系统脉冲控制优化问题和异结构动力网络脉冲控制的优化问...
- 刘砚青陈娟陆君安
- 关键词：脉冲控制
- 文献传递
- 复杂网络的同步：理论、方法、应用与展望
- 复杂网络随处可见,如互联网、电力网络、商业网络、生物神经网络、社会关系网等。这些复杂网络与我们的生活息息相关,对它们的深入研究不但会促进许多重要科学分支的发展而且可能引起人类社会生活方式的根本变革。同步是自然界中广泛存在...
- 吕金虎
- 关键词：复杂网络
- 文献传递
