邹进
- 作品数：14 被引量：18H指数：3
- 供职机构：乐山师范学院数学与信息科学学院更多>>
- 相关领域：理学自动化与计算机技术电子电信文化科学更多>>
- 初等几何定理的机器证明
- 2001年
- 本文利用数学家吴文俊就几何命题机器证明创建的吴法对一非平凡的几何命题代数化，给出了两种不同于吴法的算法，并在Ｍａｐｌｅ环境下运行证明了该命题．
- 吴忆平邹进
- 关键词：初等几何机器证明多项式环
- 算子方程X^(-1)X~*=A的解
- 2009年
- 本文运用算子理论的技巧,在无限维Hilbert空间上给出了算子方程X-1 X*=A解的充分必要条件.
- 段樱桃邹进
- 关键词：算子方程正规算子正算子
- 小波变换在故障特征提取中的应用被引量：5
- 2005年
- 数字信号处理技术始终是进行故障诊断的核心,特别是现代数字信号处理技术的出现和发展,使故障诊断步入了新的春天。论文针对传统Fourier变换只能在频域上对稳定信号进行分析的不足,探讨了利用小波变换进行非平稳信号分析的算法和应用。
- 叶人珍邹进
- 关键词：小波变换故障特征提取数字信号处理技术FOURIER变换故障诊断
- 多重正交尺度函数与三角正交矩阵
- 2004年
- 多重小波是近年来新兴的小波研究方向,它具有许多一维小波所不具备的优越性质。本文引入三角正交矩阵与双尺度正交变换两个概念,并给出一些结论。
- 邹进
- 局部域上的仿交换算子与Schatten类性质
- 2003年
- 设Tb是局部域K上带符号b的仿交换算子,本文证明了当Tb定义式中函数A(x,h)满足一定的条件时,Tst∈Sp的充要条件是b∈Bs+t+1/p.
- 邹进
- 关键词：局部域BESOV空间SCHATTEN类
- 基于递增插入算法在TSP问题的应用研究被引量：1
- 2019年
- 文章针对TSP最短回路问题,引入一类递增插入算子,由此得到递增插入算法,该算法是单点插入算法和交叉算法的更一般形式。通过对随机案例和eil101案例寻优并比较分析,其结果明显好于蚁群算法与遗传算法融合后的求解效果,同时计算量和迭代次数较少。
- 邹进
- 关键词：TSP组合优化
- 高师院校数学类各本科专业应用型人才培养的思考被引量：4
- 2014年
- 文章从宏观上分析了数学与应用数学、信息与计算科学、金融数学三个数学类专业的发展现状及困境,并从数学学科特点、师生素质、目标定位和社会发展等方面分析了其原因。在此基础上,对各数学类专业的人才培养定位进行了合理分析,提出了适当淡化数学理论,注重实践能力培养的思路,并就应用型人才培养需要解决的若干问题作了深入分析,给出了一些建议和思考。
- 汪天飞邹进李木华龙述君
- 关键词：数学与应用数学信息与计算科学金融数学
- 一类广义(h,φ)-半无限规划的最优性条件被引量：1
- 2004年
- 本文利用广义运算定义一类不变凸、严格不变凸、不变伪凸、严格不变伪凸、不变拟凸等函数,然后研究它们的最优性条件。
- 贾礼平邹进
- 关键词：半无限规划不变凸
- 关于随机抢n游戏获胜概率的探究
- 2015年
- 文章针对随机抢n游戏,给出参赛方获胜的概率,并证明了当n充分大时,参赛方获胜的机率为1/2。
- 邹进
- 关键词：组合数学线性递归数列
- 关于数学分析课程教学中的数学实验模式与应用型数学人才培养的探究被引量：5
- 2015年
- 分析了目前国内高等师范学校关于数学分析课程教学中的数学实验模式存在的一些问题，探讨了数学实验对培养应用型数学人才的影响，以此探索了高等师范学校的基础数学教育与培养应用型数学人才相结合的新型模式。
- 李洪恒邹进张之鹤
- 关键词：数学分析实验教学数学建模
