中國科學院數學科學學院黨總支書記，博士生導師。
基本介紹
- 中文名：陳玉福
- 學歷： 博士後
- 職稱：教授
- 出生年月 ：1958.6
自然情況,目前的研究情況,出版信息,發表論文,科研項目,
自然情況
姓名： 陳玉福
性別： 男 籍貫： 遼寧省建昌縣
博士畢業院校： 大連理工大學套用數學系
博士後在站單位： 中國科學院數學與系統科學研究所
目前的研究情況
微分多項式系統中對合特徵集的理論及符號計算
參與國家九七三重點項目 ：數學機械化與自動推理平台 , 主要完成微分代數的理論及其相關算法的研究 ; 微分多項式方程約化算法的軟體開發。參與高速網路路由器結構，模型，算法最佳化設計研究項目 （與美國 IDG公司合作項目）。
參加國家 863 項目 ： T 級路由器關鍵技術研究， 2002 － 2005 。主要完成新一代路由器的交換技術的系統理論研究
參加國家自然基金（部主任基金）項目： 移動通信無線網路最佳化 2002 － 2004 年
· 已經發表的論文 30 余篇
出版信息
計算機代數講義 高教出版社，2009年。
發表論文
（1） A comparative study of approximate symmetry and approximate homotpy symmetry to a class of perturbed nonlinear wave equations，Nonlinear Analysis ，2011，第2作者
（2） Second-order approximate symmetry clasification and optimal system of a class of perturbed nonlinear wave equations，Commun Nonlinear Sci Numer Simulat，2011，第3作者
（3） A co-homology method for computing compact semi-algebraic sets，J.of the Graduate School of the Chinese Academy of Sciences，2010
（4） Classical and nonclassical symmetries analysis for initial value problems，Physics Letters A，2010
（5） 帶約束動力學辛算法的符號計算，系統科學與數學，2010，第2作者
（6） Lifting algorithms for Groebner basis computation of invariant ideals，, J. Graduate of the Chinese Academy of Sciences，2009
（7） Classification and Approximate Solutions to a Class of Perturbed Nonlinear Wave Equations，Theor. Phys，2009
（8） Conservation laws of a class of combined equations ，Commun.Theor. Phys.，2009
（9） A new method to obtain approximate symmetry of nonlinear evolution equation from perturbations，Chin. Phys.，2009
（10） Symmetry Classifications For A Class of Combined Equations ，Sys. Sci. Math. Scis.，2008
（11） Pseudo-Differential Operators and Generalized Lax Equations in Symbolic Computation ，Commun. Theor. Phys.，2008
（12） Mixed moving finite element method， Applied Mathmatics and Computation，2008
（13） 求解Hamilton約束的新算法，系統科學與數學，2008，第2作者
（14） A Decoherent Limit of Fault-Tolerant Quantum Computation Driven by Coherent Fields，Proc. of SPIE，2008，第2作者
（15） On two approaches of finding exact solusions of nonlinear evolution equations，Applied Mathematics and Computation，2007，第2作者
（16） 有限元中的補償算法，數值分析與計算機套用，2007，第2作者
（17） Border Bases of Positive Dimensional Symblic-Numeric computation，Proc. of the 2007 International Workshop on Symbolic-Numeric computation，2007，第1作者
科研項目
（1） 變壓器最佳化設計，主持，其他級，2007-07--2011-08
（2） 雷達減重，主持，部委級，2007-06--2011-12
