搜索筛选:
搜索耗时2.5362秒,为你在为你在102,285,761篇论文里面共找到 153 篇相符的论文内容
发布年度:
[期刊论文] 作者：董荣胜,,
来源：计算机科学 年份：2009
计算思维是目前国际计算机界广为关注的一个重要概念。2008年6月,ACM提交的《CS2001中期审查》报告(草案)将"计算思维"与"计算机导论"课程绑定在一起,明确要求"计算机导论"课...
[期刊论文] 作者：董荣胜,,
来源：中国大学教学 年份：2010
介绍了计算思维能力培养提出的背景及其丰富的内涵，并将其与“钱学森之问”有机地联系起来，论述了在基础教学方面，创新灵魂培育的重要性。文章最后指出，《九校联盟（C9）计算机基础教......
[期刊论文] 作者：董荣胜,,
来源：计算机教育 年份：2003
由全国高等学校计算机教育研究会主办的全国“计算机科学与技术方法论”专题学术研讨会于10月31日至11月3日在桂林召开．来自全国百余所高校的150多位计算机系负责人和专家就《...
[期刊论文] 作者：董荣胜,
来源：广西科学 年份：1995
在直观检测模具间隙的基础上，通过计算机、光机电一体化的系统集成，讨论了动态模具的检测分析和管理，提出了模具间隙均匀度的新概念，为模具生产和管理提供了一种新的途径。......
[期刊论文] 作者：董荣胜,,
来源：计算机科学 年份：2000
1 概述计算机科学是一门学科吗?是“工科”还是“理科”?何谓这个学科的精髓?计算学科的核心课程能准确反映这个领域吗?在计算机课程中如何做到理论与实践相结合?这些核...
[会议论文] 作者：董荣胜,
来源：第二届大学计算机课程报告论坛 年份：2006
本文将计算机学科与"Computing as a Discipline"报告中的计算学科二维定义矩阵绑定在一起,使其实例化,并进一步提出了解决"计算机学科导论"课程的关键在于学科认知模型的构...
[期刊论文] 作者：张辉,董荣胜,
来源：微计算机信息 年份：2008
如何有效的对SoC设计进行验证已经成为缩短设计周期的关键问题。针对这个问题，本文提出一种形式化建模与验证方法．对片上系统AMBA工业总线规范的AHB总线协议进行形式化规格；建立......
[期刊论文] 作者：董荣胜,古天龙,,
来源：计算机科学 年份：2009
尽管计算思维与计算机方法论有着各自的研究内容与特色,但是,显而易见,它们的互补性很强,可以相互促进。比如,计算机方法论可以对计算思维研究方面取得的成果进行再研究和吸...
[期刊论文] 作者：董荣胜, 范斌,,
来源：桂林电子工业学院学报 年份：1995
以《计算机学科教学计划（１９９３）》为指导，结合《数据库系统概论》教学的具体情况，提出了课程的改革方案，并编制了一套教学软件，建立了一套具体的实验环境。它覆盖了《数据库系统概论》教......
[期刊论文] 作者：文英,董荣胜,
来源：小型微型计算机系统 年份：2008
在Ad Hoc网络中，广播有着相当广泛的应用，其算法的效率极大地影响着网络的性能．本文基于DP算法提出了BN—DP算法，考虑了节点分布、计数器值以及收发节点间距离对广播算法的影响，赋......
[期刊论文] 作者：古天龙,董荣胜,
来源：计算机教育 年份：2008
本文对欧洲高等院校的计算机相关专业形式化方法教育进行了介绍，主要包括形式化方法课程的知识体系、形式化方法教育的课程及其内容。...
[期刊论文] 作者：董荣胜,古天龙,
来源：计算机教育 年份：2006
人类的劳动总的来说可以分为两种：一种是体力劳动；另一种是脑力劳动。相应地，人的能力总的来说也可以分为两种：一种是人体活动产生的力量，即体力；另一种是使用大脑产生的记忆、理解......
[期刊论文] 作者：刘芳,董荣胜,,
来源：计算机仿真 年份：2011
研究无线网络收发系统的性能优化问题,在无线自组网中,节点信任关系是保证节点间高效通信的关键问题。针对节点信任关系的特点,为了提高传输率,提出一种信任评估机制。节点邻节点局部信息形成对其他任意节点的信任评估值,并用信任评估值来描述节点信任关系,再根......
[期刊论文] 作者：董荣胜,魏曦,
来源：桂林电子工业学院学报 年份：1997
以《中国计算机学科教学计划》为指导，结合《数据库系统概论》的教学实际，的数据库ＣＡＩ系统，根据了《数据库系统概论》课程的基本内容和习题；提出了“数据库抽象，理论和设计相关模型”......
[期刊论文] 作者：周卫,董荣胜,,
来源：桂林电子科技大学学报 年份：2012
为分析局部网络拓扑信息对网络性能的影响，基于势博弈构建了局部多功率控制模型LMTCPGT，并在该模型的基础上给出Local—MTCPGT算法，研究节点拥有局部网络拓扑信息对网络性能优化...
[期刊论文] 作者：董荣胜,古天龙,
来源：计算机工程 年份：1998
介绍两层和三层客户／服务器结构，分析它们各自的优缺点，以及对重用的难易程度和开发阶段进行了比较，以便对给定的项目进行结构的适当选择。...
[期刊论文] 作者：刘会会,董荣胜,
来源：桂林电子科技大学学报 年份：2012
为了获得满足用户需求的网络可靠性，需考虑网络组件的权值及用户的具体需求，因此。针对随机加权网络的可靠性进行了研究。结合随机加权网络的定义，构建了相应的形式化模型，并在该......
[期刊论文] 作者：高三海,董荣胜,,
来源：桂林电子科技大学学报 年份：2007
协议的可组合性问题是安全协议形式化分析及验证领域的一个公开问题。通过提出采用安全协议的操作语义模型对组合协议进行形式分析和验证,建立了Yahalom和Denning-Sacco组合...
[期刊论文] 作者：陈立斌,董荣胜,,
来源：桂林电子工业学院学报 年份：2005
概率合同签订协议的公平性具有典型的概率性质.概率模型检测是一种验证存在随机行为系统的分析技术.基于概率模型检测技术,在原协议的基础上建立了离散马尔可夫链和有限状态...
[期刊论文] 作者：文英,董荣胜,,
来源：广西科学院学报 年份：2006
应用概率模型检测技术，在Manhattan移动模型和街道单元移动模型的基础上，提出城市街道移动模型，将其建模成离散时间马尔可夫链DTMCs，然后运用概率模型检测工具PRISM分析节点位置......
相关搜索：
