陈敬敏
- 作品数:4 被引量:4H指数:1
- 供职机构:四川大学数学学院更多>>
- 发文基金:重庆市科技攻关计划国家自然科学基金更多>>
- 相关领域:理学文化科学自动化与计算机技术更多>>
- 非线性循环及R^m上线性循环的终止性判定被引量:1
- 2013年
- 为了研究程序设计中的软件可信性问题,分析了非线性单重循环程序While x∈Ωdo{x:=f(x)}end当Ω为有限个互不相交的闭区间之并时的终止性,证明该终止性在一定条件下可以由周期轨道的存在性加以判别,给出了确定条件下此类程序不终止的充分必要条件,并建立了相应的判定程序。进一步,利用Brower不动点定理及凸分析的理论,在Rm上建立了当循环条件Ω是有限个互不相交的闭凸集之并时线性循环程序终止性判定的方法。
- 陈敬敏
- 关键词:终止性分析
- 一类迭代方程扩张解的存在性
- 2011年
- 作者讨论了一类广泛的迭代方程f^n(x)=G(x,f(x),f^2(x),…,f^(h-1)(x)).通过Sch(o|¨)rder变换,迭代方程被转化为辅助方程的形式.在不要求方程中含有f^1的条件下作者给出了局部C^1解的存在性.它的特殊形式就是多项式型迭代方程的首项系数问题.
- 陈敬敏
- 关键词:迭代方程
- 目标中含有模糊系数的线性规划被引量:1
- 2005年
- 目标中含有模糊系数的线性规划,是模糊决策的一个重要内容。本文对目标中含有三角型模糊数的单目标问题给出了一种解法,并对目标中含有模糊系数的多目标问题作了重点讨论。
- 陈敬敏
- 大学数学小班化教学的思考被引量:2
- 2013年
- 中国高等教育继续改革前进。关于高等数学教学改革势不可挡。在这样的大环境下,四川大学施行了“大班授课、小班讨论”的改革措施。作者分析了高等数学教学现状,探索了高等数学小班化教学改革实践,并以“大班授课、小班讨论”施行后课程考核成绩论证了改革举措的益处。作者对高等数学小班化教学改革提出了自己的进一步思考。
- 陈丽李世伦陈敬敏
- 关键词:高等数学小班教学教学改革