王勇红
- 作品数：5 被引量：3H指数：1
- 供职机构：鹰潭职业技术学院更多>>
- 发文基金：江西省高等学校教学改革研究课题更多>>
- 相关领域：文化科学理学哲学宗教更多>>
- 浅谈多媒体在《高等数学》辅助教学中存在的问题及改进措施
- 2014年
- 文章分析了多媒体辅助教学在《高等教学》教学中所体现的教育技术优势及其存在的问题，提出了在《高等数学》教学中多媒体辅助教学的建议，将多媒体辅助教学与传统教学方式相结合，充分发挥多媒体辅助教学在教学中的作用。
- 王勇红李光华
- 关键词：高等数学多媒体辅助教学
- 数控教学中仿真软件的应用
- 2014年
- 数控教师在数控实践教学中通常情况下数控设备少、学生多，在这样的情况下，引入数控仿真软件进行辅助教学，解决了数控实践教学中因设备不足实训效率低，同时保证了实训教学中学生安全问题。提高了学生数控编程能力和数控机床的利用率。
- 段高华王勇红
- 关键词：数控仿真软件教学
- 高职数学授课型互动式网络课件的设计与开发被引量：3
- 2015年
- 当前,互联网内拥有大量的网络课程,但课程中互动式的设计显得不足,以致不能很好地促进学习效果。根据网络课程的制作原则,结合Articulate Storyline软件和ASP网页技术,进行教学设计和系统设计,强化数学网络课件的交互性设计,制作出高职数学授课型互动式网络课件,以提高教师教学和学生自学的效果。
- 李光华李双娥上官军胜陈志钦王勇红
- 关键词：高等数学互动网络课件
- 矩阵秩Frobenius不等式几种证明方法
- 2013年
- 本文运用矩阵分块,矩阵满秩分解,线性空间维数,以及广义矩阵初等变换四种方法证明矩阵秩Frobenius不等式。
- 王勇红李双娥
- 关键词：矩阵秩分块矩阵满秩分解维数
- 描述逻辑EVL模拟关系及其性质
- 2014年
- 模拟和互模拟是分析模态逻辑的表达能力的一个强有力的工具。巴德尔(Baader)率先提出,可以运用描述图之间的模拟关系来分析描述逻辑的包含推理,并证明了在概念定义式循环术语集限制下,描述逻辑EL的包含推理是多项式时间复杂的。本文分析了描述逻辑模拟关系的研究现状和存在的问题,给出一般情形描述逻辑EVL下的模拟关系及其性质。
- 王勇红段高华聂登国
- 关键词：描述逻辑互模拟
