贺汛

作品数：8被引量：14H指数：3
导出分析报告
供职机构：解放军理工大学更多>>
发文主题：创造性思维发散思维内驱力逻辑教学离散数学更多>>
发文领域：自动化与计算机技术文化科学电子电信更多>>
发文期刊：《计算机教育》《电子科技大学学报》《中国管理信息化》《军事通信技术》更多>>
所获基金：国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
编译原理课程考法改革探讨被引量：2
《计算机工程与科学》2014年第A02期169-173,共5页丁学雷 吴春寒 贺汛 
针对"编译原理"课程内容复杂、理论性强、抽象度高,同时学生学习负担重、学习效果差的教学实际,在分析本课程现有教学内容与教学方法、实验内容与实验方法的利弊的基础上,着重探讨了课程在考法上以考促学的改革措施:依据课程内容重心调...
关键词：编译原理 考法改革 教学方法 教学改革 
基于“自修式”建构模式的教学研究与实践
《中国管理信息化》2014年第5期142-144,共3页王梅娟 贺汛 任正平 史涯晴 
随着信息化条件下知识的爆炸性增长,传统课堂教学已无法满足学生对知识的需求;从多媒体教学手段的改进到网络化教学模式的不断深入,学生对学习过程的理解和体会也在不断更新。本文依托部队院校软件类课程教学,以"学为主体"的教学形式展...
关键词：素质教育 自修式 教学模式 
正则表达式与有穷自动机等价性在Isabelle/HOL中的形式化被引量：2
《解放军理工大学学报（自然科学版）》2010年第4期403-407,共5页吴春寒 张兴元 贺汛 
国家863计划资助项目(2008AA01A309)
针对正则表达式和有穷自动机,在机器辅助定理证明系统Isabelle/HOL中进行了形式化描述。通过对语言、正则表达式、确定和不确定有穷自动机在Isabelle/HOL中建立模型,定义了它们之间的相互转换函数并证明了这些函数的正确性,从而验证了...
关键词：正则表达式 有穷自动机 形式化验证 Isabelle/HOL 
采用单测量源的拓扑推断算法被引量：3
《电子科技大学学报》2010年第2期275-278,310,共5页赵洪华 丁科 陈鸣 张婷婷 金凤林 贺汛 
为了减少拓扑推断中需要时钟同步和节点间合作的限制,提出了一种仅需要单个测量源并且不需要时钟同步的"运输车"测量方法,该方法可以测量目的地址共享链路的排队时延。设计了根据排队时延推断拓扑结构的算法。理论证明了基于"运输车"测...
关键词：相关性 网络层析成像 拓扑推断 运输车 
编译原理教学中创造性思维能力的培养被引量：4
《计算机时代》2010年第4期54-55,58,共3页贺汛 吴春寒 
阐述了在编译原理教学中,从调动内驱力、提倡发散思维、提倡探究学习、培养抽象思维四个方面入手,加强学生创造性思维能力的培养,给出了教学实施的具体步骤和方法。多年的教学实践证明,达到了预期的目的。
关键词：编译原理教学 内驱力 发散思维 探究学习 
离散数学数理逻辑教学中值得关注的几个问题被引量：3
《计算机教育》2009年第16期136-138,共3页王元元 陈卫卫 贺汛 
本文就离散数学的数理逻辑教学中值得关注的几个问题谈一些看法。强调对数理逻辑理论体系的全面认识,对推理规则的深刻理解,以及对■-消除规则的正确领会。在此基础上,提出了一种"证明技术"的教学方案。
关键词：数理逻辑 推理规则 证明技术 ■-消除规则 
几种软件开发方法及其比较
《军事通信技术》2000年第4期78-80,共3页贺汛 
简要阐述了常用的 3种软件开发方法 ,即生命周期法、快速原型法和面向对象的开发方法 ,并对它们的优缺点进行了分析 。
关键词：生命周期法 原型法 对象 类 面向对象的方法 
在Intranet上实现IP电话
《电子工程师》2000年第11期17-18,共2页孙国萌 贺汛 肖斌 
介绍了一种在 Intranet上实现 IP电话的方法 。
关键词：INTRANET IP电话 路由器 IP地址 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部