国家重点基础研究发展计划(2005CB321800) 作品数:43 被引量:453 H指数:10 相关作者: 王怀民 周斌 吴泉源 胡建理 尹刚 更多>> 相关机构: 国防科学技术大学 广州军区广州总医院 并行与分布处理国防科技重点实验室 更多>> 发文基金: 国家重点基础研究发展计划 国家自然科学基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 经济管理 医药卫生 自然科学总论 更多>>
虚拟计算环境iVCE:概念与体系结构 被引量:45 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的有效性. 侯臣平 吴翊 易东云关键词:维数约简 流形学习 互联网软件的可信机理 被引量:75 2006年 通过分析互联网软件的可信内涵及互联网应用的基本特征,指出:一方面,在开放、动态的互联网环境下,软件的身份可信、能力可信都面临新的问题和挑战;另一方面,基于自主协同运行模式的新型网络应用需要对软件群体行为进行有效约束,以保障其行为可信.在此基础上,给出了一种面向互联网虚拟计算环境(iVCE)的互联网软件可信概念模型,并提出集身份可信、能力可信和行为可信为一体的网络软件可信保证体系,并以跨域的授权管理机制、高可用的服务保证机制和面向自主协同的行为激励机制为突破口,研究和探索互联网软件可信问题的技术途径. 王怀民 唐扬斌 尹刚 李磊关键词:互联网 虚拟计算环境 ICA:一种基于混合智能算法的移动Agent路由算法 被引量:3 2010年 遗传算法具有快速随机的全局搜索能力,但对于系统中反馈信息利用却无能为力,求精确解效率低.改进型ACS(antcolony system)算法不仅具有分布式并行全局搜索能力,而且在很大程度上避免了候选解陷入局部极小并导致系统收敛到这一伪最优解从而停止进化的可能性,但存在初期信息匮乏,求解速度慢的缺点.为了改善移动Agent系统的迁移性能和执行效率,本文提出一种基于由遗传算法和改进型ACS算法组成的混合智能算法的移动Agent路由算法.该路由算法是汲取两种智能算法的优点,克服各自的缺陷.通过对TAP问题的仿真实验表明该算法取得了较好的效果. 胡建理 周斌 吴泉源 刘家红关键词:移动AGENT 路由算法 遗传算法 蚁群算法 一种基于MMKP多维QoS约束的服务选择模型 1引言随着Web服务理论和技术的发展,单一服务已经不能满足实际应用需求。Web服务组合已成为面向服务计算(SOC)的核心技术。动态资源聚合和灵活应用集成使得服务组合技术发展的自然思路。 冯兴智 吴泉源 贾焰 周斌文献传递 一种自动化的资源按需管理方法 被引量:2 2009年 提出一种按需的资源管理方法:一方面向用户提供足够数量的资源(必需性);另一方面保障资源以最有效的方式服务于用户(必要性)。按需的方法将资源供给方的管理与资源消费方的管理结合起来,实现了资源分配的"必需性"与"必要性",并使用具有自我执行能力的自治环路实现管理的自动化。 刘钊 黄罡 张颖 梅宏关键词:虚拟化技术 资源管理 面向普适计算的自适应软件集成环境研究综述 被引量:5 2010年 在对当今主要普适计算研究项目,尤其是面向普适计算的软件集成环境原型系统进行介绍的基础上,本文对面向普适计算的软件集成环境所关注的共性问题进行了归纳分析,包括如何为应用提供自适应的软件体系结构支持、如何为应用提供普适计算环境下所需的可重用服务、如何根据普适计算环境的特点对传统中间件技术的内涵进行扩展等等,并对面向普适计算的应用需求下软件集成环境研究所面临的挑战进行了讨论。 刘惠 史殿习 刘明 丁博关键词:普适计算 自适应 软件集成环境 UML的形式化描述语义 被引量:8 2010年 本文提出了一种新的定义UML形式化语义的方法。我们将建模语言的语义区分为描述语义和功能语义两个方面。描述语义定义哪些系统满足模型,功能语义定义模型中的基本概念。本文用一阶逻辑定义了UML的类图、交互图和状态图的描述语义,并介绍我们实现的将UML模型转换成逻辑系统的软件工具LAMBDES,该工具集成了定理证明器SPASS,可以对模型进行自动推理。我们成功地将此方法和工具应用于模型的一致性检查。 单黎君 朱鸿关键词:建模语言 形式化语义 UML 一阶逻辑 一种P2P信任管理安全性协议 被引量:2 2011年 通常是通过建立相应的信任管理机制来遏制P2P网络中的节点的自私与欺诈行为,但对信任管理机制本身存在的安全性问题关注则很少,使信任管理系统无法有效应付针对信任信息管理机制的安全攻击。针对这一问题,提出了确保信任管理安全性的安全协议(简称为SPRI)。分析及仿真实验表明,SPRI可以有效地遏制针对信任管理中的身份伪造及信息篡改的攻击,并且效率高,普适性强。 胡建理 周斌 吴泉源关键词:对等网 信任管理 虚拟计算环境中基于评分监管的信誉机制 2010年 提出一种基于评分监管协议(RSP)的信誉机制。通过对自主元素服务信度及评分信度的区分刻画和动态关联,识别和惩罚不递交评分、虚假评分,激励自主元素积极参与、诚实评分,并给出RSP分布式的实现方法。仿真实验结果表明,含RSP的信誉机制能够实现自主元素基于评分可信性的差异化服务,有效抵制恶意攻击。 桂春梅 蹇强 唐杨斌 王怀民 吴泉源关键词:评分