现代教育技术辅助教学资源开发和使用效果研究

以某高校为例,讨论师范专业公共课《现代教育技术》实践内容部分教学辅助资源的建设,尝试开发相关资源并在实际教学中运用,运用问卷调查分析这些资源应用的具体效果、存在的问题等,为以后更好开展教学提供参考。

高职高专非计算机专业计算机类课程体系改革与设计研究

高等学校培养的学生必须具备的一个技能,就是有较强的计算机应用能力。计算机应用能力的培养主要通过计算机基础教育构建的课程体系来实现。本文探讨的是高职高专类院校非计算机专业计算机教育中的课程体系改革问题,结合我校实际提出了非计算机专业的计算机课程体系设计方法。

触发器在多媒体课件交互设计中的应用

Microsoft PowerPoint用来制作多媒体课件比较常见,在于操作简单方便、容易上手,深受幼儿、中小学老师的喜爱。PowerPoint能集成图片、文字、动画、音视频等多种媒体形式,使得课件图文并茂、生动形象;而超链接、动作、控件、触发器等技术的应用使课件交互极易实现。其中尤以触发器更为方便。以现代教育技术公共课中PPT课件制作部分为例,主要介绍如何使用触发器实现课件交互。

浅探《现代教育技术》公共课的教学

现代教育技术是各级各类学校师范生的必修公共课,地域的差异经济的差异导致具体的开设情况不一样,重视程度也存在差别。本文拟就对目前《现代教育技术》公共课开设情况做些分析,并结合自身工作实践提出一些成功的解决方法,尤其采用形成性评价为主的评价方法;同时试着对以后的工作做些展望。

基于Flash8.0多媒体课件中声音的使用及播放控制

目前很多中小学教师都在使用flash8.0开发多媒体辅助教学课件,其中声音元素的使用更能反映出课件制作者的技术、艺术水平。但是如何灵活使用并控制声音令很多非计算机学科教师感到困难。文中我们总结了一些简单的方法,期望能帮助解决实际问题。

Flash8.0中两种制作常见测试题的方法

以Flash8.0制作中小学相关学科测试题为例，简要介绍动态文本加隐形按钮法和UI组件法两种制作方法，并比较它们的异同，以期望给中小学教师制作课件时参考。

改革培训方式,提高中小学信息技术教师培训效果

几年来江苏省“六有”、“校校通”工程建设取得了很大的成效。决定信息技术教育成效的因素众多,其中信息技术教师水平是影响信息技术教育成效的重要因素之一,它不仅决定着信息技术教育的质量,还决定了我国中小学教育的信息化进程。探讨了近两年来中小学信息技术教师培训的现状,并结合实践提出一些好的培训方法、培训模式。

基于RAPTOR和计算思维的计算机科学导论课堂教学研究

计算科学导论课程是培养计算机专业类学生计算思维的有效途径。目前多数高校采用静态流程图和伪代码的教学内容和教学方法,存在知识点古板,学生学习积极性差。本文结合计算思维和RAPTOR的特点,针对学生对流程图仿真方式的接受能力强,以RAPTOR作为学习工具,通过师生配合,学生主动参与解决问题,培养学生的计算思维能力。

不确定型多值Kripke结构的模型检测

多值模型检测是经典模型检测的一种扩展,主要用于具有不一致信息的系统的验证。为了对具有不一致和不确定性的系统进行形式化分析,本文提出非确定型多值Kripke结构作为此类系统的模型,引入一种多值计算树逻辑作为非确定型多值Kripke结构的规范语言,给出一种多项式时间的模型检测算法。研究结果表明本文提出的模型检测技术适用于具有不确定行为的多值系统的自动验证。

量化转换系统的格值语言包含关系

近十年来,量化形式化验证方法的研究取得了很多的研究成果。量化转换系统是一种新型的量化模型,该模型的主要特点是其动作集合上被赋予一个基于完备剩余格的格值等价关系。在量化转换系统的模型上,本文提出了一种格值语言包含关系去度量系统的一个状态所接受的语言能在多大程度上被另一个状态所接受的语言所包含,研究了这种关系的计算复杂性问题,并用格值版本的HennessyMilner逻辑的子逻辑提供了它的逻辑刻画。所有这些性质表明所提出的格值语言包含关系为并发和分布式系统的量化验证提供了重要的理论基础。