陈玉福
- 作品数：23 被引量：16H指数：2
- 供职机构：中国科学院大学数学科学学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划中国科学院研究生院科研启动基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 吴消元法和吴微分特征列法在Lagrange系统中的应用被引量：1
- 2006年
- 系统地分析了有限维动力学中多项式类型的Lagrange函数所可能出现的四种情况,并利用吴消元法和吴微分特征列法给出了判断这四种情况的两个算法.利用这两个算法,不用计算Hessian的秩,就可以判别Euler-Lagrange方程是哪一种,并得到相应的结果.利用符号计算软件,两个算法可以在计算机上实现.
- 贾屹峰陈玉福许志强
- 关键词：LAGRANGE系统特征列HESSIAN矩阵
- 有限域上多项式方程组求解的三角列算法被引量：1
- 2014年
- 提出一个有限域上多项式方程组求解的自上而下的拟三角列算法和三角列算法,并且给出拟三角列算法的复杂度分析;2个算法都在F3上得到实现.实验结果表明,2个算法较之以前的算法有一定程度的改进.
- 王成龙陈玉福
- 关键词：多项式方程有限域
- 吴消元法在Lagrange和Hamilton方程中的应用被引量：1
- 2006年
- 主要借鉴吴消元法,研究带约束动力学中多项式类型Lagrange方程和Hamilton方程,提出了一种求约束的新算法.与以前算法相比,新算法无需求Hessian矩阵的秩,无需判定方程的线性相关性,从而大为减少了计算步骤,且计算更为简单.此外,计算过程中膨胀较小,且多数情形下无膨胀.利用符号计算软件,新算法可在计算机上实现.
- 贾屹峰陈玉福许志强
- 关键词：HAMILTON系统特征列HESSIAN矩阵
- 一类组合方程的势对称分类
- 2008年
- 首先给出一类含有任意函数的变系数波动方程u_(xx)=H(x)u_(tt)的古典对称及其势对称的完全分类,然后借助于这个波动方程的对称分类,系统讨论了含有两个任意函数的一类组合方程的势对称分类,所得结果确实扩充了原方程的对称.在计算过程中,采用微分形式的吴方法,微分特征列的程序包起到了重要作用.
- 张智勇雍雪林陈玉福
- 关键词：古典对称
- 确定有限多个曲面实交集的拓扑
- 2014年
- 提出一个关于计算曲面实交集拓扑的有效算法,其中曲面由有限多个实系数三元多项式所定义.这个算法使用了实交集至多两个投影的拓扑信息.在此过程中,必须使得有限多个曲面满足一定的条件,这些条件通过线性坐标变换可以得到,并且应用一些方法来检测这些条件是否满足.
- 高犇陈玉福
- 关键词：曲面拓扑
- 带约束动力学辛算法的符号计算被引量：2
- 2010年
- 首先对带约束动力学中的辛算法作了改进,利用吴消元法求解多项式类型Euler-Lagrange方程.在辛算法的基础上,根据线性方程组理论和相容条件提出了一个求解约束的新算法.新算法的推导过程比辛算法严格,而且计算也比辛算法简单,并且多项式类型的Euler-Lagrange仍可以用吴消元法求解.另外,对于某些非多项式类型的Euler-Lagrange方程,可以先化为多项式类型,再用吴消元法求解.利用符号计算软件,上述算法都可以在计算机上实现.
- 贾屹峰陈玉福
- 关键词：特征列辛矩阵EULER-LAGRANGE方程
- 求解Hamilton约束的新算法被引量：1
- 2008年
- 利用吴方法对多项式类型带约束的Hamilton系统作了研究.给出了判断系统是否正则的一个新算法.对于正则系统,可以得到Hamilton函数和运动方程,而对退化的系统给出了两个求解约束的新算法,得到带约束的Hamilton函数和运动方程.利用符号计算软件,这几个算法都可以在计算机上实现.
- 贾屹峰陈玉福
- 关键词：特征列HESSIAN矩阵
- 有限域上一类方程组的解数公式被引量：1
- 2016年
- 设F_q为一个q元有限域,其中q=p^s(s≥1),p是一个奇素数.本文给出下列方程组在F_q上的解数公式:a_(k1)x_1^(d_(11)^((k)))...x_(n_1)^(d_(1n_1)^((k)))+...+a_(k,s_1)x_1^(d_(s_1,1)^((k)))...x_(n_1)^(d_(s_1,n_1)^((k)))+a_(k,s_1)+1x_1^(d_(s_1+1,1)^((k)))...x_(n_2)^(d_(s_1+1,n_2)^((k)))+...a_(k,s_2)x_1^(d_(s_2,1)^((k)))...x_(n_2)^(d_(s_2,1)^((k)))...x_(n_2)^(d_(s_2,n_2)^((k)))=b_k,k=1,...,m,其中00(k=l,...,m,i=1,...,s_2,j=1,...,n_2).特别当ms_1≤n_1,ms_2≤n_2,d_(ij)^(k)满足一定条件时,得到了明确的解数公式.
- 宋佳陈玉福
- 关键词：有限域方程组矩阵
- 计算紧半代数集的同调方法
- 2010年
- 提出一个关于计算紧半代数集构成排列的0维Betti-数和1维Betti-数的算法.这个算法的复杂度为单指数复杂度.
- 高犇陈玉福张智勇
- 代数偏微分方程组的对合特征集方法分析(英文)
- 2006年
- 基于Wu-Ritt特征集方法和V.Gerdt的对合除法,我们定义了非线性偏微分方程组的关于一般延拓方向的对合特征集(ICS).影响ICS方法的两个主要因素为延拓方向和变量的序.本文中,应用ICS方法处理在计算偏微分方程组的对称群过程中产生的大型偏微分方程组.在实验的基础上,总结了对于ICS方法较好的延拓方向和变量的序.
- 孟晓辉陈玉福
- 关键词：可积条件
