您的位置： 专家智库 > 作者详情>王勇

王勇

作品数：35 被引量：227H指数：7
供职机构：北京工业大学计算机学院更多>>
发文基金：国家重点基础研究发展计划博士科研启动基金国家自然科学基金更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

题名
作者

文献类型

  • 35篇中文期刊文章

领域

  • 28篇自动化与计算...
  • 7篇文化科学

主题

  • 10篇信任
  • 9篇WEB服务
  • 6篇网格
  • 5篇网络
  • 5篇服务质量
  • 4篇调度
  • 4篇信任度
  • 4篇形式化
  • 3篇信任感知
  • 3篇形式化验证
  • 3篇网格工作
  • 3篇网格工作流
  • 3篇网格计算
  • 3篇进程代数
  • 3篇可信计算
  • 3篇课程
  • 3篇计算机
  • 3篇计算机网
  • 3篇计算机网络
  • 3篇教学

机构

  • 35篇北京工业大学
  • 5篇中国传媒大学
  • 1篇北京航空航天...
  • 1篇西安电子科技...
  • 1篇中央广播电视...
  • 1篇北京教育考试...

作者

  • 35篇王勇
  • 16篇侯亚荣
  • 14篇方娟
  • 13篇代桂平
  • 10篇毛国君
  • 9篇任兴田
  • 7篇姜正涛
  • 5篇杨建红
  • 3篇李凯
  • 3篇刘美林
  • 2篇赵枫朝
  • 2篇许荣强
  • 1篇易翔
  • 1篇张书杰
  • 1篇王立
  • 1篇袁亚兴
  • 1篇刘鹏飞
  • 1篇王育民
  • 1篇龙浩
  • 1篇万雅奇

传媒

  • 8篇北京工业大学...
  • 6篇计算机教育
  • 3篇高技术通讯
  • 3篇计算机科学
  • 2篇通信学报
  • 2篇电子学报
  • 2篇计算机工程与...
  • 1篇计算机研究与...
  • 1篇计算机学报
  • 1篇小型微型计算...
  • 1篇软件学报
  • 1篇微计算机信息
  • 1篇江苏大学学报...
  • 1篇电脑知识与技...
  • 1篇产业与科技论...
  • 1篇教育教学论坛

年份

  • 1篇2016
  • 3篇2015
  • 3篇2013
  • 1篇2012
  • 1篇2011
  • 9篇2010
  • 9篇2009
  • 5篇2008
  • 2篇2007
  • 1篇2006
共 35 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
相关度排序
可信计算中信任链建立的形式化验证被引量：6
2016年
为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块(trusted platform control module,TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证.验证的结果表明系统具有期望的外部行为.
王勇许荣强任兴田杨建红
关键词：可信计算可信平台控制模块形式化验证进程代数
基于贝叶斯网络的组合服务信任度评估方法被引量：3
2010年
对组合服务信任度评估问题进行了研究。基于信任的不确定性和模糊性,给出了信任度的离散化表示方法;借助于贝叶斯网络的强大的推理能力,给出了组合服务的贝叶斯网络模型以及组合服务模型到贝叶斯网络的转换规则,利用贝叶斯网络的正向推理机制设计了基于贝叶斯网络模型的组合服务信任度评估方法。通过一个组合服务的买例,说明了组合服务的贝叶斯网络模型及其基于贝叶斯网络的组合服务信任度评估方法的使用方法。该评估方法基于信任的模糊性和不确定性,更符合信任的本质并易于实现。
王勇代桂平侯亚荣方娟毛国君
关键词：信任信任度评估贝叶斯网络
中美高校网络教育的比较与分析被引量：3
2008年
网络教育已成为更多的学习者摆脱时间和空间的限制、获取接受大学教育机会的重要途径，中国高校在教育体制和教育模式上的不同也同样体现在网络教育上。本文从几个方面对中美高校网络教育进行了比较和分析，并给出网络教学体系的基本架构。
方娟毛国君王勇
关键词：信息技术网络教育教育体系
“计算机网络管理”课程的目标导向型教学实践被引量：11
2008年
我院分析了计算机网络管理课程的定位，制定了计算机网络管理课程的两个教学目标，并围绕这两个教学目标从教学环节、实践环节和考核环节三个方面开展教学实践活动，收到了较好的效果。本文介绍了我院的实践经验。
王勇姜正涛杨建红方娟毛国君
关键词：计算机网络管理网络管理员程序员
可信连接架构的形式化验证
2012年
可信连接架构作为我国在可信网络方面的解决方案,规范了具有可信平台控制模块的终端接入可信网络所涉及的实体、实体之间的信息交互接口以及交互行为。在抽象可信连接架构中实体之间信息交互行为的基础上,给出了各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证,验证的结果表明,可信连接架构具有期望的外部行为。
王勇易翔李凯刘美林
关键词：可信计算可信网络形式化验证进程代数
基于模糊逻辑的群体信任模型被引量：3
2010年
从信任的主观性和模糊性角度出发,提出了一种基于模糊逻辑的群体信任模型,抽象出顺序模式、选择模式、循环模式和并行模式4种群体构成的基本约束模式及其嵌套复合来刻画群体中个体之间的约束关系,并分别给出了信任度的度量方法.群体信任模型对群体信任关系和特别软件群体的信任关系提供了很好的支持.
王勇代桂平侯亚荣方娟毛国君
关键词：信任信任模型模糊逻辑
线性移位寄存器在安全RSA模数中应用的研究
2010年
运用线性移位寄存器(LFSR)序列模2个不同素数时的周期一般不同这一性质,尝试构造分解另一类RSA模数的方法;指出对于RSA模数n=pq的一个素因子p,当p2+p+1,p3+p2+p+1,…其中之一仅含有小的素因子时,给出的算法能够分解合数n=pq,并给出了一个基于三级LFSR分解合数的实例来说明算法的具体运算步骤。根据该分解算法,在选取RSA模数时,为确保安全性,除避免已知的不安全因素以外,还需要保证n的素因子p满足p2+p+1,p3+p2+p+1,…均包含大的素因子。
姜正涛王勇王永滨王育民
关键词：LFSR素数整数分解
信任感知的组合服务动态选择方法被引量：41
2009年
把信任概念和信任度引入到服务组合中来,讨论了信任感知的服务组合选择问题,分别基于两种观点建立了其数学模型.并基于观点1,深入地研究了服务组合的动态选择问题,分别采用蚁群系统作为优化工具设计了两种动态选择方法:方法1针对服务在上限阈值的范围内提供优质服务,服务质量保持不变,超过阈值则拒绝服务的情况;方法2针对服务无限制地接受请求,但随着请求数量的增多,其服务质量下降的情况.通过对方法1和方法2的仿真实验结果分析表明,两种方法具有很好的效果.
王勇代桂平侯亚荣
关键词：信任服务质量
Java语言程序设计实例教材建设被引量：2
2008年
本文介绍了作者编著的一本Java语言程序设计的实例教材,该教材入选清华大学出版社高等学校计算机基础教育教材精选。本文主要从教材建设的动机、教材的内容和教材的特色等方面对教材进行了介绍。
王勇方娟毛国君
关键词：JAVA语言
服务质量感知的网格工作流调度被引量：78
2006年
在网格工作流中引入服务质量,可以使网格中的资源更好地围绕用户的要求进行组织和分配,服务质量为工作流执行过程中选择成员服务提供了依据.工作流服务质量的估算和服务质量感知的工作流调度是实现服务质量感知的网格工作流的两个关键问题.基于一种网格工作流模型讨论了网格工作流的服务质量参数体系,提出了工作流服务质量的估算算法和网格工作流调度数学模型,并提出了基于遗传算法的调度方法.仿真实验表明,该调度算法具有较好的收敛性.
王勇胡春明杜宗霞
关键词：网格工作流服务质量调度算法
全选 清除 导出
共4页<1234>
聚类工具0