教育部“新世纪优秀人才支持计划”(NCET-05-0186)
- 作品数:2 被引量:4H指数:2
- 相关作者:李先贤杜宗霞怀进鹏郭慧鹏张巍更多>>
- 相关机构:北京航空航天大学更多>>
- 发文基金:教育部“新世纪优秀人才支持计划”国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于启发式搜索算法的网格信息查询优化被引量:2
- 2008年
- 如何提高网格信息系统的查询效率是提高网格性能的关键问题之一。在基于资源分类树(将计算资源按其属性和数值组织成平衡二叉树)的网格信息系统中,资源分类树深度过大,搜索效率就会降低。针对该问题,提出基于启发式搜索算法的查询优化方案并成功应用于原有的查询系统。给出具体的算法、实验步骤及结果分析。实验结果表明,采用启发式搜索可以提高网格查询系统的查询效率。
- 张巍李先贤
- 关键词:启发式搜索算法查询优化
- 一种具有正确性保证的组合Web服务自动合成方法被引量:2
- 2009年
- Web服务应用中一个富有挑战性的关键问题是:如何自动组合已有的Web服务并保证组合的正确性,如没有死锁和未指定的接收以及时态约束等.在现有的研究中,需要在先给出组合服务的详细规范的基础上,进行形式化验证保证设计的正确性,这使得组合过程既复杂又低效.文中提出一种新的、具有正确性保证的自动服务组合方法,并给出相应的服务组合原型系统.该方法基于L~*算法实现组合服务的自动构造,并且将服务行为的正确性约束贯彻于构造过程,从而自动保证组合服务的正确性.证明了提出方法的正确性和完备性,并提出了优化技术减少组合时间,提高效率.最后,实现了一个自动服务组合原型系统,实验结果验证了该方法的有效性.
- 怀进鹏邓婷李先贤杜宗霞郭慧鹏