安徽省高校省级自然科学研究项目(KJ2011A248)
- 作品数：4 被引量：7H指数：2
- 相关作者：马艳芳陈亮陈冬君陈仪香张敏更多>>
- 相关机构：淮北师范大学华东师范大学更多>>
- 发文基金：安徽省高校省级自然科学研究项目国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：理学文化科学自动化与计算机技术更多>>
- 微积分中积分一般概念的教学
- 2011年
- 本文论述了微积分教学中利用定积分的概念给出积分的一般概念,以加强对积分概念的理解,并分析了积分的共同特征及教学时需要注意的事项。
- 陈亮马艳芳张云陈冬君
- 关键词：积分概念教学微元法
- 具有相同特征值的矩阵的刻画被引量：1
- 2011年
- 文章首先给出关于多项式的牛顿恒等式新的证明,利用牛顿恒等式和矩阵的迹的性质,得出两个矩阵具有相同特征值的充分必要条件.
- 陈冬君马艳芳
- 关键词：特征值
- 基于环境的软件正确性形式化描述被引量：3
- 2011年
- 软件的运行依赖于环境,在考察软件正确性时需要考虑环境的因素。软件在开发和设计过程中,其正确性是一个逐渐改进的过程,也就是说,通过不断地修改,软件越来越接近于正确。为了刻画软件的这种动态正确性并考虑环境的因素,本文将以三分之二互模拟为基础,利用网极限的观点,建立软件动态正确性的形式化描述。首先建立三分之二互模拟的无限演化理论,给出三分之二极限互模拟的定义。其次建立三分之二互模拟极限,这个极限在一定程度上反映软件规范是其实现的极限形式。最后证明三分之二互模拟极限与三分之二互模拟的相容性等性质。
- 马艳芳张敏陈仪香
- 关键词：形式化
- 计算机基础教学中学生自主学习能力的培养被引量：3
- 2011年
- 传统的计算机基础课程教学由于仅采用理论课和实验课的形式,存在理论与实践脱节的情况,无法有效激发学生的积极性。相对于传统教学,案例教学法、项目教学法和网络辅助教学法这三种教学方法更有利于培养学生的自主学习能力。
- 马艳芳陈亮
- 关键词：案例教学法项目教学法自主学习能力
