陳玉福

姓名： 陳玉福

性別： 男 籍貫： 遼寧省建昌縣

博士畢業院校： 大連理工大學應用數學系

博士後在站單位： 中國科學院數學與系統科學研究所

所學專業： 計算數學 研究方向： 非線性系統中符號計算理論及應用

微分多項式系統中對合特徵集的理論及符號計算

參與國家九七三重點項目 ：數學機械化與自動推理平台 , 主要完成微分代數的理論及其相關算法的研究 ; 微分多項式方程約化算法的軟件開發。參與高速網絡路由器結構，模型，算法優化設計研究項目 （與美國 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 ^[1]