王勇

作品数：35被引量：197H指数：7
导出分析报告
供职机构：北京工业大学计算机学院更多>>
发文主题：信任WEB服务服务质量信任度遗传算法更多>>
发文领域：自动化与计算机技术文化科学更多>>
发文期刊：《计算机工程与应用》《电子学报》《计算机研究与发展》《软件学报》更多>>
所获基金：国家重点基础研究发展计划博士科研启动基金国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
可信计算中信任链建立的形式化验证被引量：6
《北京工业大学学报》2016年第3期387-392,共6页王勇 许荣强 任兴田 杨建红 
国家"973"计划资助项目(2007CB311100)
为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块(trusted platform control module,TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系...
关键词：可信计算 信任链 可信平台控制模块 形式化验证 进程代数 
基于HLA的多学科联合仿真系统设计与实现
《产业与科技论坛》2015年第13期42-43,共2页宋慧波 王勇 
本文旨在以航天发射地面装载车辆为载体,利用HLA/RTI技术建立一个多学科联合仿真的应用系统。系统将HLA与C/S架构相结合,采用BH RTI 2.3作为底层支撑环境,建立了仿真系统的体系结构,将机械、液压、控制3个学科领域的仿真应用利用工具软...
关键词：HLA/RTI 多学科联合仿真 系统设计 
云计算中基于序贯博弈的任务调度策略被引量：3
《计算机科学》2015年第S1期341-344 358,358,共5页刘美林 王勇 李凯 刘鹏飞 任兴田 杨建红 
随着互联网应用的普及,云计算逐渐成为企业、学者等各界研究的热点。云计算是继分布式计算、并行计算、网格计算之后的一种新兴计算模式。在对云计算系统的研究中,任务调度是其研究的重点。在总结了云计算的研究现状之后,提出了一种基...
关键词：云计算 序贯博弈 纳什均衡 任务调度 
云环境下基于可靠性的均衡任务调度算法研究被引量：8
《计算机科学》2015年第S1期325-331,共7页王勇 刘美林 李凯 任兴田 许荣强 
云计算作为一种新兴的具有商业特性的计算模式,已经受到了广泛的关注。云计算中的关键问题——任务调度问题也成为了社会各界研究的热点。主要以云计算系统中的可靠性需求为优化目标,运用博弈论工具,将云计算的任务调度系统建模为一个...
关键词：云计算 合作博弈 任务调度 讨价还价解 可靠性 
网格计算课程本科阶段研究型教学实践
《计算机教育》2013年第9期50-55,共6页赵枫朝 王勇 
从研究型教学的微观层面出发,以网格计算课程的本科教学实践为例,探讨研究型教学模式的特征和原则,介绍在网格计算课程中的教学实践,并总结经验。
关键词：研究型教学 教学模式 网格计算 本科教学 
从《物联网导论》的教学实践到物联网工程专业的专业建设被引量：5
《教育教学论坛》2013年第15期227-228,共2页赵枫朝 王勇 
从事物联网工程专业的先导性课程——物联网导论的教学实践出发,谈一些体会和经验,然后探讨物联网工程专业的专业建设中的一些问题。希望通过这些探讨,能够对高校的物联网专业建设有所启示。
关键词：物联网 专业建设 物联网导论 
基于进程代数的TCG远程证明协议的形式化验证被引量：5
《计算机研究与发展》2013年第2期325-331,共7页王勇 方娟 任兴田 林莉 
国家"九七三"重点基础研究发展计划基金项目(2007CB311100);北京市教委科技计划基金项目(JC007011201004);北京市人才强教中青年骨干培养基金项目
可信计算组织(Trusted Computing Group,TCG)的远程证明协议是最早提出的远程证明的解决方案,其协议的形式化验证对于工程实施具有重要意义.分析了TCG远程证明协议的两种形式——直接证明协议和借助可信第三方的证明协议,对它们进行了...
关键词：可信计算 远程证明 协议验证 形式化 进程代数 
可信连接架构的形式化验证
《计算机科学》2012年第S3期230-233,共4页王勇 易翔 李凯 刘美林 
可信连接架构作为我国在可信网络方面的解决方案,规范了具有可信平台控制模块的终端接入可信网络所涉及的实体、实体之间的信息交互接口以及交互行为。在抽象可信连接架构中实体之间信息交互行为的基础上,给出了各个实体状态的进程代数...
关键词：可信计算 可信网络 可信连接架构 形式化验证 进程代数 
可信服务组合的马尔可夫链模型及其应用
《高技术通讯》2011年第6期587-591,共5页王勇 代桂平 侯亚荣 
973计划（2007CB311100）和北京工业大学青年基金（X1007011200801）资助项目
基于马尔可夫链建立了服务组合的形式化模型——马尔可夫链模型，此模型可以在已知组合服务定义规格的情况下由组合服务的定义规格转换得到，也可以在未知组合服务定义规格的情况下由组合服务的执行历史信息得到。不同于多数服务组合形...
关键词：WEB服务 服务组合 信任 马尔可夫链 
基于模糊逻辑的组合服务信任度评估方法
《北京工业大学学报》2010年第12期1711-1716,共6页王勇 代桂平 侯亚荣 任兴田 
国家'九七三'计划资助项目(2007CB311100);北京市教育委员会科技计划资助项目(JC007011201004);北京工业大学青年基金资助项目(X1007011200801)
基于信任的主观性、不确定性和模糊性,给出了信任度的模糊表示方法,分析了基于WS-BPEL的组合服务模型中编程结构对于信任度评估的贡献情况,设计了基于WS-BPEL的服务组合模型中活动的信任度推理规则,并给出了基于模糊逻辑的组合服务信任...
关键词：服务组合 信任 信任度评估 模糊逻辑 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部