高职专业课教学的几点思考

文章通过对高职专业课的教学内容、教学方法、实践教学和考核形式四个方面进行思考,围绕高职教育“面向市场办学,坚持以就业为导向,注重加强对学生职业道德和职业技能的培养”的特点,对高等职业教育专业课的教学内容、教学方法、教学实践、考核形式等方面进行了初步的探讨。     

变电所事故的预防措施

本文总结了灾害问题出现的特征,以及如何促进变电保护工作稳定进行,进行提前的问题分析和处理,力求达到危险控制的最佳状态,这也是杜绝问题出现的最直接手段。     

高分子絮凝剂特性对污泥调理和脱水效果的影响及在线絮凝检测技术应用研究

高分子絮凝剂品种及特性对污泥调理及脱水效果有很大影响,试验结果表明絮凝剂的相对分子质量是决定性因素,电荷特性影响较小。利用一种在线絮凝检测技术可连续检测污泥调理工艺中污泥颗粒絮凝过程,从而形成了一种全新的污泥絮凝检测方法,为污泥调理和脱水工艺的过程控制提供了可能性。     

高职专业课教学的几点思考

文章通过对高职专业课的教学内容、教学方法、实践教学和考核形式四个方面进行思考,围绕高职教育“面向市场办学,坚持以就业为导向,注重加强对学生职业道德和职业技能的培养“的特点,时高等职业教育专业课的教学内容、教学方法、教学实践、考核形式等方面进行了初步的探讨.     

断言语言支持自定义谓词的程序验证器原型

基于逻辑推理的方法进行程序验证是形式化程序验证的研究热点.目前的自动验证工具为了保证自动性,对描述程序性质的断言语言都有较多限制,导致程序的某些递归性质难以用断言语言表述.本文在一个面向指针程序、基于先前自行设计的形状图逻辑、依赖于自动定理证明工具Z3的自动程序验证原型系统上,通过在断言语言中引入自定义谓词来增强断言语言的表达能力,使得该原型系统不仅能自动验证含操作易变数据结构的程序的性质,也能自动验证一些不含指针的程序的性质.