教学课程资源库 更多>>

关键词： 编译原理   题库   数据库设计  

摘要： 《编译原理》是计算机专业重要的课程之一。该课程内容抽象、题目类型丰富、解题过程复杂、学习难度较大,在线练习是提高教学质量的有效手段,但练习题图多、表多、符号多、产生式多、对应关系复杂,题目及参考答案的数据结构不规则,难以存储在关系型数据库中。为解决这些问题,提出了一种《编译原理》练习题目的结构化数据设计,为建立内容丰富、类型全面、解答详细的题库系统提供了数据存储支撑。

关键词： 编译原理   电子双板   PGP   关联对照   互动  

摘要： 本文针对编译原理教学中的困难,利用PGP电子双板系统的优势功能,以活动序列为基础进行教学设计和课件开发,以期实现以学生为主体、以应用为目标的课堂教学。

关键词： 教学体系   教学改革   编译原理  

摘要： 编译原理是一门理论与实践相结合的课程,在计算机教学体系中占有重要的地位。本文分析了编译原理的课程性质、教学现状及存在的问题,探讨了编译原理教学内容、教学手段和方法,提出了课程改革的一些想法及建议。

关键词： 编译原理   实验内容   教学方法  

摘要： 笔者针对编译原理实验情况进行了分析,并从实验课时、实验内容、教学方法等方面提出了改革措施,从而提高实验的教学效果,提升学生的专业综合能力。

关键词： 编译原理   安全关键嵌入式软件   形式化方法   课程改革  

摘要： 模型驱动开发方法和形式化验证技术逐渐成为安全关键嵌入式软件设计与开发的重要手段,其中模型转换、代码自动生成等技术都是编译原理知识的具体体现。本文分别从理论教学、课程设计及研究型教学3个方面介绍了笔者关于"编译原理"课程教学模式和方法的一些探索。经过近一年的教学改革和实践,取得了较好的教学效果。

关键词： 编译原理   研讨式   教学改革  

摘要： 为了提高编译原理教学效果,尝试将研讨式教学模式应用到编译原理课程中,并详细阐述实施研讨式教学的4个步骤:确定研讨主题、课前准备、课堂讨论、课后总结。

关键词： 编译原理   内容体系   教学方法   实践教学  

摘要： "编译原理"课程是介绍高级程序设计语言编译程序构造的一般原理、基本设计方法,是主要实现技术和形式化工具的一门课程,具有较强的理论性和实践性。本课程围绕人才培养目标,在优化课程内容体系的基础上,侧重研究了教学手段和方法,增加了实践教学环节内容。

ISBN: (纸本)9787111498582

关键词： 编译原理   计算思维   形式化   自动化   教学改革  

摘要： 信息时代多学科人才应具有计算思维的基本素质,而只有经过具有计算特点的核心课程系统化学习和反复训练才能最终获得。编译原理课程在理论和技术上的特点恰好迎合了该特征。本文结合编译原理课程教学中的知识点,分析了计算思维在编译理论和技术发展中的作用,并结合课程具体内容探讨了在实际的教学过程中如何培养计算思维。

关键词： 仿真   编译原理   系统辨识   异常检测  

摘要： 随着工业控制网络朝着生产高度数字化、网络化、机器自组织的方向发展。在生产效率提高的同时,越来越多的安全风险和安全漏洞被暴露出来。尤其在工业控制网络层,作为工业控制系统重要的控制执行环节,缺乏有效地入侵检测方法。目前基于工业控制网络的入侵检测方法通过对网络流量建模、数据包特征分析和设备特征分析的方法进行检测。存在协议通用性差、误报率高,无法对未知异常进行检测等问题。有鉴于此,本文从正常行为建模的角度出发设计并提出了一种基于仿真建模的工业控制系统异常检测方法。工业控制系统建模依照工业控制系统上设备的类型进行划分,分为控制器建模以及被控对象建模。控制器建模是为了防止控制程序(包括控制程序在内存中存储的数据)被篡改或者破坏的行为,被控对象建模是为了保证控制器获得的系统输入是可信的。并分别根据两种建模方法的特点提出了相应的异常检测方法。本文主要研究内容如下:首先,论文对相关研究领域进行综述的基础上,本文在详细分析了工业控制系统脆弱性问题。并针对存在的控制器控制逻辑易被篡改、无法保证数据可信性等问题展开研究。根据控制器的工作原理特点提出了仿真建模的研究思路,同时将控制系统中经典的系统辨识分析方法引入到被控对象建模之中。其次,论文在分析PLC的工作原理基础上,提出了仿照PLC工作原理设计的控制器仿真模型,并对仿真模型的系统架构、部署方式进行了讨论。之后,详细的介绍了控制器仿真建模的流程,包括词法分析、语法分析、中间代码生成等。最后,结合控制器建立的模型,提出了相应的异常检测系统,并介绍了异常检测的原理和方法。再次,论文为了解决被控对象建模的问题引入了系统辨识建模的方法。通过数据预处理的方法去除了建模输入数据中的直流分量和高频噪声。通常认为系统辨识的模型输入应该是去除直流分量后的平稳数据,因此在建模过程中首先需要利用直流分量模型,剔除输入数据中的直流分量。之后介绍了系统辨识方法的参数定阶准则、参数辨识过程、模型的选择方法以及模型的验证方法。最后根据系统辨识的残差序列统计特性提出了基于db6小波分解的异常检测方法。并以举例的方法模拟了一次完整的建模过程。最后,本文在已经提出的控制器建模方法和被控对象建模方法的基础上将两者整合成为了工业控制系统建模方法,并仿照工业控制系统中水槽液位控制系统的原理搭建了模拟实验环境。通过分析现有针对工业控制系统的攻击方法和原理,对工业控制系统面临的攻击威胁进行了分类总结。根据分类结果本文模拟实现了三种攻击,并利用本文提出的异常检测方法进行检测。结果表明本文提出的异常检测方法能够发现现有的所有攻击行为,并能够对相同原理的未知攻击行为进行有效的检测。