作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

一种基于马尔可夫博弈的能量均衡路由算法  CNKI文献

针对无线传感器网络中耗能不均问题,引入马尔可夫博弈理论,构建了无线传感器网络的马尔可夫博弈模型.在能量均衡路由分析的基础上,给出了一种基于马尔可夫博弈的能量均衡路由算法,该算法从无线传感器网络整体耗能出发...

董荣胜 马争先... 《计算机学报》 2013年07期 期刊

关键词: 马尔可夫博弈 / 纳什均衡 / 能耗 / 网络生命周期

下载(1108)| 被引(46)

基于演化博弈论的功率控制和垂直切换研究  CNKI文献

基于演化博弈论分别构建了无线资源管理中功率控制和垂直切换的形式化模型,设计了一种基于定价机制的功率控制收益函数,根据3GPP对无线通信业务的分类,将切换判决过程划分为4个不同层次,降低了切换决策的复杂性,定义了...

董荣胜 孙栋栋... 《计算机研究与发展》 2014年06期 期刊

关键词: 功率控制 / 垂直切换 / 演化博弈论 / 演化稳定策略

下载(346)| 被引(9)

用于图像检索的多区域交叉加权聚合深度卷积特征  CNKI文献

针对依赖图像特征和聚合编码的"以图搜图"方法检索准确率较低的问题,提出一种基于多区域的交叉加权聚合深度卷积特征描述算法——RCro W.首先利用目标区域具有较高激活响应的特性标记出目标轮廓位置,将卷积...

董荣胜 程德强... 《计算机辅助设计与图形学学报》 2018年04期 期刊

关键词: 卷积神经网络 / 交叉权重 / 特征提取

下载(186)| 被引(11)

计算思维与计算机方法论  CNKI文献

尽管计算思维与计算机方法论有着各自的研究内容与特色,但是,显而易见,它们的互补性很强,可以相互促进。比如,计算机方法论可以对计算思维研究方面取得的成果进行再研究和吸收,最终丰富计算机方法论的内容;反过来,计算...

董荣胜 古天龙 《计算机科学》 2009年01期 期刊

关键词: 计算学科 / 计算机 / 计算思维 / 计算机方法论

下载(4995)| 被引(187)

大规模图数据的k~2-MDD表示方法与操作研究  CNKI文献

对包含亿万个顶点和边的图数据进行高效、紧凑的表示和操作是大规模图数据分析处理的基础.针对该问题提出了基于决策图的大规模图数据的一种表示方法——k~2-MDD,给出了k~2-MDD的构造过程以及图的边查询、外(内)邻查询...

董荣胜 张新凯... 《计算机研究与发展》 2016年12期 期刊

关键词: 图数据 / 存储优化 / k2-MDD / k2树

下载(123)| 被引(6)

计算思维与计算机导论  CNKI文献

计算思维是目前国际计算机界广为关注的一个重要概念。2008年6月,ACM提交的《CS2001中期审查》报告(草案)将"计算思维"与"计算机导论"课程绑定在一起,明确要求"计算机导论"课程讲授计算...

董荣胜 《计算机科学》 2009年04期 期刊

关键词: 计算学科 / 计算思维 / 计算机导论 / 计算机科学与技术方法论

下载(3635)| 被引(135)

《九校联盟(C9)计算机基础教学发展战略联合声明》呼唤教育...  CNKI文献

介绍了计算思维能力培养提出的背景及其丰富的内涵,并将其与"钱学森之问"有机地联系起来,论述了在基础教学方面,创新灵魂培育的重要性。文章最后指出,《九校联盟(C9)计算机基础教学发展战略联合声明》呼唤教...

董荣胜 《中国大学教学》 2010年10期 期刊

关键词: 计算机基础教学 / 计算思维 / 教育转型 / 钱学森之问

下载(928)| 被引(91)

“新工科”背景下“计算机科学导论”课程建设初探  CNKI文献

计算机科学是"新工科"专业的基础学科,在工程教育专业改革中起着十分重要的作用。本文以"新工科"建设为契机,围绕"复杂工程问题",结合桂林电子科技大学国家精品课程"计算机科学导...

董荣胜 李凤英... 《工业和信息化教育》 2018年04期 期刊

关键词: 工程教育专业认证 / 复杂工程问题 / 毕业要求 / 计算机科学导论

下载(272)| 被引(5)

计算机科学与技术方法论  CNKI文献

1 引言今天,当我们步入新世纪的时候,计算(Computing)技术作为现代技术的标志.已成为世界许多经济增长的主要动力。计算领域也已成为一个极其活跃的领域,计算学科正以令人惊异的速度发展,并大大延伸到传统的计算机科学...

董荣胜 古天龙... 《计算机科学》 2002年01期 期刊

关键词: Methodology / Paradigms / Fundamental / problem

下载(901)| 被引(23)

两层和三层Client/Server结构的分析  CNKI文献

介绍两层和三层客户/服务器结构,分析它们各自的优缺点,以及对重用的难易程度和开发阶段进行了比较,以便对给定项目进行结构的适当选择。

董荣胜 古天龙... 《计算机工程》 1998年06期 期刊

关键词: 两层 / 三层 / 客户/服务器 / 分析

下载(131)| 被引(90)

基于对象的分布式实时系统调度模型研究  CNKI文献

为了解决分布式实时系统有关分配和调度等问题 ,给出并用形式化方法描述了一种基于对象分布式实时系统调度的通用模型 .该模型包括表示时限的绝对时间约束、表示周期属性的周期约束、表示各种前趋关系和同步要求的相对...

董荣胜 赵岭忠... 《计算机研究与发展》 2002年11期 期刊

关键词: 分布式实时系统 / 实时对象 / 调度模型 / 实时约束

下载(99)| 被引(13)

计算教育哲学初探  CNKI文献

1 概述计算机科学是一门学科吗?是“工科”还是“理科”?何谓这个学科的精髓?计算学科的核心课程能准确反映这个领域吗?在计算机课程中如何做到理论与实践相结合?这些核心课程是否能培养学生的计算机能力?程序设计是否...

董荣胜 《计算机科学》 2000年01期 期刊

关键词: Computing / education / Methodology / Dialectic

下载(169)| 被引(8)

一种电子商务协议原子性的模型检验分析方法  CNKI文献

提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法。同其他模型相比,该模型能较好地分析具有多个实例并发运行时电子商务协议的原子性。最后基于该模型,用符号模型检验工具(S...

董荣胜 郭云川... 《计算机科学》 2005年04期 期刊

关键词: 电子商务协议 / 模型检验 / 原子性

下载(103)| 被引(7)

公平非否认协议的有限状态分析  CNKI文献

本文针对公平非否认协议给出了一种基于有限状态自动机的分析模型,并使用SPIN模型检测工具,对Zhou-Gollmann非否认协议进行了分析,结果发现该协议不满足公平性和机密性,为此对该协议进行了改进。

董荣胜 陈大伟... 《计算机科学》 2005年08期 期刊

关键词: 模型检测 / SPIN / 非否认性 / 公平性

下载(45)| 被引(9)

基于对象分布式实时系统的容错模型研究  CNKI文献

该文在基于对象的分布式实时系统调度模型研究的基础上,对G-Net模型进行了扩展,即给出了一种基于时间约束G-Net的分布式实时系统容错模型。该模型提供了容错和模块化机制,降低了分布式实时系统设计的复杂性,提高了系统...

董荣胜 曹双进... 《计算机工程与应用》 2004年07期 期刊

关键词: 分布式实时调度 / 时间Petri网 / 实时约束 / 容错

下载(96)| 被引(2)

基于串空间模型的Athena方法的改进  CNKI文献

Athena分析方法由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议。该文针对互联网密钥交换协议(IKEv2),对Athena方法进行了扩展:修改消息项结构,扩展密码学原语,使其能分析DH(Diffie-Hellman)密钥协商问题...

董荣胜 吴光伟... 《计算机工程》 2007年08期 期刊

关键词: 串空间 / Athena / DH密钥协商 / IKEv2协议

下载(98)| 被引(1)

概率非否认协议的模型检测分析  CNKI文献

基于概率模型检测技术,建立了需要保证ε-公平性的非否认协议的概率模型,根据不同行为将主体建立有限状态机模型。使用概率模型检测器PRISM,验证了概率非否认协议的有效性、公平性和时限性。在恶意实体能力和网络环境...

董荣胜 陈大伟... 《计算机工程》 2007年03期 期刊

关键词: 非否认 / 概率模型检测 / PRISM / 有限状态机

下载(141)| 被引(0)

计算思维的表述体系  CNKI文献

教育部高等学校大学计算机课程教学指导委员会认为,系统地将计算思维落实到大学计算机基础教学中,应当尽快地建立计算思维的表述体系。围绕计算思维表述体系的构建,本文首先从研究层面、技术层面和专业层面阐述了计算...

陈国良 董荣胜 《中国大学教学》 2013年12期 期刊

关键词: 计算思维 / 表述体系 / 计算 / 层次结构

下载(2879)| 被引(121)

一类具有“开端”结构的安全协议分析方法研究  CNKI文献

开端协议(Open-ended Protocol)的分析是安全协议领域中一个待解决的重要问题,而IKE则是一个有代表性的具有"开端"结构的安全协议。本文基于串空间的Athena方法,针对IKEv2协议中的"开端"结构涉及...

董荣胜 吴光伟... 《计算机科学》 2008年07期 期刊

关键词: 开端协议 / Diffie-hellman / Security / association

下载(62)| 被引(0)

嵌入式实时数据库系统及其相关问题  CNKI文献

嵌入式实时数据库系统(ERTDBS)的特性、与传统数据库系统的区别,并对今后值得重视和研究的问题进行了探讨。

董荣胜 古天龙... 《微型机与应用》 1999年04期 期刊

关键词: 嵌入式实时数据库系统 / 并发控制 / 网络

下载(104)| 被引(1)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状