解烈军
- 作品数：27 被引量：37H指数：4
- 供职机构：宁波大学更多>>
- 发文基金：国家自然科学基金浙江省教育厅科研计划宁波市哲学社会科学规划课题更多>>
- 相关领域：理学文化科学自动化与计算机技术经济管理更多>>
- 微分方程初值问题泰勒级数法的实现被引量：6
- 2007年
- 提出了用微分变换来求解常微分方程初值问题的一个方法,该方法能通过迭代获得问题解析解的高阶Taylor级数的展开式,从而实现了高阶泰勒级数方法.
- 张艺解烈军
- 关键词：初值问题
- 关于Sturm定理的一点注记
- 2007年
- 经典的S turm定理用于判定多项式在给定区间上不同的实根个数,但是并不能刻画重根的情况.在这里定义了推广的S turm序列,将S turm定理进行一定地延拓,给出区间上多项式的所有实根均是偶重根或奇重根的充要条件.作为应用,讨论了多项式正(负)半定的判定问题.
- 解烈军
- 关键词：多项式
- 一类不等式的判定算法
- 2005年
- 应用零点定理,斯图姆定理和单变元多项式正定性判定定理,讨论了不等式φ(x)>ψ(x)在两种不同的情况下的判定算法.
- 解烈军
- 关键词：不等式零点定理
- 五次键合多项式P-不可约的两个定理
- 2008年
- 在生物化学研究领域,对键合多项式P-不可约性的判定是一个重要问题.已有结果主要考虑四次或四次以下的多项式,而对五次或五次以上键合多项式的讨论尚未见报道.文章在这方面作了一定的探索,给出了五次键合多项式P-不可约的两组充分条件,这两组条件均是用多项式的系数构成的等式或不等式组显式表示的.
- 解烈军
- 关键词：稳定判据
- 结式的若干应用
- 2005年
- 结式是多项式理论中的一个重要概念。本文从7个方面阐述了结式的应用,包括判断2个多项式的公共零点,判定多项式是否有重根,计算多项式的判别式,寻找代数数满足的方程,平面有理曲线的隐式化,非线性代数方程组求解和不等式机器证明中半代数系统边界曲面的获得等。
- 解烈军裘旭浩
- 关键词：结式多项式
- 宁波市发明专利生产率的洛特卡分布研究
- 2012年
- 以中国专利数据库收录的发明专利为数据源,应用文献计量方法,对1986～2011年宁波市发明专利进行了统计分析,揭示了宁波市发明专利数量与发明人关系符合洛特卡分布规律:y=2401.59x-2.0494。
- 冯瑶解烈军董其军
- 关键词：洛特卡定律
- 三次正多项式p-不可约的充要条件
- 2006年
- 通过对所有可能正分解的详细讨论,给出了三次正多项式p-不可约的显式充要条件,该条件为由三次正多项式的系数构成的一个简单不等式.本文使用的主要工具是笛卡尔符号法则的推论和多项式完全判别系统相关结论等.
- 解烈军
- 关键词：充要条件
- 高等数学中的“例证法”思想被引量：7
- 2006年
- 介绍了几何定理机器证明中的“例证法”思想,并挖掘了高等数学中几个“例证法”实例,目的在于建议教师在教学过程中要善于发现并向学生输送新的思想方法,以提高教学质量.
- 解烈军张艺
- 关键词：例证法教学
- 压缩感知OMP算法下信号重建方法研究被引量：4
- 2021年
- 该文给出了一种OMP算法的改进方法,然后研究在噪声影响下的OMP算法的稀疏重建问题,得到稀疏重建的关于信噪比参数的条件.最后,利用数值模拟验证上述结论.
- 付敏郝嘉骏解烈军王金平
- 关键词：信噪比
- 宁波市发明专利的计量分析被引量：1
- 2012年
- 以中国专利数据库(知网版)收录的发明专利为数据源,对1986-2011年宁波市9 387件发明专利进行了计量分析,结果显示专利数量增长符合普赖斯指数规律、专利发明人分布符合洛特卡定律、专利权申请人分布符合布拉德福定律的集中与分散规律,并且可用正幂函数进行曲线拟合。
- 冯瑶解烈军董其军
- 关键词：洛特卡定律布拉德福定律
