学科分类
/ 1
4 个结果
  • 简介:在使用多媒体教学手段的过程中,出现了各种各样的形式主义,究其原因,主要是由于教学理念滞后于教学手段以及存在把改变教学手段当作唯一目的的错误思想认识.所以只有根治错误思想,才能有效运用现代技术手段,不至走入形式主义的误区.

  • 标签: 多媒体 教学 误区
  • 简介:统一建模语言(UML)是一种对软件密集系统进行可视化建模的语言,但UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。B方法是一种较成熟的软件形式化方法,具有精确性、无二义性等特点。文章用B符号来表示UML类图组成元素的语义及其映射关系,并给出了用B方法来描述UML类图的一种方法。

  • 标签: B方法 UML 形式化 类图
  • 简介:论述学习形式的多样性是历史积淀的结果,通过对航海教育形式的分析认为,航海高职院校成人高等教育保留脱产形式是非常必要的,提出在航海教育办学形式上切忌一刀切,要加强航海教育质量的监管。

  • 标签: 航海高职院校 成人高等教育 脱产形式
  • 简介:本文论述了自由裁量权在海事行政处罚中的表现形式及其必要性,指出了自由裁量在海事行政处罚中存在的问题,提出了如何合理控制自由裁量权的相关对策。

  • 标签: 自由裁量权 海事 行政 控制 机制