传统的离散数学实验教学,通常使用C、C++等程序设计语言来完成相应的课程验证性实验.学生在花费大量的时间和精力完成程序设计后,依然对程序的正确性没有直观的认识.借助Isabelle/HOL交互式定理证明器工具和形式化方法,构建离散数学实验环境,解决离散数学课程实验教学的直观表达问题以及逻辑推理实验的设置.以二叉树这种离散结构的知识点学习为例,阐述如何使用Isabelle/HOL来完成"离散数学"课程的实验教学设计.通过这种实验教学,能使学生对逻辑演算和推理有清晰的认识,同时培养学生的数学和逻辑思维以及创新、应用能力.

Switches and routers are widely used in network,it is a very heavy work to manage and configure them,but,this problem can be solved by using the Telnet remote login method.Based on description of the Telnet protocol working principle,the paper mainly designs its experimental program,and lets student themselves to realize the Telnet remote login step by step.The teaching mode can strengthen the understanding of theoretical knowledge,and well master the Telnet remote login method.

针对校车安全问题多发现象,在分析其原因的基础上,指出了目前校车安全系统的不足,设计了一种基于物联网的校车安全报警系统.该系统主要由传感器、协调器、报警主机、声光报警、屏幕显示、控制设备、短信服务器及数据库服务器8个组成部分构成,并通过ZigBee无线传感网络进行数据采集,利用RS-232总线将数据上传报警主机处理,利用GPRS无线通信技术将数据上传数据库服务器储存及进行短信报警.通过实验测试,该系统安装维护简单、扩展性强、成本低,能为校车的安全运行提供良好的保障.

为了改善计算机网络专业"网络互联技术"课程的教学质量,结合教学经验,从教学内容、教材选择、教学方法、考核方式、师资等方面进行了分析,指出了其存在的一些问题,并就如何解决这些问题以提高教学质量进行了探讨。

Based on the knowledge structure on Internet Of Things（IOT）,this paper discusses the professional training objectives of IOT engineering,expounds the curriculum hierarchy of IOT engineering,analyzes the critical issues existing in the professional training of IOT engineering,and proposes the corresponding solutions from the perspectives of faculty quality development,professional teaching material constructions,laboratory building and teaching reform.

With the development and applying range expansion of the network,the network security problem becomes more important.By expounding importance and the statuaguo of network security,the paper analyzes the root cause of network security problem,and works out a pragmatic tactic to solve the problem of network security,and discusses the developing trend of network security threat finally.