编译原理教学中创造性思维能力的培养

阐述了在编译原理教学中,从调动内驱力、提倡发散思维、提倡探究学习、培养抽象思维四个方面入手,加强学生创造性思维能力的培养,给出了教学实施的具体步骤和方法。多年的教学实践证明,达到了预期的目的。

采用单测量源的拓扑推断算法

为了减少拓扑推断中需要时钟同步和节点间合作的限制,提出了一种仅需要单个测量源并且不需要时钟同步的"运输车"测量方法,该方法可以测量目的地址共享链路的排队时延。设计了根据排队时延推断拓扑结构的算法。理论证明了基于"运输车"测量方法和排队时延推断网络拓扑的可行性和正确性,并通过NS2进行了仿真,仿真结果表明基于"运输车"测量方法和排队时延能够准确的推断网络拓扑结构。

正则表达式与有穷自动机等价性在Isabelle/HOL中的形式化

针对正则表达式和有穷自动机,在机器辅助定理证明系统Isabelle/HOL中进行了形式化描述。通过对语言、正则表达式、确定和不确定有穷自动机在Isabelle/HOL中建立模型,定义了它们之间的相互转换函数并证明了这些函数的正确性,从而验证了正则表达式和有穷自动机在描述能力上的等价性,即:在同一有限字母表下,对任意正则表达式,都存在一个有穷自动机,使得二者描述的语言相同;反之亦然。通过分析与证明,表明采用机器辅助定理证明系统,对计算理论传统核心领域之一的自动机理论进行分析和证明是可行的。

离散数学数理逻辑教学中值得关注的几个问题

本文就离散数学的数理逻辑教学中值得关注的几个问题谈一些看法。强调对数理逻辑理论体系的全面认识,对推理规则的深刻理解,以及对■-消除规则的正确领会。在此基础上,提出了一种"证明技术"的教学方案。

编译原理课程考法改革探讨

针对"编译原理"课程内容复杂、理论性强、抽象度高,同时学生学习负担重、学习效果差的教学实际,在分析本课程现有教学内容与教学方法、实验内容与实验方法的利弊的基础上,着重探讨了课程在考法上以考促学的改革措施:依据课程内容重心调整实施分段考核,为学员减负,突出能力考核;合理安排实践,采用实验报告+答辩的方式组织实验考核,突出讨论交流,提高考核的真实度。经教学实践,改革后教学效果明显提升。

基于“自修式”建构模式的教学研究与实践

随着信息化条件下知识的爆炸性增长,传统课堂教学已无法满足学生对知识的需求;从多媒体教学手段的改进到网络化教学模式的不断深入,学生对学习过程的理解和体会也在不断更新。本文依托部队院校软件类课程教学,以"学为主体"的教学形式展开"自修式"教学模式的分析和实践,实现"授人以渔"的教学目标。

在Intranet上实现IP电话

介绍了一种在 Intranet上实现 IP电话的方法 。