国家高技术研究发展计划(2007AA01Z136)
- 作品数：11 被引量：146H指数：4
- 相关作者：陈闳中蒋昌俊李景霞孙萍余伟辉更多>>
- 相关机构：同济大学国家高性能计算机工程技术研究中心山西大学更多>>
- 发文基金：国家高技术研究发展计划国家重点基础研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 支持文件迁移的Linux检查点机制的实现被引量：5
- 2010年
- 在BLCR系统的基础上实现一种支持进程打开文件迁移的检查点机制,给出该机制的总体框架、关键技术、进程打开文件保存恢复、状态保存和恢复的流程。实验结果表明,该机制支持多线程、信号、进程打开文件及管道等的保存与恢复,无需重编译内核,对用户具有良好的透明性。
- 杨晖陈闳中
- 关键词：检查点机制
- 基于离散微粒群算法的动态Web服务选择被引量：52
- 2010年
- Web服务作为一种新型的Web应用模式近年来得到了迅速的发展.如何高效动态地把现存的各种Web服务整合起来以形成新的满足不同用户需求的增值的复杂服务,已成为新的应用需求和研究热点.针对服务选择问题,设计了一种面向动态Web服务选择的离散微粒群算法,并结合服务选择研究背景,提出了3种速度计算算子和一种位置进化方程.针对进化算法容易陷入局部极值这一共同缺陷,定义了微粒无希望/重希望准则,以保证微粒群的多样性,增强全局搜索能力.理论分析和实验结果表明,该算法不仅具有较快的收敛速度,而且具有较好的全局收敛性能;同时说明Max运算在服务选择中具有较好的综合性能.
- 范小芹蒋昌俊方贤文丁志军
- 关键词：WEB服务服务质量微粒群算法离散微粒群算法
- 一种量化的页面淘汰算法
- 2008年
- 当前,操作系统和数据库系统中使用较为广泛的页面淘汰算法是LRU-k。但是,随着大量有着不同读写速度的外存设备共存于系统中,LRU-k仅仅根据页面最近访问频率去预测近阶段"热点"页面的缺点显现。本文提出了一种量化算法ELRUK,该算法不仅考虑到了页面最近访问的频率,同时还考虑了缓冲页面等其他属性,并根据这些信息得到页面淘汰代价量化值,选取值最小的页面进行淘汰。ELRUK模型是一个针对不同外存储设备的通用模型,这使得原有的LRU-k成为ELRUK的一种退化形式。算法采用了多堆哈希表的组合数据结构,提高了执行效率。实验表明,与LRU-2相比,ELRU2在时间上节省15%～30%。
- 沈仕敏陈闳中方钰
- 时间依赖网络中非FIFO弧的转化研究被引量：2
- 2009年
- 经典最短路算法不能有效地解决时间依赖网络的最短路问题.时间依赖网络中的非FIFO弧的存在是导致经典的最短路算法失效的原因.本文对非FIFO弧的权函数为非连续(存在有限个非连续点)或者离散情况下转化为FIFO弧进行了研究,在允许等待的前提条件下,提出了解决此类问题的方法.建立在经典Dijkstra算法基础上,本文提出了时间依赖网络最短路算法.
- 余伟辉陈闳中
- 关键词：最短路时间依赖网络
- XML数据类型验证算法的改进被引量：2
- 2009年
- 介绍几种XML Schema类型验证算法,并对其中基于树自动机的算法进行研究,针对它在验证嵌套复杂类型XML文档过程中存在的问题,提出一种改进算法,为每个终结符增设一个处理状态标志,从而对以XML文档表示的数据类型进行验证。通过实验测试其性能,结果表明该算法是有效的。
- 巢弘坤陈闳中
- 关键词：树自动机XML
- 利用服务聚类优化面向过程模型的语义Web服务发现被引量：68
- 2008年
- 如何快速、准确和高效地发现满足用户需求的Web服务是现阶段急需解决的关键问题之一.文中针对现有的Web服务发现机制中存在的效率低下和查准率不高的两个问题,提出了一个新的语义Web服务发现框架.在该框架下,采用Petri网作为Web服务过程描述的形式化工具.首先,利用聚类技术,从服务的功能相似和过程相似两个层面对服务进行聚类预处理,从而在很大程度上降低服务的查找空间,提高服务的查找效率.进一步,针对服务请求中可能潜在的行为约束,建立基于Petri网的过程需求模型,将其与候选服务的过程模型进行比较,对满足功能需求的可行服务进一步筛选,从而提高查找的精确度.最后,利用仿真实验对所提出的方法进行验证.
- 孙萍蒋昌俊
- 关键词：PETRI网聚类
- 时间依赖有向无环网最小时间路径算法被引量：4
- 2008年
- 经典模型及算法可解决固定弧权条件下的最短路问题,然而实际应用中弧权往往是动态的,即弧权依赖时间变化。本文提出一种特殊最短路径算法,即在有向无环网络中最小时间路径算法的一种实现。该算法是一种改进的扩散法,克服了扩散法的一些显著缺点。文中证明了该理论的正确性,最后列举了一个传统算法不能解决的实例,证明了该算法的正确性。
- 余伟辉陈闳中
- 关键词：扩散法
- 一种基于扩展颜色Petri网的Web服务组合验证机制被引量：4
- 2009年
- Web服务技术日趋成熟,它提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。随着Web服务组合流程日趋复杂,组合流程设计越来越容易出错。给出了一个描述Web服务组合流程的扩展层次颜色Petri网模型,它独立于具体的流程描述语言,支持流程的层次表达且能较全面地刻画Web服务组合流程。还给出了模型的控制流网正确性、数据流网正确性、流程实例正确性的验证方法,从3个层面确保了Web服务组合流程的正确性。
- 李景霞闫春钢
- 关键词：层次颜色PETRI网模型驱动架构WEB服务组合
- Web服务的颜色Petri网模型及验证
- 2011年
- 利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组合结构的模型表达,用于构造满足实际需求的Web服务组合流程。该模型能较全面地描述Web服务组合,同时还能够对组合流程正确性进行分析验证,最后通过建模实例说明了所提模型的实用性。
- 李景霞赵慧娟
- 关键词：颜色PETRI网模型驱动体系结构形式化描述模型WEB服务组合验证
- Web服务组合的层次颜色Petri网描述模型被引量：6
- 2009年
- 针对Web服务组合流程资源的表达及组合流程正确性验证问题,提出一个基于层次颜色Petri网的Web服务组合描述模型,该模型在描述组合流程控制流的同时还能描述流程中的数据流,能较全面地刻画Web服务组合流程,并且支持对组合流程正确性的验证分析、实例化流程的仿真运行。建模实例验证了该模型的有效性和实用性。
- 李景霞程久军
- 关键词：层次颜色PETRI网模型驱动架构WEB服务组合
