国家重点基础研究发展计划(2005CB321800) 作品数:43 被引量:455 H指数:10 相关作者: 王怀民 周斌 吴泉源 胡建理 尹刚 更多>> 相关机构: 国防科学技术大学 广州军区广州总医院 并行与分布处理国防科技重点实验室 更多>> 发文基金: 国家重点基础研究发展计划 国家自然科学基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 经济管理 医药卫生 自然科学总论 更多>>
虚拟计算环境iVCE:概念与体系结构 被引量:46 2006年 互联网资源的“成长性”、“自治性”和“多样性”等自然特性给资源的有效共享和综合利用带来了巨大的挑战.提出以网络资源的按需聚合和自主协同为核心,建立虚拟计算环境(iVCE)的思路.iVCE将建立在开放的网络基础设施之上,为终端用户或应用系统提供和谐、可信、透明的一体化服务.提出了iVCE的基本概念,通过引入自主元素、虚拟共同体和虚拟执行体三个核心概念,构建iVCE的体系结构.结合iVCE for Memory案例对iVCE体系结构各组成部分的内涵、功能和相关支撑技术进行深入分析. 卢锡城 王怀民 王戟关键词:虚拟计算环境 互联网 新的流形学习方法统一框架及改进的拉普拉斯特征映射方法 被引量:15 2009年 流形学习是多个领域的重要研究课题.通过考察各种流形学习方法,提出了一种新的流形学习方法的统一框架,并在此框架下对拉普拉斯特征映射方法(Laplacian eigenmap,LE)进行了分析.进一步,基于此框架,提出了一种改进拉普拉斯特征映射方法(improved Laplacian eigenmap,ILE).它建立在LE方法和最大差异延展算法(maximum variance unfolding,MVU)的基础上,在保持流形谱图拉普拉斯特征的同时,以最大化任意两点之间的差异为目标.ILE有效地解决了拉普拉斯特征映射方法对邻域选择敏感以及MVU方法大计算量、局部限制过强等问题,且能够保持数据聚类性质,挖掘数据内蕴特征.通过实验说明了ILE的有效性. 侯臣平 吴翊 易东云关键词:维数约简 流形学习 一种自动化的资源按需管理方法 被引量:2 2009年 提出一种按需的资源管理方法:一方面向用户提供足够数量的资源(必需性);另一方面保障资源以最有效的方式服务于用户(必要性)。按需的方法将资源供给方的管理与资源消费方的管理结合起来,实现了资源分配的"必需性"与"必要性",并使用具有自我执行能力的自治环路实现管理的自动化。 刘钊 黄罡 张颖 梅宏关键词:虚拟化技术 资源管理 面向普适计算的自适应软件集成环境研究综述 被引量:5 2010年 在对当今主要普适计算研究项目,尤其是面向普适计算的软件集成环境原型系统进行介绍的基础上,本文对面向普适计算的软件集成环境所关注的共性问题进行了归纳分析,包括如何为应用提供自适应的软件体系结构支持、如何为应用提供普适计算环境下所需的可重用服务、如何根据普适计算环境的特点对传统中间件技术的内涵进行扩展等等,并对面向普适计算的应用需求下软件集成环境研究所面临的挑战进行了讨论。 刘惠 史殿习 刘明 丁博关键词:普适计算 自适应 软件集成环境 UML的形式化描述语义 被引量:8 2010年 本文提出了一种新的定义UML形式化语义的方法。我们将建模语言的语义区分为描述语义和功能语义两个方面。描述语义定义哪些系统满足模型,功能语义定义模型中的基本概念。本文用一阶逻辑定义了UML的类图、交互图和状态图的描述语义,并介绍我们实现的将UML模型转换成逻辑系统的软件工具LAMBDES,该工具集成了定理证明器SPASS,可以对模型进行自动推理。我们成功地将此方法和工具应用于模型的一致性检查。 单黎君 朱鸿关键词:建模语言 形式化语义 UML 一阶逻辑 数据库复制技术研究进展 被引量:10 2008年 在简要说明数据库复制技术目标的基础上,本文重点展开论述了数据库复制中的核心问题、解决方法与研究现状。通过对已有复制协议从不同侧面的分类,本文分析了各种协议不同的性能和可用性特点;通过对lazy和eager两种模式下复制协议的深入分析,揭示了技术发展的历史脉络和当前进展;对新兴应用需求进行归纳,得出了数据库复制技术可能的新发展方向。 杜凯 缪嘉嘉 杨树强 王怀民关键词:数据库复制 一种激励相容的P2P信誉模型 被引量:1 2011年 针对现有的信任模型不能很好地处理P2P网络环境中恶意节点提供虚假服务的欺诈行为,及不积极提供诚实推荐的问题,提出了一种激励相容的P2P信誉模型(简称ICRM)。该模型使用时间区间的概念来标示经验和推荐的时间特性,利用直接信任度、推荐信任度及推荐可信度等机制来精确描述节点的实际信任等级,并引入参与层次来度量节点提供推荐的积极程度,从而有效地识别与抑制不同类型的恶意节点,激励节点积极提供诚实推荐。仿真实验表明,ICRM能够有效地抑制恶意节点的欺诈行为及不诚实反馈行为,并能有效解决节点推荐积极性不高的问题。 胡建理 周斌 周瑜 吴泉源关键词:对等网络 激励相容机制 基于语义的服务发现技术研究综述 被引量:9 2007年 语义Web服务是Web服务的语义扩展,它能够有效地提高服务发现的效率,并使得实现服务发现自动化成为可能。基于语义的服务发现是语义Web服务技术的核心,其关键技术包括标识语义的Web服务描述语言、基于语义的服务发现体系结构和基于语义的服务匹配算法。本文分别从这三个方面对目前基于语义的服务发现技术进行了详细的分析比较。文章最后对基于语义的Web服务发现技术进行了总结与展望。 刘志忠 王怀民 郭艳玲关键词:语义WEB服务 一种动态服务组合中的相容性模型 被引量:1 2008年 异构服务组合是不同应用领域间Web服务可用性和可应用性的关键点,尤其是电子商务和电子政务应用.组合设计者尝试进行完美的组合匹配但在实际中不可能找到完全相容的服务.提出一种相容性模型,确保Web服务能够正确组合,避免意想不到的运行时失效.通过一套从语法、语义和非功能属性3个层次定义的规则来进行相容性检查.同时引入相容度的概念来度量部分和完全相容,提出一种松弛相容函数将Web服务间的相容程度转化成数量值.最后通过实验来分析相容性阈值对服务成功组合率的影响. 冯兴智 姚学斌 吴泉源 贾焰 周斌关键词:动态服务组合 相容度 松弛函数 基于XML的分布式虚拟运行环境建模与实现 当前很多网络计算环境尚缺乏为多种应用提供隔离、定制的运行环境的能力,给网络计算环境的广泛应用带来障碍.而虚拟机技术的飞速发展,使得根据用户需求,按需构建隔离、定制的分布式虚拟运行环境成为可能.基于XML schema技术... 李东升 黄峰 王小海关键词:虚拟机 文献传递