李凯
- 作品数：3 被引量：11H指数：2
- 供职机构：北京工业大学计算机学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 云环境下基于可靠性的均衡任务调度算法研究被引量：8
- 2015年
- 云计算作为一种新兴的具有商业特性的计算模式,已经受到了广泛的关注。云计算中的关键问题——任务调度问题也成为了社会各界研究的热点。主要以云计算系统中的可靠性需求为优化目标,运用博弈论工具,将云计算的任务调度系统建模为一个合作博弈模型。合作博弈的参与者为计算节点,效用函数为计算节点在稳定状态下的提供能力,博弈策略为任务在计算节点上的速率分配策略。系统中的各计算节点相互合作,选择自己的博弈策略,以期使系统在稳定状态下的提供能力最大。将计算节点看作具有一般重试时间和服务器崩溃的M/G/1排队系统,根据M/G/1排队论,分析了计算节点在稳定状态的提供能力,并根据合作博弈理论知识,证明了纳什讨价还价解的存在性,从而给出了最优博弈策略的求解算法;在此基础上,给出了基于可靠性的均衡任务调度算法。
- 王勇刘美林李凯任兴田许荣强
- 关键词：云计算合作博弈任务调度可靠性
- 可信连接架构的形式化验证
- 2012年
- 可信连接架构作为我国在可信网络方面的解决方案,规范了具有可信平台控制模块的终端接入可信网络所涉及的实体、实体之间的信息交互接口以及交互行为。在抽象可信连接架构中实体之间信息交互行为的基础上,给出了各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证,验证的结果表明,可信连接架构具有期望的外部行为。
- 王勇易翔李凯刘美林
- 关键词：可信计算可信网络形式化验证进程代数
- 云计算中基于序贯博弈的任务调度策略被引量：3
- 2015年
- 随着互联网应用的普及,云计算逐渐成为企业、学者等各界研究的热点。云计算是继分布式计算、并行计算、网格计算之后的一种新兴计算模式。在对云计算系统的研究中,任务调度是其研究的重点。在总结了云计算的研究现状之后,提出了一种基于序贯博弈的任务调度策略,在任务的响应时间上有较好的优化。
- 刘美林王勇李凯刘鹏飞任兴田杨建红
- 关键词：云计算序贯博弈纳什均衡任务调度
