您的位置： 专家智库 > >

沈应兄

作品数：11 被引量：7H指数：1
供职机构：泰州学院更多>>
发文基金：中国博士后科学基金国家自然科学基金安徽省自然科学基金更多>>
相关领域：文化科学自动化与计算机技术理学更多>>

合作作者

文献类型

  • 10篇中文期刊文章

领域

  • 6篇文化科学
  • 3篇自动化与计算...
  • 2篇理学

主题

  • 4篇教育
  • 2篇多媒体
  • 2篇多媒体课件
  • 2篇自动机
  • 2篇现代教育
  • 2篇现代教育技术
  • 2篇模糊自动机
  • 2篇教育技术
  • 2篇课程
  • 2篇课件
  • 2篇计算机
  • 2篇教师
  • 2篇教学
  • 2篇FLASH8
  • 1篇代数
  • 1篇动态文本
  • 1篇信息技术
  • 1篇信息技术教师
  • 1篇信息技术教师...
  • 1篇信息技术教育

机构

  • 6篇泰州学院
  • 4篇泰州师范高等...
  • 2篇陕西师范大学
  • 1篇安徽工程大学

作者

  • 10篇沈应兄
  • 2篇潘海玉
  • 2篇郦丽
  • 1篇顾冬霞
  • 1篇江敏
  • 1篇汪国武

传媒

  • 3篇电脑知识与技...
  • 2篇模糊系统与数...
  • 1篇福建电脑
  • 1篇电子商务
  • 1篇软件导刊
  • 1篇科教文汇
  • 1篇软件导刊.教...

年份

  • 1篇2021
  • 1篇2019
  • 2篇2016
  • 2篇2014
  • 1篇2011
  • 1篇2009
  • 1篇2007
  • 1篇2006
共 11 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于Flash8.0多媒体课件中声音的使用及播放控制
2011年
目前很多中小学教师都在使用flash8.0开发多媒体辅助教学课件,其中声音元素的使用更能反映出课件制作者的技术、艺术水平。但是如何灵活使用并控制声音令很多非计算机学科教师感到困难。文中我们总结了一些简单的方法,期望能帮助解决实际问题。
沈应兄顾冬霞
关键词：声音
量化转换系统的格值语言包含关系
2016年
近十年来,量化形式化验证方法的研究取得了很多的研究成果。量化转换系统是一种新型的量化模型,该模型的主要特点是其动作集合上被赋予一个基于完备剩余格的格值等价关系。在量化转换系统的模型上,本文提出了一种格值语言包含关系去度量系统的一个状态所接受的语言能在多大程度上被另一个状态所接受的语言所包含,研究了这种关系的计算复杂性问题,并用格值版本的HennessyMilner逻辑的子逻辑提供了它的逻辑刻画。所有这些性质表明所提出的格值语言包含关系为并发和分布式系统的量化验证提供了重要的理论基础。
汪国武沈应兄潘海玉
关键词：形式化验证模糊自动机完备剩余格
不确定型多值Kripke结构的模型检测被引量：1
2016年
多值模型检测是经典模型检测的一种扩展,主要用于具有不一致信息的系统的验证。为了对具有不一致和不确定性的系统进行形式化分析,本文提出非确定型多值Kripke结构作为此类系统的模型,引入一种多值计算树逻辑作为非确定型多值Kripke结构的规范语言,给出一种多项式时间的模型检测算法。研究结果表明本文提出的模型检测技术适用于具有不确定行为的多值系统的自动验证。
郦丽沈应兄潘海玉
关键词：计算树逻辑模糊自动机DEMORGAN代数
高职高专非计算机专业计算机类课程体系改革与设计研究被引量：2
2009年
高等学校培养的学生必须具备的一个技能,就是有较强的计算机应用能力。计算机应用能力的培养主要通过计算机基础教育构建的课程体系来实现。本文探讨的是高职高专类院校非计算机专业计算机教育中的课程体系改革问题,结合我校实际提出了非计算机专业的计算机课程体系设计方法。
沈应兄
关键词：计算机基础教育非计算机专业课程体系
触发器在多媒体课件交互设计中的应用被引量：1
2021年
Microsoft PowerPoint用来制作多媒体课件比较常见,在于操作简单方便、容易上手,深受幼儿、中小学老师的喜爱。PowerPoint能集成图片、文字、动画、音视频等多种媒体形式,使得课件图文并茂、生动形象;而超链接、动作、控件、触发器等技术的应用使课件交互极易实现。其中尤以触发器更为方便。以现代教育技术公共课中PPT课件制作部分为例,主要介绍如何使用触发器实现课件交互。
沈应兄
关键词：多媒体课件触发器
基于RAPTOR和计算思维的计算机科学导论课堂教学研究被引量：1
2019年
计算科学导论课程是培养计算机专业类学生计算思维的有效途径。目前多数高校采用静态流程图和伪代码的教学内容和教学方法,存在知识点古板,学生学习积极性差。本文结合计算思维和RAPTOR的特点,针对学生对流程图仿真方式的接受能力强,以RAPTOR作为学习工具,通过师生配合,学生主动参与解决问题,培养学生的计算思维能力。
郦丽沈应兄
关键词：计算思维计算机科学导论RAPTOR
改革培训方式,提高中小学信息技术教师培训效果
2007年
几年来江苏省“六有”、“校校通”工程建设取得了很大的成效。决定信息技术教育成效的因素众多,其中信息技术教师水平是影响信息技术教育成效的重要因素之一,它不仅决定着信息技术教育的质量,还决定了我国中小学教育的信息化进程。探讨了近两年来中小学信息技术教师培训的现状,并结合实践提出一些好的培训方法、培训模式。
沈应兄
关键词：信息技术教育信息技术教师培训
Flash8.0中两种制作常见测试题的方法
2014年
以Flash8.0制作中小学相关学科测试题为例，简要介绍动态文本加隐形按钮法和UI组件法两种制作方法，并比较它们的异同，以期望给中小学教师制作课件时参考。
沈应兄
关键词：动态文本UI组件
浅探《现代教育技术》公共课的教学被引量：1
2006年
现代教育技术是各级各类学校师范生的必修公共课,地域的差异经济的差异导致具体的开设情况不一样,重视程度也存在差别。本文拟就对目前《现代教育技术》公共课开设情况做些分析,并结合自身工作实践提出一些成功的解决方法,尤其采用形成性评价为主的评价方法;同时试着对以后的工作做些展望。
沈应兄
关键词：教师素质教学评价网络课程
现代教育技术辅助教学资源开发和使用效果研究被引量：1
2014年
以某高校为例,讨论师范专业公共课《现代教育技术》实践内容部分教学辅助资源的建设,尝试开发相关资源并在实际教学中运用,运用问卷调查分析这些资源应用的具体效果、存在的问题等,为以后更好开展教学提供参考。
沈应兄江敏
关键词：师范生现代教育技术技能
全选 清除 导出
共1页<1>
聚类工具0